 Let r = -38 + 62. Suppose -8 = 4*i + r. Which is greater: s or i?
i
Let t(r) = -r**3 - 4*r**2 + 2*r + 6. Let i be t(-1). Which is smaller: i or -2/71?
-2/71
Let m = 2/2783 - 3011/317262. Is 0 smaller than m?
False
Suppose 120 = -9*a - 204. Which is smaller: a or -39?
-39
Suppose -2*x + 2*q + 295 - 57 = 0, 5*x - 2*q = 601. Is 6 greater than x?
False
Suppose 12*n = 8*n + 56. Suppose -n = s - 15. Is s < -1/55?
False
Suppose -2*q + 2*x = 518, 3*q + 4*x = -721 - 35. Which is smaller: q or -255?
q
Suppose -2*n - k = 2, n = -5*k - 12 - 7. Let j be 2*(3/6 - n). Let p be (-3 + (3 - 2))*j. Which is bigger: 0 or p?
p
Let i = -6 + 7. Let n be i - (-2 - 10 - -1). Let r be (16/n + -1)*-6. Which is smaller: -1 or r?
r
Suppose 4*a - 26 = 150. Which is smaller: a or 50?
a
Let k = 327 + -328. Which is smaller: k or 24?
k
Let j(g) = 11*g - 14*g + 0 - 1 + 2. Let k be j(-1). Suppose 0 = -o + 2, -k*w + 3*o = 2*o + 2. Which is greater: -3/7 or w?
w
Suppose 2*d - 2*u - 8 = -4*u, -4*u + 16 = 3*d. Suppose -2*r - 13 = -f, -1 = r + 5*f - 0. Let h be 2/r - 1/9. Are h and d non-equal?
True
Let t(b) = -3 + 2*b + b + b + 0. Let u be t(5). Let i = -17 + u. Is 1/2 at most i?
False
Let j be 3*(-44)/12 - -12. Which is smaller: -2/171 or j?
-2/171
Let y be ((-15)/(-6) - 2)*0/(-15). Which is smaller: 21/22 or y?
y
Suppose n + 69 = 69. Which is smaller: n or -1/60?
-1/60
Let w = 327/1120 - 1/160. Suppose 4*z - 7 = 5*h, -3*z - 11 = z + h. Let c be 10/(-3) - z - -3. Is c bigger than w?
True
Let x = 80 - 65. Let h = 14 - x. Let a be 2/(-3) - 102/(-99). Which is greater: h or a?
a
Suppose -5 = -2*j + 5. Let u be ((-3)/3)/(20/j). Let l = -11 - -5. Do u and l have the same value?
False
Let m = 10 - 16. Let z(d) = 10*d - 65. Let h be z(6). Which is bigger: m or h?
h
Suppose -3*x = -7*k + 4*k - 12, -2*k = -5*x + 11. Let y be 4 + 0 + 1645/(-325) + x. Which is bigger: y or -1?
y
Suppose 0 = -7*p + 3*p. Let x(m) = 4*m + 4. Let b be x(-4). Let s = b + 25/2. Which is smaller: s or p?
p
Let t = -204 + 191. Let w be 558/(-42) - 2/(-7). Is t at least as big as w?
True
Let k = -5.75 - 0.25. Which is smaller: -4/17 or k?
k
Let q be ((-10)/2)/((-10)/4). Let n be (-8)/12*30/(-4). Which is smaller: n or q?
q
Let l(r) = -r**3 - 4*r**2 + 2*r - 12. Let g be l(-6). Let i be ((-5)/(-12))/(g/64). Is i less than or equal to 2?
True
Let p = 569 + -570. Is p < 6/11?
True
Let g(y) be the first derivative of y**3/3 - y - 47. Let z(j) = -j + 1. Let x be z(1). Let m be g(x). Which is greater: 0 or m?
0
Suppose -4*u + 2*n - 8 = 0, 4*n = -2*u + 3*n + 4. Let z be (u*1/3)/(-2). Let t be (7 + -6)/(-11 + 1). Is t smaller than z?
True
Let m be 4/(-3) + (-3)/(-9). Which is bigger: m or 13/37?
13/37
Let y be -30*(6/4 - 1). Let c be ((-12)/(-9))/(1494/189 + -8). Which is greater: c or y?
c
Let a = 0.04 + 0.018. Which is smaller: 0.1 or a?
a
Suppose -4*s + 6 + 10 = 0, -b = 3*s - 128. Let o = b - 66. Let w be (3/o)/(12/(-16)). Is w >= -1?
True
Let h = 316.7 + -317.7. Let z = -76.103 + 0.103. Which is bigger: h or z?
h
Suppose 2*a + 2*a = 80. Let t be ((-16)/a)/(2/5). Is -3/5 greater than t?
True
Suppose -81 = -4*c - 189. Let k be 4 - ((-6)/(-9))/(6/c). Which is smaller: 8 or k?
k
Let b(f) be the third derivative of -f**5/60 + 7*f**4/12 - 41*f**3/6 + 29*f**2. Let i be b(11). Do i and -14 have the same value?
False
Let x(s) = s**3 + 14*s**2 + 11*s - 19. Let l be x(-13). Suppose m = -m + 2*y + 4, 4*m - 3*y = l. Which is greater: 2/31 or m?
m
Suppose -401*b + 18 = -410*b. Which is greater: b or -35/51?
-35/51
Let i(r) = r + 23. Let d be i(-18). Suppose -d = -3*h + 7. Let k(v) = 3*v - 10. Let l be k(h). Which is greater: -1/2 or l?
l
Let w = -226 + 221. Suppose -18 = 3*j - 0. Which is greater: j or w?
w
Let d = 23775/8 + -51282691/17256. Which is smaller: d or -1?
-1
Let s be (-8)/(-14)*(23 - 14)/(-18). Suppose 2 = -2*x - 0. Let q be (-1 - -2) + -11 + x. Which is smaller: q or s?
q
Let k = 0 + 0. Let o = -71334/43 + 1659. Which is smaller: o or k?
k
Let c be ((-2)/4)/(8/32). Let m be (-3)/(-4)*(68 - -4). Let a = 50 - m. Are c and a nonequal?
True
Let p = 9973/11 + -903. Which is smaller: p or 4?
p
Let i be 12/(72/42) - (-230)/(-34). Let d = -1 + 2. Is d at most as big as i?
False
Let z be -1 + 2/(-2) + 16443/(-77). Let l = z + 215. Let p be -1 + -1 + 2/1. Are p and l unequal?
True
Let x = -0.08 - -6.48. Let z = x + -9. Let d = 2.5 + z. Is d not equal to -0.5?
True
Let h(t) = -t**2 + t + 6. Let m be h(0). Let j be (m*2)/(-4) + (-10)/(-2). Let r = -1 - -4. Is r smaller than j?
False
Let x be (-2448)/(-80) - (-6)/(-15)*-1. Which is smaller: x or 36?
x
Let x be (-2)/5*24/96. Do 0.6 and x have the same value?
False
Suppose 0 = -y + 3*y - 16. Let q = 3 - y. Let g be -2 - 0 - 1 - q. Does 5 = g?
False
Let v be (-1)/5*-3 + (-6052)/9345. Let o be (0 - (-3 - -2))*0. Which is bigger: v or o?
o
Let v = 201 - -171. Does v = 374?
False
Let i = 4 + -3. Let z be i + (3 + -4)*8. Suppose 2*j = -j - 18. Is z != j?
True
Suppose -4*y - l - 32 + 83 = 0, -5*y + 5*l + 45 = 0. Suppose -y*m + 9*m = -18. Is m bigger than -4?
True
Let o = 0.2 + 0. Let c = 273890 - 6028249/22. Let u = 243/2 + c. Is u < o?
True
Let r be (-2)/(-3) - (-19)/(-24). Suppose 0 = 6*o + 23 + 13. Let l = o + 7. Is l >= r?
True
Let k(b) = b + 18. Let u be k(-22). Let i = -23 + 38. Suppose -5*m - i = -4*o, 5*o - 15 = 8*m - 3*m. Is m less than u?
False
Let i be 66*12/(-40)*-3. Which is bigger: i or 59?
i
Let h(j) = -3*j + 18. Let r be h(6). Let x be 15/(-6) - (-3 - r). Is 18 at least x?
True
Let g = -1334 - -1337. Let o = -4 + 3. Let w = o + 1. Is w at most as big as g?
True
Let g = -120 - -961/8. Let i = -34 + -17. Let n = i - -50. Is n at least as big as g?
False
Suppose -39*d - 257 = -38*d. Is d at most -257?
True
Let j = -5.02 + -0.98. Is 0 less than or equal to j?
False
Let g be -3*(20/(-12) - 1). Let n = g - 14. Let f = 8 + n. Is 2 > f?
False
Let v(t) = 205*t + 3086. Let b be v(-15). Let f = 44 - 31. Which is smaller: f or b?
b
Let r(n) = 0 - 6*n + 2*n + 4 - 2. Let l be r(8). Do l and -31 have different values?
True
Let p = 0.01 + -0.51. Let v = -1.2 - p. Let r = 5/16 + 17/48. Is r less than v?
False
Let b be 4/12 - 29914/89760. Let x = 11758553/104720 + b. Let p = x - 112. Which is smaller: 0 or p?
0
Let z = 25 + -41. Let g be ((-3)/(-12) - (-4)/z)/(-1). Which is smaller: g or -9?
-9
Let a = -0.916 + 0.116. Let o = 1.5 - 0.5. Is o at most a?
False
Let p be (72/(-18))/(4/11). Is p equal to -7?
False
Suppose 2*w - 17 = 5*x + 9, x + 13 = 3*w. Suppose w*c - c = 70. Suppose -4*y - c = y. Which is greater: y or -9?
y
Let c be 4/14 - (-1520)/(-4340). Are 0 and c nonequal?
True
Let m(o) = o**3 + 8*o**2 - 6*o + 7. Let s be m(-9). Let n be s*(-1 + 7/5). Is n at most as big as 1?
True
Suppose -u + 4*y - 145 = 0, -3*u - 3*y + 26 - 401 = 0. Is -513/4 > u?
True
Let b(g) = -84*g + 486. Let y be b(5). Do y and 78 have the same value?
False
Let w = 0.18 + -9.18. Let k = -16 - w. Which is smaller: -1 or k?
k
Let t = 831 + -775.1. Let k = 56 - t. Are k and 22 non-equal?
True
Suppose -85*h = 13*h - 2548. Is h smaller than 26?
False
Let w(z) = -z + 17. Let k be w(13). Suppose -l + 10 = k*l. Suppose l*f - 4*f + 4*b = 34, 5*b = 25. Is f > -5?
False
Suppose 12*r = 258 + 54. Is 21 <= r?
True
Let z(n) = 3*n**2 + 29*n - 11. Suppose -40 = 5*p + 10. Let k be z(p). Which is bigger: 2/25 or k?
2/25
Let s be (-10860)/(-24)*(-24)/20. Which is smaller: s or -542?
s
Suppose -51*o = 130 - 487. Let u = 1 + 6. Is u less than or equal to o?
True
Let m = -7.303 + 12.93. Let p = m + -0.027. Let v = 6 - p. Which is greater: v or 0.2?
v
Let x(t) = -t + 3. Let w be x(-1). Suppose -w*u + 3*q - q - 14 = 0, 0 = -2*u + 5*q - 27. Is -1/52 less than u?
False
Let k(z) = 2*z**3 + 2*z**2 + 3. Let a be k(-2). Let n be 12*(-2)/12*2. Which is greater: n or a?
n
Let v = -30 + 66. Let f be v/81*9/(-24). Which is bigger: f or 0?
0
Let n be ((-944)/(-112) + -8)/((-3)/2). Let x = 2 + -2.5. Which is smaller: n or x?
x
Let v = 864 + -42331/49. Which is smaller: v or 0?
0
Suppose -7 = -4*z - 5*c, 3*z + 3*c - 11 = -5. Is z >= 33/17?
True
Let g be 3/(-4)*(-9 - -733). Let j = g + 19549/36. Is -1 >= j?
False
Let p(f) = -f**3 - 5*f**2 - 3*f - 11. Let m be p(-4). Suppose -4*u - 42 = 2*g, 0*u + u = -g - 8. Let k = m - u. Is k smaller than -3?
Fals