 + 5*z - 3*t. Is z smaller than 3/10?
True
Let y = -7.7 + 7. Let m = 0.3 + y. Is -0.1 != m?
True
Let i = -136330/40287 + -2/3099. Is i >= -4?
True
Let z be 1 + (-37)/45 + 16/(-120). Which is greater: 0 or z?
z
Let r be (-2)/8 - (-62)/152. Let m = r - -13/38. Let f(u) = -u - 4. Let o be f(-6). Is o at most as big as m?
False
Let i = -0.5 + 0.9. Let m = -0.3 + i. Let g be (-12)/30*(-1)/2. Which is smaller: g or m?
m
Let g = 64 - -13. Is g != 76?
True
Suppose -3*a = 3*d + 18, 2*d + 5 = d. Is a != 3?
True
Let p = 64 - 63. Is p less than or equal to 25?
True
Let x be ((-45)/(-20))/(10/(-8)). Which is bigger: -2 or x?
x
Let h = 7 - 6. Let w = 6 - 2. Let u be 2 - 6/w - h. Is u at most -1?
False
Let w = 55 + -39. Let g = w + -50/3. Suppose 2*p = 4*p. Are p and g non-equal?
True
Let c = -19 + 39/2. Suppose 5*d + b = 4*b + 335, 4*d - 241 = -3*b. Let n = d - 131/2. Which is bigger: n or c?
c
Let r = -2 + 7. Suppose 5*i + 6 = 31. Is i bigger than r?
False
Let i = 0.02 - 0.08. Let s = -76.94 + 77. Let w = s + i. Which is greater: 3/2 or w?
3/2
Let b = 36 - 36.41. Let c = b - 4.69. Let p = 5 + c. Is 3 > p?
True
Let x be (-902)/88 + (-2)/(-8). Is -10 equal to x?
True
Let h = 88 + -63. Is h greater than -2?
True
Let h = -3 + 3.1. Let b = -2.6 + 2.7. Is b < h?
False
Suppose 4*o = -2 + 6. Let u = 3.9 - -0.1. Let r = 2 - u. Which is greater: o or r?
o
Let k = 140.15 + -140. Is 0.4 at most k?
False
Let f = 0.9 - 1.9. Let h = 3 - 3.5. Which is greater: f or h?
h
Let y = -13 - -12. Is y greater than or equal to -9?
True
Let p = -21 - -30. Suppose 5*x + 9 = -2*c, p = -3*c + 3. Let b be 3/18 - x/3. Is -0.1 at least as big as b?
False
Let d be -8 + 3 - 189/(-39). Which is bigger: 4/5 or d?
4/5
Let i = -2 + 2.1. Let s = 0.1 + i. Let u = -0.7 + 0.5. Are s and u equal?
False
Let j = 3 - -2. Let m = 10 - j. Let b = 4 - m. Which is smaller: b or 2/7?
b
Let j = 66 - 65. Which is bigger: 3/55 or j?
j
Let p = -85 + 51. Let i = p - -36.1. Let g = 2 - i. Is g != 0?
True
Suppose 0 = -4*f - p + 2, 4*f + 5*p = -4 - 2. Let k = -34 + 135/4. Which is greater: k or f?
f
Let p = 0.16 - -0.04. Which is bigger: 2 or p?
2
Let l = 8 - 13. Let j = -5 - l. Is 1/4 less than or equal to j?
False
Let x(h) = h**3 - 5*h**2 + 4*h + 1. Let b be x(4). Let u be ((3 + -2)/b)/1. Let q be 57/63 + -2 + 1. Is u at least q?
True
Suppose -2*d - 2 = 6. Suppose 3*q + q = 8. Let g be 2*-2 - (q + -3). Is g <= d?
False
Let r = -0.197 + 0.097. Let s = -1 - -2. Let m = 0 + s. Is r smaller than m?
True
Let r(l) = l**3 + l**2 - l - 1. Let a be r(0). Let n be -2*(a - 14/(-4)). Is 2/3 bigger than n?
True
Let k be (-2 + 3)/(-2)*-6. Let w be (-2)/12 + 38/12. Are k and w nonequal?
False
Let p = 425 - 214. Let z = 2319/11 - p. Suppose 0 = 4*d + 3*r - 2, -r - 5 = d - 3*r. Which is bigger: z or d?
z
Suppose -5 = z, -3*i - 3 = -0*i + 3*z. Suppose 2*l + 10 = i. Is l not equal to 0?
True
Let b = -1257 + 1266.91. Let i = b + -10. Let n = i + 2.09. Which is smaller: 0.1 or n?
0.1
Let p(k) = -2*k + 19. Let a be p(9). Which is smaller: -1/3 or a?
-1/3
Let m(o) = -o**2. Let w be m(0). Suppose -2*d + d = w. Is d at least 1/10?
False
Let r = 47 - 328/7. Do 1 and r have the same value?
False
Suppose 3*o - 21 = 9. Let b = -5 + o. Suppose 2*l + 3*l = b. Which is smaller: -1/3 or l?
-1/3
Let f be (7/(-4))/((-1)/(-4)). Let h = 1.18 + -0.18. Are h and f non-equal?
True
Let y = -161/870 + 3/58. Is 1/2 smaller than y?
False
Let g be (0 - (-67)/(-6))/16. Let o = 1/32 + g. Which is greater: o or -1?
o
Suppose 4 = -o + 3. Let d be 2 + (-1 - 1/3). Is o bigger than d?
False
Let n = -4 - -4. Suppose -2*s + 9 = 5*c + 1, n = 4*s - c + 6. Is -1 at least s?
True
Let s(a) = -a + 14. Let n be s(10). Let t be 12/((-33)/(-12) + -2). Suppose 0*d = -4*d + t. Is n less than d?
False
Let z = 11 - 8. Suppose -z*c + 7*c = 0. Suppose c = -2*w - w. Which is smaller: 2/13 or w?
w
Let l = 69 + -68.26. Let n = 0.24 - l. Which is smaller: n or 0.1?
n
Let a be 3*(-4)/90*-2. Let s = -55 + 55. Is a at most as big as s?
False
Let g(c) = 2*c**2 - 2*c - 2. Let q be (-16)/(-6) - 2/3. Let n be g(q). Is n less than or equal to 3?
True
Let k = -8 + 11. Suppose 0 = -3*h + k*n + 33, 4*h + 3*n + 9 = 3*h. Suppose 3*s + h = -0*s. Is s < -3/5?
True
Suppose 3 = 8*i - 11*i. Let s be 1/3 + (-20)/36. Which is smaller: s or i?
i
Let y(s) = s - 9. Let v be y(7). Let f be 104/(-63) + 12/54. Is f >= v?
True
Let u = -0.4 + 0.2. Let z = 0.24 - 0.37. Let f = z + 0.23. Is u less than f?
True
Suppose -3*v + 4*l = -2*v - 6, 5*l + 11 = 3*v. Suppose 5*t - 3 = v. Suppose 2*j - 3*z + 8 = -t, 2*z - 10 = 0. Do j and 4 have different values?
True
Let q be (9/14 + 0)/(114/(-133)). Which is bigger: -0.2 or q?
-0.2
Suppose -9*z = -2*z - 679. Which is smaller: 96 or z?
96
Suppose -6*y = -y. Let f = 0 - y. Which is greater: 6/7 or f?
6/7
Let x be (-2)/11 - 24/(-132). Is 4/21 less than x?
False
Let x = -85/84 - -7/12. Which is greater: -3/2 or x?
x
Let t = 207 - 5591/27. Which is bigger: t or -1?
t
Let o = 0.89 + -1. Let r = o + -5.89. Let x = -2 - r. Is 0 >= x?
False
Let f(z) = -z + 2. Let p be f(0). Suppose 3 = 5*u - p. Let x = 2 - u. Which is smaller: x or -1/3?
-1/3
Suppose 4 = -2*p, -2 = 2*y + 4*p - 3*p. Let a = 1 + y. Let l = -356 - -1427/4. Is a greater than or equal to l?
True
Let a = 8 + -15. Let p(i) = i**2 + 8*i + 6. Let m be p(a). Is m != 1?
True
Let i(x) = -x**2 - 6*x. Let t be i(-5). Are t and 5 unequal?
False
Let j = 23 + -26. Let o(a) = 29*a**2 - 1. Let s be o(-1). Suppose -2*i - 20 = 3*u, -5*i - 2*u = -0*u + s. Which is smaller: i or j?
i
Let w = 70/13 + -345/52. Is w at most -2?
False
Let v = -30 + 21. Let s = v - -8.9. Let h = -8 - -8.3. Which is bigger: h or s?
h
Let x be 2/(-4) + 15/20. Suppose -4*g + 5 = g. Let q = g + -1. Which is smaller: x or q?
q
Suppose -18 = -3*u + 2*u - f, -f = -5*u + 72. Which is smaller: 16 or u?
u
Let a be ((-28)/(-24))/(3/9). Is 4 greater than a?
True
Suppose 2*d = -a + 6*d + 16, -5*a - 12 = 3*d. Let j be (-2)/(-10 + 0) + a. Suppose 0*i - 2*i - 2 = 0. Which is smaller: j or i?
i
Let n = 3 - 1. Suppose -7*x + 3*x = 28. Let d = x - -10. Is d >= n?
True
Let o = 2 + -3. Let j(m) = m**3 + 7*m**2 - m - 7. Let k be ((-1)/(-1))/(8/(-56)). Let s be j(k). Is o greater than s?
False
Let t(v) = v**3 + 6*v**2 + v + 2. Let j be t(-6). Let w be 0/((-2)/(j/(-2))). Is w > 2/11?
False
Let q = 3.07 + -0.07. Let f = 0.99 + 0.01. Let v = q - f. Which is smaller: v or -1?
-1
Let j be (-2 - -2)*1/(-2). Suppose -4*x + 2*x + 2 = 0. Is j less than or equal to x?
True
Let g(u) = -u**3 - 3*u**2 + 4*u + 1. Let c be g(-4). Is c at least as big as -2/31?
True
Let c = -0.008 + 0.008. Are c and -47 equal?
False
Let m = 4 + -3. Let x be 1 + (2 - 2) + -204. Let q = -1829/9 - x. Which is greater: m or q?
m
Suppose 0 = 8*r - 4*r + 60. Let t = r + 24. Let i be (2/(-21))/((-1)/t). Is 2 greater than or equal to i?
True
Let q = -7.3 - -25.3. Which is smaller: q or 0?
0
Let o = 0.05 - -1.95. Is o < -1/2?
False
Suppose -4*d - 235 = -7*k + 2*k, -d - 3*k - 63 = 0. Let j be (4/(-85))/(8/d). Is -1 less than or equal to j?
True
Let g(c) = 2*c**3 - 4*c**2 + c + 2. Let i be g(2). Suppose -3*o = -0*o. Let w be o + 7 + (-2 - 0). Which is greater: i or w?
w
Let b be ((-12)/(-360))/((1/(-3))/(-1)). Are 0.1 and b nonequal?
False
Let b be (-10)/(-30)*(-1 - (-3)/3). Are b and 3/64 non-equal?
True
Let a = -1067/642 + -1/214. Let k = 7 + -10. Do k and a have the same value?
False
Let v = -1/32 - -11/96. Which is greater: v or -1?
v
Let o = -52 - -52.1. Which is smaller: 13 or o?
o
Let a be 3/(-7) - (6 - (-10645)/(-1645)). Are 1 and a equal?
False
Let t(p) = p**3 - 5*p**2 + 2*p - 7. Let b be t(5). Suppose b*m - 2 = 2*o + 4, o + 3 = 3*m. Suppose m = -3*n + 3. Is -0.1 > n?
False
Let c(s) = s**2 + 2*s - 1. Let a be c(-2). Let m(g) = -11*g - 44. Let b be m(-4). Which is greater: a or b?
b
Suppose -2*o + 8 = -6*o. Do o and -2 have different values?
False
Let l = 2 + -2.6. Let a = l - -0.5. Let f be ((-3)/(-20))/(18/(-16)). Which is greater: f or a?
a
Let z be 26 - 6 - (1 + 0). Are z and 19 equal?
True
Let w be (5*16/180)/((-4)/(-6)). Is -1/8 smaller than w?
True
Suppose u + 3*u + 3 = t, 3*u = 5*t - 15. Let a be 1 - ((-1)/(-1) - 3). Is t < a?
False
Let o = 85 - 341/4. Which is bigger: 2/9 or o?
2/9
Let p = 5/8 + -3/8. L