. Is 2159 greater than r?
False
Suppose 4*i - 3*x = 3, 3*x + 0*x = 9. Suppose -2*d - 2*j = 2*d + 14, j + i = -d. Let y be 1 + d/(-4) + -2. Which is greater: -6/17 or y?
y
Let z be (-16)/(-2)*((-27)/(-12) + 2). Which is smaller: z or 33?
33
Let o(g) = -g**3 + 16*g**2 - 15*g + 14. Let m be o(15). Suppose -3*x - m = -5*x. Which is smaller: x or 6?
6
Let g = -744 + 666. Is -80 less than or equal to g?
True
Let w = -72.31 - -70.4. Which is smaller: 0.1 or w?
w
Let b = -3560 - -46258/13. Is -1 smaller than b?
False
Let k = -5 - -3. Let s be (-912)/56 + (-4)/(-14). Let q be (-34)/40 + (-4)/s. Which is smaller: q or k?
k
Suppose -2*z + 33 = 3*r + 2*r, -2*z + 3*r - 7 = 0. Suppose w + z = 5*w. Let m be (462/392 - 1)*4/10. Is m greater than or equal to w?
False
Let v(u) = -u**2 + 7*u - 2. Let s be v(7). Let y = -6967 - -6962. Is y >= s?
False
Let i = 12.81 - 13. Let p = i - -0.19. Which is smaller: 2/5 or p?
p
Suppose 2*v = -8, v - 6*v + 44 = 2*m. Let i = m - -22. Which is bigger: i or 55?
55
Let y be 1795/715 - (-52)/169. Which is greater: 1/4 or y?
y
Let m = 1.4 - -0.6. Let s = -303.1 + 316. Let a = s + -13. Is m greater than or equal to a?
True
Let f = 16 - 15. Let c = -5 + f. Which is smaller: c or -2?
c
Let b(n) be the third derivative of n**6/120 + 13*n**5/60 + n**4/3 - 3*n**3/2 - 4*n**2. Let t be b(-12). Is t > -2/7?
True
Suppose 2*x - 183 - 99 = 2*v, 5*x - 133 = v. Which is smaller: -145 or v?
-145
Let x be 8/(-236) - (0 - 0). Let g = -8 + 9. Which is smaller: x or g?
x
Suppose 3*w + 2*w + 5*d = -55, -2*w - d = 19. Let b(l) = -l**2 - 9*l - 6. Let i be b(w). Suppose i = 5*v + 4*z, 3*v - 5*v = -4*z - 12. Is v not equal to 1/2?
True
Suppose 2*q = 21*j - 19*j + 618, -j - 308 = -2*q. Which is greater: -1 or j?
-1
Let m(v) = -v**2 - 20*v - 66. Let q be m(-16). Are q and -0.01 nonequal?
True
Let l = 7 - 10. Let z = -27 + 21. Let a be (24/(-36))/((-4)/z). Is l <= a?
True
Let r = -32187231/136 - -236675. Let n be (-70)/16 + (-1)/(-4). Let i = r + n. Is i equal to -1?
False
Let o = -3222 + 718507/223. Is o greater than 1?
False
Let x = 180.6 - 179.4. Which is bigger: x or 13.3?
13.3
Suppose 6 = -5*y + 6*y. Suppose 6 + y = 3*f. Suppose -a = g - 1, -5*a = -2*g - 0*g + 23. Is f less than g?
False
Let b be 9651/(-2604)*(3 + 28/(-8)). Let u = b - -1/248. Is 1 at least as big as u?
False
Let z(v) = 13*v + 42. Suppose -3*p = 4*y + 28, 4*p = 3*y + y. Let j be z(y). Is j less than or equal to -10?
True
Let v(q) = -2*q**2 + 15*q + 7. Let u be v(8). Let x = 1/687 - 4814/3435. Which is bigger: x or u?
u
Suppose -5*l = 4*p + 33, 3*l = -4*p - 7 - 8. Suppose 0 = -n - 14 + 44. Let h be n/(-4) - 4/8. Which is bigger: l or h?
h
Let r(y) = y**2 - 12*y + 15. Let m be r(11). Let o be (-4)/(-6)*3 + m/18. Which is smaller: o or 1?
1
Let f = -2.953 - 0.047. Let k = 0.07 + -11.07. Let u = f - k. Are -1 and u equal?
False
Let p be ((-14)/(-56))/(1/44). Suppose -4*z - 5 = z, p = 5*n - z. Suppose i + 3*k + 14 = 0, -n*k = -i - 3*i. Are i and -11/7 equal?
False
Let u(k) = 2*k**2 - k - 2. Let i be u(-8). Which is smaller: i or 135?
i
Let l = -6 + 7. Let v = -3.6 + 3.1. Let t = v - -0.42. Which is smaller: l or t?
t
Suppose 23 = 2*p - 2*c + c, 5*p = -3*c + 63. Let d = p + 1. Suppose 4*l - 33 = a - d, l - 5 = -5*a. Is l smaller than 6?
True
Let n = -2.1186 - -0.1186. Is -0.0052 smaller than n?
False
Suppose 36*l = 39*l. Let v = -10 + 22. Let i be (-3)/v + 7/32. Is i >= l?
False
Suppose p = -3*i - i + 16, 5*p - 34 = 3*i. Which is bigger: p or 80/9?
80/9
Suppose 5 + 17 = -22*k. Which is greater: k or -28?
k
Let g = -195/116 + 7/4. Which is greater: -2 or g?
g
Let w be (-4)/18 - (-48)/135. Let b = 1.8 + 2.2. Let f = 4.2 - b. Is w >= f?
False
Let f = 924/5 - 185. Suppose 2*r - 24 = 6*r. Which is greater: r or f?
f
Let m = 519 - 512. Is 9 not equal to m?
True
Let s be (19*-2)/((-12)/(-1)). Suppose -w - 1 = 1. Which is greater: s or w?
w
Suppose -2*r = 4*r. Let l be (r + 1)/(9 + -10). Are l and -10 equal?
False
Let m be (2 + (-51)/12)*(-40)/15. Let x(z) = z**3 - 8*z**2 + 4*z + 10. Let i be x(m). Do i and -38 have different values?
False
Let m = -212/337 - -2178901/6740. Let f = -643/2 + m. Let c = f + -389/60. Is c at most as big as -6?
False
Let j be -2 - -3 - -1 - -10. Let v = 34 + -32. Which is smaller: v or j?
v
Let x(w) = w + 3. Let h be x(-1). Suppose -7*y + 90 = -h*y. Suppose -9*q + y = -6*q. Is 8 >= q?
True
Let o be (-1262)/(-76) + 10/(-95). Is 18 <= o?
False
Let d be 8/20 - 17/55. Let s(y) = y**2 + 1. Let v be s(-1). Suppose 3*o + 1 = -v. Which is bigger: o or d?
d
Let q(k) = k**2 + 8*k - 7. Suppose 3*u - 5 = -2. Let z be 9/4*(-4)/u. Let b be q(z). Is 1 smaller than b?
True
Suppose 6*g = -5*d + g + 20, d + 2*g = 5. Let x be 1035/(-52)*d*4. Let c = 239 + x. Is 0 > c?
False
Let f be 3 + ((-33)/(-12) - 1). Suppose -4*u = q + 3 - 22, 0 = -u - 3*q + 2. Is f not equal to u?
True
Let q = -143 - -55. Let z = -53 - q. Is 35 > z?
False
Let s = -6 - 37. Let i = s + 38. Suppose -4 - 8 = 2*r. Is i greater than r?
True
Suppose -b = 6*b - 14. Which is smaller: 7/10 or b?
7/10
Let w be 90/105*(0 - (-14)/3). Which is smaller: 11 or w?
w
Let f be (2 - -3) + (-3)/(-3). Suppose -g - 3*m + 18 = 0, -g + f*g - 5 = 2*m. Suppose 0*d = -g*d. Is d smaller than 1?
True
Let g = -3946/697 + 40943/8364. Let b = 2/123 + g. Let k = 28 - 29. Which is greater: k or b?
b
Let k = 1 - -2. Suppose -s - 7 = 2*l, -3*s + l + 11 = -s. Suppose -3*j = -s*o + 6, j + j - 2 = 0. Does o = k?
True
Let l = 255 + -239. Do l and 49/3 have the same value?
False
Let r be (0 + 1)/((-2)/18). Let t(f) = -f**3 - 8*f - 36*f**2 - 43 + 26*f**2 + 32 + f - 3*f. Let k be t(r). Is k greater than -4/5?
False
Suppose -2*m + 18 = -0*m. Let t be 7/m - 4/(-18). Let i = -18046/1551 - -544/47. Are t and i non-equal?
True
Let r = 757 + -757.36. Which is greater: 0.13 or r?
0.13
Let d = -189 - -238. Is 49 equal to d?
True
Let w be 61/3 - 2/(-3). Let h = w - 31. Which is smaller: -8 or h?
h
Suppose s - 2*g + 4 = 0, 6*s - 4*s - g = 7. Let z = -49 - -55. Is z < s?
False
Let w be (-5)/(-7) - 10/35. Let m(f) be the third derivative of f**5/60 - 7*f**4/8 + 17*f**3/2 - 25*f**2. Let k be m(18). Which is greater: k or w?
w
Let t = -1/58 - -237/290. Is 89/2 less than or equal to t?
False
Suppose 5*a + 18 = -u - 9, -3*u = -4*a - 14. Is u at most as big as 4?
True
Let p be (-180)/(-135) - (0 - -2). Which is smaller: p or 0?
p
Let i = -15 - -7. Let r be (172/24)/(2/i). Let o = 28 + r. Are o and 0 non-equal?
True
Suppose 3*q = -9, 13 - 1 = 2*h - 4*q. Which is smaller: -1/2031 or h?
-1/2031
Let s = 2 + -1.8. Let t = 33309 + -998993/30. Let a = t - 47/5. Is s bigger than a?
True
Suppose 2*g = 3*g + 4. Let n(d) = 0*d**2 - 4*d**2 + 5*d**2 + 4 + 7*d. Let j be n(g). Do j and -9 have the same value?
False
Let w be (34/(-6))/(20/(-15)). Let u(f) = -f**3 - 5*f**2 + 14*f + 3. Let v be u(-7). Is w bigger than v?
True
Suppose -5*o - 189 = -4*a, 2*o - 64 = -3*a + 72. Let i = -30 + a. Let f = 22 - i. Which is greater: 3 or f?
f
Suppose 76*g - 48 = 92*g. Is -20/23 at least as big as g?
True
Let t = 49.1 - 49.1. Is t bigger than -1?
True
Let q = 259 + -1738. Are -1480 and q unequal?
True
Let s = 111 - 109. Suppose 2*i = -s*i + 16, 4*i = 3*o + 28. Do o and 12 have different values?
True
Let f(q) = -q**3 - 6*q**2 + 5*q - 12. Let u be f(-7). Suppose r - 3*r - u*y = -4, -r + 4*y = 8. Is r less than -2/207?
False
Let i be 10 + 12/(4/1). Suppose -i = 2*q - 2*o - 35, -3*o = q - 23. Which is smaller: q or 15?
q
Suppose -v - 5 = 3*p, 3*v - 5*v - 3*p = 7. Let z be (6/5)/((-12)/(-30)). Let h be (-3)/(-4)*2/z. Is v greater than h?
False
Let h = 11/120 + 3217/1560. Let t = h + -88/65. Let n = -240 - -242. Do t and n have the same value?
False
Let x = 0.1 + 0.9. Let s be 1376/612 + (-6)/(-27). Let b = s + -310/153. Which is greater: b or x?
x
Let z be (-6)/9*(-2 - -42 - 1). Let c be (-4)/z + 1020/(-6292). Is c <= -1?
False
Let c(g) = 7*g**3 - 3*g**2 - g + 3. Let d be c(2). Let n = -40 + d. Let y be ((-6)/(-5))/((-6)/(-20)). Is n bigger than y?
True
Let x(y) = -275*y - 31. Let b be x(-1). Is b smaller than 244?
False
Suppose 6 = -5*f - 3*g, -4*f + 4*g = -0*g - 8. Suppose f*z - 20 = -4*z. Let u be -1*(-25)/(-6 + 11). Is z <= u?
True
Suppose -2*n = 3*n + 10. Let r be n/3 + 25/(-15). Let d = -34 - -33