w) - 13*c(w). Let i be p(2). Suppose 2*l + 3*x + 45 = i, 24 = -3*l - 3*x - 39. Is -19 bigger than l?
False
Let z = -27360 - -28755362/1051. Which is smaller: 0 or z?
0
Let x(s) = s - 18. Let f be (-8 - -6)/((-3)/(-6)). Let t be x(f). Are -22 and t equal?
True
Suppose -35*t + 38*t - 150 = 0. Let d = t - 65. Suppose 24 + 32 = -4*h. Which is smaller: d or h?
d
Suppose 0 = 4*f - 4*q - 8, 2*q = 6*f - 2*f - 10. Suppose -p - f*g + 11 = 2*g, -2*p = 3*g - 15. Are p and 5 equal?
False
Let j be (5/(15/6))/((-4)/(-16)). Which is greater: j or 31?
31
Let v = 0.004 + 8.796. Let a = 8.6 - v. Is a > 5.4?
False
Let p = -19.04 - -33.24. Which is bigger: -6/5 or p?
p
Let i be ((-330)/(-8))/(15/(-40)). Which is greater: i or -109?
-109
Let p = -59 - -97. Suppose -p = -4*r - 50. Is 5 > r?
True
Let h = -32 - -15. Let s be (-5 + h)/((-2)/48). Let z = -8970/17 + s. Is z at most -1?
False
Suppose 12 + 24 = 4*n + b, 2*b - 24 = -2*n. Is 61/7 > n?
True
Let b(d) = -1267*d - 6346. Let r be b(-5). Suppose 12 + 68 = 3*o - 2*s, 4*o = -s + 92. Suppose -5*h = o + 36. Is r smaller than h?
False
Suppose 0 = 2*y - 4*r + 32, -3*y - 49 = -4*r - r. Let m = 17 + y. Does -2/11 = m?
False
Let k be -4 + (33/110)/(6/85). Do k and 15.9 have the same value?
False
Let l(q) be the third derivative of q**6/120 - q**5/6 + 3*q**4/8 - q**3/2 - 18*q**2. Let o be l(9). Let a be 2/3 - 42/9. Which is smaller: a or o?
a
Let x = -253 - -262. Is 84/11 less than x?
True
Let q be -1 - (35 + -1)/(-2). Suppose -2*b + 2 = 5*x - 1, 3*b - 4*x = q. Suppose 0*g + b*g + 68 = 0. Which is smaller: -18 or g?
-18
Let f be 14/(-12) + (-18)/(-27). Let u = 7 + -10. Let q = u + 3. Is q less than f?
False
Let d be (0 - 11) + 76/19. Let b = 11 + d. Suppose -3*q = 3*s - 24, 2*q + 3*s - 10 = b*s. Which is smaller: 7 or q?
q
Let x = 180 - 163. Which is greater: -1 or x?
x
Let i = 0.052 + -0.982. Let f = 0.07 - i. Which is smaller: -2/7 or f?
-2/7
Let d = -53 - -23. Is 0 <= d?
False
Let u = -39 - -71. Suppose -13 = -5*t + u. Which is greater: 7 or t?
t
Let v = -0.033 - -93.033. Let q = 94 - v. Is q <= -1?
False
Let f = 0.073 + -0.403. Which is greater: f or -1?
f
Let p = 11 + -9. Let r be -9 - -9 - -1*p. Let m be r/11 + (-2)/11. Is -3/11 bigger than m?
False
Let r = 26 - 22. Let m be r - (-1 + 3) - 2. Is 0 <= m?
True
Let m = -12 - -139. Let h = -127.1 + m. Which is bigger: -2/21 or h?
-2/21
Let i = -0.2 - 0. Let g = 0.3 + i. Suppose -200 = 2*a - 194. Which is greater: a or g?
g
Let x = -25 - -29. Suppose x*u = 10 - 26. Which is greater: u or 5?
5
Let m = -430 + 241. Let o be (-6)/4*828/m. Let u = 237/35 - o. Which is greater: -0.05 or u?
u
Let h be (-10)/(-8) - (27/12)/(-3). Suppose -h*k = -2*t + 2*k - 56, -t - 27 = -3*k. Let q = -30 - -1. Which is smaller: q or t?
t
Suppose 28 = 2*g + 104. Which is bigger: 1 or g?
1
Let v(w) = 6*w**2 + 12*w - 5. Let o(y) = 5*y**2 + 12*y - 5. Let u(b) = 7*o(b) - 6*v(b). Let i be u(7). Suppose 0 = 4*h + 6 - i. Is 6 not equal to h?
False
Let y = -1059 + 1057.54. Do 1/3 and y have the same value?
False
Let r = -0.0449 + -289.9551. Which is bigger: -1 or r?
-1
Let v = 0.41 + -66.41. Let a = v + 86. Are 1 and a unequal?
True
Let c = 5436/7 + -780. Is -4 >= c?
False
Let g = 922 - 918. Which is bigger: g or 80?
80
Let c be (-3 - (-12)/4) + 2 - -2. Which is smaller: -15 or c?
-15
Let u(i) = -6*i - 95. Let x be u(-33). Which is smaller: 97 or x?
97
Let q(o) = o**3 + o**2 + 5*o - 1. Let b be q(0). Which is bigger: 3/64 or b?
3/64
Let t = -2/223 - -10931/446. Let k = t - 26. Is -2 at most k?
True
Let q = 159.4 + -175. Let i = q - -15. Which is bigger: -3/4 or i?
i
Let p be 12/(-9)*(-1524)/64. Let d = -32 + p. Is d at most 15?
True
Let b(q) = -q + 7. Let d be b(5). Let m = 23 - 19. Let l be (d/m)/((-1)/(-2)). Which is smaller: 3 or l?
l
Let p = 0.821 + 3.179. Do p and -4/39 have different values?
True
Let n = 20.319 + -20.3. Which is smaller: 2 or n?
n
Let y = -80 - -80.2. Let m = -20 + 20.4. Which is greater: m or y?
m
Let v = -47 - -95. Let x = v + -26. Let p = x - 21.8. Is 0.1 bigger than p?
False
Let b = 368 + -394. Which is smaller: -27 or b?
-27
Let l = 6 + -1. Let n be (0 + 1)*15/l. Suppose -5 = 2*b - n. Which is bigger: 1/18 or b?
1/18
Suppose -5*h = -25, -12 = w + 4*h - 2. Suppose 49*t - 14 = 63*t. Is t less than w?
False
Let g be (147/351 - 1)/(4/(-24)). Let p = g + -10/3. Suppose 1 = 4*j - 3*j. Is j less than p?
False
Suppose b - 12 = -5*n, -3*n + 3*b - 2 = -b. Suppose -n*z = 7*z. Which is bigger: -2/5 or z?
z
Let v(t) = -t**2 + 8*t - 6. Let i be v(6). Let c be 6/(-18) + (-4)/i. Which is smaller: c or -7?
-7
Let c = -37 + 35.992. Let b = c - -0.008. Is b smaller than 5?
True
Let l = 216 - 215. Is l not equal to -4/29?
True
Let r = 11.1 - 16.8. Let x = 4.1 + r. Is x < 0.1?
True
Let q be -2 - 0 - (1 - -22). Let t be q/(-60)*3/(-10). Let r = -1/8 + t. Do 1 and r have the same value?
False
Let t = -7 - -13. Suppose -663*m = -679*m + 96. Is t at least m?
True
Let s = 79 - 156. Let z = -75 - s. Is 2 not equal to z?
False
Let o(p) = p**2 - 21*p - 54. Let g be o(22). Which is bigger: g or -24?
-24
Let u = 2906 + -11625/4. Let i = 0.07 - 0.33. Which is bigger: u or i?
u
Suppose 0 = -2*q + 5 - 1. Suppose 2*c + u = -4, 0*c - q*c + 5*u = -20. Suppose -1 + c = f. Which is smaller: f or 1/3?
f
Suppose 2*f - h = 2*h - 125, 4*h - 4 = 0. Let u be f/258 - (2 + -3)/6. Which is smaller: -1 or u?
-1
Let u = 9 + -19. Let f = -10.9714 + -0.0286. Let k = u - f. Is k less than or equal to -7?
False
Let l be 1 + -4 - (-6682)/2184. Which is bigger: 0 or l?
l
Let m = 0.11 + -0.21. Which is greater: 5 or m?
5
Let g = 395 + -395. Is g smaller than -84?
False
Let a = 14 + -9. Suppose -4 + 2 = -f - u, 3*u - 6 = -5*f. Suppose a*x - 3*x = f. Which is smaller: -3 or x?
-3
Let b = 1638 + -1636. Which is smaller: b or -0.173?
-0.173
Let k = -7253 - -28793/4. Let b be ((-22)/4)/((-32)/(-320)). Let s = k - b. Are s and 0 nonequal?
True
Let c be 42/(1*(-2 - -4)). Let b = c + -21. Which is smaller: b or 5?
b
Suppose 9 = 3*g - 2*q, -3*q - 4 = -2*g + 7*g. Let w be ((-77)/6)/(-11) - g/(-2). Do w and 2 have the same value?
False
Suppose -48 = -2*r - 3*v + 8*v, -3*v - 12 = 0. Is r at least 25?
False
Suppose -4*b + 10*b + 270 = 0. Let n be (-1)/(b/36*92/(-10)). Is 1 < n?
False
Let o = 1.98 - 1.78. Is o smaller than 7/3?
True
Let c = 13.4 + -1. Let v = c + 0.6. Let o = v - 20. Which is smaller: o or 0?
o
Let w = -1109 - -1117. Let o = 0.1 - 0.3. Is o bigger than w?
False
Let n be (-62)/(-279) - 4/18. Let k = -63 - -91. Which is bigger: n or k?
k
Let l = 134/3 - 45. Suppose 232 = -3*v + 37. Let q be 15/v*4/6. Which is bigger: l or q?
q
Suppose 0 = 89*g - 92*g + 6. Suppose -g*c + 3*l = 25, 0 = -l - 3. Which is greater: -73/4 or c?
c
Let t = -52 - -49. Is t smaller than 4/29?
True
Let b be (45/(-18))/((-9)/6 + 1). Suppose b*j = 18*j + 13. Is -3 bigger than j?
False
Let d = 17 - 5. Let l be 7/((-56)/88)*-1. Which is greater: d or l?
d
Let d = -1/1827 - 18259/20097. Let o be 0/(-3 + 3 + -2). Is d >= o?
False
Let q = -16/19 + -4474/57. Let a = -79 - q. Is a equal to -2/21?
False
Suppose -2*n - 2*y - 5 = 3*y, 3 = 3*n - 3*y. Suppose -5*b + 0*b + 10 = 0. Let v be 3 + (b - (-63)/(-12)). Is v at most as big as n?
True
Suppose -38 + 106 = 4*t. Let r = -22.8 + 22.9. Is t at most r?
False
Let q be -2*1/((-14)/(-2)). Let z = -81 - -58. Let u = z - -23. Which is greater: q or u?
u
Let o = 0.12 + -3.12. Let l = 5 - o. Let z = 6 - l. Which is smaller: z or 3/4?
z
Let z = -4839729/611 + 7921. Is z equal to -1?
False
Let h(k) = k**3 + 2*k**2 - 2*k + 7. Let j be h(-4). Let a = j + 7. Let f(p) = -11*p**2. Let i be f(1). Is i > a?
False
Let d be (-2 - 56/(-32))*0. Which is smaller: -3/830 or d?
-3/830
Let j = -16 + 73. Let d be (-6)/(-57) + (-63)/j. Which is bigger: d or 1/36?
1/36
Let c be 18445/68*(-2)/3800. Let u = 3/80 + c. Which is bigger: u or 0?
0
Let j(k) = k**3 + 6*k**2 + 5*k + 4. Let i be j(-5). Suppose -1 = -i*g + 7. Suppose -g*h - 7 = n, n + 4*n + 20 = -5*h. Which is smaller: -1/18 or n?
n
Suppose -2*q + 11 = m - 2, -m = -3*q + 7. Suppose -4 = 2*g - 2*c + q, -4*c + 15 = -3*g. Which is greater: -5 or g?
g
Let r be ((-30)/20)/(2/4) - -65. Let f = 58 - r. Which is greater: f or -5?
f
Suppose -75 = 4*b - 9*b. Suppose -b = -0*l + 5*l. Is -17/5 >= l?
Fa