l?
True
Suppose 0 = 2*y + 3*r - 12, 3*r - 7 = 4*y + 5. Let h = -53 - -66. Let w(m) = -m**3 + 12*m**2 + 11*m + 24. Let p be w(h). Is p > y?
False
Let n = 0.07 + 0.27. Let s = -0.24 + n. Let o = 10 + -6. Is o > s?
True
Suppose -4*i + 4*j - 917 = 3*j, 2*j - 224 = i. Which is bigger: -232 or i?
i
Let o(t) = -2*t + 2. Let p be o(4). Let j be p/(-4) - 45/18. Let r be (0 - j)*(-5)/20. Is r at least -1?
True
Let s be ((-12)/30)/(-1) - 0. Which is bigger: -51 or s?
s
Let k be 3 + 2 + 3/1. Suppose k*p - 64 = 4*p. Suppose -8 + 1 = 3*a + 2*y, -a = -3*y - p. Which is smaller: a or 5/4?
a
Let w be 1*1/(-39)*32836. Let j = 842 + w. Which is greater: j or -1?
j
Let s = 35 + -34. Let g be (-1)/3 - (-154)/(-15). Let d = g + 51/5. Is s less than or equal to d?
False
Let k(c) = c**3 + 6*c**2 + 3*c - 3. Let f be k(-6). Let y = f + 1345/64. Which is greater: -1 or y?
y
Let u = 41/45 + -4/5. Suppose -4*c + 108 = -3*p, 140 = 4*c + 2*p + 52. Let r = -23 + c. Is r at most u?
False
Let o(d) = d**3 + d**2. Let r be o(-1). Let m = -4 - -7. Suppose r = 8*l - 5*l + m. Which is bigger: l or 1?
1
Suppose m - 3*m - 28 = 0. Let w = -13 - m. Is w less than 6/11?
False
Let s(i) = -2*i**2 - 8*i + 2. Let a be s(-4). Suppose -a*l = m - 0*m + 46, 4*m = -8. Is -23 not equal to l?
True
Let m(w) = -2*w**2 - 14*w + 239. Let l be m(8). Let n = 111/5 + -1231/55. Which is smaller: n or l?
l
Suppose 5*k = -5*s + 80, 9*k - 4*k + 4*s = 80. Suppose -4*c - h = 3*h - 48, 2*h = 2*c - k. Which is smaller: c or 11?
c
Let v be 306/(-291) - (12 + -13). Which is greater: v or 1/4?
1/4
Let a be 22/(1/2*1*104). Is a smaller than 1?
True
Let z(x) = -x**2 - 3*x + 6. Let j be z(-5). Let t(y) = y - 2. Let v be t(j). Let f be (-9)/v*(-1)/(-18). Which is bigger: f or 0?
f
Let i = 1.39 - 0. Let v = 0.56 - i. Let q = v + -0.17. Which is bigger: 2 or q?
2
Let y(v) = -4*v + 21. Let n be ((-2)/(-1) - 0)*(-33)/(-6). Let t be y(n). Does t = -23?
True
Let j be (2/(-10))/((-100)/(-125)). Is 9 < j?
False
Let z = 8.41 + -0.81. Let j = z + -9.6. Which is smaller: 0.1 or j?
j
Let y = -38.8 + -8.2. Let a = 42 + y. Which is smaller: a or 8?
a
Let l be (18 + -24)*35/(-3). Is l at least 1?
True
Suppose 5*l + 10 = -60. Which is smaller: l or -40/3?
l
Suppose 25*m + 108 - 83 = 0. Which is smaller: -1/485 or m?
m
Suppose f + 3*j - 224 = 0, -515 - 371 = -4*f - 2*j. Which is smaller: -0.1 or f?
-0.1
Suppose 0*u + 132 = 4*u - 4*z, 4*u + z - 107 = 0. Suppose -q + 3*q + 4*r = 0, -5*r = -q + u. Let g be 2/q - (-235)/(-60). Which is smaller: -3 or g?
g
Let y be ((-122)/(-6) + -1)*66/(-44). Suppose 4 + 2 = 2*h. Let f be -26 - (-4 + 4 + h). Is y >= f?
True
Suppose 4*q = 4 + 4. Suppose 4 = 4*y + 3*l, 2*y = -0*l - q*l + 4. Is y less than 1.5?
True
Suppose 0 = -4*x - 0*x + 8. Suppose 4*r + 13 = -5*q, 8 = -x*q + 3*r - 6*r. Is q at most -10?
False
Let f = 262 + -5503/21. Let l(n) = -2*n**2 - n. Let y be l(0). Suppose 6*z = -y*z. Which is smaller: f or z?
f
Let h be (-1 - 8514/(-1416)) + -4 - 1. Which is smaller: 0 or h?
0
Let f(t) = 2*t**2 + 11*t - 17. Let a be f(-7). Suppose -3*x + 0 + 36 = 0. Is x at most as big as a?
False
Let p = 745 + -744. Which is smaller: p or -3.9?
-3.9
Let m(d) be the second derivative of -d**5/120 - d**4/8 - d**3/2 - 2*d. Let r(y) be the second derivative of m(y). Let o be r(10). Which is greater: o or -14?
o
Let z = 964.9 + -894. Let h = z + -71. Which is smaller: h or 4?
h
Let y = 49 - 119. Let q = -20 - y. Does q = 50?
True
Suppose -4*b + 2 = -3*b. Suppose 8*z + 88 = 432. Let j = -43 + z. Which is smaller: j or b?
j
Suppose 2*a + a = 0. Suppose a*q = -q. Is q at most as big as 2/5?
True
Let x = 13422697893893/525119421396570 - -1/15483397358. Let o be (-4859)/33915 + (-5)/(-35). Let d = o - x. Which is smaller: 1 or d?
d
Let z be (7/(-14))/(5/2). Let j = 0.16 + 0.74. Let t = -0.8 + j. Which is greater: t or z?
t
Let r = 8 - 11. Let a = 6 + -13. Which is greater: a or r?
r
Suppose -53*i + 28*i = -1575. Which is smaller: i or 312/5?
312/5
Let r = 73 - 115. Let l = r + 71. Which is greater: l or -0.1?
l
Let z = -607.2 - -610. Which is smaller: z or 0?
0
Let c = -91 + 96. Suppose 95 = -c*y + 3*s, -3*y + 6 - 63 = -4*s. Is -18 less than y?
False
Let z = 22 - 17. Suppose -4*x + z*x = 1. Let b be x + 6/4 + -3. Do b and 0 have different values?
True
Let b = -3.09 + 48.09. Are -3 and b equal?
False
Let z = -96 - -55. Let k = z - -40.9. Is 82 less than or equal to k?
False
Suppose b = 5*h - 23, -5 = -3*h - 3*b - 2. Suppose -2*z - z + 3 = -4*k, 5 = 5*z - 2*k. Which is smaller: z or h?
z
Let z = -41.98 - 0.02. Which is bigger: z or 9?
9
Let g be ((-20)/8)/((-8)/(-656)). Which is smaller: -204 or g?
g
Let v = -0.6 + 35.6. Let f = -6.9 + 7. Which is greater: v or f?
v
Suppose 0*u + 8*u = -736. Let y = u - -85. Which is greater: -27/4 or y?
-27/4
Let s = -2 + 22. Let i be s/7 - (19 - 19). Which is smaller: i or 3?
i
Let l = 47/420 + -2/21. Let v = l - -7/30. Is v smaller than -0.2?
False
Let b = -120 - -121. Let w be (-12)/30 + (-1 - -2). Which is bigger: w or b?
b
Suppose -9 = -3*m + 3*b, 0*b + 3*b = -4*m - 16. Let y be (0 - 1)*(-2343)/(-21). Let q = -113 - y. Which is smaller: m or q?
q
Let h be 11*((-20)/4)/(-5). Let n(c) = 3*c - 23. Let y be n(h). Which is smaller: 9 or y?
9
Let a = 708/5 - 141. Suppose -3*w - 6*c = -3*c + 3, 3*c = -4*w - 5. Let u be w/8 + 27/12. Is a bigger than u?
False
Suppose 52*t = 71*t - 19. Is t at most 6/131?
False
Let n = -226 - -192. Is n less than 1?
True
Let m be ((-1275)/2 + 0)/4. Let y = m + 159. Suppose 5*u = u - 4. Does y = u?
False
Let y(a) = -a**2 + 5*a - 5. Let n be y(6). Let l be -1*(-4)/(-7) - 146/14. Is l at most n?
True
Let z = -190 + 188. Which is greater: -178 or z?
z
Let w = -232 - -232.1. Is w > 17/7?
False
Suppose 0 = -l + 3*p - 58, -239*l + 235*l + 4*p - 240 = 0. Which is smaller: l or -5?
l
Let n(k) = 2*k**3 + 47*k**2 + 20*k - 54. Let z be n(-23). Suppose -3*r = 2*r - 70. Is z <= r?
False
Let d = -588 - -398. Which is bigger: -189 or d?
-189
Let i = 206 - 233. Is -29 smaller than i?
True
Let z = -1/51 + 53/102. Suppose 0 = 4*o - 0*o + 64. Let t(n) = n**3 + 16*n**2 + 2. Let u be t(o). Are u and z unequal?
True
Let p(w) = -2*w**2 - 14*w - 10. Let n be p(-6). Suppose n*y + y + 3 = 0. Which is smaller: y or -1/58?
y
Let f(w) be the first derivative of 3*w**2 - 47*w + 42. Let m be f(8). Let x = -0.2 - -0.3. Which is smaller: x or m?
x
Let m be 1*14/26 - -2. Let q = 3453/1391 - m. Let a = q + -148/1177. Which is bigger: a or 0?
0
Let n be (3/(-2) - -2)*2. Let p(l) = -l**2 + 5*l - 2. Let g be p(13). Let f = g - -1805/17. Is f at most n?
True
Let f(y) = 2*y**2 + 15*y + 13. Let c be f(-6). Is 0 >= c?
True
Suppose -18 = 68*t - 74*t. Is t != 18/11?
True
Let s = -101 + 145. Is 44 greater than s?
False
Let f be (-12)/(-27)*(-8)/160. Suppose y = v - 3*v, 0 = -5*y. Is v < f?
False
Let c = -49 - -50. Let i be (160/24)/(c*4/6). Which is bigger: 11 or i?
11
Let j = 29.1 - 4.1. Let f = -2/15 - 1/5. Which is smaller: j or f?
f
Let q be 244/(-3*4/(-18)). Does q = 366?
True
Let i be ((-12781)/(-44))/((-10)/(-40)). Let f = 1163 - i. Is 0 smaller than f?
True
Let z = -3.78 - -12.18. Is z at most 0?
False
Let z be (36 + -35)*(-4)/(-82). Let f(g) be the third derivative of -g**4/24 - 7*g**3/6 - g**2. Let i be f(-6). Which is smaller: i or z?
i
Suppose 5*r - 9 = 2*m + 13, 4*m + 88 = -r. Let i be (-270)/m + (-2 - 30/(-14)). Is 8 smaller than i?
True
Let c(h) = -3*h - 8. Let m(w) = -w - 1. Let a(u) = -c(u) + 5*m(u). Let i be a(0). Are 3 and i non-equal?
False
Suppose -1 = -j - 2. Let t = 672.5 + -676. Which is greater: t or j?
j
Let n = -13 + 12. Let t = 0 - n. Let o = -3 + t. Which is smaller: o or -1?
o
Let w = -2873/3 - -966. Suppose 5*r - 29 = 16. Which is smaller: w or r?
w
Let c = -1995 + 5902/3. Let v = c - -24. Which is bigger: v or -0.1?
-0.1
Let w be 5*(4/1 + -3). Suppose 0 = -w*b + 10*b - 15. Are 14/9 and b nonequal?
True
Suppose -4*r + 12 = -3*b, 5*r - 2*b - b = 18. Let p(v) = -7*v + 9. Let n be p(r). Let y be -3*4/(36/n). Are y and 12 non-equal?
True
Let z(y) = y**2 + 2*y**2 + 10*y + 3 + 6 - 2*y**2. Suppose 5*l + d + 45 = -4*d, 9 = -l + 2*d. Let m be z(l). Is m != 0?
False
Let f(r) = 3*r**2 + 40*r - 17. Let m(h) = -4*h**2 - 41*h + 17. Let x(a) = 6*f(a) + 5*m(a). Let u be x(17). Which is sm