t a be g(3). Which is greater: r or a?
r
Let j = -31065 + 10797. Is -20268 smaller than j?
False
Let g(a) = 188*a**2 - 22*a - 18. Let h be g(-1). Is h at most 191?
False
Let v = -481/35 + 106/7. Let j = v - -1/35. Let p be 3/(-5) + (1 - 0). Which is smaller: p or j?
p
Let n(u) = 6*u**3 - 201*u**2 - 26*u + 89. Let z be n(34). Is 2671 at least as big as z?
False
Let q(h) = 2*h**3 + 77*h**2 + 423*h - 58. Let r be q(-32). Which is smaller: -3654/13 or r?
r
Let x = 235288231/37 - 6360362. Let f = -1221 - x. Is f greater than or equal to 0?
False
Let r = 62984/1163835 - 2/31455. Let m = 3.9 - 4. Is r equal to m?
False
Let f = -11869 + 11065. Which is smaller: f or -809?
-809
Let g be ((-2)/(-8))/(27/7524). Let u = 69 - g. Let p = 78.65 + 1.35. Is p > u?
True
Let h(j) = -2*j**2 - 7*j - 8. Let l be h(7). Let o = -157 - l. Which is smaller: o or -59?
-59
Suppose -13421 = -16*y + 75 + 312. Does -2 = y?
False
Let v = 0.04385 + 2.53615. Is v smaller than -0.2?
False
Let r be 436603/45255 + 2/30. Let t(s) = 11*s**2 - s. Let j be t(1). Is j bigger than r?
True
Let v be 1*4/8*0/(-1). Suppose v = 4*l + 5*p - 28, 2*l - 5*p = 7 - 23. Let j be 3 - -1 - (l - 1) - 4. Which is greater: j or 4/15?
4/15
Let l(j) be the first derivative of j**4/4 + 5*j**3/3 - 5*j - 8. Let d be l(3). Suppose 33 + d = -4*z. Is -2/9 smaller than z?
False
Let f be (201/(-4))/(38/(-152)). Let d = -254 + f. Which is greater: d or -105/2?
-105/2
Suppose 23*i + 4256 + 1388 = -143*i. Is i <= -24?
True
Let h = -8 + -4.1. Let j = 12 - 0. Let k = h + j. Which is smaller: k or -49?
-49
Let b = -10.453 + 10.4375. Is -12 smaller than b?
True
Let s(p) = p**3 - 8*p**2 - 20*p + 18. Let b be s(10). Let l be 15/b*(-4)/((-40)/6). Let o be -4 - 7/((-21)/12). Is l greater than or equal to o?
True
Let p(t) = t**2 - 19*t + 12. Suppose 0 = -d + 7*f - 2*f + 14, -d + 13 = -4*f. Let k be p(d). Let o be (-122)/183 - 1/(-3)*-232. Is k != o?
False
Let a = -85425299/15 + 5699826. Let b = a + -4809. Which is bigger: b or -2?
-2
Suppose -6*k - 21 = -9. Let v(s) = 19*s**2 - 6*s - 13. Let f be v(k). Let t = f + -108. Is -35 < t?
True
Let t = 1712 - 49656/29. Suppose 32*w + 12 = 44*w. Which is smaller: t or w?
t
Suppose 35*h = 31*h + 4*k + 17672, -h + 4408 = k. Do 4414 and h have the same value?
False
Let f = 0.0049 + 2.4651. Let y = f - 0.47. Which is greater: -10 or y?
y
Let w = -19893 + 19893. Let q be ((-9)/(-1))/(207/30). Which is greater: q or w?
q
Let m = -543 + 543.617. Let y = 0.117 - m. Suppose -3 = 4*s + 3*w - 9, -3*s = -4*w + 8. Which is smaller: y or s?
y
Suppose -v + 16*x = 11*x + 224, -5*v - 1120 = -3*x. Which is smaller: 1.1 or v?
v
Suppose 633 = 2*r - 783. Let a be 1 + (-9)/11 - r/22. Which is smaller: 2 or a?
a
Suppose 4*j + 2 = 2*z, 10 + 10 = 5*j. Let y be z/(90/(-4))*(-13 - 2). Suppose 2*i = -0*i + y, i = 5*c - 32. Which is smaller: 2/7 or c?
2/7
Suppose g + 40 = -l, 3*l - 5*g + 0 = -80. Let u be 1 - -4 - (l - -36). Let d be 9/(2 + u + -3). Is -3 greater than d?
False
Let u = -41771/3 + 13925. Suppose 2*x + i - 2 = 0, -x - 3*i + 2 = x. Suppose 2*o + 3 = x. Is u smaller than o?
False
Let v = -5.476 + -0.024. Let j = 5.4 + v. Let m = -10.7 + 11. Which is smaller: j or m?
j
Let d = -2584 - -2615. Is d >= 286/9?
False
Let t = -204 + 213. Suppose -103 = -t*s - 103. Which is greater: 2/237 or s?
2/237
Suppose 0 = 2006*c - 1993*c - 105716. Which is greater: 8131 or c?
c
Let q be (-274)/(-7) + 3/(-21). Let s be (3 - 6351/q) + 3. Let u = -157 - s. Which is bigger: u or 2/3?
2/3
Suppose -2*a - 6*k = -7*k + 484, 0 = 5*a + k + 1210. Is a at most -1704/7?
False
Let a = 4990 - 5092. Which is greater: -0.18 or a?
-0.18
Let l(v) = 79*v**3 - 14*v**2 + 7*v + 6. Let z be l(1). Is 1091/14 less than z?
True
Let b = -1980 - -1997. Which is bigger: b or 12?
b
Let x(m) = m**3 - 16*m**2 + 2*m - 32. Let s be x(16). Suppose s = -l - 3*n, 17 = 5*l + n + 3. Let f be (-27)/(-9) - 11/l. Which is greater: -21 or f?
f
Let a be (12/14 + (-24)/28)/(-2). Is -4/1761 < a?
True
Let r(i) = 2*i**2 - 39*i - 56. Let z be r(21). Let o(s) = -s**2 + 3*s - 4. Let j be o(3). Let n be (-2)/j - (-441)/70. Is n smaller than z?
True
Let o be 2*3/12*4. Let s be (-2 + 338)*o/3. Is -1 greater than s?
False
Let l(y) = -2*y**2 - 45*y - 47. Let x be l(-21). Let j = 1146 - 1131. Which is greater: x or j?
x
Let t(h) be the first derivative of h**3/3 + 4*h**2 - 5*h - 10. Let s be t(-9). Let k be 10/(-15)*s/172. Which is bigger: k or 0?
0
Suppose f = 11*f + 10. Let i be (-2 - 36) + 4 + 1/(-1). Let b be 5/i - (68/182)/(-1). Is b > f?
True
Let g(u) = u**3 + 9*u**2 - 38*u + 531. Let n be g(9). Is 1649 != n?
True
Let l = -39.5 + -228.5. Let w = 267.9 + l. Let x be 2/(-4) + 355/10. Is x less than or equal to w?
False
Let o be (-68)/(-153)*(-20)/90. Which is bigger: 2/3 or o?
2/3
Let i = 116648.867 + -116516. Let b = -0.133 - i. Is 0 at most as big as b?
False
Let y be (696/(-18))/((-2)/24). Let i be -3 + (-3207)/(-14)*-2. Let m = i + y. Is m > 2?
True
Let f = 1250 - 1250.1. Let v be (-1 - -274) + 3 + -2. Which is bigger: v or f?
v
Let b = -335 + 343. Let u = -39 + 28. Which is greater: b or u?
b
Suppose -2*d = d + 84. Suppose 2*l = -3*b + 30, 7*l - 9*l = -b + 2. Let y(z) = -z**2 + 13*z - 69. Let t be y(b). Which is smaller: d or t?
t
Suppose 362 = 3*c - 643. Let f = c - 341. Which is smaller: -23 or f?
-23
Let u(v) = 39 + 37 + 52 - 96 + v. Let y be u(-32). Is y less than -49?
False
Let s = -27 - -25. Let b be ((-110)/(-15))/(s/3). Let n = b - -11. Is 0 at most as big as n?
True
Let a = -1.09 - -58.09. Let h = -32 + a. Let x = h + -3. Are x and 0 unequal?
True
Suppose -54*r - 372 + 695 + 265 + 2544 = 0. Let g = 24/7 - 26/7. Is r less than or equal to g?
False
Let f be (3268/(-89870))/(1/(10/64)). Let o = -3 - -3. Which is smaller: o or f?
f
Suppose -4*t - 3*p + 257 = 0, 4*p = 6*t - 9*t + 184. Let u be (102/(-68))/(6/t). Which is smaller: -78/5 or u?
u
Let p(d) = d**3 + 5*d**2 - 8*d - 7. Let k be p(-6). Suppose 5*f = -w + 94, 4*f + k*w = 35 + 36. Is f greater than 19?
False
Let t = -10659705377/294 - -108755665/3. Let r = 5613 + t. Which is smaller: r or -1?
-1
Suppose -42*k - 151 = -13*k + 777. Which is bigger: -6.4 or k?
-6.4
Let s(m) = -m**3 - 15*m**2 + 3*m - 16. Let h be s(-15). Let y = 29 + h. Let i(t) = -3*t - 71. Let k be i(-13). Is y not equal to k?
False
Let r = 26629/6 + -4536. Let s = -197/2 - r. Which is greater: 1/6 or s?
1/6
Let i = -27578183/16660 + 33111/20. Let n = -1/49 + i. Suppose -1 - 4 = -5*l. Is n less than or equal to l?
True
Let v = -117 + 68. Let s = -6.25 - -2.25. Let j = v - s. Which is greater: 0 or j?
0
Let j(g) = 277*g**3 + 3*g**2 - 9*g + 5. Let d be j(3). Are 7484 and d non-equal?
False
Let g = -447259901/3384 - -132169. Is g smaller than 1?
True
Let b = 33717 - 33620. Which is smaller: -11 or b?
-11
Let o = 244 + -241. Suppose -5*t + 4*r = 7, 13*t - 12*t = o*r - 8. Which is smaller: 292 or t?
t
Suppose 12 = 2*x - u, 3*u = -3*x + 1 + 8. Let w(b) = 17*b + 90. Let k be w(-5). Let s be k/(50/8)*8. Which is smaller: x or s?
x
Suppose -3*d - 2*b + 30 = 0, 4*d + 21 = b + 6. Let g = 1606850/113 - 14220. Which is bigger: d or g?
d
Suppose 3*v + 4*d + 356 - 1425 = 0, 4*d - 1771 = -5*v. Let j be (-8)/(-14) + v/(-63) + 5. Which is smaller: j or -10/27?
-10/27
Let g be (-4)/70*10/8. Let l = -620 - -619.7. Is l bigger than g?
False
Let j be (-128)/(-7200)*6/36. Which is smaller: j or 0?
0
Let n be (4 - 0)/(-1 + 12). Suppose 1288 = 14*r - 0*r. Let o = -92 + r. Which is greater: n or o?
n
Let o be (-7)/(-4)*26/(-91). Are 14 and o unequal?
True
Let b be (-3 - 22/(-8))*4588/(-111). Let h be 3/(-9) - 31/(-3). Which is bigger: b or h?
b
Let u be 328/336*-2 + (-35)/(-21). Which is smaller: u or 0?
u
Let d be (-165)/(-6030)*435 + -12. Is d at most 1?
True
Let r = 34111 - 34693. Which is smaller: -586 or r?
-586
Suppose 6*d + 16 = 7*d. Suppose 4*m + 21 = n, -5*n + m + m + 105 = 0. Is n >= d?
True
Suppose 0 = 5*u - d + 161, u - 2 = d - 31. Let l = u - -44. Let w(a) = a**3 - 10*a**2 - 10*a - 12. Let q be w(l). Which is greater: q or -1/114?
-1/114
Suppose 8*o = -4*x + 3*o + 435, 4*x - 5*o = 445. Suppose -6*d - x = -428. Let a = 105/2 - d. Which is smaller: a or 1?
a
Let w = -679 - -384. Which is smaller: -2056/7 or w?
w
Let h be 7/(-49) - (-10)/70. Is 2/966