 k = -368 + a. Is k smaller than -240?
True
Suppose -f - 600 = -3*i + 2*f, -3*f = -i + 202. Suppose -t - 191 + i = 0. Let w(z) = -z**3 - 10*z**2 + z + 10. Let m be w(-10). Are t and m nonequal?
True
Suppose 5*x = 2*c - 64, 6*c - 141 = c + 3*x. Let m(a) = 63*a**2 - c + 2*a + 5*a - 64*a**2 + 6*a. Let s be m(11). Which is greater: -19/3 or s?
s
Let i = 59 + -46. Let l be -14 + i - (-2063)/504. Let v = l + -28/9. Which is bigger: -1 or v?
v
Suppose 0 = 8*s - 6 - 34. Suppose 2*p - 8 = 2*a, -p + s*a = -4*p - 28. Which is smaller: p or 2/25?
p
Suppose -z = -4*n + 2*n + 8, 0 = -7*n + 21. Does z = 44?
False
Let i(w) = -99*w - 15. Let j be i(-3). Let o be (-2 + j/132)*-12. Which is bigger: -2 or o?
o
Let x be (-5)/4 - 3555/(-1580). Let m = 704/29455 + -2/215. Is x less than m?
False
Let v = -4421.9 + 4422. Let l be (-2)/(-1*(-13)/(-6)). Does l = v?
False
Let j = -0.05 + 8.05. Let c = j - 5. Let g = -2.8 + c. Which is smaller: g or -1.2?
-1.2
Let v = 0.478 + -0.536. Let g = v + 0.438. Which is smaller: g or 0.02?
0.02
Let b be (-4 + 9585/2397)/(-1). Suppose -3*n = -w - 5, -5*n + 15 = -13*n - 3*w. Is n >= b?
False
Let k = 12/354383 - -183918057/198454480. Let m = 3/112 - k. Suppose p = -p. Which is greater: m or p?
p
Suppose 8451 = -15*x - 17574. Let q = -6833/4 - x. Suppose 0 = -4*z + 3*g + 106, 48 = -4*z + 2*g + 156. Which is bigger: z or q?
z
Let b be (1168/112 - 10) + 64/14 + 35. Is 66 at least as big as b?
True
Let u = -11537/5 + 57846/25. Is u <= 5?
False
Let g be (-9)/(-6)*(-12)/54*-12. Suppose -l - g*y = 9, 43 = 5*l + 4*y + 8. Which is smaller: 2 or l?
2
Let f(j) = 14*j**2 - 6*j - 44. Let i be f(8). Let k = -854 + i. Suppose -g = -3*g - 2*a - 98, 2*g + 3*a = -98. Which is greater: k or g?
g
Let l be (39/(-38) - -1)*(-932)/(-1398). Which is bigger: l or 29?
29
Let z be (-348 + -3)/((-93)/217). Is z > 829?
False
Let l(g) = g**3 - 20*g**2 - 24*g + 907. Let s be l(19). Which is smaller: s or 620/7?
620/7
Let q be ((-3)/(-6))/(34/68) + (-9 - -1). Which is bigger: q or -70/11?
-70/11
Let p(c) = -37*c - 11. Let q(z) = -18*z - 6. Let d(y) = 4*p(y) - 7*q(y). Let s be d(-3). Let u be (41 - 40)/(1/((-2)/s)). Do u and 1 have different values?
True
Let p = 1882 - 1798. Which is greater: p or 335/4?
p
Let l(k) = 2*k**2 + 7*k + 12. Let c be l(-14). Let t be 175/(-210) - 3694/(-12). Which is greater: t or c?
t
Suppose j = -2*j + 3. Let o(z) = -z**3 - 6*z**2 + z + 3. Let r be o(-6). Let x(p) = -p**3 - 10*p**2 - 26*p - 13. Let g be x(r). Which is smaller: j or g?
j
Suppose -59*v = 126*v + 370. Let d be 2/(-4) - (-27)/6. Let h be (-1)/d*v*1650/33. Are 25 and h equal?
True
Let w be 39/(-20) + (-1806)/1032. Suppose 2*y + z + 3 = -4*z, -3*y - 11 = z. Is y at most w?
True
Let s be ((-7392)/(-200) - 9)/(6/(-30)). Is -141 smaller than s?
True
Let u = -35356 + 26327. Which is smaller: -9028 or u?
u
Let d = -41 - -49. Let u be (14/d + -1)/((-5)/(-5)). Suppose -2*t = -3*t, -4*t = -4*r + 4. Are u and r non-equal?
True
Let y be 4*((-102)/(-72) + (-145)/87). Is -1/13421 <= y?
False
Suppose 4*m - 139 = 29. Let f be (2114/m - 6)/(1/6). Is f less than 266?
False
Let r be (45915*(-15)/214245 - (-4)/18) + 3. Which is smaller: 0.09 or r?
r
Let m be 48/95 + 1 + 56/(-40). Which is smaller: m or -3/8?
-3/8
Let o be -2 - ((-4)/8)/(2/(-28)). Let f be o + (-3)/(5/(-5)). Let n be (-2)/(-2) + (-1)/(8/f). Which is greater: 3 or n?
3
Let u be (-108)/(-30) - 6/10. Suppose a + 7*c - u*c = 21, 5*c = 20. Let b(t) = t**3 - 6*t**2 + 4*t - 1. Let p be b(a). Which is smaller: -4 or p?
p
Let o = -5521298 + 966231183/175. Let s = o + -163/7. Let p(b) = -40*b**2 - 179*b - 77. Let m be p(-4). Which is greater: s or m?
s
Let c = 216 + -97. Suppose 115*q = c*q + 836. Is q at least -208?
False
Let i = 170 + -846/5. Let j = 10 + -3. Let v = -7.1 + j. Which is smaller: v or i?
v
Suppose -383*y = -385*y + 5*a + 602, -2*a + 941 = 3*y. Which is greater: y or 2798/9?
y
Let p be -6*(-1)/16 - 18/((-216)/3). Is 0 at most as big as p?
True
Let h(t) = 3*t - 3*t + 2*t. Let c be h(-1). Let x(o) = -8*o + 178. Let g be x(23). Which is bigger: g or c?
c
Let m = -3455286 + 117506307/34. Let d = 782 - m. Which is smaller: 0 or d?
0
Let v = 463 + -469. Let l be -4*1/14 + v/(-168). Is l >= -126/5?
True
Let j = 62 - -17. Suppose 71 + j = 5*m. Let n be 15/(-12) - (-500)/16. Is n at least as big as m?
True
Let h(i) = -i**3 - 15*i**2 + 48*i + 16. Let x be h(-18). Do x and 373/3 have different values?
True
Let i = -0.6939 - 62.3061. Which is smaller: 14 or i?
i
Let x = 339.7 + -49.7. Let k = 309 - x. Is 0.6 not equal to k?
True
Let k(l) = 3*l + 55. Let n be k(-18). Is n at most as big as 114?
True
Let j = 130 + -121.9. Let t = -5963 - -5963. Is j >= t?
True
Suppose 55*v + 1416 = 675 + 686. Let y be 1 + 40/43 - 2. Which is bigger: v or y?
y
Suppose -15 = 3*t + 2*t. Let a be -10 - (6/t + -1). Let k be ((-1)/6)/((-135)/(-5994)). Is k not equal to a?
True
Suppose -5*t - 2 = 2*d + 7, 2*t + 4*d + 10 = 0. Which is smaller: -11/452 or t?
t
Let a be -11 - 4/80*-217. Do a and 0.12 have the same value?
False
Suppose 3*a + a + 8 = 0. Let x be (6 - 8)*1/a. Let p be ((-3)/8)/(11 + -8). Which is greater: p or x?
x
Suppose 192*k - 1161 = 92*k + 97*k. Is 381 > k?
False
Suppose 6*k - k + o = -166070, 4*o = -4*k - 132840. Is k at least -33215?
True
Suppose 8 = -3*p - 5*n, -73 + 53 = -p + 4*n. Which is smaller: p or 201/56?
201/56
Suppose 38*r = 36*r. Suppose y - 5*d = -3, r = 2*d - 4 + 2. Let m(p) = -p**3 + 3*p**2 - 4*p. Let z be m(y). Which is greater: -3 or z?
-3
Let r = 15284 + -15286. Which is bigger: 3383 or r?
3383
Suppose 0*k + 3*z = k - 36, k - 29 = -4*z. Suppose -l - k - 54 = -5*j, -2*l = -j + 21. Let a = j - 32. Which is smaller: a or -17?
-17
Let w = 8.39 + -8.38. Which is greater: 6.4 or w?
6.4
Let s = 25.744 + -25.644. Is s >= -30964?
True
Let v = 733/89 + -2110/267. Let l = -73 + 67.2. Let o = l + 7. Which is smaller: o or v?
v
Let x = -36.869 + -0.131. Let b = x + 46. Which is smaller: b or -2/9?
-2/9
Let o = -322 - -314. Let v(u) = u**2 + 33*u + 197. Let y be v(o). Is -11/7 at most y?
False
Let o = -2517 + 2521.564. Let h = o - -0.036. Let f = h + -5.1. Is f at most as big as 6?
True
Let d = -7 + 11. Suppose 4*g + d*q + 4 = -0, -7 = -3*g + 2*q. Suppose 4*n + 3*v = -25, n - v = -1 - 0. Which is greater: n or g?
g
Let b = 96 - 85. Suppose 336 = b*n + 116. Suppose -5*m + 5*t = -6*m + 42, -5*t + n = 0. Is 19 greater than m?
False
Suppose 3*d - 24 - 57 = k, 5*k = d - 41. Suppose 54 = -4*n - d. Suppose -1066*u + 1061*u = 100. Is n <= u?
True
Suppose 1322 = -19*z + 467. Suppose 353 = 5*i - 4*y, 2*i + 3*i = -2*y + 371. Suppose 0*x = -x + h - 49, -3*h - i = 2*x. Which is greater: x or z?
x
Let k(b) be the second derivative of b**3/3 + 24*b**2 + 48*b. Let j be k(-21). Which is bigger: -12 or j?
j
Let z be (-2 - -5 - 3) + 2. Let t be (0 + (-2)/6)/(4/36). Let u be (4 - (-27)/t)/(-6). Which is greater: z or u?
z
Suppose -22*c = -366*c + 1277960. Is 18576/5 <= c?
False
Let l = -867 - -404. Let o = l - -498. Does o = 169/5?
False
Let k = 1095.605 - 1107. Let x = k + 0.495. Which is smaller: -1 or x?
x
Let q = -79 - -18. Let m = q + 60.26. Let r = 9.74 + m. Is -2/3 less than or equal to r?
True
Suppose -6*t = 3 - 9. Let v be 15148/(-2640) + 6 + 4/(-16). Which is smaller: v or t?
v
Let h = -208 - -209.13. Let s = h + -1.73. Which is bigger: -0.1 or s?
-0.1
Suppose -185*y + 54*y + 6288 = 0. Is y < 532/11?
True
Suppose 3*c - 26*c = 9568. Let j be (1 + -21)*c/64. Is j != 0?
True
Suppose 30*q + 48481 = -65309. Is -3 smaller than q?
False
Let h(a) = 131*a + 263. Let y be h(-2). Let o be (-2)/(-4) + 233290/(-1290500). Let x = 2/2581 + o. Is y at most x?
False
Let z be 46/(-10) + (-4)/10. Let c(n) = -n + 13. Let x be c(11). Suppose 3*r + 6 = x*p, -3*r + 14 = -p + 23. Which is smaller: z or r?
z
Let z be (((-17020)/(-272))/5)/(-28). Let j = 16/119 + z. Suppose v = 4*r + 11, 5*v + 4*r + 11 = -6. Which is smaller: j or v?
v
Let i(u) be the first derivative of -3*u**2 - 2*u - 26. Let y be i(0). Let t be 8/32 - ((-3)/4 + y). Which is bigger: -6 or t?
t
Let k(j) = -j**2 - 16*j - 12. Let c(h) = h**2 + 14*h + 11. Let s(l) = -4*c(l) - 3*k(l). Let a be s(-1). Which is bigger: -10 or a?
a
Let c = -965162/15 - -64318. Which is greater: 1 or c?
1
Let r = -81170/3 + 2