 = 296.9 + -4.9. Which is smaller: m or y?
m
Let s = -1009 + 4270/3. Do 415 and s have different values?
True
Let t = 22 - 16. Let r = -10 + t. Suppose -82*w + 38 = -101*w. Which is bigger: r or w?
w
Let t = 28761/2 + -14106. Let q = t - 278. Which is smaller: q or -3?
q
Let p = 124 + -89. Suppose -21*m + p*m = -1218. Is m < -87?
False
Let x = 29514 - 29670. Which is greater: x or -158?
x
Let s = -40480 + 3319447/82. Is 0 bigger than s?
False
Suppose 61*x = 66*x - 20. Suppose -5 = b - x. Let l = -1.11 - -0.11. Is b equal to l?
True
Suppose -19*m - 5719 + 1881 = 0. Let u = -166 - m. Does u = 36?
True
Let m = 0 - -1. Suppose -11 - 34 = -3*x. Suppose x = -29*o + 32*o. Which is smaller: m or o?
m
Let m be ((-20)/(-28))/((-36)/(-14)). Let n = m - 151/90. Let l be ((-2)/(-5))/(3/(-15)). Is n >= l?
True
Let c(z) be the first derivative of z**3/3 + 6*z**2 - 8*z + 12. Let u be c(-13). Suppose 19 = -8*j - u. Is 0.6 >= j?
True
Suppose 0 = -3*l + 7*l - 32. Suppose 0*z + 3 = 3*z. Do z and l have the same value?
False
Let h = 968/9 + -385291/3582. Which is greater: h or -2/5?
h
Let b = -167/232 + 3/8. Let q = -4842 + 4843. Is b less than q?
True
Let p = -6883 - -6885.4. Is -0.59 at most p?
True
Let c be 0 - 1/1 - 1. Let n be ((-3)/((-36)/366))/(c/8). Let z = 151 + n. Do z and 29 have the same value?
True
Let z = 14509/2 - 7255. Is z bigger than -2.081?
True
Let q = 23829 + -20570. Which is smaller: 3261 or q?
q
Let z(d) be the second derivative of d**5/20 + d**4/3 + d**3/6 + 9*d**2/2 - 2*d. Let b be (-258)/63 - 2/(-21). Let g be z(b). Is g <= 7?
True
Let u = 4 + -5. Let r = -142038119/184 + 771944. Let n = -50/23 - r. Is u > n?
False
Let x be ((-8)/(-10))/(14 - (-252)/105). Let q = 3 - 2. Do x and q have the same value?
False
Let o be (1/(-2))/(2/(-28)). Let x(b) = 2*b**3 + 57*b**2 - 21*b + 249. Let k be x(-29). Which is smaller: o or k?
o
Let f = 2582158/343767 - -20/9291. Which is bigger: 8 or f?
8
Let a = -6747 + 6734. Which is greater: -3.38 or a?
-3.38
Let c = -2/1297 - -4025/86899. Let p(q) be the third derivative of -11*q**4/24 - 203*q**3/3 - 7*q**2 + 6*q. Let o be p(-37). Which is smaller: c or o?
c
Suppose -3*g - 26 = 5*a, 2*g - a + 125 = 99. Let f be -3*(-6)/g*-2. Which is smaller: f or -0.5?
-0.5
Suppose -4*o - 12 = b + 61, 5*b + 431 = 2*o. Is b < -99?
False
Let j = 19645 + -19645.026. Which is greater: j or 29?
29
Let x be 1*4 - 22/((-110)/4275). Which is bigger: 858 or x?
x
Let x = -52 - -52.1. Suppose 77*l - 819 = 68*l. Which is bigger: l or x?
l
Suppose l + 4*y = 17, -y = 4*l - 2*y. Let s be (19 - 28) + 8 + l. Is s smaller than 2/789?
True
Suppose 63*n - 24684 = -124*n. Are n and 130 equal?
False
Suppose 5*m - f + 54 = -36, 5*f = 5*m + 90. Which is smaller: 40 or m?
m
Let g = 483 - 483.0466. Let k = g + -0.3434. Is -1 less than k?
True
Let a = -167 - -167. Suppose 5*p - 56 - 11 = 3*g, a = -g + 3*p - 29. Is -2 != g?
True
Suppose -4*o - 2*r + 32 = 0, -3*r + 46 = 3*o - 7*r. Suppose o*d - 285 = 145. Suppose -49 + 225 = 4*q. Which is smaller: d or q?
d
Let w = 5.4 - 19.4. Let j = -31 - w. Is 1.3 not equal to j?
True
Let j = 242 - 179. Let s be ((-12)/j)/((-10)/7). Which is bigger: s or -13?
s
Let a(c) = c**3 - 9*c**2 - 10*c + 1. Let y(n) = -n**3 + 13*n**2 - 11*n - 2. Let k be y(12). Let v be a(k). Let l be v/(-2)*24/12. Which is smaller: l or -7/9?
l
Let d = 476 - 6191/13. Let f(q) = q + 7. Let b = -36 + 28. Let k be f(b). Which is smaller: d or k?
k
Let j(g) = 6*g + 12. Suppose -b + 3*i = -i + 3, -i = -3. Let x be j(b). Let s = x + -55. Is s <= 1?
False
Let t(w) = w**3 + 9*w**2 + 4*w - 62. Let k be t(-5). Is 7 > k?
False
Let a be -3*(13 - 140/(-6)). Is a greater than or equal to -87?
False
Let o = 0.09766 - 6.46766. Are o and -2/11 equal?
False
Suppose 8*k = 12*k - 2*m + 4668, -5846 = 5*k + 3*m. Which is bigger: k or -1169?
k
Suppose -1173 = 10*s + 3*s - 10*s. Which is smaller: -380 or s?
s
Suppose -35*p = -3*p - 96. Let g(h) = 2*h**3 - 14*h + 5. Let z be g(p). Is 32 less than or equal to z?
False
Suppose -3*x - 2 = 10. Let h = -299 - -304. Let q be (-3 - h - -5)/1. Is x smaller than q?
True
Let u = 7883 + -7792. Is u smaller than 0.1?
False
Let q(w) = -w**3 - 10*w**2 - 6*w + 18. Suppose c = -2*t - 4*c + 7, -c = -5. Let a be q(t). Do -10 and a have the same value?
False
Let u = 4 - -4. Let n(k) = -3*k**2 - 16*k + 50. Let m be n(u). Which is smaller: -271 or m?
-271
Let p be ((-13)/((-13)/6))/(60/(-760)). Let m = 132 + -207. Which is greater: m or p?
m
Suppose 3*p = 2*a + 12, 15 = 5*p - 2*a - 3*a. Suppose 3*c - p*c = 372. Which is greater: c or -125?
c
Let d = -172681/1728 + -11/1728. Let v = d - -100. Is v at least -1?
True
Let b = 2423 - 2857. Which is greater: -1301/3 or b?
-1301/3
Suppose -4*p - 45 = -5*r, 0*r + 5*r - 45 = -3*p. Suppose 11*o - 30 = r*o. Suppose -o = -2*i - 73. Does i = -28?
False
Let s = -11101.075 + 11103. Is s != -4?
True
Let c(r) = 11*r**2 - 8*r. Let k be c(1). Suppose k*t - 306 = 3*w, -3*w - 4*t + 49 = 369. Is w greater than or equal to 2?
False
Let x = -10919 - -14057. Is 3138 at least x?
True
Let g be (-200415)/325 + 270/585. Is -616 < g?
False
Let h = 2080/11 - 189. Let w = 3/11 - h. Is w greater than or equal to 4?
False
Suppose -5*k - 3*w + 6*w = 3569, 2*w = -4*k - 2842. Let p = k - -449. Is p <= -263?
True
Let n = 17457/3713 + -218/47. Does 1 = n?
False
Suppose 2*l + 2 = -0*l. Let c(b) = 3*b**3 + 137*b**2 - 43*b + 133. Let z be c(-46). Which is smaller: z or l?
z
Let o be -5 + (-20 - -18 - (153 - 0)). Let d be o + -20 + (-3)/(0 - 3). Are -180 and d equal?
False
Let l = 5872 - 4834. Which is bigger: -1 or l?
l
Let f = 28.5 - 115.5. Let r = -19 + 20. Which is smaller: r or f?
f
Let r be (18/1320)/(507/8). Which is smaller: r or 0?
0
Let s be -218*(2/(-10))/((-22)/(-55)). Let u be 107 + (-1 - -2) + 1. Is s at most u?
True
Suppose -12*w + 38 = -10. Let o be 0 + w - (-178)/445. Is 0.8 greater than or equal to o?
False
Let g = 0.2 + -0.2. Let d = 312430/32763 - 2788622438/323272521. Let o = 2/2691 - d. Do g and o have different values?
True
Let r(k) = 26*k + 56. Let v be r(-2). Let x be (280/21 - v)*(-72)/14. Are x and -46 unequal?
True
Let t = -8895/13 + 684. Do t and -0.36 have the same value?
False
Let v(w) = 12*w + 4. Let x be v(5). Let s = x - -11. Let g be (1/(-33))/((-5)/s). Which is greater: g or -1?
g
Suppose -5*k - 215 = -b, 983 = 5*b - 16*k + 14*k. Let y be (((-2)/3)/(-1))/(70/b). Is y bigger than 3?
False
Let j = 28 - 30. Let g be (-292)/8 - (-1)/j. Which is smaller: g or -38?
-38
Suppose 81 = 3*r + 5*n, r - 2*n = -5*n + 27. Suppose -542 - 18 = -14*p. Let k be 1045/p + (-4)/32. Is k < r?
True
Let i(y) = -y**3 - 8*y**2 - 4*y - 29. Let r be i(-6). Let d = -133 - r. Is -56 at most d?
True
Let s(j) = -j**3 - 8*j**2 - 19*j + 14. Let z be s(-9). Let h = z + -263. Which is smaller: h or 15/7?
15/7
Let o = 132 - 129. Let u be (180/70)/(o/28 + 0). Is 24 < u?
False
Let q = 25019/3 - 8340. Which is smaller: -2329 or q?
-2329
Let s = 2.433 + -2.97. Let v = -40.537 - s. Which is smaller: 0 or v?
v
Let d = 9330 + -9406. Which is greater: -19 or d?
-19
Let c(o) = 428*o - 96. Let t be c(-4). Let m be (-2)/5*5/t. Which is bigger: 0 or m?
m
Let i be (3 - (-214605)/(-59112)) + 45/72. Do i and 1 have the same value?
False
Suppose -11248 - 3232 = 12*m - 28*m. Which is smaller: 903 or m?
903
Let y(h) = 7*h**2 - 7*h - 8. Let o be y(6). Let w = 1996 - 1997. Are w and o nonequal?
True
Let h = -0.459 - 0.543. Let a = 0.002 + h. Is a >= 2/39?
False
Let s = -197 - -654. Suppose -5*f + 2313 = 2*q, 0 = -f - 0*q + q + s. Which is smaller: f or 0?
0
Suppose 112119 = 40*f + 93*f. Are f and 841 nonequal?
True
Suppose 50*m - 10944 = 41*m. Suppose 0 = 4*z + 5*b - m, 0 = -4*z + 5*b + 1063 + 153. Which is smaller: z or 1?
1
Suppose 3*a - 66 + 9 = 0. Let q(g) = -g**3 + 19*g**2 - 15. Let i be q(a). Let c = 26 + i. Which is bigger: 10 or c?
c
Let c = -11007.103 + 11007. Let v(t) = -t**3 + t**2 + 2*t - 2. Let q be v(2). Let w = q + 3. Which is bigger: c or w?
w
Let o be 3 + 4/(-52)*37 - (-2637)/13. Do 204 and o have the same value?
False
Let n = -0.09 + -0.01. Let w = 18318 - 55181/3. Which is smaller: n or w?
w
Let j = 48 - 41. Suppose j*f + 56 - 133 = 0. Let b = 49 - 40. Is f < b?
False
Let r be (-54)/(-4 - 5) - (-4)/(-24)*33. Which is smaller: 