 5*a - n - 8. Do -0.1 and a have the same value?
False
Suppose 3 = 3*c + 9. Suppose -2*v = 4*g - 2 - 0, -4*v + 15 = -3*g. Is c at least as big as g?
False
Let v(f) = f**2 + 5*f + 6. Let m be v(-3). Suppose 3*x - 2*x = m. Which is smaller: x or 5/9?
x
Suppose 12*f - 6*f = 168. Is 28 bigger than f?
False
Let y be (-56)/(-24) - 4/((-36)/15). Let n be 1*1/2 + 2. Which is bigger: y or n?
y
Suppose -11*o = -o. Which is smaller: o or 15/17?
o
Let p = 27 - 26. Is 0.5 at least as big as p?
False
Let r be (0 + 1)/((-9)/54). Are r and -6 equal?
True
Let y = 1/89 - 185/623. Suppose s = -3*s. Are s and y non-equal?
True
Let z = 0 + 0. Let y = -1 + z. Let c = -1.92 + -0.08. Which is bigger: c or y?
y
Let f(k) = k**3 - 7*k**2 + 2*k - 9. Let w be f(7). Suppose -14 = w*y - 4. Let l = 0.05 + 0.05. Which is smaller: l or y?
y
Let p be (-200)/(-56) + -5 + 2. Is p equal to -1/2?
False
Suppose 14 = -2*u - 10. Let j = 4 + -17. Which is smaller: j or u?
j
Let g = -2.1 - -2. Let d = -0.1 - 0. Let u = g - d. Is 0 bigger than u?
False
Let d(h) = -h**2 - 9*h - 7. Let r(b) = b**2 + 12*b + 14. Let i be r(-10). Let l be d(i). Does 10 = l?
False
Let w = 0.06 - 0.26. Let x = 0.6 - 0.3. Let a = w + x. Which is bigger: 3/4 or a?
3/4
Suppose 1 + 1 = -i + v, -3*i = -5*v + 8. Which is bigger: i or -0.1?
-0.1
Let x = -33 + 32. Which is bigger: -0.06 or x?
-0.06
Let y be (3/(-9))/((-10)/(-1314)). Let s = -6 - -50. Let d = s + y. Are d and 0 unequal?
True
Suppose -2*h = -0*h - 5*a - 8, 0 = 5*h - 4*a - 3. Let p = 0 + -2. Let z be (p + 16/10)/(-1). Is h at most z?
True
Let i = 9 + -15. Let n be (-3)/12 + i/8. Let m be (2/5)/((-2)/10). Is m smaller than n?
True
Let z be 183/192 + -3 + 2. Let x = z - 95/704. Which is bigger: x or -2?
x
Let g = -24 - -23. Which is smaller: -4/13 or g?
g
Let p = -2/713 + -1404/7843. Let d(h) = -h**2 + 3*h - 4. Let w be d(3). Let g = w + 5. Which is smaller: p or g?
p
Let s be (-19)/6 - (-8)/4. Is -1 less than or equal to s?
False
Suppose -5*q + 3*d - 12 = 0, -4*q = -d + 2*d - 4. Let x = -632 + 1865/3. Let l = 350/33 + x. Does l = q?
False
Let k = 36.5 - 37. Are k and 4 non-equal?
True
Let n be (2 + -5)/(-4 + 1). Let u be n*6/10 + 1. Which is bigger: u or 2?
2
Suppose 4 = -2*p - b, -b - 5 = -5*p + 4*b. Let n be (1/2)/(p/(-2)). Is n less than or equal to 2?
True
Let b = -3 + 5. Does 2/7 = b?
False
Let s(m) = 2*m**2 + 3*m. Let r be s(-2). Suppose -o + r*o = -1. Are -2 and o nonequal?
True
Suppose 78 - 298 = 11*a. Is a <= -19?
True
Let c = 1010/3 - 341. Which is smaller: -4 or c?
c
Let y(f) = 9*f + 30. Let i be y(-7). Is i bigger than -34?
True
Let j(o) = o**2 - 5*o + 6. Let b be j(4). Suppose 4*w - b*g = 2, 3*g - 5*g = -5*w. Is -2 bigger than w?
False
Let y = -1 + 2. Let r = y - 0. Suppose 0*o = -o. Which is bigger: r or o?
r
Let t = 4.6 - 0.6. Let a = t - 4. Let h = a + 2. Is h at most as big as 0?
False
Suppose 9 = -4*x + 1. Let z be x/(-12) + 8/(-16). Which is bigger: 1 or z?
1
Suppose 0 = 3*q - 8 - 1. Let u(y) = -y**2 + 7*y - 2. Let l be u(q). Let g = -7 + l. Is 4 != g?
True
Let o(w) = -w**3 - w**2 - 2*w - 1. Let j be o(-1). Suppose -z + j - 2 = 0. Is -2 >= z?
False
Suppose 0 = 3*t - 3*a + 9, t + 2*a + 2*a = 22. Which is smaller: t or -1?
-1
Let l = 16 - 14. Suppose -1 = -l*r - 3. Which is smaller: 2 or r?
r
Let x(o) = -o + 1. Let g be x(1). Let z = -0.066 - -0.066. Is g smaller than z?
False
Let n(j) = -j**3 + 4*j**2 - 3*j + 2. Let a be n(3). Let s = 2 - a. Suppose -m - 4*k - 7 = s, -m - m - 11 = 5*k. Which is greater: -0.1 or m?
-0.1
Let a = -167 + 56. Let i = -1663/15 - a. Which is bigger: i or -1?
i
Let o = 2.5 + -4.6. Let v = o - -2. Is v less than or equal to -1?
False
Let w = 4 - -12. Let d be ((-9)/(-6))/((-6)/w). Let f = -5 - -2. Which is smaller: f or d?
d
Suppose -6*t + 4*m - 3 = -5*t, -m = 2*t - 3. Let k be (-1*(2 + -2))/(-1). Let h = t - k. Which is smaller: -0.2 or h?
-0.2
Suppose 2*n + 3*n = 20. Suppose n - 2 = -2*o. Is o <= -1/3?
True
Suppose -147 + 38 = -m - 5*b, -5*m - 4*b + 440 = 0. Which is greater: m or 85?
85
Let h be -9*1/(-2 - -3). Let u = -6 - h. Let b = 3 - u. Which is greater: -2 or b?
b
Let s be ((-1)/20)/((-56)/(-35)). Is 0 not equal to s?
True
Let w = 8 - -22. Which is greater: w or 28?
w
Let v = -6.27 + 6. Let m = 0.33 - v. Which is bigger: m or 1?
1
Let l be ((-4)/(-114))/(-2*(-16)/(-24)). Let r be 3/(-124)*(-214)/(-57). Let t = l - r. Is t less than 1/4?
True
Let d be (24/27)/4*-1. Let s = -577/3 - -194. Is d less than or equal to s?
True
Let p(d) = 3*d**2 + d. Let l be p(2). Let g be (5 + -6)*2/l. Which is smaller: g or -1?
-1
Let k = -21 + 21.17. Let t = 0.07 - k. Which is smaller: t or -0.02?
t
Let f = 69 + -67. Which is greater: 10/13 or f?
f
Suppose -y = -2*y. Suppose 4*o - 4 + 8 = 0. Which is smaller: o or y?
o
Let q(b) = -b**2 + b - 2. Let o be q(-3). Is 0 equal to o?
False
Let d be (-2)/3*(-5 - -8). Is d greater than -10?
True
Suppose 4*u = 3*f - 26, -50 = -5*f - 0*u + 5*u. Is f less than 15?
True
Let y = 3.9 + -4. Let q = y + -4.9. Do 0.1 and q have the same value?
False
Suppose -2*q - 2*q = -r + 5, -r = 3. Let o be 11/3 + 1*q. Let b = 9 + -6. Is o smaller than b?
True
Suppose h = 1 + 3. Suppose -4*s - h = -0. Let b be s/2*(-8)/10. Is b less than -1?
False
Let j = -720/7 - -103. Let c = 0.3 + -0.1. Is j less than c?
True
Let u(v) = v**2 + v - 3. Let k be u(1). Let d be -1 + 1 - (-2)/9. Is k at most as big as d?
True
Let o(y) be the third derivative of y**5/60 - y**4/4 - 2*y**3/3 - 5*y**2. Let u be o(6). Let r be (-1 - (-1)/2)*10. Is r != u?
True
Suppose 4*u + 148 = 48. Let g be (15/u)/((-1)/15). Is 8 equal to g?
False
Suppose -3*f = -f + 4. Let w = 8.163 - 0.063. Let t = w - 8. Which is smaller: f or t?
f
Suppose -3*n - 7 = -16. Let o(i) = 3*i**2 + 2*i + 1. Let h be o(-1). Which is bigger: h or n?
n
Let p = -1.11 + 0.11. Which is greater: p or -2/21?
-2/21
Let a = -15/49 - -997/3577. Suppose -7*y = y - y. Which is smaller: y or a?
a
Let w = -0.1 - 0.6. Let a = w - 0.1. Which is smaller: a or 0.1?
a
Let u = 34 + -19. Which is bigger: u or 14?
u
Let p = 24 + -29. Let m be (p/(-30))/(7/(-2)). Is m at least 0?
False
Suppose 0 = -15*p + 11*p - 8. Is -1 bigger than p?
True
Let p be (-10)/12 + 2/6. Let g be ((-24)/9 + 2)*(-15)/20. Is p greater than or equal to g?
False
Let k = 132 + -135. Which is bigger: -0.5 or k?
-0.5
Let p = 170 - 1188/7. Does p = -13/2?
False
Let y = 0.02 + -2.02. Are 2 and y nonequal?
True
Let z(h) = 6*h - 3*h - 4*h. Let t be z(2). Let v(n) = n + 3. Let c be v(-5). Is t <= c?
True
Let r = -20.3 - 1.7. Let u = r - -22.3. Suppose -4*z = z. Which is smaller: u or z?
z
Let h(u) be the first derivative of -u**3/3 - 5*u**2/2 - u - 3. Let l be h(-4). Let p be 1*(-1)/(1/l). Is p smaller than -1?
True
Let o be 2/(-8) - (-41)/4. Suppose 4 = 4*s - 3*d - 11, 5*s - o = 2*d. Let r = -160/3 + 53. Are r and s non-equal?
True
Suppose -10*l + 13*l = 0. Let i = -8 - -41/5. Which is smaller: i or l?
l
Let x = -43 + 40.9. Let s = 7.1 + -7. Let g = x + s. Which is smaller: -1/3 or g?
g
Suppose 0 = t - 1, 4*w - t - 7 + 0 = 0. Let c be 3/(-3) + 3 + w. Is c not equal to 3?
True
Suppose 7*f - 6 = 4*f. Suppose 4 = -2*o, f*m + 2 = -o - 0. Which is smaller: m or 4?
m
Let i = -0.5 - -0.5. Which is greater: i or 1/2?
1/2
Let t(l) = l**2 - 11*l + 11. Let d be t(9). Let g be (-1)/(-1) - (8 + d). Let x be 1*(-2 + 3)*g. Which is greater: -2/9 or x?
x
Let k = -35/44 - -6/11. Let m = -120 + 121.06. Let r = 0.06 - m. Is k != r?
True
Suppose 0 = 7*f - 3*f - 220. Suppose 0 = 7*w - 2*w - f. Is w at least 11?
True
Let s = -3.02 - -0.02. Let h = s - -3.6. Let p = -0.4 - h. Which is bigger: p or 1/3?
1/3
Let w be (-5)/(-6)*22*-2. Suppose 5*g = -158 - 27. Let k = w - g. Which is smaller: k or 0?
0
Let l be -6 - -7 - 5/3. Which is bigger: l or -2?
l
Let n = 0.7 + -2.7. Let r = 2.263 + 0.037. Let f = r + n. Which is greater: 0.1 or f?
f
Let z = 5/4 - 7/12. Let f(o) = o - 7. Let m be f(7). Let w be m/(0 - (2 - 0)). Which is smaller: z or w?
w
Let c = -109/11310 - 1/174. Do c and 0 have the same value?
False
Let g = 0.13 - 1.13. Let o be 2138/(-39) + (-3)/9. Let i = 55 + o. Is i less than g?
False
Let h be 4/120*3*-14. Which is bigger: h or 0?
0
Let s be ((-2)/(-20))/((-1)/(-6)). Let p = -0.063 + -0.037. Is s smaller than p?
False
Let j(r) =