 have the same value?
False
Let b = -68.33 - -0.33. Do 0.1 and b have different values?
True
Let n be (-3776)/28 - (39/(-21) + 2). Which is greater: -134 or n?
-134
Let k = -2.3 - -6.3. Let z = k - 3. Is z greater than -4/21?
True
Let f be 2/(-9)*2/(-1). Let p be (462/(-70) - -7)*(-5)/(-2). Is p at least as big as f?
True
Let f = 161.77 - -0.23. Let p = -160 + f. Is -9 != p?
True
Let a = 30 + -28.6. Let i = 0.6 + a. Which is smaller: i or 0.02?
0.02
Let m = 6.4 + -8. Let y = 158 + -156.4. Let w = m + y. Which is smaller: 22 or w?
w
Let w = 22495/203 + -767/7. Let b = 6/145 - w. Is 0 equal to b?
False
Let k be ((-3)/(-5))/(33/(-2)). Suppose -2 = 3*t - 3*u - 17, 0 = -2*u - 10. Which is greater: k or t?
t
Suppose 0 = l - 7 - 5. Let z = 5 + l. Suppose 4*i + z = -3. Is i < -5?
False
Let i = -89 + 535/6. Let x = 132 + -61. Let u = x - 63. Is u at most i?
False
Suppose 234 = l + 2*l. Let v be (44/l)/((-14)/5). Let y = -1/21 - v. Do y and 0 have different values?
True
Suppose t + 2*t = 6. Suppose 5*i = -5*v - 25, v - 4*i = t*v + 8. Let g be v/(-14)*28/(-36). Which is smaller: g or -2?
-2
Suppose 3*v = 29 + 37. Is 24 > v?
True
Let b be ((-81)/(-6))/9*44/(-6). Which is smaller: -12 or b?
-12
Let a = 5754 - 1941. Let w = 11318/3 - a. Let z = w + 40. Is -1 greater than z?
False
Let z = -0.19 + 8.19. Let m = z - 8. Let p = -0.2 - m. Are 0.2 and p equal?
False
Let n be -14 - -15 - 342/10. Are n and -32 unequal?
True
Let g(q) = -q**2 + 10*q + 16. Let n be g(11). Suppose 2*f = n*i - 7, 3*i - i = f + 4. Let v = f - -6. Which is bigger: v or -2/69?
v
Let f be ((-150)/12 + 13)*(-583 - -1). Is 3 less than f?
False
Let w be 5/(-15) + (-11)/3. Let u be (-2)/2 - w/1. Let o = -297 - -298. Which is bigger: o or u?
u
Let o = 3.455 - 0.055. Let g be (-6)/75*(3 - 8). Which is greater: g or o?
o
Let m = -6 - -11. Let n = -16 - -12. Let o = m + n. Is o > -2/17?
True
Let k(x) = x + 7. Let g be k(-3). Let o(q) = -q + 5. Let s be o(3). Which is smaller: g or s?
s
Let c(n) = n**2 + n**2 + 420*n - n**3 - 415*n - 6. Let h be c(3). Which is smaller: -18/19 or h?
-18/19
Suppose -33*p - 610 + 2062 = 0. Is 44 smaller than p?
False
Let r be (-1)/(2/(0 - -6)). Let c be (r/4)/(54/16). Let h = -3.905 + -0.095. Which is smaller: c or h?
h
Let k = -0.14 - -2.14. Let x = k + -2.4. Let v = x + 0.5. Is v at most 13?
True
Let o = 5 + -21. Let w = -24 + 17. Let z = w - o. Which is greater: z or -1?
z
Let t = 14 + -24. Let v = t - -9. Do v and -1/14 have the same value?
False
Let z = 9/145 + 4/29. Let b = -46.04 - -47. Let q = b - -0.04. Is q at least z?
True
Let t be (-7)/(245/(-6462)) + (-5)/25. Let d = t + -184. Do d and 0 have the same value?
False
Suppose -12*y = -267 - 321. Let s = 47 - y. Is -2 not equal to s?
False
Let c be ((-2 + 1)/1)/(-2*(-9)/(-108)). Suppose 3*a = a. Is c not equal to a?
True
Suppose -d + 5*d + 2*t = -170, 0 = -3*t + 9. Let w be (3 - (-1 - d)) + -3. Is w >= -43?
True
Let i be 2 + 8*32/(-36). Let o = i - -892/171. Is -0.1 <= o?
True
Suppose 0 = 3*o + 2*o - 25, -o - 3 = 4*r. Let n be r/10 - (-1)/5. Let l(a) = 21*a + 105. Let v be l(-5). Is n >= v?
True
Let c(z) = -z**3 - 15*z**2 - 12*z - 157. Let b be c(-14). Which is smaller: -184 or b?
b
Let n be (1 + 0)*(-15 - 2). Suppose 590 = 7*h - 362. Suppose -18*y + 10*y = h. Is y < n?
False
Let o be (15/18 + 5)/(-1). Which is greater: -6 or o?
o
Let l be -3105 + (4 - (2 + -1)). Let j = l + 71320/23. Let k = -1147/1035 - j. Is -1 at least as big as k?
False
Let f = -5261 - -236741/45. Let x(j) = -j - 5. Let r be x(-6). Is r greater than f?
True
Let w = -46 + 83. Let z = -70 + 37. Let u = z + w. Is u greater than or equal to 2?
True
Suppose -921 = -14*s + 1039. Do s and 140 have different values?
False
Let l be (4/84*14)/(-652). Which is smaller: l or 0?
l
Let l = 467 + -9329/20. Which is greater: l or 1?
1
Let l be 94/(-20)*2*-1. Suppose 33 = 5*r + 6*s - 10*s, -42 = -4*r - 2*s. Which is smaller: r or l?
r
Let g(u) = -4*u**2 + 9*u + 13. Let j be g(-2). Suppose -2*m + 3*n - 2*n = 39, 0 = 5*n + 5. Which is greater: m or j?
m
Let z(f) = -5*f**2 - 6*f + 23. Let x(a) = -9*a**2 - 13*a + 46. Let g(j) = -4*x(j) + 7*z(j). Let q be g(-12). Is q < 1/25?
False
Let l be 328/623 + ((-18)/(-42) - 1). Do 0 and l have different values?
True
Suppose 2*s - 3 = -9. Let m be 1 - ((-1)/s + 78/(-18)). Which is bigger: 23/6 or m?
m
Suppose -11*a - 9 = -12*a. Suppose 0 = -7*x + a*x - 2. Which is smaller: 2/131 or x?
2/131
Let g = -226 + 220. Is -96/13 at most as big as g?
True
Suppose -4*y - 3*p = 1, -4*y - 5*p = -3*p - 2. Let l be 5/7*y/15. Which is greater: l or -1?
l
Let a be (3 + -1490)*(18 + -17). Is -1487 bigger than a?
False
Let t(j) = -233*j + 22. Let p be t(-2). Is p >= 487?
True
Let c = -562.3 - -562. Which is greater: -106 or c?
c
Suppose -1638*z + 48 = -1637*z. Which is smaller: 25 or z?
25
Let k be ((-4778)/(-1592) - 3)*4. Let c = k - 2191/398. Is c smaller than -5?
True
Let t(m) = -m - 2. Suppose -o = -2*o, -5*o = -5*u. Let h be t(u). Which is greater: h or -9/4?
h
Let n(k) = -k**3 + 2*k**2 + 7*k + 3. Let d be n(4). Are d and -4/5 equal?
False
Let k = 916 - 917. Which is smaller: -25/46 or k?
k
Suppose o = -u - 9, -21*o + 17*o = -2*u + 6. Is o < -65?
False
Let c = 95 + -661/7. Let l(r) = 0 + 2 + 1 - r + 0. Let w be l(3). Which is smaller: c or w?
w
Let f = 33.8 + -32.783. Let y = -0.017 + f. Is 23 at least y?
True
Let z(w) = w**2 - 2*w - 8. Let k be z(4). Suppose 0 = 3*x + 4*a - 24, 2*x + 3*x - 4*a - 8 = k. Let n = 5 + x. Which is bigger: 8 or n?
n
Let g = 230 + -233. Is g at most -15?
False
Suppose 19 = 4*l - 5. Suppose m = -4*n + 18, 4*m = -3*n + l*n + 34. Which is smaller: m or 11?
m
Let q be (-52)/(-10) + 1/(-5). Let m be -5 + q/(60/46). Suppose -2*c = -4*a + 20, 0 = -c + 4*a - 11 - 7. Which is greater: m or c?
m
Suppose 3*h - 7 = 17. Suppose h*l - 72 = -16. Is 2 equal to l?
False
Let x be ((-85)/(-34))/(5/8). Which is greater: 55 or x?
55
Let m = -25 - -18. Is -22 less than m?
True
Let x be (-4)/(-10)*(-5)/7. Which is bigger: 284 or x?
284
Suppose 8*y = 6*y - 3*k + 269, k = -2*y + 263. Which is smaller: y or 129?
129
Suppose s + 2 + 2 = -4*y, -2*y = 4*s - 12. Let q be y/(-20) - 2/4. Let j = -0.04 + -2.96. Is q > j?
True
Let n = 205 + -158. Is n bigger than 4?
True
Let u be (-4023)/23 - 22/253. Is -175 bigger than u?
False
Let a = 3.617 - -0.383. Is 1.6 at least a?
False
Let a = 382 - 388. Which is smaller: -29/5 or a?
a
Let k = -91/6 + 53/3. Let g = -61 + 245/4. Is g bigger than k?
False
Suppose -5*d + r = 26 + 37, -r = 2. Which is bigger: d or 35?
35
Let v = -1 - -5. Let l be (v - 6/3)/(-2). Which is smaller: l or 2?
l
Suppose -5*z + 5*w = -60, w = 4*z + 3*w - 42. Suppose -7*p - 8 = -z*p. Suppose -v + 3 + 0 = -m, 4 = p*v. Is m at most -2/9?
True
Let y(t) = 3*t**2 - 36*t - 8. Let x be y(12). Let n be -6*(-6)/27*-3. Do n and x have different values?
True
Let k = 177 - 10090/57. Which is smaller: -1 or k?
-1
Suppose -2*m + 5*m - 6 = 0. Let s = 52 - 34. Suppose -m*r - 6*c = -c - 3, -2*c + s = -2*r. Which is greater: r or -4?
-4
Let p = 0.01 - -0.06. Let o = p - 1.07. Let q = -0.8 - o. Is -0.3 bigger than q?
False
Let i = -30183089577/935 + 32281372. Let u = i - -5/187. Let s = 7 + u. Do 0.1 and s have different values?
True
Let d be ((-6)/(-15))/(2 + 2086/(-1040)). Let n = d + 70. Is 2 > n?
True
Suppose 33 = -v - 2*y, 2*y = y + 4. Let u = v - -50. Is u at least as big as 4?
True
Let k = -140 + 139.49. Is k greater than or equal to 1?
False
Let l(j) = -5*j**2 - 2*j + 1. Let k be l(1). Let y be (6/3)/(4/k). Let w be y/(-9)*(-6)/(-4). Do w and 2 have different values?
True
Let x = 0.32 - -1.68. Let d = 15 + 0. Suppose -2*s = 2*q + 6, 5*s = -0*q + q + d. Is x at most as big as s?
True
Let i = -1026 - -1026. Which is smaller: -4/231 or i?
-4/231
Let y(b) = -12*b + 1. Suppose 5 = 2*r + 3*r - 5*n, -4*n = 5*r - 5. Let v be y(r). Is v > -12?
True
Suppose -m + 5 = -3*j + 13, -4*j = -2*m - 10. Suppose 0 = j*l - 12, 6*l = -5*r + 3*l + 12. Which is smaller: r or 6/7?
r
Let o = 17 - 15. Suppose -19 = -5*k - 4*s, -3*k + s - o = -27. Which is smaller: k or 5?
5
Let t = 32 + -29. Suppose 0 = 5*d - z - 103, -t*d + 5*z + 63 - 10 = 0. Is d at least 23?
False
Let k(v) = -v**3 - 2*v**2 + 9*v + 17. Let n be k(3). Is n less than 2/2369?
True
Let c(n) = n*