Let q = 160/3 - b. Is q greater than 1?
False
Let g be (44/6)/(-2) - 2. Let i be (-20)/(-5) + -3 + (-34)/(-2). Let x be 7 - (-3)/(i/(-78)). Which is bigger: g or x?
g
Let d(q) = q**3 + 5*q**2 - q - 7. Let m be d(-5). Let y = -1 + m. Let k be y/((-12)/(-35))*60/50. Does -12 = k?
False
Suppose i = 5*q + 13, -2*q = 2*i - q + 7. Let y(n) = 5*n + 10. Let l be y(i). Are l and -6 equal?
False
Let k = 11/37 - 1043/148. Let c be (-38)/20*20/(-8). Let h = c - k. Which is smaller: 2/5 or h?
2/5
Let j(x) = 2*x**2 + 72*x - 17890. Let w be j(78). Suppose -2*o = 10, -5*o = -2*m - 4*o - 211. Which is greater: w or m?
w
Let c be ((-10)/40)/((-2)/7944). Let r = c - 997. Suppose -4*f + 6 = -2. Which is bigger: f or r?
f
Let k(m) = m**3 - 3*m**2 + 17*m - 44. Let a be k(3). Suppose p - 4*p - 4*u = 14, 4*u - 28 = 4*p. Which is smaller: a or p?
p
Let q be (-6)/21*2 + (-1556157)/84. Let u = q - -2188029/116. Let d = 336 - u. Which is greater: 1 or d?
1
Let n(k) = -2*k**2 - 36*k - 2. Suppose 2*z = -4*v - 36, 6*z = z - 2*v - 90. Let a be n(z). Are a and 2/11 nonequal?
True
Let z be 218268/11703 - (2 + 16). Which is bigger: 2 or z?
2
Let q = -3805 - -3804.9. Is q at most 6162?
True
Suppose -7*g = -2*g + 95. Let n = g + 12. Let h be n/(14/(-36)) + -2. Is 15 > h?
False
Let i(w) = -9*w**2 - 12*w - 1. Let g be i(0). Which is greater: g or 4/4581?
4/4581
Let i be (-8)/(-36) - 48/(-27). Suppose i = 4*d - 3*d. Suppose -d = -4*s + 2*s. Is 2/29 at most s?
True
Let q(a) = -374*a - 1882. Let f be q(-8). Is 1113 bigger than f?
True
Let v = 7 - 11. Let n = 174.35 + -382.3. Let w = 208 + n. Which is bigger: v or w?
w
Let q = 4523/9 + -502. Suppose -43 + 13 = -30*j. Which is bigger: j or q?
j
Suppose -5*a = 4*i - 27, 5*a - 9 - 12 = -2*i. Suppose -3*t + 2*t - i*g - 28 = 0, 4*g + 69 = -3*t. Does t = -19?
True
Let c be (-2332)/546 - (-1)/(-3). Let b = -111/91 - c. Let q = -1126/325 + b. Which is bigger: q or -0.1?
q
Let i(t) = -t**3 - t**2 + 5*t - 13. Suppose -4*r + k + 3 = -8, 2*r - k = 3. Let q be i(r). Which is greater: q or -72?
-72
Let m be -1730*(-2)/(-238)*7. Which is smaller: -102 or m?
-102
Let g(r) = r**2 - 21*r + 34. Let m = 285 + -265. Let n be g(m). Which is bigger: n or 68/5?
n
Suppose d = 3*d + 5*w - 22, -3*d + 2*w = 5. Let o be 0*3/(-6) - 12. Let u be 388/256 - d/((-8)/o). Which is greater: 0 or u?
u
Suppose 5*n + 1640 = 4*m - 250, 0 = -3*n + 2*m - 1134. Let j = n - -377. Suppose 4*s - 2*s + 4*c + 2 = 0, s + 1 = -c. Are s and j non-equal?
False
Let c be 42/(-315) + (0 - 182/(-15)). Suppose c = s + u - 4*u, 2*s = -4*u + 4. Let l be (-3)/s*-4 - (2 - 8). Is 8 at most l?
True
Let n be 2/12*660/(-179190). Which is smaller: n or 1?
n
Suppose -4*f = -2*w + 270, -2*f - w - 121 + 0 = 0. Which is bigger: -67 or f?
f
Let b = -9.75 - -9.95. Is -4366 at most b?
True
Let n be 1 + -2 + 1 + -1. Let v = -4/101 + 846/16261. Which is smaller: v or n?
n
Suppose 5*u + 772 = 4*c, 4*u + 79 = 2*c - 301. Suppose 14*g - 96 = c. Which is smaller: g or 20?
20
Let p be (-1 - -4)/((-4)/(1 + -37)). Suppose -4*d + p = -5*k, 0*k - 4*k = -2*d + 12. Is 11 greater than or equal to d?
True
Suppose -311 = -w - 4*z + 112, 5*z = w - 405. Suppose 0 = -24*a + 29*a - w. Which is smaller: a or 82?
82
Let s be (-3 + (-45)/(-20))/(2/(-16)). Suppose 0 = -4*c - 2 + s. Let k be 6 - c/(1 + 2 - 4). Is 19/3 at most k?
True
Suppose 4*w + 1275 = 4*u - 485, -5*u + 2232 = -w. Which is greater: 2234/5 or u?
u
Let d = 633 - 17089/27. Let b = -22 + 27. Suppose 0*z - b*z = 4*s - 13, -4*z = -4*s + 4. Is z at most d?
False
Let l = -46 - -61. Let c be (l/10)/(1/52). Let i = c + -131. Is i > -51?
False
Let d be -6*3/(-24)*-492*(-5)/45. Which is greater: d or 0.36?
d
Let k = -23.855 - -3.853. Let c = k + 0.002. Let t = -28 - c. Which is bigger: t or 1?
1
Let i = 2/457275 + -82309702/46184775. Which is greater: -2 or i?
i
Let t(h) = 27*h - 28. Let d be t(3). Let k(f) = 0*f**2 + f**3 + 51*f - 2*f**2 - d*f - 2. Let a be k(-2). Which is greater: a or -16?
a
Let h = 32 - 30. Suppose 0 = -h*o + 14 - 8. Suppose 2*p - 38 = o*b + b, -5*b + p - 43 = 0. Is 3 bigger than b?
True
Suppose 0 = 4*v - 0*v - 204. Suppose -20*g = -21*g. Suppose -2*y = 4*o - 0*o - 190, 3*o - 3*y - 165 = g. Which is bigger: o or v?
v
Suppose -2*s = -2*d + 88, -8*d - 135 = 3*s - 10*d. Which is smaller: s or 126?
s
Let a be (-2749)/(400/125 - (-2)/(-10)). Which is bigger: -915 or a?
-915
Let v be (-6 + 0)*(-14)/2. Let f = -1.58203 + -0.41797. Is v at most as big as f?
False
Let j(h) = h**3 - 5*h**2 - 2. Let b be j(4). Let r be b*12/(-28) + 4/14. Let z be 1 - (r - 6)/(-1 + 0). Is 3 <= z?
True
Let n = -1.15 + 247.15. Let v = -1059.1 - -1059. Which is bigger: v or n?
n
Let n be 6/4 + (-6)/12. Let w = -318/29 - -12868/1073. Is w at most as big as n?
False
Suppose -y + 959 = 6*y. Suppose -18*j + 44355 = 41889. Is j less than or equal to y?
True
Let j = -4 + 5. Let f = -474 + 94. Let v = f + 371. Is v not equal to j?
True
Let z = 201 - 197. Suppose -11*m + z*m - 17*m = 0. Which is smaller: m or -1/60?
-1/60
Let d(v) = v**3 + 10*v**2 - 30*v - 87. Let h be d(-12). Let y be (-2)/7 - h/28*1. Is -100 at least as big as y?
False
Let u = 15970 - 15966. Are u and 1.13 equal?
False
Let f = -721.4 + -14.6. Let z = f + 738.5. Is z at most -1?
False
Suppose -31*i + 18954 = -58*i. Which is bigger: -704 or i?
i
Let f be (21/(-14))/(9/26772). Let q = -789776/177 - f. Which is smaller: q or 0?
q
Suppose 2*c = -5 + 1. Let w = -135.44 - -0.44. Let z = 137.6 + w. Is z <= c?
False
Let m(f) = -2*f**3 + 13*f**2 - 6*f + 2. Let h be m(6). Suppose c = -5*q, -h*c + 6*c = 0. Let v be (-1 + 2)/((-2)/38 - q). Is v smaller than -19?
False
Let v(m) = m**2 + 6*m + 4. Let f be v(-6). Let p = -16477 - -214267/13. Is f > p?
False
Let y be (-1044)/20 + (-20 - -3). Which is smaller: -1 or y?
y
Let k be (-2)/(-21)*3 - 0. Let t = -1.772 - -91.672. Let h = -90 + t. Which is greater: k or h?
k
Let a(g) = -2*g - 2. Let i(f) = f. Let z be i(-9). Let o be a(z). Which is smaller: o or 22?
o
Suppose 3*x + 485 = 77. Suppose -10*d - 393 = 3*j - 12*d, 2*d + 822 = -6*j. Is x greater than j?
False
Suppose 22*i - 15*i = 2849. Let w = i + -608. Which is smaller: w or 0.1?
w
Let a = -1 - -0.25. Let h = -3.96 + 1.21. Let s = h - a. Is s greater than 0.07?
False
Suppose 0 = -12*d - 789 - 8931. Let v be 60/d - 4048/27. Is v > -148?
False
Suppose -w = w + 162. Suppose 83*k + 57670 = -202*k - 445*k. Which is greater: k or w?
k
Suppose -1837 + 5021 = -8*o. Let l = o - -399. Let y = -149 + 1636/11. Which is bigger: l or y?
l
Let r = -34 - -43. Suppose -2*b + 3*i = -r, 0*b + i = 5*b - 3. Which is smaller: 2/353 or b?
b
Let q(y) = -3*y**2 - 52*y + 20. Let z be q(-21). Which is smaller: -203 or z?
z
Let y be 72/9 - (-1 + 18490/2075). Which is bigger: y or 0?
y
Let n = 4 + -7. Let i = -90 - -125. Let s = 30 - i. Is s <= n?
True
Suppose -2*u - 330 = -3*q + 6*q, 3*q - 318 = 2*u. Let i = u - -1295/8. Is 3 at least i?
True
Suppose -15*k - 83861 = -91*k + 59627. Which is smaller: k or 2/5?
2/5
Let w = -9993 - -8442. Do w and -1552 have the same value?
False
Let i be -1610*(13 + (-400)/32). Which is smaller: i or -807?
-807
Let h be (-7)/(0 + (-2)/(-2)). Let j be (44/(-20) - -2)*-5. Suppose 3*i - j = -2*w, -3*w + 0 - 6 = 3*i. Is h greater than w?
False
Let u be (-7 + 6)/(1 + 0). Let n be (-5525)/800 + (2 + -9)*-1. Which is greater: n or u?
n
Let r be (-3)/(-9)*(-6174)/(-490)*5. Let o(s) = 21*s + 1. Suppose 5*z - 3 - 2 = 0. Let d be o(z). Which is bigger: d or r?
d
Let o(y) = y**2 + 36*y - 4. Let j be o(-19). Let n be (-109)/j*162/(-11)*-1. Which is smaller: n or 4?
4
Let c be 4/16*((-5720)/3465 + 8/(-14)). Is -1 less than c?
True
Let a(o) = -11*o**2 - 7*o + 1073. Let i be a(-24). Is -5096 > i?
False
Suppose -3*j + 2*o + 11802 = 0, -j - 30*o + 3968 = -25*o. Do 3939 and j have the same value?
False
Let f = -2/97 + 129/1552. Let r(l) = 3*l**2 + 185*l. Let k be r(0). Which is greater: k or f?
f
Suppose -14*f + 133 = -595. Suppose -3*t + 133 = 5*y + 45, 2*y - f = -2*t. Is t less than or equal to 196/9?
True
Let m be 1*72/(-12) + (-16848)/(-2806). Do m and 1 have the same value?
False
Let y be ((-62)/651)/((-4)/(-10843)). Is -257 < y?
False
Let u(j) = j**2 + 32*j + 67. Let k be u(-28). Let f = k + 47. Suppose f*a = 33 - 41. Which is smaller: -1 or a?
