er: l or -1?
-1
Suppose o = 5*o - 20. Suppose -g = -o*g + 32. Let f be (1/(-6))/(-4*(-4)/(-648)). Which is smaller: g or f?
f
Let k be ((-49542)/(-9))/(-23) + (-4)/6. Which is bigger: -234 or k?
-234
Let a = -580 + 9856/17. Let x(p) = 84*p**2 - 6*p + 6. Let r be x(1). Suppose -97*t + r*t + 13 = 0. Is t greater than a?
True
Let r = 693 + -704. Let j(g) be the first derivative of -g**3/3 - 6*g**2 - 27*g + 1. Let n be j(r). Which is smaller: -14 or n?
n
Let d = -1985401805743/12382 + 160345809. Let k = d - 25/151. Is k <= 0?
True
Let k(i) = -i**3 + 21*i**2 - 18*i - 417. Let g be k(19). Do -49 and g have the same value?
False
Let k be ((-74)/14)/(5/(-10)). Let g = 2355/112 - 501/16. Let w = k + g. Which is greater: w or 2/9?
w
Let o(u) = 7*u - 5. Let b be o(8). Let j = 257/5 - b. Let a = -241835 - -241825. Which is bigger: j or a?
j
Let l = -0.103 - -0.053. Let z = 0.69 - l. Let m = z - 12.74. Is -1/3 greater than m?
True
Suppose 131*d = 91*d + 92840. Is 2321 bigger than d?
False
Let n be (-700)/(-172) - (-1 - -5). Let y = 39 + -38. Which is bigger: n or y?
y
Let k = -2923 - -2922. Which is smaller: k or 3/1025?
k
Suppose 128184 - 225126 = 111*t + 566727. Is t >= -5979?
True
Let d be 10/20 + 14/(-2). Do -35 and d have different values?
True
Let x(j) = -4*j - 5. Let c be x(-2). Suppose 117 = c*u + 12. Suppose -u*k = -36*k. Which is greater: 2/3 or k?
2/3
Let a(y) = 382*y - 50. Let v be a(8). Suppose 0 = 6*j - v + 990. Is 336 greater than j?
False
Let f(h) be the second derivative of -h**5/20 - 7*h**4/6 + h**3/2 + 21*h**2 - h + 25. Let x be f(-14). Which is smaller: x or 9/13?
x
Let n = 26 - 24. Let u be (128/4320)/(n/(-3)). Let m(r) = r**2 + 4*r - 5. Let q be m(-5). Which is smaller: q or u?
u
Suppose 49*q + 2618 - 903 = 0. Is q smaller than -43?
False
Let a = -23 - -227/10. Let g = 0.29029 + -0.29029. Which is bigger: g or a?
g
Let z be 1/(-2) - 0 - 8241/(-134). Suppose -i = -3*t + 32, -5*i + 0*i - z = -4*t. Which is greater: 10 or t?
10
Suppose -2*a + 5*a = 126. Let i = a + -28. Suppose 9*f - 4*f + 13 = -g, f + 4*g + i = 0. Which is greater: f or 0?
0
Suppose -26*h + 3*o = -25*h - 342, h - 4*o - 346 = 0. Is 328 greater than or equal to h?
False
Let b = -2.4 + 9. Let h = -5.5 + b. Let q = h - 0.1. Is q <= -2/25?
False
Let w = -7/114 - -377/570. Are 440 and w nonequal?
True
Let f = 20108/3 - 6703. Which is smaller: -1725 or f?
-1725
Let x be (934/24)/(33/(-66)). Let n = -78 - x. Which is smaller: n or -9?
-9
Let c be (-5 + 10)*(-3 + 4). Suppose -170 - 315 = -c*u. Is 98 at least as big as u?
True
Let r(a) = 20*a**2 - 37*a + 4. Let n be r(6). Suppose x - 6*x + n = 2*q, -5*x = q - 501. Is x < 98?
False
Let h = -401.788 - -401.688. Let f = 1.46 - -0.04. Which is smaller: f or h?
h
Let y(v) = 2*v**2 - 38*v + 88. Let p be y(17). Is p not equal to -34?
True
Let t = -0.102 - -100. Let m = t + -100. Let b = 7.102 + m. Which is smaller: -3 or b?
-3
Let t = -567 + 567. Let g = -1870 - -1282. Which is greater: g or t?
t
Suppose d + 656 = 9*d. Let k = -79 + d. Let j be k - (0 - -3)*1. Are j and 0 equal?
True
Suppose 3*g - 1 - 89 = -3*o, -4*o + 3*g + 99 = 0. Let f be (-18)/o + (-8)/(-18)*51. Is f greater than 20?
True
Suppose 5*t + 34 = 2*r, 5*t - 34*r = -36*r - 26. Let f be (15/(-18))/(1/t). Is 5 less than or equal to f?
True
Suppose 22*p + 85 = 17*p. Let t = p + -35. Is t <= -53?
False
Let z = 13 - 9. Suppose -4*s - 34 = 2*w, w - 9 - 10 = z*s. Which is greater: -36/7 or s?
-36/7
Suppose -27*b + 7*b - 760 = 0. Let o be b/(-8)*(-36 + 24). Is o less than -55?
True
Suppose 120 = -7*n + 8. Let g(u) = -4*u - 65. Let q be g(n). Let l be (-168)/(-60) - (-2)/(-10)*q. Is -3/4 greater than l?
False
Let k(l) = 10*l + 9. Let a be k(-8). Let u = 463 + -458. Suppose -13*y + 11*y - 150 = -3*d, d + 358 = -u*y. Is y < a?
True
Let v(x) = -5*x + 48. Let i be v(-10). Suppose 4*h + 3*h = i. Let b(o) = -3*o + 4. Let f be b(-3). Is f != h?
True
Let w(x) be the second derivative of -x**5/20 + x**4 + 5*x**3 - 9*x**2 - 14*x. Let t be w(14). Let b be 0/t - (-5 + 2). Which is greater: b or 0?
b
Let g be 50/30*(252/45 - 5). Which is greater: 26/263 or g?
g
Suppose 0 = 59*l - 100*l. Is l at least as big as -7/584?
True
Let t = -3.1 - 23.9. Let m = t - -2. Let u = -23 - m. Do 2/11 and u have the same value?
False
Let t = 23.85 + 11.65. Let m = -35.8 + t. Let d = -305 - -4573/15. Is d < m?
False
Let y = 18.6 + -18.2. Let l = -0.752 + -0.548. Is l < y?
True
Let k be (-3)/(-9)*(1 - (-4 + 20)). Let o(u) = u + 3. Let p be o(k). Which is bigger: p or 3.7?
3.7
Let q = -1.273 + 0.373. Is q bigger than -17?
True
Let z be (-75)/(-1425) - (-2232)/190. Let f = -8 - -21. Which is smaller: z or f?
z
Suppose -9*p - 620 = 487. Let q = 9943/2 + -5094. Which is smaller: p or q?
p
Let f(w) = -7 - 4*w - 4*w + 14*w + 2*w**2. Let u be (-3)/5*50/(-30)*3. Let k be f(u). Are k and 30 equal?
False
Let b = -0.4 - 2.6. Let h = 1 + 5. Let p be 22/(-20) + 9/h. Which is smaller: b or p?
b
Suppose -9*t - 10 = -7*t + 4*j, 5*t = 3*j + 40. Which is smaller: 113/25 or t?
113/25
Let f = 426 + -281. Let h = f - 145.7. Let m = 0.04 + 1.96. Is m smaller than h?
False
Let m = 107.2 + -127. Let f = 16.8 + m. Is f at least 0.71?
False
Let o be (-240)/8 + 0 + (2 - 0). Let p = -49 - o. Suppose -59 - 29 = 4*v. Is v greater than or equal to p?
False
Let y be (-1 - 19)*(3 + 2)*(-9)/8568. Which is greater: y or -1?
y
Let t = 2239 - 31307/14. Let d(j) = 5*j**2 - 162*j + 835. Let n be d(26). Which is smaller: t or n?
t
Let h(k) = k**3 - 20*k**2 - 14*k - 26. Let s be h(20). Let o = s - -5812/19. Which is smaller: o or 17?
o
Let k(f) = -f + 457. Let m be k(0). Suppose 0 = -4*z + 5*h + 1823, 5298 - 1647 = 8*z - 5*h. Is z equal to m?
True
Let z(i) = -i**3 + 17*i**2 - 9*i - 16. Let s be z(6). Let o = s + -653/2. Which is bigger: o or -307?
o
Let z = -117 + 58. Let t = z - -62.94. Let o = t - -0.06. Is 3/2 >= o?
False
Let r = 20.51 + -7.56. Let d = -0.05 - r. Which is greater: d or -1?
-1
Let p = 146 - 414. Let r = p - -11793/44. Let d = -2 + 3. Which is smaller: d or r?
r
Let p = 762 + -762. Are p and -2/4543 nonequal?
True
Let t be (1116/744)/((-3)/(-28)). Suppose -5*m + 19 = 64. Is t greater than or equal to m?
True
Let n = 2714 - 439. Suppose -n = -4*i - 2323. Is i bigger than -8?
False
Suppose 8672 = -10*a + 42*a. Suppose -2*n - a - 213 = 0. Which is greater: n or -243?
n
Let c = 531 - 722. Is c < -191?
False
Suppose 5*a + 2*y = -2*y + 26, 3*a = -y + 10. Let w(q) = -q**2 + 4*q**2 - q**a + 6 + 6*q. Let b be w(-3). Which is smaller: 3 or b?
3
Let u = -38/55 + -6/55. Let d(m) = m**2 + 4*m + 19. Let n be d(0). Suppose 11*b = -n*b + 7*b. Which is smaller: u or b?
u
Let m(b) = -b**3 + 19*b**2 - 205*b + 13. Let o be m(8). Is o smaller than -924?
False
Suppose 170*k + 804 = -5*s + 174*k, -2*s - 4*k - 288 = 0. Which is bigger: -154 or s?
-154
Let g be 1*(-1 - (2 + 2)) + 917. Let t be g/(-32)*12/(-9). Which is bigger: t or 262/7?
t
Let m(h) = 381*h + 8151. Let c be m(-22). Which is bigger: 12 or c?
12
Let j be 15/(((-39)/22)/(-13)). Suppose -2*f - 4*b = -j, -2*f + 90 = -0*f - b. Which is smaller: f or 1/3?
1/3
Let z(b) = b**3 + 5*b**2 - 7*b - 3. Let l be z(-6). Suppose 2*t + l*k = 3*t - 7, 0 = -3*t + 2*k. Which is smaller: -38/13 or t?
-38/13
Let w(f) = 36*f - 77. Let s be 3/2*(-112)/42. Let c be w(s). Which is bigger: -219 or c?
-219
Let o be 4237/(-2349) - 76/(-38). Let a = o - 16/87. Which is smaller: a or 0?
0
Let k = 22574.02 - 22574. Are k and -4/23 equal?
False
Let c = 31298 - 1533692/49. Is c smaller than -1?
True
Let h(o) = o**3 - 6*o**2 - 4*o + 10. Let c be h(7). Suppose 0 = 3*q - c - 2. Suppose -352*z + 334*z = -252. Which is bigger: q or z?
z
Let d be (-53893)/861 - (2 - 0). Let u = d + -44/41. Which is bigger: -67 or u?
u
Suppose -4*j + 32 = 4. Let m be (5 - j)/((-4)/8). Which is smaller: m or 38/7?
m
Let t be (-42)/(-4) - -2 - (-5)/10. Let h(z) = 14 + t*z**2 - 14 - z**3 + 6*z - 5*z. Let l be h(13). Which is bigger: l or 41/3?
41/3
Let n(a) = 8*a**3 - 2*a**2 + a. Let c be n(1). Is -44 at least as big as c?
False
Let h(i) = 5*i**3 + 91*i**2 + 19*i + 18. Let d be h(-18). Which is smaller: -0.1 or d?
-0.1
Let d(n) = n**2 + 6*n - 3. Let v be d(-7). Suppose -3*b + v*q + 21 = 0, q = -0*b + 4*b - 28. Suppose f - b = 13. Is f >= 21?
False
Let