+ -673/37882. Which is bigger: x or f?
x
Let q = -0.1899 - 2.5101. Is -12 <= q?
True
Let a be 48/112 + 263472/(-259). Let p = 1017 + a. Is 0 > p?
False
Let j = -1542.54 + 1534. Which is smaller: 3 or j?
j
Suppose 22 = 113*k - 114*k + 4*o, 5*k + 80 = 5*o. Let l be 16/768*-8 - k/78. Which is smaller: 1 or l?
l
Let c = 9479/4 + -70145/28. Are c and -134 non-equal?
True
Let q(c) be the third derivative of -c**3/6 - 14*c**2. Let s(a) = 4*a - 4. Let n(d) = -6*q(d) + s(d). Let o be n(-2). Is -5 smaller than o?
False
Let d(h) = -5*h - 117. Let n be d(-4). Is -100 greater than or equal to n?
False
Suppose 3*h + 5*z = -2, 0 = 3*h - z - z + 16. Let c be (-5)/(h/(-32)*4). Suppose 0 = 3*b + 3*u + 54, 19*b + 5*u + 12 = 20*b. Which is smaller: c or b?
b
Suppose -4*n - q - 7 = 2*q, 5*n + 9 = -4*q. Let r = 157/6 + -1022/39. Are n and r unequal?
True
Let b(p) = p**3 + 20*p**2 + 279*p + 2979. Let g be b(-15). Let x(h) = -h**3 + h**2 - h - 81. Let i be x(0). Are g and i equal?
True
Suppose -3*w = 11 + 4, -3*w = -4*a + 11. Let z be (299/(-26)*a)/((-2)/4). Which is bigger: z or -20?
-20
Let k(f) = -34*f**3 - 2*f**2 + 2*f + 3. Let s be k(-1). Let a = -34 + s. Let t be 16/(-8) + (-117)/(-60). Which is smaller: a or t?
a
Let g be -14 + 376/24 - 2. Which is bigger: 1799 or g?
1799
Let u = -66.3 - -66.0991. Let r = 0.0369 + u. Which is greater: r or 0.2?
0.2
Suppose -l - g = -111, 41 - 11 = 6*g. Which is bigger: 2.4 or l?
l
Let d = 62 + 63. Let q = 612/5 - d. Is -4 greater than or equal to q?
False
Suppose 196 = -12*f - 356. Let c(h) = -h**3 + 3*h**2 + 6*h - 3. Let s be c(4). Let r(z) = z**3 - 6*z**2 - 4*z. Let y be r(s). Is y at most f?
False
Let g(q) be the third derivative of -q**6/120 + 3*q**5/20 + 55*q**4/24 - 20*q**3/3 + 85*q**2. Let j be g(13). Is j != 2/97?
True
Let n(q) = 74*q**2 - 2*q - 6. Let c be n(-2). Let f = 292 - c. Do f and 1 have different values?
True
Suppose -k - 15 + 45 = 0. Let o be (-1 - (-6)/k)/((-2)/10). Is o at most as big as 3/4?
False
Suppose -8*d + 7*d = -11. Suppose -11 + d = -10*k. Is k > -5/36?
True
Let b = 10582889/9185 + -12674/11. Which is bigger: 1 or b?
1
Suppose 3*d + 37 = w, -6*d = w - d - 5. Suppose -26*k + w*k = 0. Is 4/11 less than or equal to k?
False
Let p = 24.71 - 18.51. Which is greater: p or -11?
p
Let r = 3059.339 + -2.339. Is r at most as big as 3?
False
Suppose 0 = 4*t - 8*t + 72. Let v be 0 + ((-10)/(-4))/(2/(-20)). Let x = v + t. Which is smaller: x or -6?
x
Let q be 3*56/42 - 8/(-1). Let o = -669/8 - -96. Which is smaller: q or o?
q
Suppose -t - 3*u + 32 = 9, 2*u + 22 = 4*t. Let j(i) = 3*i - 20. Let h be j(t). Suppose -5*x + o - 39 = -0*o, -x + h*o = 23. Is -6 at least x?
True
Let m be 46/4 - 46/(-92). Suppose -m = -3*b, -22*n - 2*b = -18*n + 40. Which is bigger: -13 or n?
n
Suppose -14*g + g + 312 = 0. Let r = 331 + -161. Let i be (17/(r/(-48)))/(1/(-5)). Are g and i unequal?
False
Suppose -3*j = 3*u - 30, 8*u = -2*j + 10*u + 24. Suppose 0 = 2*y + a - 5, 0 = -3*y - 5*a + j + 14. Are y and 184 nonequal?
True
Let u be -66 + (2/(-6))/((-71)/1704). Let m be 118*(-1 + 1/2). Which is bigger: u or m?
u
Suppose t + 3*y = 5*y - 8, 16 = 4*y. Suppose t*v - 2*v - 17 = -3*q, -6 = -2*q + 4*v. Suppose 4*h - 11 + q = 0. Are h and 4/5 equal?
False
Let q = -6 + 5.968. Let m = 383.778 - 383. Let k = 0.222 + m. Does k = q?
False
Suppose 2*b - 4 = -2. Let n = -81 - -47. Let g = 42 + n. Which is bigger: b or g?
g
Let w be (-152198)/(-40) + 1 + 27/540. Is w > 3806?
False
Let w = -699 + 754. Suppose -w - 550 = 11*n. Do -53 and n have different values?
True
Suppose 4*d = 2*d + 3*a + 21, 21 = d - 5*a. Suppose -2*x + 10 = d. Let b be (1/x)/(31 - 8). Is b > -1?
True
Let g(y) = 13*y - 22. Let v be g(8). Let j = 84 - v. Let d be j*2/6*2. Is 2 < d?
False
Let f(y) = y**3 - 19*y**2 + 33*y + 43. Let x be f(17). Suppose -22*l = j - x*l - 33, -2*l = 6. Which is greater: 23 or j?
23
Suppose -r + 415 + 127 = 0. Suppose 13*c - r = 1629. Is -1/4 bigger than c?
False
Let i be (3/(-11))/((-54)/(-594)). Is i at least as big as 17?
False
Let m(f) = 4*f**2 + 12*f - 44. Let j be m(8). Suppose -10*q + j = 12*q. Is q not equal to 11?
True
Let k = -6 + 3.6. Let f = k - -2.1. Let s = -0.4 - f. Which is smaller: s or -6?
-6
Let y = 100 + -83. Let v = -452 - -465. Does v = y?
False
Let w(b) = -494*b + 24. Let n be w(-13). Are n and 6446 non-equal?
False
Let v = 283924 - 54229608/191. Do v and -2 have different values?
True
Let l = -0.00952 - -0.50952. Which is bigger: l or 8?
8
Let j = -272 + 35. Let g = -247 - j. Which is bigger: 0.8 or g?
0.8
Suppose 0 = d - 7*d - 3*d. Suppose -x - 2*b = 80, -x + 2*b = -d*x + 88. Is x < -85?
False
Let r = -0.06598 - -26.06598. Which is bigger: r or 193?
193
Let h(w) = -293*w - 496. Let u be h(-1). Does u = -5?
False
Let h = 5562 + -5578. Let r be 19*-1 - (6 - 5). Which is smaller: h or r?
r
Let f = -583 + 932. Let r = -347.28 + f. Is r > -2/3?
True
Let z = 35 + -25. Let v be (-1 - -16)/(18/(-24)). Let n be (6/z)/((-18)/v). Which is smaller: 1 or n?
n
Let p be (153/85)/(30/4300). Which is smaller: p or 257?
257
Let i = 0.02071 + -0.10071. Is 290 greater than or equal to i?
True
Suppose 0 = -3*x - 12, -s - s = 4*x - 32. Let p = s - 64. Suppose -28*b + 68 = 1216. Do b and p have the same value?
False
Let y = -3.1 + 3. Let d = 13 - -197. Let f = d - 215. Which is smaller: y or f?
f
Let l be (-138)/(-23) + 45/(-7). Let i be 6/(-10) - ((-35)/(-25) + 4). Let s be ((-8)/i)/((-50)/(-15)). Which is smaller: l or s?
l
Let c(w) = 3*w**2 - 41*w - 76. Let b be c(17). Let o = b + -94. Is -139 less than or equal to o?
True
Let t = 33 + -85. Let z = t + 98. Let y = -48 + z. Which is greater: 23 or y?
23
Let b(g) = -5*g**2 + 68*g - 213. Let i be b(18). Does -610 = i?
False
Let k = 932966239/43890 - 1212704/57. Let c = k + 204/11. Suppose -d - 49 + 50 = 0. Which is smaller: d or c?
c
Let s be ((-1)/2)/(((-4365)/19260)/97). Is -2 <= s?
True
Let j(g) = -g**3 - 15*g**2 - 14*g - 9. Let t = -16 - -2. Let l be j(t). Let n be 0/(2/(6/l)). Which is smaller: -1 or n?
-1
Let t = 131851 + -132017.921. Let f = t + 167. Let y = -0.079 + f. Which is greater: y or -6.1?
y
Let z = -2728 - -8186/3. Which is bigger: -1782 or z?
z
Let q be (((-96)/(-10))/4)/((-2)/(-5)). Let n be (-4 - (2 - 1))*q/10. Which is smaller: 3/4 or n?
n
Let v be 27/(-1) + 406 + -397. Which is smaller: -30 or v?
-30
Let l(m) = -6*m**2 - 10*m + 40. Let x be l(10). Let k be 1 - x/((-15)/3). Is k smaller than -131?
False
Suppose -5*p = -62*d + 65*d - 12662, 3*p = -6. Is d > 4224?
False
Let a be 2/3 - (-40)/(-105). Let p be 4/(-14) + (83093700/(-2961))/(-10). Let i = 2806 - p. Is i >= a?
False
Let x be (-66)/(-363)*2453 + 8/(-1). Is x <= 445?
True
Let m(k) = 7*k**3 - 8*k**2 - 8*k - 15. Let a(s) = -16*s**3 + 15*s**2 + 15*s + 31. Let f(z) = 4*a(z) + 9*m(z). Let h be f(-11). Which is greater: 4 or h?
4
Let j(b) = 3*b - 95. Let s be j(0). Let u be ((-90)/s)/(((-63)/(-6))/(-7)). Which is greater: u or -1?
u
Suppose k - 8 = -3*k. Suppose k*x + 10 = 0, v = -2*x - 1 - 4. Suppose -60*p + 65*p - v = 0. Is -2/7 < p?
True
Let o = 10522 + -10521.2. Which is greater: 166 or o?
166
Let u(g) = -3*g**2 - 34*g + 26. Let j(a) = -3*a + 18. Suppose 7*v = -9*v + 160. Let n be j(v). Let h be u(n). Which is bigger: h or 7/6?
h
Suppose -21*t + 27*t - 84 = 0. Suppose -9*f - t*f = -92. Let n(b) = 3*b**2 + b. Let y be n(1). Is y <= f?
True
Let o = -41 - -41. Suppose 2*g + o = 4. Let n be ((-450)/(-340))/((-9)/(-12)). Is g less than or equal to n?
False
Let r = -215 - -690. Let p be (r/140 - 3)*2. Do 0 and p have different values?
True
Let d be 11 - (9 - (1647 + 10 + -7)). Which is smaller: 1654 or d?
d
Let y = -19 - -13. Let n be 2/63*y + 3/(-21). Let r = 0.48 + -0.58. Which is smaller: r or n?
n
Let l = 16045 - 32093/2. Suppose 0 = -3*c + 14 + 4. Which is smaller: l or c?
l
Suppose -3*o = -10*o + 1267. Suppose 147 - o = s. Do s and -27 have different values?
True
Let u be ((-10)/14)/((-12)/170). Let x be ((-54)/5 - 1)/(24/20). Let o = u + x. Which is greater: o or 1?
1
Let o = 55 - 54. Let r be (-64)/8*((-2)/8)/o. Let q be ((-6)/16)/(3/r). Is 2/19 != q?
True
Let r = 1413 + -108805/77. Do r and -1 have different values?
True
Let i = 112 + -97. Let j(a) = i*a + 4 + 0 - 13*a. Let p be j(0). Which is greater: p or 13/4?
p
L