uppose 4*y - 4*x - x - q = 0, 0 = -5*y - 2*x + 497. Is 99 smaller than y?
False
Suppose -41*l + 2285 = -3988. Let x = -3015/13 - -1038/13. Let t = x + l. Which is greater: t or 2?
2
Let a = 231 - 110. Let s = 121 - a. Do s and -4 have different values?
True
Suppose -10*h + 230 = -4*h - 658. Which is bigger: 175 or h?
175
Let u = -50 + 38. Let v be (-21)/u - (-3 - -4). Let b = -577 + 1730/3. Which is smaller: v or b?
b
Suppose 4*a - 952 = -3*a. Suppose -a = 5*u - 6*u. Let r be 5*(2 - u/10). Do -58 and r have the same value?
True
Suppose -2646 = -325*f + 199*f. Which is smaller: 82 or f?
f
Let a = 22 + -24. Let w = 16 - 2. Let s be w/(-52) + (-5)/10. Which is greater: a or s?
s
Let q(y) = y - 2. Let b be q(4). Let a be -1 + 0 + b + -3. Let s = 60608 + -60608.04. Is a at most as big as s?
True
Let x(w) = 11*w**2 - 43*w - 84. Let u(g) = 4*g**2 - 14*g - 28. Let a(t) = 8*u(t) - 3*x(t). Let l be a(18). Which is smaller: 8 or l?
8
Let h = -7262 - -7224.5. Which is smaller: 4 or h?
h
Let o be ((-2)/(21 + 3))/(15*(-2)/48). Let n = 76/9 + -10. Which is smaller: n or o?
n
Suppose 2*y - 260 = 2*m, 4*m - 167*y + 519 = -162*y. Which is bigger: -135 or m?
m
Let g = 335 - 621. Which is smaller: -289 or g?
-289
Let t be (686/(-28))/((-1)/34). Suppose 25 = 834*i - t*i. Does i = 5?
False
Let f = -2615 - -2708. Which is bigger: 94 or f?
94
Suppose 7*g - 56 = -35. Suppose -g*q - 15 = -3*j, j + 2*q = -0*j - 10. Is j bigger than -3/667?
True
Let v = 687 - -59. Let b = v + -720. Does b = 25?
False
Let u(w) be the first derivative of -w**4/4 - w**3/3 - w**2/2 - w - 2. Let j = -60 + 60. Let r be u(j). Is 0.05 <= r?
False
Let v(x) = -2*x - 40. Let p be v(6). Is 24 <= p?
False
Let a = 248 - 237. Suppose 5*t + 20 = -5*b, -4*t + 5*b + a + 0 = 0. Is -9 at least as big as t?
False
Suppose 0 = -u - 5*z - 17, 2*u - 5*z - 8 = -z. Let j = 18.4112 - -0.1088. Let a = -0.48 - j. Does a = u?
False
Let i(b) = -6 - 2*b + 6. Let d be i(-1). Let f = 226.9 + -209.9. Which is bigger: f or d?
f
Let p = -589 - 1884. Do -0.2 and p have the same value?
False
Let h(u) = -7*u**2 - 142*u + 8. Let w be h(-20). Which is greater: 31 or w?
w
Suppose -1150 = -6*b + 470. Suppose 57 = -g + b. Let y be ((-6)/g)/(6/18). Are 1 and y equal?
False
Let g be (-5)/(-1)*(-4869)/(-45). Suppose -12*c + 287 = -g. Suppose -461 = -4*o - c. Are 97 and o unequal?
True
Let c = -5710 + 5694. Which is smaller: 2/11 or c?
c
Let g = -3461 - -3385.96. Let r = 71.486 - -3.514. Let a = g + r. Which is bigger: -6 or a?
a
Suppose -b - 2*b = 48. Suppose 0 = -33*f - 153 - 144. Is b >= f?
False
Let m be 2/(-2*1) - 15. Let o = -31 - 292. Let t = 323.1 + o. Is m greater than or equal to t?
False
Suppose -15*m + 5*m = 6*m + 16. Is m smaller than 14/499?
True
Let w = 1580 + -556161/352. Which is smaller: w or 1?
w
Let x(f) = 107*f - 786. Let n be x(8). Which is smaller: n or 48?
48
Let n(i) = i**3 + 45*i**2 + 3*i + 158. Let s be n(-45). Suppose -s*a = 32*a + 15*a. Let m be 3/(-4)*4/(-6). Which is smaller: a or m?
a
Let t(q) = -6*q**2 - 58*q - 173. Let f be t(-3). Which is greater: -40 or f?
-40
Suppose -236 = -32*i - 836 - 2792. Is i bigger than -131?
True
Let y(h) = h**3 + 95*h**2 - 122*h - 185. Let l be y(-97). Which is smaller: l or -7168?
l
Let b(c) = 21*c + 72. Let v be b(-3). Let f = v + -10. Is f bigger than 5/127?
False
Let d = 0.10337 + -81.10337. Is -20 < d?
False
Let q = -47.1 - -40. Let z = -18122.9 - -18103. Let y = q + z. Is 0.1 less than y?
False
Let i = -22232 + 22233. Which is bigger: i or 6/1645?
i
Let d be (-19698)/670*(-3)/(3/35). Which is smaller: d or 1030?
d
Let j be 9*((-244)/(-36) - 7). Let v be (363/297)/((-1)/((-3)/j)). Which is smaller: v or 2?
v
Suppose 319 = 3*m + 313. Let d be ((-1)/(-14))/((-3)/(-1014)). Let o = -23 + d. Which is bigger: m or o?
m
Let v be 2/(-3) - 40/(-66). Suppose 3*m - 38 = 4. Let n be m/21 - 10/6. Which is greater: n or v?
v
Let s(w) = -2*w**2 + 6*w + 42. Let h be s(9). Let d = h + 165/2. Let b be 22/165 + (-2)/15. Is d > b?
True
Suppose 0 = 5*t - 2*i + 63, -12*t - 18 = -11*t + 5*i. Let r = -4.11 + 0.11. Is r bigger than t?
True
Let z = 1725 - 1724. Which is bigger: 7/166 or z?
z
Let q = -6939.06 + 6854. Let v = -85 - q. Is 9 less than v?
False
Let v = -1875 + 1875.7. Is -0.024 < v?
True
Suppose 2*q + 2 = 4*q. Let f be (12/14)/((3124/(-33) + 94)/((-1)/(-6))). Is f less than q?
True
Let w(g) = -g**2 + 17*g - 16. Let h be w(16). Suppose -3*o - 52 + 1 = h. Suppose 5*c + 4*s = -82, -5*c + 2*c + 4*s - 30 = 0. Is o less than c?
True
Let n = -8746632/49309 - -2306/13. Is n at least 1?
False
Let q = -2392 + 2744. Does q = 354?
False
Let w be 3*(1/(-3) - 1). Let i(x) = 9*x - 76. Let l be i(10). Let g be (24/28)/((-2)/l). Is w bigger than g?
True
Let o = -133421/129642 + -1/3813. Let q = o + -8/17. Let l(k) = -2*k**2 - 68*k + 877. Let a be l(10). Which is smaller: a or q?
a
Suppose 3*x - 4*x + 1 = 0. Let u be 12/138 - 0 - (-2 - 2232/(-1334)). Is x bigger than u?
True
Let h(n) = -n + 17. Let k(i) = 15*i + 6. Let z be k(3). Suppose 90 = 5*s + 5*c, 4*s = 2*c + z - 3. Let l be h(s). Which is smaller: l or 30/7?
l
Suppose -4*n = -i + 41, 5*i - n + 6*n - 305 = 0. Suppose 14*a - 15*a + 19 = m, 0 = 3*a - 2*m - 62. Let v = i - a. Is 38 less than or equal to v?
False
Suppose -i - 42 + 4 = 0. Let y = i - -30. Let b be ((-4)/18)/(y/(-12)). Which is smaller: 29 or b?
b
Let v be (-70)/(-16) + -6 + 2. Suppose 3*m + 364 = 154. Let z = -69 - m. Is z at most as big as v?
False
Let y = 25.2 + -10.1. Is y less than or equal to -0.07?
False
Let j = -2859/245 + -75/49. Suppose 0 = 33*p + 62*p + 1140. Is j greater than p?
False
Let s be (-4)/20 + 1038/15. Let o = s - 91. Which is smaller: -24 or o?
-24
Suppose 2*p + 3*t - 1903 = 0, -t - 920 = -p + 2*t. Is p >= 945?
False
Let s be (1 - -5)*702/(-162). Let j(l) = -l + 20. Let x be j(0). Let v = x + s. Is v > -5?
False
Suppose 0 = -26*k + 33*k + 763. Let j = -103 - k. Suppose j*r - 5*r = 3. Is r less than or equal to 21/5?
True
Suppose 3*v + 79 = -2*n - 163, -3*v + n = 248. Let b = v - 199. Is -280 smaller than b?
False
Let z be -12 - -5 - (0 + -9). Suppose -10 = z*w + 9*l - 13*l, -3*w = 3*l - 3. Which is smaller: 25 or w?
w
Let c = -23905013/42111 + 2/42111. Let t = -541 - c. Are t and 27 equal?
False
Let p = -7.96 - -8. Let u = -65.05 + -0.95. Let y = u + 66. Which is smaller: p or y?
y
Let z(g) = -201*g - 15. Let a be z(3). Let y = a - -46418/75. Let x = -6/25 + y. Is x at least as big as 0.1?
True
Suppose 21*y + 22 + 2069 = 4*y. Which is smaller: y or 0.03?
y
Let r be (-63)/7 + (-17872)/(-1168). Which is greater: r or 5?
r
Let u = -1667 + 23351/14. Let w(j) = -j**3 + 6*j**2 + 2. Let k be w(6). Do k and u have the same value?
False
Let a(n) = -n**3 + 34*n**2 + 72*n - 4. Let h be a(36). Let d be h/((-48)/39)*-60. Does d = -195?
True
Let o = -1026667/94 - -10922. Is -0.14 smaller than o?
True
Let o be (-27)/135*267/(-24) + (-4)/2. Let k be 18/8*(-1)/30. Let n = k - o. Is n less than or equal to 1?
True
Let w be 76311/(-62830) + 48/40. Suppose -7*v + 2*v = -5, 5*v = 5*s. Is s < w?
False
Let f(h) = 424*h**3 - 2*h**2 - 4*h - 3. Let c be f(-1). Let g be 9/15*c/5. Suppose -3*j = -2*p + 143, -3*j - 2*p - 133 = -6*p. Do g and j have the same value?
True
Suppose 481 = -5*q + 18*q. Suppose 0 = -44*z + q*z - 427. Which is bigger: z or -60?
-60
Let d = -12827 - -12845. Let n = 1.1 + -1. Which is bigger: d or n?
d
Suppose -2*g = 2*y - 18, 18*y + 5*g - 35 = 14*y. Let t be -1 + 4 + (-220)/(-28). Is y <= t?
True
Let w = 1.22 + -165.22. Let b = 163.9 + w. Which is bigger: b or 0.8?
0.8
Let d = 187 - 1. Let r = -186.1 + d. Which is greater: 10 or r?
10
Let z = -1627 + 1634. Which is smaller: 0 or z?
0
Let g(w) = 143*w - 7007. Let c be g(49). Which is smaller: c or -51/97?
-51/97
Let o be (-15)/(-6)*-2 - -3 - 6102/(-27). Are o and 252 equal?
False
Let c = -10.12 + 11.5. Let y = c + -1.48. Is -43 > y?
False
Let v = -741.1 - -2537.1. Are -1 and v nonequal?
True
Suppose -28*b = -25*b + 4*h - 8723, 3*b - 8708 = -h. Which is smaller: b or 0.1?
0.1
Let i be -3 - 83025/(-4885) - 14. Is 1 at most i?
False
Let v = -0.077 - -0.347. Let c = v - -0.38. Let y = c + -0.25. Which is smaller: -2/7 or y?
-2/7
Let o = -0.146 + -149.854. Let z = o - -67. Which is smaller: 1 or z?
z
Suppose 0 = -3*d 