-16516/21. Is p < l?
False
Let s(r) = -r**3 - 11*r**2 + 8*r + 13. Let q be s(-10). Let k = q - -505/3. Is 1 bigger than k?
False
Let t(d) = -22*d + 219. Let u be t(10). Let x = 20461/93 + -220. Which is greater: x or u?
x
Let u be 16/(-24) - (-34)/6. Suppose -4*r + u*r + 12 = b, 0 = r + b + 12. Is -12 <= r?
True
Suppose -120*g + 95*g = -29875. Which is greater: 1196 or g?
1196
Suppose 2*k + 0*b = 3*b + 41, 4*k - 115 = -5*b. Let n = k + -21. Suppose 0 = 4*j + 5*p + 28 - 3, -j = n*p + 20. Are 2/9 and j non-equal?
True
Suppose -15*v + 16 = -20*v + g, 30 = 5*g. Let x = 0 + -5. Which is bigger: v or x?
v
Let z = 2738 + -2739. Let b = -684/7 - -98. Is z smaller than b?
True
Let d be ((-105)/245)/((-139)/49). Is d greater than 0?
True
Let k be (-4)/(-3)*8/((-384)/261). Which is greater: -6 or k?
-6
Let y = 4/183 - 613/2928. Which is greater: -1 or y?
y
Let z(k) = 3*k**3 + 3*k**2 + k - 1. Let l be z(-1). Which is smaller: l or -13/7?
l
Let d(j) = 3*j - 19. Let k be d(8). Let b(h) = 3*h - 1. Let n be b(1). Suppose -k - n = -q. Which is smaller: q or 8?
q
Suppose -w + 11 + 9 = 0. Let j be (-3)/(((-1155)/w)/(-7)). Is j at most as big as 1?
True
Let i be 1 + (-2)/11 - 1. Let w be (2/(-6))/((4 - 3)/6). Let j be -12 + 12 + (-1 - w - 2). Is j at least i?
False
Suppose 4*n + i + 22 = 0, 2*n = 4*n - i + 8. Let b(m) = m + 5. Let d be b(n). Which is smaller: 2 or d?
d
Suppose 2*a - q - 5 = 9, -q = 2*a - 14. Suppose -i = -a + 6. Let j be -3 - -1 - 120/(-62). Which is smaller: j or i?
j
Let y = -18.06 - -41.06. Which is bigger: y or 2/11?
y
Suppose 0*v - 87 = -v. Let f be 105/v + (0 - 1). Which is greater: f or 0?
f
Let p = -4.2 + 4.06. Let z = p - -0.03. Which is greater: z or 1/5?
1/5
Suppose -2*y = 4*m - 34, -5*y + 21 = -55*m + 57*m. Which is bigger: 2/13 or m?
m
Let n = -5982/11 - -544. Let m = 2 + -1. Which is smaller: m or n?
n
Let l be ((-2)/(-2))/(-2 + -1). Let i(j) be the second derivative of j**3/6 + j**2/2 + j. Let c be i(0). Which is bigger: l or c?
c
Let q(g) = g**3 - 4*g**2 - 4*g + 4. Let o be q(5). Suppose -2*n = -41 + o. Let j = -16 + n. Is j bigger than -2/27?
True
Let x = 92 + -99.3. Let c = 4.3 - 3. Let w = x + c. Is w > 0.1?
False
Let p = 14 - 11. Suppose -2*c - 4 = 5*f, -2*c + 0 + 4 = p*f. Let g be c/(-70)*55/22. Is 5 bigger than g?
True
Suppose 3*i + 2*g - 13 = 0, -5*i + 7 = -0*i - 4*g. Which is greater: 0 or i?
i
Suppose 0 = -c + 2*c - 11. Suppose -c*v = -15*v + 36. Are v and 10 unequal?
True
Let y be (-3)/2*20/(-15). Suppose -2*k + 1 = d, 3*d = 2*k - y*d + 29. Let r = 0.023 - 1.123. Which is smaller: k or r?
k
Suppose -8*r = -105 + 97. Is r at least 191?
False
Let y(m) = 4*m**2 - 14*m - 8. Let w be y(7). Let t = 96 - w. Are t and -2 equal?
False
Let g be 6*(-2 + 4)/30. Let h = 534 - 535. Which is greater: g or h?
g
Suppose 4*b - 10 = 18. Suppose 0*v - b = -7*v. Is v smaller than -4/25?
False
Let a be 35/2*(-5)/2. Let b = 43 + a. Is 1 less than b?
False
Let b be -3 + 19 + 5 + -2. Is b not equal to 19?
False
Let u(s) = -7*s**3 + 4*s**2 - 7. Let f(o) = -20*o**3 + 13*o**2 - 20. Let x(t) = -6*f(t) + 17*u(t). Let c = 33 - 23. Let h be x(c). Which is smaller: 7/5 or h?
h
Let a be -3 - (5 + 11/((-11)/4)). Let l be 1 - (-2 + 0)/(-2). Suppose l*x = 4*x + 24. Which is smaller: a or x?
x
Let f = 256.4 + -257. Is -11 at least f?
False
Let y(t) = -t**2 + 16. Let o be y(4). Which is bigger: o or -3/73?
o
Suppose 4*y = -n - 1, -5*y + 0*y + 4*n + 25 = 0. Which is bigger: -5 or y?
y
Suppose -10*o - 20 = 10*o. Which is smaller: -6/191 or o?
o
Let p(o) = o**2 - 56*o + 421. Let c be p(47). Let f be 2 + (-6)/(-2)*-2. Let d be 8/f*(-1)/(-3). Which is greater: c or d?
d
Suppose -3*c = 2*y - 0*y + 1, 5*y - 23 = c. Suppose b + p - 15 = 4*p, -p = -1. Suppose -5*i + b = -7. Is y > i?
False
Let x be -3 + 1 + 1 + 925/(-5). Is -186 != x?
False
Let z be 0 - 22*4/(-2). Let q be 1 + ((-55)/z)/(6/8). Are 9/4 and q equal?
False
Suppose 4*n - 76 = 12. Suppose 0 = -c + 31 - n. Is c != 0.2?
True
Suppose -5 = -2*q - 0*i + 3*i, -3*i - 9 = 0. Let d(y) = -y**2 + 2*y. Let x be d(q). Which is smaller: -7 or x?
x
Let z = 1124 + -1123.9. Which is greater: z or 33?
33
Suppose -30 = -9*v + 15. Suppose 5 = v*x - 0. Which is smaller: 0.3 or x?
0.3
Suppose 3*v + v + 2*b + 110 = 0, 2*b + 6 = 0. Let w(g) = -g**2 + 4*g + 2. Let z be w(-2). Let a be 6/z + v/(-10). Do 2 and a have the same value?
True
Let n be 2/13 + (-2785)/(-65). Suppose -25 = -0*a + 5*a, 4*y = -3*a - n. Which is greater: y or -10?
y
Let h = -341 + 331.6. Is h < -1?
True
Let s = 24 + -30. Let p be ((-3)/(-6))/(s/(-36)). Suppose i = -p*i + 24. Are 3 and i nonequal?
True
Let k = 219 + -218. Which is greater: -14 or k?
k
Suppose -3*d + 62 = 4*w, 2*d + 2*w + 4 = 44. Suppose 10 = 4*o + d. Let b = -13/43 - 279/215. Do b and o have different values?
True
Let y(c) be the second derivative of c**4/12 + c**3/6 - c**2/2 - 21*c. Let q be y(-2). Which is greater: q or -3?
q
Suppose 9 = 4*b - 3*m, -2*m = -b - 3*m - 3. Suppose 0 = -0*d + 7*d - 70. Let j = d - 8. Is j greater than or equal to b?
True
Let m = -34843/17 + 2049. Let s(h) = -h**2 + 6*h - 1. Let k be s(6). Is m at least k?
True
Suppose 2*v + 9 = 3*x, -x - 1 = 5*v - 4. Let m be (-4)/6 + (-5)/(-5). Let q = m - v. Which is smaller: 0 or q?
0
Let b = -2/101 - 89/606. Suppose 5*n = -4*g, 4*n + 6*g - g = 0. Suppose 6 = -3*h - n*h + a, 2*h + 14 = 4*a. Which is bigger: h or b?
b
Let w be (-1)/(-3) - (-11)/((-2013)/121750). Let z = -665 - w. Which is smaller: z or 0?
z
Let i = -11.7 - -59.7. Let l = i - 47. Which is greater: -2/5 or l?
l
Let y = 1529 - 1563. Which is greater: -310/9 or y?
y
Let v = -33.4 + 38.1. Is v equal to -1/6?
False
Let t = -1 + 1. Let z = -739688 - -73230218/99. Let w = z + -94/9. Which is smaller: t or w?
t
Suppose 2*g + 516 = 5*s, 3*s = -5*g - 1331 + 41. Is g equal to -258?
True
Suppose -3*m + 5*g - 141 = 7, -4*m + 2*g = 188. Which is greater: m or -48?
m
Let d be 6/(-28) + 56/(-32)*10/(-35). Let i = 127.6 - 151. Let r = -21 - i. Is d <= r?
True
Let u = 16 + -15. Which is greater: u or 4.3?
4.3
Let y(t) = -t**2 + 10*t - 3. Let n = 27 - 17. Let r be y(n). Let o be (1/r)/((-2)/6). Which is greater: -2/13 or o?
o
Let j = 0.19 - 0.251. Let o = 0.039 - j. Is -3/2 greater than o?
False
Let p = -9 + 15. Suppose -f - 5 = -p*f. Let k be (-1)/2*0/f. Is -0.11 at least as big as k?
False
Let b = -0.188 - -0.288. Are b and 113 non-equal?
True
Let x = 34467083 - 30641242922/889. Let l = x - -60/127. Which is smaller: l or -5?
l
Let t be 2/(8/10)*2. Suppose 6*h - 3*c - 5 = h, -5*c + 33 = 2*h. Let z be (-15 + 6 + 1)*(-2)/h. Is t <= z?
False
Let n = -0.26 + 0.06. Is n at least as big as 38?
False
Let t = 1023 - 5161/5. Let s(g) = g**3 - 6*g**2 + 3*g + 2. Let b be s(5). Is b greater than or equal to t?
True
Let c(t) = 3*t**2 + 1. Let i be c(1). Let n be (-2)/(i/6) - -7. Suppose n*a = -j + 45, -3*a = 2*a - 4*j - 51. Is a greater than 11?
False
Let v = -24 + 12. Suppose -30 = 2*y - 4. Let z = 2 + y. Which is bigger: z or v?
z
Let b = 183 + -181. Is b less than or equal to 1.99?
False
Let v be (-1)/((-1)/30)*(-88)/(-176). Which is smaller: 19 or v?
v
Let m be 2/(-3)*(-9)/(-4). Let z = 21 - 19. Suppose -5*l = z + 13. Which is smaller: m or l?
l
Let a be 3*(1 - 7 - (31 - 3)). Which is smaller: a or -99?
a
Let k be (1 + 15/(-10))/(5/10). Which is smaller: -2/2197 or k?
k
Let x = 1318 - 985. Are 333 and x equal?
True
Let v = -2 + 1.94. Let y = v - -0.11. Let z = -1.5 + 1.3. Do y and z have different values?
True
Let l = 2 + 1. Suppose 3*t + 6 = -3*h + l, -2*t = -5*h + 16. Let z be ((-15)/(-35) - (-104)/(-210))/((-3)/5). Which is bigger: z or h?
h
Let c(r) = -150*r**2 + 0 - 6*r + 149*r**2 + 1 + r. Let s be c(-6). Which is greater: -40/7 or s?
s
Let v be (-3 - 1/1) + (-73)/1. Is 1 greater than v?
True
Let a(i) = 3*i - 19. Let x be a(6). Let q be (-4)/(-2) + x - (3 - 3). Is 12 greater than or equal to q?
True
Let b = -65 - -64. Let v be 3906/10 + (-2)/(-5). Let g = -7432/19 + v. Which is smaller: b or g?
b
Let c = -2 + 4. Let x = 2 - c. Let n = -22/9 + 356/153. Which is greater: n or x?
x
Let l be 74/(-12) + (-3)/(-18). Let i be 27/(-6) + (-3)/l. Let q be (-96)/18*6/i. Is q <= 1?
False
Let b be (-26)/(-91)*(-14)/(-16). Let u = 307.01 - 307. Which is smaller: u or b?
u
Let c = -145 - -60. 