Is l >= -746?
True
Let f(p) = 2*p**3 - 14*p**2 - 3*p - 17. Let c be f(9). Which is bigger: c or 281?
281
Let l = -1068 + 1104. Which is greater: l or -1?
l
Let l be -1 + (0 - (-3 - -1)). Let n = 16524 - 809680/49. Which is smaller: n or l?
n
Let l = -16697/10 + 1670. Is 1/18 greater than l?
False
Suppose -23*y - 77 = -54. Let t be (2/45)/((-1)/(-5)). Which is smaller: t or y?
y
Let k = -734 + 735. Are 1/633 and k non-equal?
True
Let c be ((-28)/21)/(2/6). Let h be 5 + -1 + c + 1. Which is smaller: 1/3 or h?
1/3
Let t be 0 + -3 - -62*(-4)/(-72). Which is greater: t or -0.1?
t
Let r = -2210 + 3952. Which is bigger: 1741 or r?
r
Suppose 89 = -6*o - 7. Let g be 0/((-4)/(o/(-4))). Is g >= -1/13?
True
Let i be (1 - -172)/(-2 + 1). Let r = i - -1207/7. Let u be (10/(-35))/(-1 + 6/14). Is r smaller than u?
True
Let v = -91.1 - -84.93. Let c = v + 0.17. Which is smaller: 1 or c?
c
Let d = 3 - 3. Let t be 756/(-24)*8/6. Let v be (-16)/t + (-4)/(-14). Is v <= d?
False
Let o = -64 + 97. Suppose -3*a = -15, -a - o = -4*g - 6*a. Which is bigger: 6/7 or g?
g
Let u = 65/6 - 857/78. Let c(k) = k**3 - 7*k**2 + 6*k + 5. Let g be c(6). Suppose 25 = -0*a + a + g*j, a - 3*j = -15. Which is smaller: u or a?
u
Let k = -4 + 4. Let y = -0.59 + -0.41. Is y > k?
False
Let x = -10 - 45. Let n = x - -45. Do -4 and n have the same value?
False
Let v be (-2)/(-25)*(4 - (8 - -1)). Which is bigger: -14/9 or v?
v
Let v(r) = 7*r + 230. Let f be v(-34). Which is smaller: -57/7 or f?
-57/7
Let j = -2.36 - -2.4. Let i = j - 9.04. Let g = 11 + i. Which is greater: g or -2/7?
g
Suppose -5696 = -16*a - 0*a. Suppose -a = q - 5*q - o, -o - 84 = -q. Are 87 and q unequal?
True
Let t = 2.889 + 0.241. Let v = 1.13 - t. Which is bigger: v or 0.2?
0.2
Suppose 4*o - j = -o - 20, -3*o = 5*j + 12. Let z be (5/3)/((-1)/(-3)). Suppose 12 = 3*s - z*s. Which is bigger: s or o?
o
Let y(z) = z**3 + 8*z**2 + 3*z - 10. Let n be y(-8). Let c = n + 27. Which is smaller: -6 or c?
c
Suppose 33 = -2*q + 5*f, 2*q + 0*f + 2*f + 26 = 0. Let m be (-1)/(q/(-32)) - 8/(-28). Do -2/55 and m have the same value?
False
Let w = -1 + 1.2. Let g be ((-4)/(-14))/(5/35). Suppose g + 2 = -4*p. Is p equal to w?
False
Let s = 12 - -10. Let k be s - (1/(-1) + 2). Let w = -18 + k. Is w greater than 2?
True
Let s(u) = -u**2 + 5*u + 78. Let b be s(-10). Which is bigger: b or -73?
b
Let s(q) = q**2 - 2*q + 1. Let x be s(3). Suppose 2*c - 6*c + x = 0. Let b = -353/6 + 59. Which is smaller: b or c?
b
Let j(r) = r + 29. Let f be j(-19). Suppose 5*d = f + 15. Which is greater: 6 or d?
6
Let r be 1/((-4)/12*-1). Suppose j - n = -18, -3*j + 2*n - 46 = r*n. Is j smaller than -2/3?
True
Let x be 3567/(-44) + (-9)/12. Let c = x + 82. Is -1 != c?
True
Let a = 2354315/136 - 17311. Let k = -3/136 + a. Are k and -1 unequal?
True
Let a be (113/(-319))/(23/(-4)). Let t = 5740867/2001 + -2869. Let y = t + a. Which is smaller: 0 or y?
0
Let h = 0.04 - 0.99. Let k = h - 0.05. Let p = 1.3 + k. Is p < 0?
False
Suppose 0*r = -r - 16. Suppose 4*z + 38 = -30. Do r and z have the same value?
False
Let g = 44 + -477. Which is smaller: g or -432?
g
Suppose -2*o + 5*m - 16 = 27, 4*o + 4*m = -156. Let j be o/(-17)*(-9)/2. Which is bigger: -11 or j?
j
Let t be (-130)/35 + 4 - 10468/(-14). Let r be 612/t - (0 - -1)*-1. Which is bigger: r or 3?
3
Suppose 85 = 5*n - 9*b + 4*b, -5*b - 49 = -3*n. Suppose 3*o = 5*x + 33, -4*o + 2*o = -2*x - n. Which is smaller: 7 or o?
o
Suppose -3*z + 5*z = -3*a + 1, 5*a = 2*z + 23. Suppose a*x = -216 - 204. Let w be 76/x + (-4)/(-10). Which is smaller: 0 or w?
w
Let x(p) = -p**2 + 5*p - 8. Let w be x(7). Is -20 > w?
True
Let s = 9.64 - 10. Let x = s - -0.56. Which is bigger: x or -4?
x
Let i = -349/2050 - 9/82. Let h = i + 86/575. Are h and 1 unequal?
True
Suppose 2*h + 2*i + 4 = 0, -h + 2*i + 4 = 4*h. Suppose h = 3*f - 12, 7*s - 3*s - 12 = -f. Which is bigger: 5/4 or s?
s
Let d = 12 + -28. Let c be 8 - -4*20/d. Which is greater: c or 7?
7
Suppose 3*r + 5 = 2, 3*v + 49 = 2*r. Suppose 5*d = -o - 67, -3*d - 15 = -5*o + 42. Let f = v - d. Is f less than -4?
False
Suppose 4*d - 30 = 5*w, 11 = -5*d - w + 34. Suppose -3*y - 7 = -d*f + 49, 0 = -4*y + 4*f - 80. Are -24 and y unequal?
True
Let j(w) = 11*w**3 - w + 1. Let h be j(1). Suppose y + 3*y = -3*o - 85, -5*o + y - 111 = 0. Let t = o - -34. Is t at least h?
True
Let b be -3 - 127/(-12) - 7. Which is smaller: b or 0?
0
Let h be -6*15*5*(-4)/(-8). Does -225 = h?
True
Let b = 32 - 33. Let f = 12 + -12. Suppose f = s - 6*s. Do b and s have different values?
True
Let k be (-539)/(-6) - (-6)/18. Let q = 90 - k. Let f = -259 + 259. Which is greater: q or f?
f
Let p be -1 + 39/45 - 17/(-15). Let g = 0.6 - 0.3. Let j = g + -0.4. Is j bigger than p?
False
Let q = 18 + -22.6. Let m = 2.6 + q. Which is smaller: 1.3 or m?
m
Let i be (-8)/(-620)*5 + 0. Let a be 4/(12/(-9)) - 15. Let q be (-48)/a + 2/(-1). Is q at most as big as i?
False
Suppose -k = -2*k + 4. Suppose -z = -0*y - 2*y - 1, 2*y + 16 = 4*z. Let c be (-5 - -5) + y + 0. Which is greater: k or c?
k
Let f = 806 + -794. Do f and -1/23 have the same value?
False
Let s = 0.2 + -0.4. Let o(g) = g**2 - 203*g + 9557. Let j be o(75). Are s and j unequal?
True
Let x be (-414)/406 - (0 - (-21)/49). Which is bigger: -1 or x?
-1
Let o = 80.9 - 81. Which is greater: 155 or o?
155
Suppose 0 = -3*l - 12, 243 = -4*w + 4*l - 9. Which is bigger: w or -69?
w
Let l be (-27)/45 - (196/(-40) + 3). Which is smaller: 0 or l?
0
Let b = -1995 + 2010. Which is smaller: 29 or b?
b
Let f(a) = a - 40. Suppose 6*w - 8 = -116. Let n be f(w). Does n = -59?
False
Let h = -923 - -935. Let o(p) = -p**2 - 7*p - 3. Let d be o(-6). Do h and d have the same value?
False
Let z be (16/(-3))/(14/2). Which is smaller: z or -1?
-1
Let x be -20*(3 + -2 + -2). Let f = x - 17. Suppose -4*z - 20 = 0, -b - z + f = 9. Is b > -2/5?
False
Suppose 0 = 3*m + 3*n - 24, n - 6*n + 16 = -m. Which is smaller: 78/25 or m?
78/25
Suppose -4*x + 5*x = 45. Let w = 40 - x. Let j(r) = r**2 + 10*r - 5. Let k be j(-10). Is k less than or equal to w?
True
Let w = -4 - -3. Let m(c) = 2*c**2 - 39*c + 7. Let y be m(19). Let t be 4/(-18) + 12 + y. Which is bigger: t or w?
t
Let k be 8503372/(-110) - (-9)/45. Let h = k - -77074. Let v = h + 229. Is v > 2?
False
Suppose -1 = -3*k - 7. Suppose -2*a - 10 = 2. Let i(p) = p + 8. Let c be i(a). Which is smaller: c or k?
k
Let m be ((-3)/(-2) + 3)*(-4)/(-3). Let x be (54/(-15))/m - (-1)/(-1). Which is smaller: x or -1?
x
Let p = 2.52 + 0.48. Let r = 161.14 - 161. Is r bigger than p?
False
Let m be (-8 - 1)/(12/(-8)). Let i be 3/m - 10/4. Let a = 373 - 374. Which is smaller: a or i?
i
Let h = 192 - 203. Let j(n) = -n**2 - 5*n - 6. Let v be ((-6)/15)/(2/30). Let c be j(v). Does c = h?
False
Let d be 7/(987/30)*(-24)/30. Which is smaller: -1 or d?
-1
Let r = 607275/182 + -6673/2. Is -1 > r?
False
Let u = -4 + -4. Let s = u + 9. Which is smaller: s or -3/38?
-3/38
Let z = -447 + 447. Is z less than or equal to 148?
True
Let r be (-94)/(-658) + 11/(-70). Are r and 0 equal?
False
Let w be (72/(-60))/((-13)/5 + 2). Which is smaller: w or -36?
-36
Let y = -97.9 - -98.16. Which is greater: y or -2?
y
Suppose 23*i + 3 - 3 = 0. Which is bigger: 29 or i?
29
Let q = -0.57 + 2.57. Suppose -3*w - 16 = -4*a - w, 5*w = 5*a - 30. Suppose l = -l - a. Is q less than l?
False
Let a = 171 + 4. Which is greater: a or 176?
176
Let o = -69429/37 + 1877. Which is greater: 1 or o?
1
Let l(k) = k**3 + 6*k**2 - 8*k - 8. Let q be 385/(-56) + (-3)/24. Let j be l(q). Is -3/4 at most j?
False
Suppose -2*u = -u + h - 53, -5*u + 5*h + 315 = 0. Let s = u + -49. Is s bigger than 9?
False
Let p = 30 + -55. Suppose -f + 2*q = 13, -q = 8 - 3. Is p smaller than f?
True
Let w = 3.7 - 0.7. Let q = w - 6. Which is greater: 2/5 or q?
2/5
Let o be (-23)/138 - (-2 + 57/9). Suppose -1 + 25 = 2*w. Suppose w = -c - c. Is o at most c?
False
Let m be (-13)/(-39) + 151/(-3). Let h = -64 - m. Is h equal to -11?
False
Let u = 7999/23 + -348. Let s = 82 + -83. Is u equal to s?
False
Suppose 298 = 2*u - 4*u - 2*m, 5*u + m = -745. Is u greater than -150?
True
Let b = -28159/55 - -512. Suppose 2*w - 22 = -5*f, -3*f = 2*w - 3*w - 11. Is b less than w?
True
Let n(y) = 10*y + 1. Let b be n(2). Suppose 5*q - b = 4. Suppose 