ferent values?
True
Suppose 3*r + r = 36. Suppose 5*j - r = 4*a, -2*a - 2*a = 4. Which is smaller: -1/6 or j?
-1/6
Let o = -0.227 - -1.227. Is o greater than -2/9?
True
Let u(z) = 1 - z**2 + 0*z**2 + 0*z - z. Let r be u(-2). Let l be (-315)/(-329) - (1 - 0). Which is greater: l or r?
l
Suppose -9*r = -2*u - 4*r - 1711, 2*r - 856 = u. Do u and -858 have different values?
False
Let f be ((-2)/3)/(6/(-108)). Let v = -11 + f. Let a be ((-2)/4)/(v/12). Which is greater: -7 or a?
a
Let f = 7 + -5. Let d(m) = -m**3 + m**2 + m + 2. Let u be d(f). Let p be 0 + 5 + -4 + u. Is -3/17 greater than p?
False
Let a = -221 - -219.77. Let w = a - -0.93. Do w and -0.07 have different values?
True
Let y = -754 + 753. Do y and 2/589 have the same value?
False
Let h be -15 + 342/24 - (-274)/408. Which is greater: h or 2?
2
Let w(p) = p + 2. Let q be w(7). Let x be (0 - 6)/(q/(-12)). Are 6 and x equal?
False
Let q = -638 - -638.45. Is 2 at most q?
False
Let x be (1/2)/(7/196). Is 26 greater than or equal to x?
True
Let c = -20759684/57 + 363876. Let y = 329 + c. Which is bigger: y or 1?
1
Let b be ((-6)/3)/((-16)/72). Is 168/17 greater than b?
True
Suppose -2*o + 3*n = 16, 0 = -o + 6*n - 4*n - 10. Let u be o/(12/(-9)*-1). Suppose -124*y - 15 = b - 128*y, -3*b - 3*y = 0. Which is smaller: u or b?
b
Let p(b) = 7*b**2 - b - 2. Let v be p(2). Let t = v - 22. Is t > 3?
False
Suppose 1596 = -22*q + 25*q. Which is smaller: q or 533?
q
Let q be 1/9 - 196/(-2772). Which is greater: q or -1?
q
Let s = -138 - -107. Is s >= -31?
True
Suppose 2*t - 6*t - 8 = 0, 5*w - 8 = -t. Suppose -3 = -5*z - 3*f + 11, 0 = w*z + f - 5. Is 1/71 > z?
False
Let p(g) = -g**2 + 18*g - 19. Let b be 5*((-7 - -2) + 8). Let n be p(b). Is n at most 28?
True
Let p(m) = -30*m + 56. Let q be p(2). Which is greater: q or -58/11?
q
Let i = 61 + -62. Let s be 1 + -1 + 3/12. Is i < s?
True
Let x(i) = 4*i - 31. Let f be x(-6). Let m = 57 + f. Are m and 8 non-equal?
True
Let q = 37.29 - 39.2. Let i = q - -0.21. Let r = i + 1.5. Is r at most as big as -2/15?
True
Suppose 3 = -c - 3*c + 3*v, 2*c + 4*v = 4. Let g = 24 - 16. Suppose 0 = -5*r + y + 2, -2*r - g = -r - 3*y. Are c and r equal?
False
Let v(n) = -n + 1. Let y be v(-2). Let m be 4 + (-15)/y + 4. Suppose -3 = -m*g + 3. Is 1 smaller than g?
True
Let o be 7 - (3/9)/(1/(-3)). Let s(q) = -q**3 + 6*q**2 - 4*q + 5. Let j be s(5). Is o bigger than j?
False
Let a(c) = -2*c**3 + 8*c**2 + 24*c - 1. Let o be a(6). Is 1/1130 bigger than o?
True
Suppose 3*k - 1 = -l + 4, 4*l = -k + 20. Suppose -f - o = -k*f - 2, 6 = 2*o. Is f bigger than 1?
False
Let x = -32 + 37. Suppose a + 17 = -x. Which is smaller: -19 or a?
a
Suppose 200 = 2*f + 3*f. Let a be (-1)/(-3) + f/(-30). Let i = -4 + a. Is 0.2 at most as big as i?
False
Let g(h) = 2*h - 15. Let j(x) = 4*x - 31. Let n(z) = -11*g(z) + 6*j(z). Let o be n(13). Is o smaller than 5?
False
Suppose 0 = 3*d + 1 - 4. Suppose -5*o - 2*i + 6 = 0, 4*i = 4*o + 9 + 3. Is d at most o?
False
Let c be 2/18*(215/15 + -5). Do c and 2 have different values?
True
Suppose 5*u = -2*f - 579 - 6699, -2*u - 2912 = f. Which is greater: -1455 or u?
u
Let w = 139 - 138.9. Which is greater: w or 3.16?
3.16
Let p be (-782)/(-1785) + (-2)/(-15). Let v = p - 19/21. Is 0 > v?
True
Let f(q) = -q**2 + 9*q + 18. Let a be f(11). Let c be a/(-84)*1*6. Let g(l) = l**3 + 4*l**2 - 4*l + 4. Let b be g(-5). Is b at least as big as c?
False
Let o(u) = u**2 + 11*u + 23. Let n be o(-8). Let b = 1/2 + -11/10. Is b less than n?
False
Let u be -6*(3 - 129/6). Suppose u + 97 = -13*a. Which is bigger: a or -17?
a
Let c = 112 + -124.91. Let k = c - 0.09. Let w = k + 12. Which is bigger: 2 or w?
2
Let k = -51.9 - -49. Let w = -75 + 66.1. Let j = k - w. Which is bigger: j or 2/7?
j
Suppose -9*y + 217 - 46 = 0. Is y > 20?
False
Let z(d) = -d**2 + 5*d - 10. Suppose -3*i = -9 - 6. Let o be z(i). Which is smaller: o or -2?
o
Let a be ((-287)/14)/((-3)/(-2) + -2). Let v = a + -41. Is -4 bigger than v?
False
Let o(w) = -2*w + 1. Let v be o(-1). Let h(y) = y**3 - 4*y**2 + 3*y + 4. Let k be h(v). Let c be (-4*(-1)/k)/(-1). Are 2 and c nonequal?
True
Let n = -15.0271 + 0.0271. Are 3 and n non-equal?
True
Let a = -2/2301 - -10744/6903. Which is greater: a or 3?
3
Let m be 1/((-17)/(-9) - 2). Let i = -0.0076 + -0.9924. Are i and m unequal?
True
Let s = -28.3 + 23. Let w = s - -8.2. Let v = 2.7 - w. Is 0.07 >= v?
True
Let n = -698 + 60727/87. Which is smaller: 1 or n?
n
Let c be ((-5)/(140/(-904)))/1. Let i = c - 32. Which is smaller: i or -2/9?
-2/9
Let j = 1.91 + -1.85. Which is smaller: 24 or j?
j
Let w = -10/117 + 133/1404. Suppose 25*c - 22*c = 3. Is w at most as big as c?
True
Suppose -5*n = -3*h - 22, 0 = -n - 0*h - h - 2. Suppose -5*i + 76 = -4*b, -i + 38 = -n*b + i. Is b < -18?
True
Let z = -457 + 491.7. Let l = z - 35. Which is bigger: 1/4 or l?
1/4
Let g(v) = 3*v + 14. Let z(a) = a**2 - 7*a + 2. Let r be z(4). Let t be g(r). Which is greater: -29/2 or t?
-29/2
Let y = 219 + -166. Let v be (18/(-72))/(1 - 54/y). Which is bigger: 12 or v?
v
Let o = 39 - -17. Let k = -59 + o. Let y = -4 + 1. Is k smaller than y?
False
Let o = -35 + 35.15. Let t = o - 0.05. Is t > -6/5?
True
Suppose c - 5*c = 32. Let g = c + 9. Which is greater: 3 or g?
3
Let k = 108.64 + -109. Let g = 0.26 + k. Which is bigger: -11 or g?
g
Let b = -0.39 + -0.61. Let i(v) = 6 + 6 - 6 - v. Let t be i(6). Which is smaller: t or b?
b
Suppose 3*t = -13 - 20. Let c = t + 13. Let h = 7 + -6. Does h = c?
False
Let t(q) = -3*q - 37. Let y be t(-11). Let s be 1/y*-1 - (-3)/(-12). Do 3/20 and s have different values?
True
Suppose 106*g - 876 = 107*g. Which is bigger: g or -874?
-874
Let s = -2.5 + 0.5. Let v = 2 + s. Let g = -192 + 194. Which is smaller: g or v?
v
Suppose -2*w - 77 = -19. Suppose 34 = -f + m, 2*f = 2*m - 7*m - 40. Is f at most w?
True
Suppose 4*m + 39 = 3*v - 4, -3*v - 2*m = -37. Suppose v = 5*z + 103. Let n be 189/z*(-8)/(-6). Is -14 at most n?
True
Let k(i) be the first derivative of -i**3/3 - 5*i**2/2 - 6*i + 15. Let n be k(-2). Let u = -3032/2535 - 2/507. Which is smaller: u or n?
u
Let j = 12 - 34. Is -25 greater than j?
False
Let f be (-3)/(-6) + (-17)/(-13). Let v = f + -4/13. Which is smaller: 1 or v?
1
Let d = 74 + -39. Let c = -36 + d. Is -2/9 greater than c?
True
Let l(o) = -o + 1. Let c be l(-6). Let w = c + -6. Which is smaller: w or -2/25?
-2/25
Let y be (((-20)/48)/(10/(-6)))/((-25)/760). Let p = 6 + -13. Is y less than p?
True
Suppose -4*l + 234 = -3*s, -2*l + 186 = l + 3*s. Let p = l + -56. Which is bigger: 0 or p?
p
Suppose 0 = -5*z + 2*z + u + 887, -16 = -4*u. Is 3 at most as big as z?
True
Suppose 0 = -u + 2, -4*f - 2*u = -0*f - 32. Let o be 24/(-210) - 2/f. Suppose -4*l = l, -4*l = -r - 1. Is o at least as big as r?
True
Let t = 1909 + -1835. Is t != 6?
True
Let q = -62 + 42. Let s = 18 + q. Do -2/3 and s have the same value?
False
Let w(v) = v**3 + 9*v**2 - 9*v + 13. Let h be w(-10). Suppose -9 = -3*f + h*n, -2*f = -f - 5*n - 19. Which is bigger: -3/7 or f?
-3/7
Let a(o) = -2*o**3 + 8*o**2 - o + 2. Let p be a(4). Let t(w) = w**3 + 7*w**2 + 7*w + 6. Let g be t(-6). Let s be g/(-5)*p/(-4). Are 2/21 and s equal?
False
Let k = 154 + -136. Which is greater: k or 15?
k
Let a be 1 + (-13)/8 - -1. Suppose 3*f + 27*f = -12*f + 42. Is f < a?
False
Let b be (-1 - -1)/(-3 - -7 - 3). Is -4/9 bigger than b?
False
Let j be (-393)/(-2)*(-7)/(-42). Which is smaller: j or 34?
j
Suppose -5*u + 190 = q + 4*q, 111 = 3*u + 2*q. Let l = -49 + u. Is -14 < l?
False
Let n = 2/329 - 11260/12173. Which is greater: -2 or n?
n
Suppose -2*f = -3*b - 10 + 3, 0 = 3*b - 3. Suppose 3*x = d + 9, f*x + d + d = 26. Suppose -x*k + 8*k = 4. Is -3/11 at most as big as k?
True
Let w = 1005 + -1011. Is -36 smaller than w?
True
Let s be (-54)/140 + (-8)/(-16). Let t = 113/70 - s. Which is bigger: 2 or t?
2
Let w = 5.372 - 0.272. Is w greater than 0.2?
True
Let d be 9 + 15/(-3) - 2618/737. Which is smaller: -1 or d?
-1
Let c = 2.9 - 2.8. Which is smaller: 73 or c?
c
Let l(n) = -3*n**2 + 7*n + 4. Let c be l(4). Let d be 1 - 4/(c/(-28)). Let s be (4/(-6))/((-10)/d). Which is smaller: 1 or s?
s
Let y = 1508 - 1915. Which is smaller: y or -409?
-409
Let i be 2*2/16*3. Let z = -1/172 + 353/1548. Which is smaller: z or i?
z
Let r(x)