/2 - 3). Let q(g) = 9*g**2 - 53*g - 9. Let k be q(6). Is p greater than k?
True
Let y = 20746/13 - 1596. Let i(s) = 0 + s**3 + 2*s**2 - 2*s**3 + 1. Let z be i(2). Which is smaller: z or y?
y
Let a = 1008 + -925. Which is greater: 3 or a?
a
Suppose -2*s + 5*t = 19, 2*t - 5*t = -5*s - 95. Which is greater: -23 or s?
s
Let i = -22 + 16. Let m be 2/3 + (-14)/i. Suppose 0 = -6*s + 3*s - m. Which is smaller: 0.03 or s?
s
Let m be 135/81*(300/2)/2. Which is smaller: 126 or m?
m
Let r = -8 + 12. Let k be 5/(-3) - (0 - r). Is k at most 3?
True
Let g = -0.09 - -0.27. Let q = g + -0.21. Is 0 at most as big as q?
False
Let v = 74 + -35. Let z = 51 - v. Is z bigger than 12?
False
Let y = 5 - 13. Let x = 35 - 27. Let k = y + x. Which is greater: 0.1 or k?
0.1
Let x = 7811 + -31869/4. Is x >= -155?
False
Let n be 1 + (1 + 0)*(75 + 11). Is n not equal to 86?
True
Suppose 10 - 8 = -2*c. Let r(u) = u**2 - 4*u - 2. Let t be r(5). Let k be 1/(-4) + t/12. Which is greater: k or c?
k
Let w = 4433 - 22059/5. Is w less than or equal to -2/7?
False
Let w = -29 - -25. Suppose 2*q = 5*y + 4*q - 71, 2*y + 2*q - 26 = 0. Suppose -2*u = u + y. Does w = u?
False
Let d = -21.039 - -0.039. Let x = d + 27. Let s = -0.7 - -0.6. Is s less than x?
True
Suppose 5*c + 4*n = 17, -4*c - 5 = -5*n + 6. Let h be (-131248)/(-564) - (-2)/(-3). Let g = -232 + h. Is g <= c?
True
Let t = -1 + 0. Let q = -21 - -7. Let w = q - -14.7. Does w = t?
False
Let i be (-5)/(-2)*4/(-4). Suppose y - 8 = 3*n - 3*y, 2*n + y = -9. Let d = 2 + n. Is i bigger than d?
False
Let y be (4/138)/((-4)/(-6)). Let r(f) = f**2 + 7*f + 8. Let h be r(-3). Let j = -5 - h. Which is bigger: y or j?
y
Let q = -2730 - -3924. Which is smaller: 1196 or q?
q
Let u be (-7)/35 + (303/90 - 3). Let q(o) = o**3 + 4*o**2 + 4*o + 4. Let b(z) = -3*z**2. Let f be b(1). Let v be q(f). Which is bigger: v or u?
v
Suppose 3*d - 86 = -227. Let x be d/(-36)*3 - 4. Is x at most 0?
True
Suppose -q - 30 = -7*q. Let h(k) = k**2 - 6*k + 1. Let g be h(5). Let x = q + g. Are x and 1 equal?
True
Suppose -8*o + 24 = -0*o. Suppose -5*y = o*b - 10, -2*b - y - 21 = -6*b. Which is greater: b or 4?
b
Let j = 547/42 - 77/6. Let m = 11/21 - j. Suppose 4*h - 16 = -4*q, -8*q + 3*h + 4 = -3*q. Is m less than q?
True
Suppose 5*u - 13 = -n, -n + 7 = -0*n - u. Suppose 10*t + n = 628. Is t smaller than 63?
True
Suppose 5*z + 3*a = -172, 5*z + 4*a - 8*a = -179. Which is smaller: 13 or z?
z
Let j = 7900/9431217 - -6/7649. Which is smaller: -1 or j?
-1
Let c be (-14)/4*(-22 - -68). Is c bigger than -161?
False
Suppose 0 = 3*g - 6*g - 9. Let f be (30/(-9))/(0/3 - -2). Which is smaller: g or f?
g
Let n(t) = 82*t + 247. Let i be n(-3). Do i and 1/494 have different values?
True
Let a(c) = c**3 - 8*c**2 + 18*c - 18. Let p be a(5). Is p <= -10/3?
False
Let b be ((-14)/37527)/(6/18). Is 0 bigger than b?
True
Let r(k) = -9*k - 6. Let j be r(-9). Let m = 480 - j. Let i be m/60 + (-2)/(-8). Which is smaller: 8 or i?
i
Suppose m - 24 = -3*a, 4*m = 2*m + 5*a + 48. Let t(u) = u - 1. Let h be t(-2). Let n be (h/m)/(4/8). Which is bigger: 0 or n?
0
Let r be (-70399)/(-105567) - ((-12)/9 + 2). Which is smaller: 1 or r?
r
Let h = 1245933 - 34379029263/27593. Let f = h - 155376267/386302. Let q = -402 - f. Which is smaller: q or 0?
0
Let r = -370 + 370. Is 21/22 at most r?
False
Let w = -13.78 - -13.796. Which is bigger: w or -0.05?
w
Let b be -1*((-6)/4 - -2)*-22. Suppose -6*g + 5 = -b*g. Is g at most 2/49?
True
Suppose -3*w + 39 = 30. Let n be 1/((-60)/(-36) - 2/w). Are 3/28 and n unequal?
True
Let a(f) = -2 + 4*f**2 - 3*f**2 - 4*f + 2*f**2 - 4*f**2. Let q be a(-3). Is q greater than -2/95?
True
Let r be 24/42 - (-1 - (-7263)/4613). Is r <= 1?
True
Suppose 0*y + 2*y = -256. Let c be y/(-228) + 2/(-3). Let v be (-5)/(-24) - (-7)/56. Is v bigger than c?
True
Let a = -120 + 8. Is -112 bigger than a?
False
Let q = 0.04 + 0.46. Which is smaller: 5 or q?
q
Suppose -2*g + 1 = 3*d - 3*g, -3*d - g = -5. Let n(u) = -u**3 + 2*u**2 - 2*u + 2. Let y be n(2). Let f be ((-2)/(-52)*y)/(-1). Which is greater: d or f?
d
Let i = -223.1 - -223. Which is greater: i or 3/58?
3/58
Let a = 24112/41 + -588. Let g = -0.053 + 0.153. Is g equal to a?
False
Suppose -12*i + 10*i + 180 = 0. Is 89 less than i?
True
Let f = 46 - 50. Which is smaller: -27 or f?
-27
Suppose -182 = -63*t - 686. Let o = 1 + -12. Is o <= t?
True
Let d = 69 - 6. Let y be (-4)/(-14) - (-45)/d. Suppose 5*v + 5 = 4*b, -3*b + 1 - 2 = v. Is b != y?
True
Let z be (-4)/22 + (2240/(-22) - -2). Is -98 smaller than z?
False
Suppose -5*d + 120 = 5*d. Suppose d*q - 18*q - 54 = 0. Is q equal to -10?
False
Let v = -246 + 239. Are v and -7 non-equal?
False
Let s be (-1)/(-4 - 23/(-6)). Suppose 5*w - 3*w = r + 15, 5*r = 2*w - 27. Is s at most w?
True
Let g = 31/2 + -14. Let y = -18 + 20. Suppose y*u = n - 2*n - 8, 3*n = 12. Which is greater: g or u?
g
Let u(f) = 5*f + 46. Let o be u(-9). Do -4/129 and o have different values?
True
Suppose 4*b + 8 = 0, 2*s + 51 - 7 = -2*b. Let h be ((-70)/(-28))/((-1)/(-2)). Let r(g) = -g**2 + 4. Let i be r(h). Which is bigger: i or s?
s
Let d = -211/2 + 106. Let b = -0.181 - -15.581. Let m = b - -4.6. Is m at most as big as d?
False
Let x = 18.9 - 19.3. Suppose 0 = 3*b + b - 80. Let m be (-2)/(-10) - 12/b. Is m greater than or equal to x?
True
Suppose 3*w - 11 = k, -w = -4*w + 15. Suppose -p - 13 = -k*j, p - 5 = 2*p - 2*j. Suppose -3*f + 6*f = -3*i, 0 = -2*f - p*i + 3. Which is smaller: f or -7/4?
f
Let j be (3 + 88/(-33))/(2/3). Which is greater: j or -5.5?
j
Suppose -p + 3*x + 108 = 3*p, -p - 3*x = -42. Let m = p - 30. Which is smaller: 2/479 or m?
m
Let t(m) = -m**3 + 3*m**2 + 3*m - 5. Let v be t(3). Does -3 = v?
False
Let p(d) = d**2 - 5*d + 4. Let x be p(3). Let a be -11*(-1 + (-2 - -4)). Which is smaller: x or a?
a
Suppose -5*g + 5*z - 5 = 0, -5*g = 3*z + z - 40. Let v = 372 + -369. Suppose g*w + 4 = v*w. Which is smaller: w or -3?
w
Let o(w) = -w**3 - 2*w**2 - 5*w - 10. Let f be o(-5). Let t be 33/27 - 5/(f/4). Is t greater than -1/49?
True
Suppose -2*q - 4 = 0, -102 + 58 = 2*f + 3*q. Which is smaller: f or -30?
-30
Let h = 44.99 - -0.01. Let t = 47 - h. Which is greater: 6 or t?
6
Let z be (-10 - -13)/(154/8)*7. Let r(c) = 0 + c**3 - 1 + 2 - 2*c**2. Let j be r(2). Is j at least z?
False
Let g = -1.663 + 2.563. Let b = -3 - -2. Is b less than or equal to g?
True
Let n be 1436*(-2)/(-252) - 4/14. Is n != -2?
True
Let n = -1294 + 1294. Which is smaller: n or 700?
n
Suppose 0*j - 3*j + 6*j = 0. Is j at least 3/56?
False
Let u = -23 - -9. Let d = 14.1 + u. Is 5 greater than or equal to d?
True
Let f be (-1348)/(-63) - (-10)/315*-9. Which is smaller: f or 22?
f
Let x = -35.87 + 21.88. Let y = x - -14. Let d = -0.09 - y. Is d equal to -12?
False
Let a = -3.323 + 3.373. Let x = -2 - -1.8. Does a = x?
False
Let p = -818/165 + 67/11. Let h = 10/3 - p. Are h and 3 unequal?
True
Let i be 1 - (-4)/(216/(-798)). Is -15 bigger than i?
False
Let u be (-46)/(-2) + (0 - 3). Suppose -p = -3*o - 18, 2*o + 4*p + 6 = -u. Which is bigger: -6 or o?
-6
Let v be (-1)/((77/3)/(-7)). Let z = -6.3 + 6. Let t = z - -0.2. Do t and v have different values?
True
Let d = -122 + 64. Let b = 0.75 - -0.25. Is b > d?
True
Suppose 4*m + 24 = m. Let g be 2/(-8)*m/(-6). Let t = 85 + -87. Which is bigger: g or t?
g
Let c = 0.558 - 0.528. Is c equal to 0.05?
False
Let w(h) = h**2 + 9*h + 5. Let x be w(-9). Suppose 4*b + 4*l - 24 = 0, 0 = 3*b - 4*l - 0*l + 10. Suppose -b*v + x*v = 0. Which is bigger: -1 or v?
v
Suppose 4*x - 2*x - 4*z - 20 = 0, 4*x = -2*z - 10. Let d be (-137631)/(-221) - (-1 - -1). Let t = d - 623. Which is bigger: t or x?
x
Let g be (-57)/8 - (-9 - (-213)/24). Is g <= -29/4?
False
Suppose 24*n + 16638 = 18*n. Which is smaller: -2774 or n?
-2774
Let u(x) = 4*x + 4. Let n be u(-4). Let a be (6/38)/(n/16). Let s(c) = -3*c**3 + 26*c**2 + 6*c + 26. Let h be s(9). Which is smaller: a or h?
h
Suppose -5*x - 3*y - 10 = 0, 0 = -4*x + 4*y + 13 + 11. Let m = 11.93 + 0.07. Are x and m nonequal?
True
Let y be (1 + 5)*(-34)/2278. Let s be 1 + -2 - ((-3 - -7) + -4). Which is bigger: s or y?
y
Suppose 2*k - g - 5 = 0, 3*g + 15 = -30*k + 32*k. Is k greater than -2/11623?
True
Let w be ((-20)/(-5))/(3 - 0 - 32). Which is bigger: -1 or w?
w
Let n = -