t most q?
False
Let y = 0.8 - 0.37. Let c = 0.55 - y. Which is greater: 2 or c?
2
Suppose 2*u = 2*t + 28, -6 = 3*t + 3*u + 6. Let c be (t/(-324))/(1/(-2)). Which is greater: 0 or c?
0
Let q = 14575 - 422629/29. Which is greater: q or 2?
2
Suppose 0*h + 4*h = -3*r + 377, 5*h = -5*r + 475. Let l be (3 - h/30)*1. Which is bigger: 0 or l?
0
Let t = -42 + 35. Let s be 3 - (-1 - 30/t). Is s > -23?
True
Let y be ((-4)/1)/(-12) - 782/(-3). Suppose -5*a - 5*m - 120 = 525, y = -2*a - 5*m. Is -129 at least a?
False
Let y = -23 + 8. Let b be (27/y)/(-3) - 3. Which is smaller: -2 or b?
b
Suppose 0 = -87*y + 84*y + 3. Suppose -5*q - 41 = -11. Let d be 1 + 6/(q/(-2)). Which is smaller: d or y?
y
Suppose -3*f + 2806 = 2548. Is f less than 84?
False
Suppose -5*z + 19*d = 18*d + 52, z = 3*d - 16. Is z at least -16?
True
Let n(v) = v**2 + 40*v + 238. Let m be n(-32). Are m and -7 unequal?
True
Let x(q) = -4*q + 86. Let f be x(20). Let r be ((-7)/(-2))/(f - 2) - 3. Are -2 and r equal?
False
Let q = 76 + -81.8. Let d = q - -6. Is d bigger than 3?
False
Let c be 2/6 - 276/(-63). Let g(j) = -8*j + 132. Let u be g(16). Is u at most as big as c?
True
Let h(u) = u**3 - 7*u**2 + 5*u + 8. Let x be h(6). Let t be (-2)/(12/(-3) + x). Suppose s - 5*p = -t, 4*s - 4*p - 1 = -5. Which is greater: s or 0?
0
Let n = -2.35 - -3.15. Which is smaller: -0.11 or n?
-0.11
Let m be 2/3*-1*-3. Let x = 1.18 - 64.18. Let v = x - -64. Are v and m unequal?
True
Let v = 0.1677 + -14.1677. Which is smaller: 24 or v?
v
Let z = 210 - 238. Which is smaller: z or -136/5?
z
Let g = -2042 + 2044.55. Which is smaller: 1/7 or g?
1/7
Suppose -61*i + 247 = -60*i. Which is smaller: i or 249?
i
Let b(s) = -5*s**2 - s**2 - 5*s**2 - 4 - s**3 + 3*s**2 - 7*s. Let i be b(-7). Is -8/3 smaller than i?
False
Let i = -792 - -3185/4. Let t = -855 - -858. Which is bigger: t or i?
i
Suppose 6*a = -1 + 61. Let l(x) = 17*x**2 + x**3 - a*x + 20*x - 8 - 5*x**2. Let g be l(-11). Is 5 <= g?
False
Let i be 75*(2 + (-260)/25). Let p be 130/i + (-4)/18. Suppose 5*u - 2*u + 5*k + 15 = 0, -6 = 2*k. Are p and u unequal?
True
Let m = 20 + -23. Let b be m + ((-124)/(-8) - 1/(-2)). Which is bigger: b or 12?
b
Suppose -3*m = -5 - 7. Suppose 0*d + m = -d. Let v be (-9)/(-18) + 2/d. Which is greater: 1.4 or v?
1.4
Suppose 3*d - 9 = 6*d. Let y(o) = o**2 + 7*o + 11. Let h be y(d). Let a be (6/3)/(-3 - h). Which is greater: -12/7 or a?
a
Let m(t) = -t**3 + 39*t**2 + 45*t - 191. Let w be m(40). Is -4 greater than w?
False
Let a(j) = -j**3 - 2 - 3*j**2 - 2*j + 4*j + j. Let h be a(-4). Suppose 2*o + 5 = -3*o + 3*s, s = h*o + 2. Which is smaller: 1 or o?
o
Suppose -3*o = 2*o + 20. Let u be o*(-2)/4 - 4. Is -4/3 equal to u?
False
Let l(p) = -p**3 + 5*p**2 + 17*p - 15. Let s be l(6). Which is bigger: 53 or s?
53
Let i(f) = -f**2 + 5*f - 1. Let h be i(7). Let a = 7 + h. Let s be (17/(-2))/((-4)/a). Is -18 at least s?
False
Let q be ((-8)/6)/(6/(-27)) + -2. Let h be 3 - 270/88 - q/(-16). Is -4/5 > h?
False
Let h = 9 - -2. Let s = h - 10.2. Let a = s - -2.2. Which is smaller: 7 or a?
a
Let u be -831*6/(2 - 20). Is 276 at most as big as u?
True
Let r be -2 + 2015/1590 - 7/(-42). Which is greater: 0 or r?
0
Suppose -193*l + 35 = -186*l. Let o(u) be the second derivative of -u**3/3 - 15*u**2/2 - u. Let t be o(-11). Is l less than or equal to t?
True
Let u be ((-42)/(-171) + 0)*(-12)/(-20). Do 0 and u have different values?
True
Let q = -66 - -196/3. Suppose -11 = 2*w - 4*p + 5*p, -w + p = 1. Which is smaller: w or q?
w
Let q(o) = o**2 + 8*o + 64. Let b be q(-28). Let j = b + -38066/61. Let s(p) = p**3 + 7*p**2 + 6*p - 1. Let g be s(-6). Which is smaller: g or j?
g
Let y(j) = j**3 - 2*j**2 - 3*j + 2. Let q be y(3). Let v = -101/7 + 15. Which is greater: v or q?
q
Let a(g) = g**3 - 16*g**2 - 4*g + 56. Let i be a(16). Does -8 = i?
True
Suppose 0 = -h - 3*i - 63, -h - 3*h + 2*i - 182 = 0. Let x = h - -42. Suppose -5*k + 4*k = 3. Is k smaller than x?
False
Suppose d + 5*d = 12. Let m = 31/42 + -1/42. Which is greater: m or d?
d
Let f = 4 + -5. Let t = -847.413 + 847. Let h = 0.013 + t. Which is smaller: f or h?
f
Suppose -6*o - 2 = -3*o - 2*l, -2*o - 4 = -4*l. Let s be o - 3 - (-1 - 1). Is s less than -17/2?
False
Let o be 831/(-627)*3 + 4. Let p = o - -3/19. Let c(g) = -g**3 + 5*g**2 - 5*g + 4. Let z be c(4). Which is bigger: z or p?
p
Suppose -778*a = -779*a + 9. Is a at most 25?
True
Let w = 22.6 - 57.7. Let t = 31.3 + 3.7. Let d = t + w. Is -0.8 greater than d?
False
Let h be -1 - (-1 + 16/(-81)). Let y = 604/1863 + h. Is 2 equal to y?
False
Suppose 2*r - 51 = -3. Let o = -227/10 + r. Let g = 31/30 + o. Are g and 2 nonequal?
True
Let k(h) = -h**2 - 16*h + 6. Suppose 3*l = 2*f - 59, -5*l + f + 0*f = 89. Let j be k(l). Which is smaller: j or -12?
-12
Suppose 4*i - s - 435 = 0, -s = 4*i - i - 328. Which is smaller: i or 108?
108
Let m(h) = -13*h**2 - 15*h + 14. Let i be m(1). Which is greater: -99/7 or i?
i
Let x(o) = -o**3 - 15*o**2 - 14*o - 7. Let f be x(-14). Let l = f + 8. Which is smaller: l or -1.2?
-1.2
Let k(v) = 7*v + 76. Let h be k(-12). Which is smaller: h or 0?
h
Let w = 3174 - 447536/141. Let m = -268/987 + w. Let z = -6/5 + 7/5. Which is smaller: m or z?
m
Let z = 4/249 + -29/83. Let y be 1/((1 + 1)/2). Is y != z?
True
Let r = -13.3 - -89.3. Let x = -75.8 + r. Is x >= 13?
False
Let p = -1252/11 + 114. Let x = -293.6 + 368. Let l = 75 - x. Do p and l have different values?
True
Let u = 2267/1630 - -3/326. Which is bigger: 1 or u?
u
Let u = -7060158 + 1164922582/165. Let c = 35/321 - -74729/3531. Let x = u + c. Is x at least 1?
False
Let w = 0.27 + -2.27. Is w bigger than 6?
False
Let a be (2/6 - 1)*(-14 - -11). Let y = 3 - a. Which is greater: y or 8/15?
y
Let p be (-4)/6*((-3)/(-4) - 0). Suppose 2 - 4 = -n. Suppose -n*j + 5*l - 8 = 34, -l = 3*j + 29. Which is greater: j or p?
p
Let x(n) = -n**2 + 5*n + 8. Let d be x(6). Suppose -4*g + d*t = 26, 3*t = 3*g - t + 27. Let a = -3 + g. Which is greater: -7 or a?
-7
Let l be 40705/(-5775) + 8 + -1. Are 0 and l nonequal?
True
Let q = -12 + 18. Suppose -2*j + 90 = j. Suppose 0 = -a + 5*y + 11, -4*a - 1 = -5*y - j. Is a smaller than q?
False
Let o be 1*2*(-2 - -1). Let p = 8054/3 - 2686. Which is greater: p or o?
p
Let x be (-3 - (-2 - 0))/1. Let w be 82/533*(1/(-3) - 0). Which is smaller: w or x?
x
Suppose 363*d = 388*d - 2000. Is 80 > d?
False
Let b(d) = -4*d + 22. Let v be b(5). Suppose 4*y - a + 23 - 193 = 0, 0 = -5*y - v*a + 219. Which is smaller: 42 or y?
42
Let u = -317 - -316.358. Let d = 12.268 - u. Let l = 13 - d. Are -1/2 and l unequal?
True
Let y be 3 + (6632/470)/(-4). Let m = -6/47 - y. Which is bigger: 4/19 or m?
m
Let i = 1.54 - 1.15. Let z = i + 1.61. Let m be 3*(-1)/4*1. Is m != z?
True
Suppose -6 = -7*h + 8*h - z, 4*h = 2*z - 24. Is 0.3 > h?
True
Let b(z) = -3*z + 2. Let w be b(4). Let h be 25/105*8/w. Does h = -1?
False
Let y = 0.3 + -0.3. Suppose -3*v - 4*p = -0*p - 26, 4 = -3*v + 2*p. Let s be 48/(-88)*(v - 3). Which is smaller: s or y?
y
Let b be -2 - ((-2444)/756 + 1). Let x = 8/21 - b. Let i(o) = o**3 - 8*o**2 - 20*o + 1. Let p be i(-2). Which is smaller: x or p?
x
Let n = -82/45 + 9/5. Suppose 10 - 2 = 8*m. Is n at most m?
True
Let l = 12005/8 - 1501. Is 71 smaller than l?
False
Suppose -3*x = u, -4*x + 2*u = 120 - 130. Let k be 87/66 + (-6)/(-33). Which is smaller: k or x?
x
Let n = -7/44 - 127/308. Which is smaller: -2 or n?
-2
Let k = -7115/4 - -1768. Which is greater: k or -11?
k
Let v be 651/(-11) + (-3)/66*-4. Is v at most as big as -70?
False
Let t = -17.5 - 27.5. Which is bigger: t or -2/7?
-2/7
Let d(q) = -q**2 + 15*q - 29. Let f be d(16). Let v be 1/(-2) - f/18. Which is smaller: -8 or v?
-8
Let b be (106 - 254)*((-10)/8 - -1). Is 34 equal to b?
False
Let t(s) be the first derivative of s**4/4 - 2*s**3 - 7*s**2/2 - 2*s - 1. Let x be t(7). Let z be x - ((-25 - 0) + 2). Is 20 < z?
True
Let r be 2 - (1 + -4)*7. Suppose 3*c - 7 = 5*w - w, c = -5*w - r. Let k be (1/w)/(292/(-32)). Which is greater: 0 or k?
k
Let v be (-3)/(-15)*(-10)/12. Suppose 5*m = -4*y - 23, -4*y = -y + 4*m + 17. Let r = y + 8. Which is smaller: r or v?
v
Let y = 1.02 + -42.02. Let p = y - -40.83. Suppose k = -k. Is p at most k?
True
Let u = 34.3 - 34.5. Which is bigger: u or -127?
u
Let m(i)