(276/30). Let k(t) = -3*t**2 + 17*t - 10. Let w be k(5). Is o > w?
True
Let d = 491 - 491. Which is smaller: d or -8/485?
-8/485
Let q = 2039 - 2038. Which is smaller: q or -1/241?
-1/241
Let s(g) = g + 14. Let f be s(6). Suppose 0 = -2*u - 3*u + f. Suppose -o + 6*o = -4*x + 50, u*o - 5*x - 40 = 0. Is 10 at most as big as o?
True
Let y be (4 - 5)/(2/(-20)). Suppose 5*s - 496 + 1676 = 0. Let v be s/(-28) - (-6)/(-14). Which is smaller: v or y?
v
Let p be (-46)/(-12) - 2/(-12). Suppose -5*j - 38 = -p*f + 71, -3*j + 90 = 5*f. Suppose -1 = -4*i - f. Which is bigger: -0.2 or i?
-0.2
Let y(u) = 3*u + 13. Let f be y(11). Suppose 4*r - f - 46 = 0. Is r <= 22?
False
Let c be 3 + 48 + 10 + -5. Which is smaller: 62 or c?
c
Let f = -0.2 + 0.1. Let o = 16 - 15.976. Let c = -3.976 - o. Which is greater: f or c?
f
Suppose 0 = k - 7*k + 90. Suppose 13 + k = 4*o. Is o < 40/7?
False
Let c = 61 + -57. Suppose c*x - 7 = -q - 20, 0 = 2*x + 5*q + 29. Which is greater: x or -1?
-1
Let o be 998/44 + 70/(-22) + 3. Is o > 23?
False
Suppose -26*s + 17 = -9. Is 1.17 equal to s?
False
Let x = -131 + 195. Suppose -74 = 3*h - 5*s, -24 - x = 4*h - 4*s. Let y = -10 - 7. Is h greater than y?
False
Let d = 9 + -8.4. Let a = 4.6 - d. Let t = 0.95 + -0.85. Is t <= a?
True
Let g = 0 + 8. Let o = -8.3 + g. Is -4 < o?
True
Suppose -5*y = -2*p + p - 87, 5*p + 5*y = -495. Is -97 less than p?
False
Let n = -26 + 32. Suppose n*x + 10 = x. Let p = -0.3 + -0.2. Are p and x unequal?
True
Let a = 73.5 + -13.5. Let w = a + -57. Which is smaller: 6 or w?
w
Let d be 0 - (2 - -1) - 2. Let z(g) = g**2 + 6*g + 7. Let m be z(d). Let w be (-2)/8 + 75/60. Which is greater: m or w?
m
Let d = 146 + -150.3. Which is smaller: d or -0.1?
d
Let h = 0.01 - 0.006. Let s = 0.104 - h. Which is smaller: s or 4?
s
Let r = 39.2397 - -0.0603. Let w = r + -38. Is w equal to -0.1?
False
Let y be 2 - 0 - (-28)/(-7). Let l be 6/(-12) - (y + 1). Which is smaller: l or -9?
-9
Let q = 2.3 + -2.36. Let r = -1.66 - q. Let z = -2.7 - r. Which is greater: z or 0?
0
Let o be 3/((135/84)/(-15)). Is o greater than -26?
False
Suppose -199 = 6*s - 7*s. Are 199 and s nonequal?
False
Let b = 19 + -20. Let z = 0.03 + -6.03. Let f = z - -4. Is b less than f?
False
Let q be 3/(-807)*(-2)/(-1*2). Which is greater: q or 1?
1
Let p = -1 - -5. Let q(y) = -y**3 + 10*y**2 - y + 17. Let n be q(10). Which is bigger: p or n?
n
Let w = -5.3 - -7.3. Let u = w + -3. Which is smaller: u or -2/7?
u
Let v = -416.51 + 419. Let x = -0.09 + v. Let c = 2.5 - x. Which is smaller: 6/11 or c?
c
Let n = 4.5 + -0.5. Is n < -0.18?
False
Let i(t) = -t**3 + 16*t**2 - 46*t - 9. Let w be i(4). Is 305 less than w?
False
Suppose 0 = 22*y - 18*y - 4. Is -16 less than or equal to y?
True
Suppose 90*y - 145 = 89*y. Is 146 at least as big as y?
True
Suppose -3*p + 57 = 16*p. Do p and 8/5 have different values?
True
Let u = 162158/32453 + -416/83. Which is smaller: -1 or u?
-1
Let x = -1 + 1. Let m(r) = -28*r**2 + 2. Let z be m(-2). Let s be 16/(-12)*-1 - z/(-96). Which is bigger: s or x?
s
Let h = 7 - 7.12. Let i = h + 1.12. Suppose -3*d = -4*d - 1. Which is bigger: d or i?
i
Let s = 0.67 - 0.54. Let z = 3.53 - 3.4. Let o = s - z. Is 17 <= o?
False
Let p(g) = -g**2 + 12*g - 12. Let u be p(1). Let f be 116/(-280) - 4/(-10). Which is smaller: u or f?
u
Suppose 974 = 5*c + 79. Is c not equal to 180?
True
Let x = 26 + -23. Suppose 2*c = -x*c - 70. Let o be (12/c)/((-45)/63). Are 1 and o unequal?
True
Suppose 3 = 3*i, 6*i = -w + 4*i + 79. Is w at least as big as -7?
True
Let r = -547/4 - -137. Which is greater: r or 2?
2
Let v = -916 + 1320. Suppose -149 + v = 15*n. Is 19 <= n?
False
Let d = -28/75 + -2/75. Are -1.4 and d nonequal?
True
Let h = 26 + -21. Let x(t) = t**3 - 5*t**2 - 2*t + 5. Let d be x(h). Let s(z) = -z**3 - 6*z**2 - 5*z - 5. Let u be s(d). Is u != 0.4?
True
Let u = -321 + 285. Which is greater: -5 or u?
-5
Let w = -769 - -1539/2. Which is greater: w or 1?
1
Let b be (-1 - -4) + (-679)/10. Let x = 65 + b. Suppose -4*o = -2*o + 2. Which is smaller: o or x?
o
Let k be 2/4 + 27/6. Suppose k = -3*l + 44. Let w(u) = u**2 + 4*u + 2. Let s be w(-6). Is s less than l?
False
Let i(q) = -16*q - 104. Let y be i(-9). Are 40 and y unequal?
False
Let k = 0.08 - 32.08. Let i = k + 31.9. Is i <= -71?
False
Let u be ((-22)/8)/((-510)/(-520) - 1). Which is smaller: 146 or u?
u
Let w = -644 + 4500/7. Let f(q) = -3*q - 1. Let l be f(1). Let x be (-2 - -2)/(6 + l). Which is bigger: w or x?
x
Suppose -4*u - 3*x = -0 + 13, 2*u = 2*x + 4. Let r = 6 + -5. Let a = r + -3. Which is smaller: u or a?
a
Let z = 1799600099/1008 + -1785318. Let w = 16/63 + z. Is w bigger than 1?
False
Let k be 1058/12 + ((-15)/(-9))/(-5). Let d = k - 87. Which is smaller: d or 0.1?
0.1
Let w = 1/44 - 25/132. Let y = 17 - 7. Let z = 10.2 - y. Is w greater than z?
False
Let o = -133.98 + 134. Which is smaller: o or 2/41?
o
Let j = 200 + -389. Are -189 and j equal?
True
Suppose 2*b = n + 11, 3*n + 19 + 6 = 4*b. Let y be (-5)/20*n/51. Is y >= -1?
True
Let v = -121.2 - -121. Which is bigger: 11/5 or v?
11/5
Suppose -58 - 28 = -2*n. Which is smaller: 42 or n?
42
Suppose 2 = -g + 3, -4*s - g = -1. Suppose z + 43 = 2*i, -4*i = z + 2*z - 71. Suppose 4*q = -s*q + i. Is q greater than or equal to 7?
False
Let d be (30/12)/((-27)/(-60)*1). Which is smaller: d or 9?
d
Let j = 0.72 + -0.24. Let q = 0.6 - j. Let s = -0.06 + q. Is s smaller than -1?
False
Let c = -7496/11611 + -1/683. Suppose 39*a + 40*a = 86*a + 14. Which is bigger: a or c?
c
Suppose -5 = -i + 5*b, b - 46 - 29 = 4*i. Let p be 26/(-143) + i/11. Let u(r) = r + 3. Let o be u(0). Which is bigger: o or p?
o
Suppose 381 = -76*f - 1747. Let i = 4 + -1. Is i < f?
False
Let q = -0.0548 + 257.0548. Which is greater: 0.1 or q?
q
Suppose -s + 0*q + 3*q + 9 = 0, 0 = 3*s + 3*q + 9. Suppose 3*h + 4*k = -132, -h - k = -0*k + 43. Let d = h + 41. Which is smaller: s or d?
s
Let s = -10/10777 + 14344887/754390. Let a = s + -131/7. Which is smaller: 0 or a?
0
Let h(p) = 10*p + 110. Let v be h(-11). Is v > 13/54?
False
Let y = 2430 - 2681. Which is bigger: y or -2?
-2
Let v be (-4)/(-1) + 44/(-3 + -8). Which is greater: -5/209 or v?
v
Let m be 2 + 3 + (1 - -115). Suppose q - m = 5*q + 5*z, -3*z = 3*q + 90. Is q != -29?
False
Let h = 0.924 + 12.096. Let y = h - 0.02. Is -2 greater than or equal to y?
False
Let w = 12 + -14. Let k = w + 3. Let c be ((-135)/63)/((-6)/4). Which is smaller: k or c?
k
Let f be ((0 - 2) + -8)*1. Suppose -4*u = -22*u - 180. Is u > f?
False
Let g = -6/113 - -296/9831. Suppose 0 = 4*b - 2 + 6. Is g less than b?
False
Suppose i - 248 = -4*l, -l = -3*i - 27 - 48. Let w = l - 64. Are -1/49 and w equal?
False
Let b be (0 - (-4)/618)*3. Which is smaller: b or 2?
b
Let k(l) = -2*l**3 + 28*l**2 + 9*l - 8. Let u be k(14). Suppose 4*z - 2 - u = 0. Which is smaller: 29 or z?
29
Let z = 31 - 28. Let t be 5/(-4)*(-12)/9. Which is bigger: z or t?
z
Let q = -78 + 73.1. Let z = q - 5.1. Which is greater: 1/2 or z?
1/2
Let r be (7795/1545 - 5)/(2/18). Is r equal to -1?
False
Let t be (-2)/(-6)*3/17. Let i(c) = c**3 + 14*c**2 + c + 16. Let j be i(-14). Suppose -4*f - j = -2*f. Which is greater: f or t?
t
Let f = 112 - 80. Suppose -4*l - f = -4*i, 4*i + 0*l + l - 17 = 0. Suppose -h + 8 = 4*z, i*h + 2*z - 65 = 7*z. Is h < 12?
False
Let r = 13.4 - 13.37. Is r not equal to 23?
True
Let r = -1587 + 1586.937. Which is bigger: 2/57 or r?
2/57
Let u(c) = c**2 + 34*c - 13. Let h be u(-13). Which is greater: h or -285?
-285
Suppose -3*d + 13 = 4. Suppose 2*x - 23 = -v - 2, -5*v + 119 = d*x. Let f = 27 - v. Is f less than or equal to 2?
True
Let m be ((-18)/(-3) - 2)/((-80)/(-260)). Which is smaller: 15 or m?
m
Suppose 5*g - 4 = 3*r, r - 3 - 1 = -g. Let w = -7 - g. Let h = w + 10. Is 0 > h?
False
Let v(t) = t**3 - 17*t**2 + t - 19. Let u be v(17). Let f be (-9)/(-54)*(-45)/u. Which is smaller: 3 or f?
3
Suppose 4*k = 4*c + 932, 5*c + 491 + 445 = 4*k. Is 229 bigger than k?
False
Let y be ((0/(-2))/(-1))/(12 - 10). Let m be ((-6)/4 + 2)*y. Which is greater: -2/15 or m?
m
Let m = 12353/1425 - 1/475. Is 5/3 equal to m?
False
Let y = -176 - -149. Let d = 6 + -4. Is d greater than or equal to y?
True
Suppose -58*h + 661 + 325 = 0. Is h >= 280/17?
True
Suppose -3*b + 2*b + 10 = w,