32*a - 56. Let m be w(14). Which is smaller: m or -13/54?
-13/54
Let y = 955440/11 - 86700. Let x = y - 158. Are x and 1 unequal?
True
Let d = 11 - 8. Let k = 2.7 - d. Is k equal to -1?
False
Let q = 8.56 - -0.44. Let z = -10 + q. Let b = -2.7 - -2.59. Is b less than or equal to z?
False
Let f be (-4)/(-10) + (-7)/105. Let a = 26 + -29.2. Let i = a - -0.4. Which is greater: f or i?
f
Suppose m - 134 = -m. Is m at most 66?
False
Let v(m) = m**2 - 4*m + 2. Let j be v(6). Suppose 4*c + j = -14. Let u(g) = 2*g + 4. Let f be u(-6). Which is greater: c or f?
c
Let c = 780/107 + -25914/1177. Let i = -15 - c. Which is smaller: 1 or i?
i
Let x = -15.408 + 0.008. Let t = -15.39 - x. Which is greater: 3 or t?
3
Suppose 0 = -5*s + 3*q + 150, q + 2 = s - 26. Let f be 22/s + (-23)/3. Which is bigger: -9 or f?
f
Suppose -5*c + 84 = -8*c - 2*a, 3*c - 3*a + 69 = 0. Is -27 greater than or equal to c?
False
Let a be (-27)/(-63) - (-45)/(-7). Let i = -3 - a. Suppose i*l + 5 = 2*l. Which is smaller: l or -4?
l
Let n be ((-1)/74)/(100/80). Let q = n - 72/185. Let y = -1.2 + 0.2. Is q less than or equal to y?
False
Let a = 38 - 63. Let t = a - -36. Suppose -t + 3 = 4*h. Which is smaller: h or -1/2?
h
Let u = -643 - -670. Is u greater than 6?
True
Let m be -5*1 + (4 - 4). Which is greater: -33/7 or m?
-33/7
Suppose 17*i = 1542 + 5. Is 90 >= i?
False
Let g(u) = -13*u**2 - 3*u + 2. Let m be g(1). Let w be (-4)/(-14) - 52/m. Let i be w - (-3 - (-2 + -2)). Which is smaller: 2 or i?
2
Let w = -63 - -90. Let y = -28 + w. Which is smaller: y or 2?
y
Let m = -52/123 - 10/41. Which is smaller: -1/17 or m?
m
Let c be (8/32)/((-1)/(-20)). Suppose -2*y - 3*l + 16 - c = 0, -4*y = -4*l + 8. Does -3/7 = y?
False
Let y = 802965 - 12049982/15. Let f = y - -367. Is f <= 2/17?
True
Let b = 0.67 - 0.7. Let f = -526 + 525. Which is bigger: b or f?
b
Let r = -1.098 + 1.698. Let m(v) = -2*v**3 + v**2 + 2*v + 1. Let i be m(-1). Which is smaller: i or r?
r
Let l be 2/(-19)*(5 - 260/48). Does 0 = l?
False
Let g be ((-10)/100)/(16/30*-2). Suppose 0*q - 2 = 2*q. Which is greater: g or q?
g
Let r be 6/10 - 360/(-25). Suppose -5*l - r = 5*v, -3*v + 4*l + 3 + 16 = 0. Let k be 39/27 - 2/6. Which is smaller: v or k?
v
Let t = 6 - 2. Suppose -t*x + 8*x = 8. Let q be ((-1)/x)/((-1)/32). Is 16 greater than q?
False
Let o = 35 + -33. Let j(t) = -3*t**2 - t + 6. Let m be j(o). Which is smaller: m or 0?
m
Let q be (-22)/15 + (-4)/(-6). Suppose -5*s = 5*f - 155, 4*s - 88 = 6*f - f. Let v = -29 + s. Which is bigger: q or v?
q
Let y = 80 + -85. Let n = -0.08 + -3.92. Let s = n - -3.6. Which is smaller: y or s?
y
Let f = 596 - 596.27. Which is bigger: f or -1/3?
f
Let s = -416 - -418.09. Is s at least as big as 3?
False
Let r be -816*((-60)/16)/3. Let a be -4 - (-3634)/r - -1. Let p = a + -8/15. Which is bigger: -1 or p?
p
Suppose -3*j - 4*f + 18 = 0, -2*f + 9 = -3*j + 3*f. Suppose -7 = 5*k + j*k. Which is bigger: k or 6/13?
6/13
Let f(a) = a**3 - 11*a**2 + 9*a + 9. Suppose -4*h - 30 = -3*z, 2*z + 4*h - h - 20 = 0. Let g be f(z). Let d = 1/8 + 3/8. Is d equal to g?
False
Let z be -3 + 22 + 5535/(-285). Let l be (-1)/2 + (-1)/2. Is z greater than or equal to l?
True
Let u(k) = -k**3 - 7*k**2 - 6*k - 14. Let y be (-1 + -4 + -9)*1/2. Let m be u(y). Is 29 bigger than m?
True
Suppose -2*c = -3*f - 67, -102 = -3*c + 3*f + 2*f. Let a(q) = q**3 - 14*q**2 - 34*q + 9. Let h be a(16). Let y = h + c. Is 8 smaller than y?
False
Let g = 12 + -8. Suppose 4*v - 2*n = 90, 2*n - 89 = -g*v + 5*n. Suppose 5*x + 12 = -v. Is x at most -7?
True
Suppose -2*z - 8 = -v - 5, 2*v - 7 = 3*z. Which is bigger: -2/13 or z?
z
Suppose 3*u - 20 = 5*y - y, -4*u + 2*y = -30. Let g be (84/48)/((-2)/u). Are g and -7 non-equal?
False
Suppose 5*d - d = 16. Suppose -2*t - 31 = -s - 4*s, 0 = -t - d*s + 17. Let g = -1 - t. Are 3 and g equal?
False
Let s = 186257/9 + -20787. Which is smaller: -93 or s?
-93
Let t = 16.35 - 16.45. Is t equal to 96?
False
Let b(u) = -u**3 - 2*u**2 + 1. Let q be b(-2). Suppose i - c = -0*c, i + 3*c = 0. Which is smaller: i or q?
i
Let a = 22 + -20. Suppose g = 2*g - a. Which is smaller: g or 10/3?
g
Let z = -1140/67 + 17. Is 1 at least as big as z?
True
Let m = -112 - -114. Let p be (-6)/(-22)*5/m*-4. Which is bigger: -4 or p?
p
Let q(s) = -3*s**2 + s + 1. Let o be q(2). Let k be (-537)/o + 8/6. Suppose 4*u + 3*v = -u - k, -59 = 5*u + 2*v. Is -10 at least u?
True
Let w(z) = -29*z - 118. Let i be w(-6). Which is bigger: 55 or i?
i
Suppose 0*j - 2*j + 2*c = -8, 4*c = -3*j + 33. Suppose 2*f - 4*k + 37 = -j*k, f + 22 = -5*k. Is f at most -19?
False
Suppose 2*n = 3*g - n + 102, -5*g - 5*n = 190. Suppose -9*o + 74 = 407. Which is smaller: g or o?
o
Let n(h) = -18*h**2 + 93*h - 20. Let z be n(5). Which is smaller: z or -72/19?
z
Let m = -1/10 + 7/45. Are 1 and m nonequal?
True
Let i = -1.225 + 1.155. Let y = 3 - 6. Which is smaller: i or y?
y
Let t = 9.82 + 41.96. Let u = -52 + t. Which is greater: u or -0.1?
-0.1
Suppose -31*z + 43*z + 3564 = 0. Which is bigger: -299 or z?
z
Suppose 2*w + 36 = w. Let o = w - -32. Do -5 and o have different values?
True
Let j(r) = r + 4 + 1 + 2 - 4. Let v be j(-4). Let f = -19 - -17. Which is greater: v or f?
v
Let t(i) = -i**2 + 3*i + 3. Let q be t(4). Let v be 3 + (-4 + 0 - q). Suppose -5*c + 10 = -4*f - v*f, 4*c = 5*f + 8. Is -2 at least f?
False
Let n = -49 + 51. Suppose -2*k + 4 = -0*k. Let w = k + -1. Which is smaller: n or w?
w
Let v(p) = p**2 - 7*p + 37. Let n be v(9). Is 56 at most as big as n?
False
Let q = 75845 + -27076622/357. Let l = q - 5/21. Which is smaller: -2 or l?
-2
Let c(o) = -o - 3. Let b be c(-4). Let t = -1/1218763 + -6697102662/28031549. Let z = t - -239. Which is smaller: z or b?
z
Let t(r) = -2*r. Let v be t(-2). Let d be 9/6*v/6. Are -2 and d unequal?
True
Let i be 192/288*54/4. Let v = -23/9 - -443/36. Which is smaller: i or v?
i
Let r be ((-322)/(-69))/((-4)/(-18)). Let p = -29 + r. Are p and -8 equal?
True
Let u = -81/35 - 7/5. Is u greater than -3?
False
Let i be 4945/(-301)*(-6)/10. Which is greater: i or 9?
i
Let c = 12 + -1. Let q = -31/3 + c. Is q equal to 7?
False
Let u be (-32913)/(-135) + (-4)/5. Is u greater than 243?
False
Let y be -1*(-6 + (8 - 1)). Is 1/21 > y?
True
Let b = 0.3 - 4.3. Let x(p) = -p**2. Let j(o) = o**3 - 2*o**2 + 2*o + 8. Let c(s) = j(s) - 6*x(s). Let q be c(-4). Which is bigger: q or b?
q
Let a be (-1 + 35/36)*176/66. Let r be (1/(-162))/((-2)/(-57)). Let v = r + a. Is v not equal to -3/2?
True
Let j be (5 - 416/(-24))*15. Is j less than 336?
True
Let w(t) = -3*t**2 - 4*t - 25. Let c be w(-4). Let m = 283/5 + c. Which is smaller: -2 or m?
-2
Let j be ((-108)/(-15))/((-4)/30). Let x be (-10)/(-25) - j/(-10). Which is greater: x or -6?
x
Let r be -156*(8 - 70/10). Is r smaller than -158?
False
Suppose 123 = 4*j - z, 4*z - 69 = -2*j + 3*z. Suppose -t + 2*s = 7*s + j, -3*s = -9. Is t smaller than -48?
False
Suppose -2*p - 6*d = -3*d + 3, -12 = 3*p + 2*d. Which is smaller: p or -34/5?
-34/5
Let q(t) = -t**3 - 4*t**2 + t + 5. Let v be q(-4). Let j be (-1 - v)/((-8)/24). Let c be (21/j)/(-7)*-4. Is c < 1?
False
Suppose 1 + 8 = -n + 2*r, -5*r = 2*n - 27. Suppose 1 = y - n. Let z be (9/y)/(11/(-22)). Is -8 != z?
True
Suppose 7*q = -14*q + 1449. Which is bigger: q or 71?
71
Let b be (-8)/(5/(-1 + -19)). Which is smaller: 156/5 or b?
156/5
Let k(s) = 2*s**3 + s**2 - 2*s. Let j be k(0). Suppose j = 3*o + 28 + 17. Are o and -13 unequal?
True
Let y(r) = r**3 - 2*r**2 - 32*r + 11. Let a be y(6). Which is smaller: a or -338/9?
-338/9
Let h = 15 + -36. Let g = h + 10. Which is greater: g or -1?
-1
Let r be 172/(-63) + (-5)/(20/(-8)). Let v = r + 4/9. Do v and -2 have the same value?
False
Let o(m) = -3*m + 12. Let d be o(8). Let i be (d/(-8))/(3/(-8)). Suppose 20 = -8*q + 3*q. Is q at most as big as i?
True
Let m = -3313/15180 + 2/1265. Is m != 0?
True
Let o(z) = -2*z**2 + z. Let a be o(1). Let w be 6/4*(22/12 - a). Is 5 at most w?
False
Suppose 0 = -4*i + 4*c - 1784, 2*c + 689 = -5*i - 1527. Let p be 1 + (-54)/66 - i/(-22). Which is greater: -21 or p?
p
Let c be 31/(31/(-6)) + (-1)/(-1). Let k = 2.2 - 0.2. Let d = k - 2. Is c >= d?
False
Let w = 105000/43 + -2442. Let v = -13 + 12.9. Which is smaller: v or w?
w
Let z = 34 + -15. Let k = 19 - z. Are