t f = -59.96 + 28.33. Let o = -1.37 + f. Which is smaller: 1 or o?
o
Let l(n) = -4*n**3 + 33*n**2 + 2*n + 88. Let t(y) = -y**3 + 8*y**2 + y + 22. Let p(q) = 2*l(q) - 9*t(q). Let w be p(7). Is -2 greater than w?
True
Let j = -8279 - -8280. Is j at most as big as -1/57?
False
Let m be (-494)/(-3192) + -3 + (-17)/(-6). Is 1 > m?
True
Let w be (-3 - 62/(-20))*(-1 + 12/32). Is w at most -1/11?
False
Suppose -3*f + 443 = 2*q + 468, 2*f + 5*q + 24 = 0. Which is greater: f or -283?
f
Suppose 0 = 4*f - 5*k - 1711, 2*f - 8*k = -13*k + 893. Suppose -f = -3*d - 416. Is 6 >= d?
True
Let d be 8 - 2 - (25 + 3). Let w be 2/(-6) + d/66. Which is smaller: w or 75?
w
Let u = 210.9934 - 211. Let k = u - 0.0934. Is 48/19 <= k?
False
Suppose 1624 = -3*a + 505. Is -371 != a?
True
Let b be (8 - -1) + (-111922)/107. Is b less than -1036?
True
Let g = -11272 + 11283. Suppose 3*z - 3 = 2*k, -4*k - 2*z + 15 + 3 = 0. Suppose -g*m = k*m - 770. Is m smaller than 55?
False
Let t = -1/12470 + -5735/14964. Is t != -1?
True
Let m(t) = t - 117. Let y be m(0). Let r be (-20)/(-10) + ((-4403)/74)/((-2)/(-4)). Is r at most as big as y?
True
Let w be 694/6*24/16. Let f = w - 585/4. Is -0.2 at most as big as f?
True
Let c be (-1 - (-7)/11)*1*1/446. Are c and -3 nonequal?
True
Suppose -2*y - 1 - 1 = 0. Let k = 14567/4 - 3606. Let f = -37 + k. Which is greater: f or y?
y
Let w be (-12)/(-78) - ((-8)/(-12))/((-65)/(-15)). Which is smaller: -12/1291 or w?
-12/1291
Let i = 39 - 76. Let q(v) = 2*v**2 - 1679*v - 54007. Let m be q(-31). Is i less than or equal to m?
True
Let n(j) = -13*j**2 + 16*j + 87. Let h be n(-3). Which is smaller: h or -2/21?
h
Let t be (-46)/(-552) - (-3979891)/(-1380). Let m = 2884 + t. Which is smaller: -1 or m?
-1
Let n = 342 + -37. Suppose -5*j - n = -t - 48, t - 236 = -2*j. Do t and 242 have different values?
False
Let v(n) = 114*n**2 + 4*n - 3. Let x be v(-4). Let b = -7151/4 + x. Do 18 and b have different values?
True
Suppose 361 = -5*a + z, 213 = -3*a + 8*z - 11*z. Suppose -d = 2*y - 3*y - 67, -2*d = 4. Let t = a - y. Which is bigger: t or -5?
t
Let k = -0.32 - -9.16. Let p = 9 - k. Let u = 0.04 + p. Is u smaller than -1/47?
False
Let o = 389 + -735. Let t = o + 495. Are t and 149 nonequal?
False
Suppose -50 = -11*s - 105. Let n be 42/s*(-135)/81. Let c be 3/((-3)/(-1)) - -13. Is c equal to n?
True
Let i be 288/10*850/510. Let t = 152/3 - 4/3. Do t and i have the same value?
False
Let o be 6*(-198)/567 + (-4)/(-42). Let m be 10*((-48)/(-20))/o. Are -9 and m equal?
False
Let r = -24970 + 10437465/418. Is -3 greater than r?
False
Let f = -0.59 - -0.754. Let y = f + -0.074. Are y and -3/7 equal?
False
Suppose 0 = -4*t - 46 + 158. Suppose 43*d = 47*d + t. Let r be 1*4 - (16 + d)/3. Which is smaller: 18 or r?
r
Let x be (-2)/3 - 17/(-30). Let b = 396 + -387. Suppose 4*o = -2*u - 3*u + b, 0 = -3*u + 3. Which is smaller: x or o?
x
Let s = 316 + -590. Let p = -215 - s. Do p and 60 have the same value?
False
Let i = -3981 + 4064. Which is smaller: 77 or i?
77
Let x = 13.073 + -10.073. Which is smaller: x or 14/165?
14/165
Suppose 3*d + 4*u = 36, -7*d + 2*d + 2*u + 34 = 0. Is d > 179/20?
False
Suppose -2*z - z - 13 = -x, 0 = -3*z - 5*x - 7. Let t be -125 - 4/z*7. Which is smaller: t or -116?
t
Let s be (-99)/54*12/33. Is 2433 < s?
False
Let q be (((-44)/77)/(20/(-14)))/((-18736)/20). Which is smaller: q or 0?
q
Let w be (-9)/6 + (-22591)/(-20) + 0. Let k = 1190803/1060 - w. Let i = k + 8/53. Is -6 at most as big as i?
True
Suppose -1344*b + 1356*b = -180. Let t be (7 - 468/65)/(3/b). Let f = -121 + 80. Is f at least as big as t?
False
Let y = 8571 + -8102. Is y bigger than 3?
True
Let r = 8.3 - 1.3. Let f = 565.9 + -539. Let d = f + -27. Is d < r?
True
Let t(w) = w**3 + 18*w**2 + 25*w + 19. Let q be t(-21). Is q at least -1829?
True
Let o be (-7)/((-35)/(-15)) + (-15308)/9. Let g = o + 1709. Is 6 less than g?
False
Suppose 123 = 2*y + 117. Suppose 0 = -4*h + y*v + 670, 0 = -5*h + 2*v - 303 + 1144. Is 169 at least h?
True
Let l = -6.4 - -4.6. Let d = 6.2 - l. Let s = 7.7 - d. Is s >= 2/7?
False
Let v = 66399 - 130299/2. Is 1249 != v?
True
Suppose 0 = h - 3*h + 4*n + 14, 2*n - 2 = 4*h. Let b be -2*h/(3 + 3) - -7. Let g = -2587 + 12982/5. Which is smaller: g or b?
b
Let d = 1020 + -333. Let n = -796 + d. Which is smaller: -760/7 or n?
n
Let i = 7797 - 7796. Let d = -58487/23 - -2545. Which is smaller: i or d?
i
Let t be (-17 - -20)/(3/(-2)). Suppose 0 = -0*x + 3*x, -2*x = 2*p + 12. Let w be 10*p/4 + t. Is w greater than -14?
False
Suppose 12*u - 5*u - 56 = 0. Suppose u*m - 7*m = -4, 4*x + 4*m = 28. Do x and 7 have the same value?
False
Let j be 386/8 + 4/(-16). Let a be 3/(((100/(-8))/(-5))/40). Is a equal to j?
True
Suppose 14 = -5*a - 2*i, -3*a = -262*i + 263*i + 7. Which is smaller: -2/1251 or a?
-2/1251
Let j be 62622/(-135) + (-2)/6. Is j less than or equal to -465?
False
Let k be (6/918)/((-8)/(-1032)) + (-6)/9. Is -3 not equal to k?
True
Let p = 1583 - 1586.0944. Let t = p - -0.0944. Which is smaller: -0.12 or t?
t
Let z(w) = -2780 + 0*w**2 - 19*w - w**2 + 2851 - 43*w. Let i be z(-51). Is i bigger than 632?
False
Let h(c) = -3*c**2 + 6*c + 4. Suppose -5*d - 9 = 3*z + 7, -40 = -5*z + 5*d. Let b be h(z). Let q be (31 + -4)/(-3) + 3. Is q != b?
True
Let x be ((-20)/16)/(13/(-5096)). Which is greater: x or 488?
x
Suppose 4*m + 8 = -2*q, 20 = -4*m + 4*q - 0*q. Suppose -21 = 11*y + 45. Are y and m non-equal?
True
Let n(h) = -34*h**2 + 22*h + 3. Let m be n(6). Do m and -1087 have different values?
True
Let n be (-1)/2 + 53/10. Let m = 0.02229 + 0.07771. Which is smaller: n or m?
m
Let h(w) = 6*w**2 + 12*w + 17. Let d be h(-6). Let k = d - 187. Is -20 greater than k?
True
Let o be 14/(-175)*5 - 188181/4060. Let w(q) = 16*q. Let l be w(-3). Which is smaller: l or o?
l
Let m = 7705 + -11368. Which is bigger: 3/2 or m?
3/2
Let f be (0*(-4)/8)/2. Suppose -4*u - u - 5 = f. Suppose -11*k + 4*k + k = 0. Which is bigger: k or u?
k
Suppose 0 = 31*h - 105*h - 58*h + 2772. Suppose -4*s + b + 2*b = -56, -3*s + 5*b + 31 = 0. Is h at most as big as s?
False
Suppose -30*p = 65 + 132 + 163. Which is smaller: p or -271/21?
-271/21
Let s(u) = -u**2 + 2*u + 2. Let j be s(3). Let c = 18585 + -2583319/139. Is c smaller than j?
False
Let q be ((-188)/940)/((-6)/(-10)). Which is greater: 16.4 or q?
16.4
Suppose -369*h + 368*h + 2*m - 95 = 0, 2*m - 523 = 5*h. Which is bigger: -95 or h?
-95
Let o = 94 + -108. Let m = 8 + o. Let q = 15 + -20. Which is smaller: m or q?
m
Let i = 1585 - 890. Let k = i + -518. Which is smaller: 176 or k?
176
Let x = -5590 + 5514. Is 11 > x?
True
Suppose -379 = -4*x - 75. Suppose 3*y - x + 242 = l, 2*l + 60 = -y. Is -56 smaller than y?
False
Suppose -229*n = -180*n - 196. Which is bigger: 9/2 or n?
9/2
Let o = 2888 - 762431/264. Let j be 4 + 0 + (-9)/3. Which is smaller: j or o?
o
Suppose -113 = 4*k - 137, -2430 = -2*m - 4*k. Which is smaller: m or 1200?
1200
Let f = 1336 + -1081. Let u = -254 + f. Let g be 13/5 + 4/(-2). Is u < g?
False
Let d = 4467 + -19359977/4334. Is 0 != d?
True
Let u(n) = 2*n**2 - 7*n + 12. Let d(b) = b**2 + b. Let w(j) = -3*d(j) + u(j). Let v be w(-16). Let k = v + 85. Which is smaller: 1/72 or k?
1/72
Let x = 4975 + -10695/2. Let l = x + 373. Which is greater: -8/11 or l?
l
Let g = -33 + 36. Let n(o) = -o**2 + 2*o + 7. Let r be n(g). Suppose -3*b - r*y = -0*b + 17, b + 5*y = -24. Is 3/14 greater than or equal to b?
False
Let c = 30.2 + -35. Let m = -32.8 - c. Let g = -27.7 - m. Are g and -0.02 unequal?
True
Let n be ((-7)/3)/((85/51)/(-5)) + -1039. Which is smaller: -1034 or n?
-1034
Suppose 4*u - 61 = l, 0*u + u + 295 = -4*l. Let b = 361/5 + l. Which is smaller: 0 or b?
b
Suppose 0 = 9*v + v - 50. Suppose 3*w = -3*b - 60, 3*b + 3 = -v*w - 99. Let h = w - -22. Which is smaller: h or -0.3?
-0.3
Suppose 4*d - 490 = g - 166, -g = -5*d + 326. Let s = g + 217. Let h = s - -99. Is h at least as big as -1/35?
True
Let v = -1 + 2. Let p = -440983/1146 + 2309/6. Does p = v?
False
Let a(l) = -157 + l - 7*l + 148. Let q be a(-10). Let i = q + -47. Is 4 less than or equal to i?
True
Let y = 15/259 + 53797/1295. Let v = y + -42. Is -5 greater than or equal to v?
False
Let k be 1/12 - (-2)/(-6). Let d = 69.641 + -69.531. Is k greater than or equal to d?