t n(r) = 2*r**2 + 85*r + 588. Let o be n(-39). Do o and 315 have the same value?
True
Suppose -45*a = -2411 - 2359. Which is greater: 102 or a?
a
Let a be (5/10)/((-3)/6). Let f be 2 + a + (-1 - -27). Let y be (-2*(-2)/4)/(26 - f). Is y smaller than -7/5?
False
Suppose -6 + 2 = -r. Let t(f) = 3*f**2 - 5*f - 1. Let n be t(r). Let h(p) = 2*p**2 - 57*p - 2052. Let i be h(-21). Is i equal to n?
True
Let j be 248/71238*(-15)/6. Is j at least as big as 0?
False
Let s = -0.977 + -0.023. Is s bigger than -158?
True
Suppose -41*v + 36*v - 19 = -3*j, -9 = v + 2*j. Which is greater: v or -117/20?
v
Let j = 5834 - 600. Is j at least 5234?
True
Let h = 2.6 - 1.6. Suppose 112 = 3*x + c, 2*c - 44 - 32 = -2*x. Suppose -2*f - 17 = x. Which is greater: h or f?
h
Let g = -875.975 - -876. Let n = 3.005 + 0.17. Let v = n + g. Which is smaller: v or 0?
0
Let x = 2203 + -147611/67. Suppose -1 + 5 = 4*s. Which is smaller: s or x?
x
Suppose 4*o = n - 14 - 65, 2*o + 35 = 5*n. Let j be -5 - 165/(-25) - (-16)/o. Which is smaller: j or 16?
j
Let r(p) be the first derivative of -p**4/4 + 8*p**3/3 - 4*p**2 + 30*p - 61. Let a be r(7). Which is greater: a or 24?
24
Let n = -0.263 - -0.096. Let p = -11.067 - n. Let s = p + 11. Which is smaller: s or -9/10?
-9/10
Suppose -64*t = -125*t + 56*t + 5. Are t and -41/229 nonequal?
True
Let z = 325.968 - 326. Let x = -0.112 - -0.08. Let v = x - z. Which is smaller: v or -19/2?
-19/2
Let d = -513 + 229. Let k = 281 + d. Which is greater: k or 0.05?
0.05
Let u be (-323)/6 - 1/42*7. Let a be u/(-9) + (5 - 2). Which is greater: a or 11?
11
Let n = 4 - 3. Let j be (1 - n)/((-1)/(-1)). Suppose j = -3*u - 24 + 18. Which is smaller: u or -0.6?
u
Let y = -1232 - -472. Is 2/7 bigger than y?
True
Let h = 359 + -15435/43. Let j(k) = k**2 - 2*k + 1. Let t(g) = g**3 + g**2 - 3*g - 1. Let l be t(-2). Let u be j(l). Which is greater: h or u?
h
Let y = 245 + -271. Let t(c) = c + 74. Let o be t(y). Is -0.2 less than o?
True
Let z = 256 - 365. Let j = z - -110. Which is bigger: 5 or j?
5
Let r = 16.9376 - -0.0624. Let i(s) = -s + 17. Let z be i(5). Let t(n) = n**3 - 12*n**2 + n - 10. Let w be t(z). Which is smaller: w or r?
w
Suppose -9*u + 153 + 135 = 0. Suppose -12 = 7*h + 9. Let t be h/6 - 12/8. Do u and t have different values?
True
Let c(j) = -j**3 - 17*j**2 - 19*j + 338. Let m be c(-16). Are 372 and m equal?
False
Let g(z) be the first derivative of z**3/3 - 25*z**2 - 32*z + 18. Let y be g(44). Is y at least as big as -295?
False
Let f(w) = -10*w + 5. Let z be f(-4). Let s = -175 + z. Are -130 and s unequal?
False
Let v = 37709237/10220 + -14759/4. Is 0 smaller than v?
False
Let t be (-32)/12*6/(-4). Let f be 0*(-1)/t*2. Let i = -25672 + 154033/6. Which is bigger: i or f?
i
Let p(w) = w**2 + 7*w + 8. Let u be p(-8). Let i be ((u/(-20))/(-2))/((-12)/2066). Let h = i - -69. Which is bigger: 1 or h?
1
Suppose -5*v = 3*m - 784, 0 = -17*m + 19*m - 6. Is 155 > v?
False
Let c = 624 - 594.6. Which is bigger: -0.1 or c?
c
Let p = -0.829 - 0.071. Let a = 249/20 - 51/4. Let g = a + -1/5. Which is smaller: p or g?
p
Let x = -15 + 12. Let i be (-2)/(-1) - (-174)/(-60). Let b = i + -3/2. Which is smaller: b or x?
x
Let k(g) = g**3 - 6*g**2 + 5*g - 2. Let r be k(5). Let h = -525 - -519.89. Let x = -5 - h. Which is greater: r or x?
x
Suppose -57*a = 104*a - 177905. Which is smaller: a or 4421/4?
a
Let w = 4254 - 3922. Are 1323/4 and w unequal?
True
Let q(p) = 56*p + 19*p - 62*p + 4. Let y be q(0). Suppose -2*f - 3*f = z + 10, -3*f + 6 = 3*z. Is y greater than f?
True
Let x = -4 - -3. Suppose -4*c + 2*c = 2*r + 200, 3*c + r + 310 = 0. Let v be 2 - -2 - c*(-2)/51. Which is greater: v or x?
v
Let h(v) = 9*v**2 + 173*v + 38. Let c be h(-19). Which is bigger: c or 3/1793?
3/1793
Let l = 55 + -52. Suppose b + 38 = -4*k, -7*b = -l*b - k + 67. Is b < -192/11?
True
Suppose 0 = -144*o - 98*o - 0*o. Is o bigger than -207?
True
Suppose -13 = z - 2*d, -102*d + 99*d + 18 = 0. Are 12/127 and z equal?
False
Suppose -2*w - 45 = 3*m - 29, 0 = -5*m + 4*w - 34. Let x = 20 - 33. Is m less than or equal to x?
False
Let y be (-20)/12 + (-4)/(-6). Let t be 2 + 10*y/(-4). Suppose 3*c = 4*l - 43, 4*l + 2*c + 2214 = 2212. Which is smaller: l or t?
l
Suppose -2*q = 17*q + 19. Let y be q*4 + (50 - 47). Which is smaller: 1 or y?
y
Suppose -2*d + 19 = -4*s + 1, -5*d + 3*s + 17 = 0. Let t(y) = 9*y**3 - y + 1. Let n be t(d). Suppose -4*w = -n*w. Is -3 at least as big as w?
False
Suppose 20*j - 631 = 3369. Suppose 2*m + 2*z = -m + 115, -5*m + 5*z + j = 0. Do m and 40 have the same value?
False
Let j = 198 - 287. Let s = 88.9 + j. Let t be 21/36*4/(0 + 1). Which is bigger: t or s?
t
Let g(v) = -5*v. Let h be g(-1). Let j(f) = -6 - 3*f**2 + 345*f**3 - 344*f**3 - 5. Let o be j(4). Is o at most as big as h?
True
Let w be 3*15/(-1734)*4/20. Let r = -3019/24854 - w. Does r = -1?
False
Let z = -908 - -868. Let n be (-16)/z*(-6 - (-10)/(-5)). Let b = -5 + 3. Which is smaller: n or b?
n
Let w(l) = 35*l + 99. Let j be w(-3). Let u be ((-2)/j)/(52/(-6136)). Is u not equal to -39?
True
Suppose -4*u = 18 - 6, 4*x - 2*u - 122 = 0. Suppose 3*v - 61 = -4*n, -x = -2*n - v - 0. Suppose -10*w + n*w = 3. Is w greater than 9/10?
True
Let t = 37470 + -34685. Are t and 2/11 unequal?
True
Let o be 3 - (8 - 1 - (6 + 3348/(-87))). Is -35 > o?
True
Suppose 39 = 5*s - 7*v + 5*v, -39 = -4*s - v. Suppose 0 = 3*x - y - 2, -s*x + 5*x - 2*y + 6 = 0. Which is bigger: x or -4/153?
x
Let p be (2 - 23608) + 40 + -36. Is -23601 < p?
False
Suppose 142 = 4*j - 5*t, -184 = -5*j - t + 4*t. Let m = j - 37. Is -1/89 at most as big as m?
True
Suppose -q + 0 = 6. Let h = -4 + 13. Let a be (q/h)/((-1)/(-18)). Is a < -13?
False
Let d be -15 + -1148*19/(-1444). Is -65.5 bigger than d?
False
Let x = 87 - 105.6. Let n = 22 + x. Let y = -3.34 + n. Which is smaller: y or -0.3?
-0.3
Let g = 2504/3 + -835. Is 3064 at most as big as g?
False
Let w(p) = 2*p**3 - 9*p**2 + 5*p - 1. Let k be w(4). Suppose 3*u - 17 = k*q - 2, -2*u + 11 = -q. Let m be u*(-14)/(-35)*2/4. Which is greater: 2 or m?
2
Let q be (-2 - (-20)/8)*-3182. Is -1593 greater than q?
False
Let r = -3826 - -7913. Which is bigger: r or 4090?
4090
Let i = -1357 - -1360. Let l = 30 + -14. Let m = 16.2 - l. Is m bigger than i?
False
Let j = 10/3439 + -6928/17195. Let i be (-1 + 2)*2/30. Which is bigger: j or i?
i
Let i be 2/(-8) - 50/56. Let f be (4/567)/(2/345). Let x = i + f. Which is bigger: x or -1?
x
Let d(q) = q**3 + 13*q**2 - 18*q - 179. Let p be d(-7). Is 264 >= p?
True
Suppose y = -45 - 96. Suppose -5*n = 2*c + 691, -127 = 31*n - 30*n + 2*c. Is y < n?
False
Suppose 7*u - 365 - 629 = 0. Let n = -283/2 + u. Is n != 2/55?
True
Let t be 2226/(-175) + 7 - -7. Let g = t + -37/25. Is g less than 1?
True
Let v = -1085029/34 + 31898. Is v >= -15?
True
Let o(i) = 133*i**2 - 353*i + 3426. Let k be o(10). Which is bigger: 13197 or k?
13197
Let i be (1 + 790/(-2))*1. Let u be i/(-7) - 2/7. Let f be 1 + -1 + (-6)/u. Which is smaller: 0 or f?
f
Let m = 2/373 - 2990/1119. Let l be 6 - (-594)/(-110)*5/3. Are m and l non-equal?
True
Suppose -u = -2*s + 6*s + 11, 3*s + u + 7 = 0. Let o be (-2523)/(-145) - s/(-10). Is 18 > o?
True
Let l be (-3)/((-9)/(-6)) + -1 + -70. Let n(u) = -16*u + 4. Let h be n(3). Let t = h - l. Which is smaller: t or 28?
28
Suppose 17*c - 10628 = -78*c + 4952. Which is bigger: 64 or c?
c
Let u be ((-2)/(-4))/(5 - (-4596)/(-924)). Let q = -134/7 + u. Which is smaller: -1 or q?
-1
Let n = -211 + 208.34. Let m = n - -0.66. Suppose -21*a - 10 = -16*a. Is m >= a?
True
Suppose -3*a + 616 = -5*w - 451, 1500 = 4*a + 3*w. Is a < -19?
False
Let z = 50507 - 50484. Suppose v + 0*v = 0. Which is smaller: z or v?
v
Let w = 34216.3 - 34057. Is 0 bigger than w?
False
Let n be 6/156 + (-207)/1833. Which is smaller: 0 or n?
n
Let y be 6 + -2 - (80580/20146 + 0). Which is smaller: 0 or y?
0
Suppose 0 = 9*w + 13*w - 176. Let v be (-24)/w*76/12. Is v at most -19?
True
Let f be (7 - 1206/(-36))*40/(-15). Are f and -99 equal?
False
Let p be 384/(-256) - (12/20 - 11518/(-20)). Is -580 at least p?
False
Let u be -15*(-9126)/1260 + 1/2. Which is greater: 108 or u?
u
Let w = 20.6 - -26.2. Let h = 5.5 - 52.5. Let v = h + w. Which is bigger: 3 or v?
3
Let a(o) be the first derivative of o**3/3 + 3*o**2 