2 - -0.02. Does h = 9?
False
Let x(w) = 6*w**2 + w + 4. Let r be x(-4). Let u = r + -67. Let l = u + -86/3. Which is smaller: l or 0?
0
Let g = -184498 + 37822162/205. Let r = -264/13 - -10850/533. Let n = r + g. Is -2/9 smaller than n?
True
Let g = -0.15 - -0.1. Let c = -5.05 - g. Which is smaller: 2/5 or c?
c
Let w be 3/(-2) - (-4)/8. Suppose 0 = 18*q - 14*q + 8. Which is bigger: q or w?
w
Let u be 1 + 0 + -2 + -3. Let t = -3 + 5. Suppose t*z = -z - 3. Which is bigger: u or z?
z
Let u(l) = -l + 31. Let y be u(0). Which is smaller: y or 32?
y
Let a be 18/15*15/6. Suppose -2 = -a*z + z. Let k = -1 + z. Is -0.1 not equal to k?
True
Suppose -2*g = -4*g + 6. Suppose t = -2*t + g*c, -2*t + c = -2. Is 2 < t?
False
Suppose 4*s + 0*i + 3*i = 13, -2*s = -2*i - 10. Let v = -9 + s. Let j = -6 - -1. Is j equal to v?
True
Let o = 156 + -1088/7. Is o bigger than 0.06?
True
Let m be (-147)/(-6) - 1/2. Let h be 27/30*(-10)/m. Which is smaller: -1 or h?
-1
Let s(x) = -2*x**3 + 3*x**2 + 2. Let w(r) = 3*r**3 - 4*r**2 - 3. Let n(i) = 7*s(i) + 5*w(i). Let c be n(1). Does c = 1/6?
False
Suppose 0 = -5*r - 2*i + 38 + 6, -r - i = -7. Is 10 > r?
False
Let q be -2*21/108*3 + 2. Is 1 bigger than q?
True
Let c be -1 - 3/(-30)*-2. Is c less than or equal to -1/3?
True
Let u = 264 + -157. Do 108 and u have the same value?
False
Let t = -30/17 + 197/102. Which is greater: -1 or t?
t
Let n(i) = i**2 + i**2 - i - 3*i**2 + 2. Suppose 5*p + 2*u = 4*u, -u = 4*p. Let h be n(p). Which is smaller: 1 or h?
1
Let z = 0 - -0.1. Let l = -6.84 - -7. Are l and z non-equal?
True
Let z(n) = -4*n - 5. Let y be 4/22 - 138/33. Let u be z(y). Is u greater than or equal to 12?
False
Let t(u) = -2*u - 3. Let l be t(-3). Suppose -y = l*y + 5*b + 25, 5*b = -2*y - 25. Is y smaller than -1/6?
False
Let r = -5.7 + 25.7. Are -2 and r non-equal?
True
Let n(p) = p**2 + 3*p - 1. Let s = -5 - -2. Let y be n(s). Are -2/3 and y unequal?
True
Let a = -1 - -1. Let q(r) = 3*r**2 - 5*r + 2. Let z(j) = -j**2 + 1. Let v(b) = q(b) + 2*z(b). Let i be v(4). Is i at most a?
True
Suppose -b + 5 = 0, 3*q - 4*q = 2*b - 26. Is q greater than 15?
True
Let c = 7 + -4. Let f = -2.9 + c. Which is greater: f or -3/5?
f
Let s = -59 + 41. Let j = -49451/2826 + -2/1413. Let p = j - s. Which is smaller: -2/3 or p?
-2/3
Suppose -z = -2*t + 40, -t - 3*z + 48 = 14. Let s be 2/(-11) - 40/t. Which is smaller: s or -1?
s
Let c be 93/108 + 4/16. Is 2 less than c?
False
Let x = -17 - -28. Let w = 22 - x. Do w and 10 have the same value?
False
Let o(r) = -r**3 + 2*r**2 + 6*r. Let v be o(-3). Which is smaller: 28 or v?
v
Suppose -i - 1 + 3 = -4*n, 2*i + 4 = 0. Let g(a) = -a**2 - 9*a - 2. Let y be g(-8). Let b(l) = -l**2 + 7*l - 8. Let c be b(y). Which is greater: c or n?
n
Let j be (100 - 14)/(0/(-2) - -2). Is 0 bigger than j?
False
Let y(l) = l**2 - 2*l - 2. Let b be y(3). Which is bigger: b or 1.5?
1.5
Suppose -3*z = -4*l - 82, 4*z + 0*z + l - 84 = 0. Let f be (-114)/99 + (-4)/z. Which is smaller: f or 0?
f
Suppose 0 = -3*v - 2 - 4, -175 = 5*j + 5*v. Let q = 46 + j. Which is smaller: 14 or q?
q
Let i = -18 - -4. Which is smaller: i or -13?
i
Let k be ((2 - 2)*-1)/(-2). Suppose -4*d + 2*x = -8, k*x + 2*x - 20 = -3*d. Let l be d/10 + 36/(-15). Is l equal to -3?
False
Let n = -106 - -98. Is -8 less than or equal to n?
True
Let n = -5.9 + 6. Let i = -124 + 121.05. Let d = i - 0.05. Is d at most n?
True
Let k(d) = d - 2. Let q = -2 - -5. Let p be k(q). Let c be -3 + 0 - p*-2. Is c greater than -1?
False
Let r = -1.3 + 0.3. Let y = 0.8 - 2.1. Let s = y - 0.7. Is s != r?
True
Let a be (-2 + (-13)/(-8))*1/3. Let p be 0*((-5)/(-2) - 2). Which is greater: a or p?
p
Let h = -98036/57 - -1720. Are 1 and h equal?
False
Let j = -2.5 - -4.5. Let r be -6*(-4)/3*1. Which is bigger: r or j?
r
Let p = 4 + -4. Suppose -5*z + p = 30. Let i be (-3 - z - 5)/(-2). Are -6 and i nonequal?
True
Let n = -61 - -61.3. Is n smaller than 4?
True
Let i = 8 + -12. Let a(c) = c**2 - 8*c. Let m be a(8). Let p be m*-2*1/i. Is p < -2/25?
False
Suppose 2*x - 3 = 3. Let p = x + -3. Let i be (3/(-12))/((-2)/(-2)). Is p <= i?
False
Let v = 69 - 79. Suppose 29 = -4*z - 15. Is z >= v?
False
Let s = 320/1477 - 1/422. Which is greater: 0 or s?
s
Suppose -3*z + 4*c - 6 = c, z + 4*c = 8. Let r = z - -2. Is 4 not equal to r?
True
Suppose -5*o = -3*z + 31 + 20, o - 5*z + 19 = 0. Let u = o + 1. Is -8 < u?
False
Let r be (-138)/54 - 4/((-12)/(-9)). Is -7 less than or equal to r?
True
Suppose 0*p = -3*p - 15. Let x = -4 + 1. Which is smaller: p or x?
p
Let o(s) = s + 4. Let g be o(-5). Let l be 2/8*-2*0. Suppose l*z - 6 = 3*z. Which is bigger: z or g?
g
Suppose q = 2*q. Suppose -3*g + 5 = -5*v + 10, q = -4*v + 4*g + 4. Is -1/16 smaller than v?
True
Let b be (18/(-30))/(5/(-275)). Which is greater: 32 or b?
b
Let i(q) = 2*q - 12. Let u be i(9). Suppose -u*s + 42 + 42 = 0. Is s < 13?
False
Let x = 3 - 3. Let t = -0.2 - -1. Let v = t - 0.83. Is v != x?
True
Let t(g) = -8*g - 1. Let m be t(-5). Let q be (-7)/(m/(-9) + 4). Are 21 and q nonequal?
False
Let c = -2.93 + 3. Is c greater than 1/4?
False
Let u be 8 + 31 - 2*1. Suppose -u = -3*p + 4*g, 0 = -2*p + 7*p + 5*g - 120. Suppose 4*d - p = -5*n, 2*n + 16 = 7*n + d. Is 0 less than n?
True
Suppose 0 = -0*g - g - 13. Is g less than -15?
False
Let m = -18 + 18. Let j(f) = -2*f + 1. Let o be j(m). Which is smaller: -2/17 or o?
-2/17
Let h = 2 + -1.9. Let i = -1.4 - 0.6. Let f = -2 - i. Are h and f equal?
False
Suppose -3*y - 17 = n, -15 = 3*y + 2*y - n. Is y bigger than -4?
False
Let y(p) = p**3 + 10*p**2 - 12*p - 12. Let z be y(-11). Is -2 >= z?
False
Let w(g) = g**3 + 10*g**2 + 11*g + 21. Let y be w(-9). Which is greater: y or 16?
16
Suppose -47 - 48 = -5*x. Is 19 at most as big as x?
True
Suppose -u + 3*i + 52 = 0, 0*u + 4*i = -3*u + 130. Suppose -5*d - 4*c - 15 = -u, -4*c = -5*d - 1. Which is smaller: 1 or d?
1
Suppose -2*h - a - 30 = 31, h - 4*a + 8 = 0. Let u be (-4)/h + (-20)/42. Does u = -1?
False
Suppose -4*t + 22 = 5*d, 17 - 7 = 4*t - d. Suppose -n = -2*n + 12. Suppose -n = -q - 3*q. Is t <= q?
True
Let z = 2/829 + 1624/14093. Is 2 <= z?
False
Let u = -2813/412594 + 3/2267. Let q = -347/3094 + u. Is q less than 0?
True
Suppose -3*s - 4 = -0*s - x, 5*s - x = -6. Which is greater: -1/16 or s?
-1/16
Let n(i) = -i - 8. Let d be n(-10). Suppose 6*k - 8 = d*k. Suppose 0 = q + 2*f - 5, 4*q + 5*f - 13 + k = 0. Is q < -2?
False
Suppose -4*c - 1 = 4*o + 3, 0 = 4*c - 2*o - 26. Let b = 0 + c. Is b less than 2?
False
Suppose 2*g - 4*q = -28, -2*g + 3*q + 122 = -7*g. Let r be g/28 - 6/(-21). Which is bigger: -1 or r?
r
Suppose 5*i + 2 = -3. Let h be -2 + (3 - (-40)/(-19)). Let q = -277/285 - h. Do q and i have different values?
True
Let i(x) = -x**2 - 13*x - 11. Let p be i(-12). Let n be (2/(-3))/(p/3). Which is bigger: -4 or n?
n
Let f = 3 + -2.3. Let o = f + -0.4. Is -4 greater than o?
False
Let d(v) = 3*v**2 + 3*v - 3. Let p be d(-3). Suppose 3*j - p = 3. Is j < 0?
False
Let p = 69/2 + -36. Which is smaller: p or -1?
p
Let j = 3174 - 9368/3. Let x = j - 52. Are x and -3 unequal?
True
Let i be 48/(-10) + (-7)/35. Let x be 2/(-5) + (-2)/i. Let k = -29/35 - -10/7. Are x and k unequal?
True
Let l = -45 - -44. Is l at most -33?
False
Suppose 7 = 4*z + 3*z. Suppose 0 = -3*l + 4*n + 10, -3 = -l + 3*n + 2. Which is greater: z or l?
l
Let f be (6/14)/(-2 - -1). Let z = 2 - 2. Is f at most z?
True
Let p = -11 + 7. Let r = p + 3. Is 0.3 less than or equal to r?
False
Let c be -3*(-8)/132*1. Which is smaller: 1 or c?
c
Let r be (-23)/(-42) - 4/8. Which is smaller: 1 or r?
r
Suppose k + 3*k - 12 = 0. Suppose -2*q = k*q + 25. Let x be 8/20*q/(-4). Is 1 greater than or equal to x?
True
Let i = -156/415 + -2/83. Is -0.1 < i?
False
Let h = 8 + -4. Let g be 18/4 + h/(-8). Which is greater: 3 or g?
g
Let j = -1132/7 - -162. Is j greater than -1.5?
True
Suppose 4*b + 3 = 4*l - 1, 2*l - 6 = b. Suppose -3*k + 7*k = 2*z + 8, -b*k - z = -20. Suppose 2*y = -x + 9 - k, -y = 2*x - 1. Is 0 less than or equal to x?
False
Suppose 0 = 3*g - 3. Let j be 2/28 + g/2. Do 1 and j have different values?
True
Let n = -24 - -5. Let h = n - -7. Let j be -2 + (27/h)/(-1). Which is greater: j or 0.1?
j
Suppose 0 = -37*w + 32*w - 175. Is -35 at most as big as w?
True
Let x be 4/(-3) + 