ch is smaller: v or m?
v
Suppose 141 = 2*w + 147. Is w > -14?
True
Let i = -66 - -40. Let j(z) = -2*z**2 + 57*z - 51. Let l be j(28). Do i and l have different values?
True
Let n = 156 + -158. Is n less than 1/3?
True
Let d = -5 + 1. Let x be (-3 - -15)/d + 14. Is 11 greater than x?
False
Let b = 46.91 - 47. Let o = b - -0.19. Is o > -9?
True
Let r = -1242737/7 + 178051. Let g = 3548/7 - r. Which is smaller: -10 or g?
g
Suppose 11*k = -15*k + 6*k. Are k and 1/54 non-equal?
True
Suppose 6*c - c + 277 = 4*b, 4*b - 118 = 2*c. Which is smaller: c or 3?
c
Let p = 9.59 + -31.59. Let i = -1.5 - 0.5. Is p <= i?
True
Suppose -2*f - 3*m + 88 = m, f = -3*m + 47. Let j be ((-232)/f)/(-4) + -1. Which is greater: j or 1?
1
Let q be ((64/(-3))/(-32))/((12/10)/3). Let o = -2 + -1. Is o at most q?
True
Let z = 581 - 582. Is z at least as big as 8/29?
False
Let d(c) be the third derivative of -c**6/120 + c**3/2 - 2*c**2. Let g be d(0). Let t be g + (1 - (-6)/(-3)). Are t and -2 equal?
False
Suppose 3 + 0 = -g. Suppose -11 + 35 = -6*a. Which is bigger: a or g?
g
Let m be -4 - (-6)/(2 + 0). Let n be (2 - 0 - 3)/m. Let w be 13/20 - (-8)/(-20). Is n greater than or equal to w?
True
Let h be 3/(42/20)*-7. Let z = 21/2 + h. Which is smaller: 0.1 or z?
0.1
Let u(b) = 2*b**2 - 5*b + 6. Let l be u(7). Which is greater: 70 or l?
70
Suppose -8*x = -12*x - 4. Is x <= -6/13?
True
Let g(l) = -l**3 + 4*l**2 + 23*l - 6. Let h be g(7). Which is smaller: h or 62/7?
h
Let o(a) = -4*a**2 - 11*a - 4. Let m(k) = 3*k**2 + 10*k + 5. Let u(c) = -3*m(c) - 2*o(c). Let w be u(-7). Is -2/95 < w?
True
Suppose -35*w - 1488 = 13*w. Do w and 2 have the same value?
False
Let w be (42/(-70))/(2/10). Is -19 smaller than w?
True
Let i(r) = 2*r + 9. Let s be i(9). Suppose -4*u + 17 = 4*p - s, -5*p = -5. Which is greater: u or 11?
11
Suppose -9*h = 2438 + 442. Let z = h - -4158/13. Let i = -0.3 + 0. Which is greater: z or i?
z
Let a = 295 + -197. Is 98 <= a?
True
Let a(j) = -j**3 + 3*j**2 - 5*j + 3. Let r be a(2). Let h be ((-12)/(-18))/((-1)/3). Which is greater: h or r?
h
Suppose -32*y = -21*y + 66. Which is greater: y or -142/23?
y
Let o(x) = x**3 - 3*x**2 - 11*x - 1. Let d be o(5). Let i(s) = 2*s - 3. Let h(p) = p - 3. Let t(w) = -6*h(w) + 4*i(w). Let n be t(d). Is -6 less than n?
False
Let b be (0 - 27)/(18/(-12)). Suppose 4*i + c + 0*c - 313 = 0, -236 = -3*i - c. Suppose 22 = 2*g + 4*l, 2*g = -g + 5*l + i. Is b at most g?
True
Let f be 238/6 + (-1)/(-3). Let w be (525/200)/((-6)/(-88)). Which is greater: w or f?
f
Suppose -17 = -2*u + 25. Suppose -p = 5*n - u, n - 3*n = 3*p - 11. Suppose -n = -2*y - 0. Is 2 < y?
False
Let r(d) = -d + 14. Let t be r(9). Suppose t*h + 8 - 3 = 0. Let o = -6067/13 + 467. Which is bigger: o or h?
o
Suppose 4*c + 2*c = -66. Let r = 4 - c. Which is smaller: 13 or r?
13
Let j(x) = -x + 7. Let f be j(4). Let w = 51.58 - 0.58. Let g = w - 50.9. Is f smaller than g?
False
Suppose w = -3*z - 4, z - 1 = -4. Suppose 3*q + 4*j = -1, -w*j = -q - 2*j - 22. Let a(p) = p**2 - 11*p + 7. Let n be a(10). Are n and q nonequal?
True
Suppose -2640 = -330*r + 350*r. Which is bigger: r or -131?
-131
Let o = -4869 + 326215/67. Which is smaller: 0 or o?
o
Let l be (-1)/(-3)*(-150)/100. Which is greater: -0.21 or l?
-0.21
Suppose 0 = -3*a + 5 + 1. Let c be 1 - -2 - (-1 + a + 0). Is 1/2 smaller than c?
True
Let m = 3115/4 + -15579/20. Let h = 0.02 + 0. Is m equal to h?
False
Let v(r) = -22*r - 386. Let u be v(-10). Is u at least as big as -167?
True
Let p = -222 - -221.92. Which is greater: 2/7 or p?
2/7
Let h(r) = 2*r**2 + 11*r - 4. Let t be h(6). Is 1/4 at most as big as t?
True
Let f = -2 - -3. Let y be ((-1)/3)/(f/(-6)). Let t = -2/3 - -3/2. Which is smaller: t or y?
t
Suppose -2*u + 8 = 2. Let m = -3 + u. Let a = -192/5 - -1364/35. Is a greater than m?
True
Let x(o) = o**3 + o + 3. Let b be x(-2). Let h = b - -23. Let f = 14 - h. Is -1 at least f?
True
Let d = -455 + 461. Let o be 3/(-3)*(0 + 1). Let u = 2 - o. Which is smaller: u or d?
u
Let n = -77 + -23. Does n = -98?
False
Let w = 2053/2 - 1026. Is w > -245?
True
Let p be (805/225)/7 + 1/(-2). Let w = p - 187/630. Is w at most -1/3?
False
Suppose 0 = -2*y + 2*s - 60, 76 = -3*y - 5*s + s. Is y less than -22?
True
Let t(x) = -x**3 - 14*x**2 - x - 17. Let s be (-16)/(-6)*(-126)/24. Let k be t(s). Is -4 != k?
True
Let c = 78.7 + -79. Which is smaller: -43 or c?
-43
Let f = 340/7 - 7139/147. Is 0 at least as big as f?
False
Let q(p) = 3*p - 157. Let t be q(52). Which is smaller: t or 2/2453?
t
Suppose 4*f - 8 = 0, 15*h - 4 = 13*h - 3*f. Which is bigger: 21/85 or h?
21/85
Let h = 1149 - 1148.058. Let n = h + 0.058. Which is smaller: -0.21 or n?
-0.21
Let b(m) = -m**3 - m + 1. Let t be b(0). Suppose -u + t = 15. Let h = u - -13. Which is smaller: -3/2 or h?
-3/2
Let w = 23141/5 + -4596. Which is bigger: 1 or w?
w
Let j be ((-450)/1660)/1*(-4)/(-5). Is 0 at least as big as j?
True
Let m = 10 - 7. Let z = 2 - m. Let x = -2819.92 - -2820. Which is smaller: x or z?
z
Suppose 8*a = 2*a + 144. Suppose a*q - 23*q - 3 = 0. Let c be (2/(-12))/((-2)/20). Is q >= c?
True
Let i = -3 + 4. Let c = 1.16 - 1.7. Let p = c - -0.54. Is i greater than or equal to p?
True
Let u = -504/17 + 61958/2091. Let r = -232/861 + u. Suppose 0 = -2*c - 2. Is c != r?
True
Suppose -6*b + 60 = -0*b. Suppose 0*y = -b*y - 70. Which is greater: y or -11?
y
Suppose 2*c = -8, t + 5*c - 4*c + 3 = 0. Which is bigger: t or 1/140?
t
Let i = 2/25251 + -10883201/252510. Let f = 43 + i. Which is greater: f or -1?
f
Let c be -2 - (2 + -9) - (-1 + 396). Is -390 smaller than c?
False
Let u be (-3 - -3)/(1 + -2). Suppose d + 0*d + 9 = -2*a, -4*d - 20 = u. Let c be ((-5)/(-10))/(7/a). Which is smaller: c or 0?
c
Let j = -118 - -49. Which is bigger: -0.04 or j?
-0.04
Let c = 1282/3 + -408. Which is greater: 20 or c?
20
Let w be -2498*36/(-81)*6/140. Let b = w - 143/3. Which is greater: b or -1?
b
Let d be (25/15 - 2) + -3. Which is smaller: -1/2 or d?
d
Let i be 4/(-14) - (-416)/(-14). Suppose -48 = a - 4*a. Let m = a + i. Do -13 and m have the same value?
False
Let f be (4 - -2) + -4 - (-1 - 5). Is f > 3?
True
Let t be 465/9*(6 + -3)*1. Which is greater: t or 153?
t
Let c = 5.1 + -9.6. Let v = 1.2 - c. Is v >= 2/7?
True
Suppose 24 = -5*w - 1. Let z be (2 - 1)/(1/(-15)). Let m be 1/(-3) + 40/z. Which is smaller: m or w?
w
Let i be (-16)/((-2)/(-40)*-2). Let h = i - 227. Does h = -66?
False
Let t = 0.13 - 0.03. Let b = 0.02 + -0.08. Let n = b + -0.14. Is t at least as big as n?
True
Let z be -3 - (6 + (-102)/33) - -6. Which is smaller: z or 14?
z
Let n = 321 + -327. Is -8 bigger than n?
False
Let g = 4.804 - -0.316. Let l = 49.88 + -50. Let y = g + l. Which is bigger: 2 or y?
y
Let k = -9 - -13. Suppose -4*u = -5*m + 3 - 4, -k*m + u = -8. Suppose m*p - 13 - 2 = 0. Is p > -0.1?
True
Suppose 115 + 5 = -40*w. Are -19/5 and w unequal?
True
Let x be 10/45 - 75/(-27). Suppose 5*q - 32 = -x*q. Is 5 greater than or equal to q?
True
Let i be (-2178)/(-16) + (-1 - -8)/(-56). Are i and 136 nonequal?
False
Let v = 21 + -19. Suppose -v*s + 45 = -5*c + 4, -4*c - 31 = -s. Let r(h) = 3*h + 4. Let i be r(c). Which is greater: i or -16?
-16
Let s be ((-18)/3 + -1)/(2/8). Let r = s - -17. Is -13 at most r?
True
Suppose 8 = 3*u - 1. Let q = -17 + 24. Suppose -u*t = -q*t. Which is smaller: t or -3/4?
-3/4
Suppose -5*m = 0, -32 = -u - 5*m + 50. Suppose 5*k = u + 68. Is k equal to 29?
False
Suppose 47*d - 48*d - 354 = 0. Which is bigger: d or -356?
d
Let r be (2/121)/((-9)/6). Let b = r - 1384/6171. Let i(v) = v**3 - 3*v**2 + 2*v - 5. Let x be i(3). Which is greater: b or x?
x
Let u be 1 + 585/(-4) + (-2)/(-8). Let d be (u/35 - -4)/(3/(-7)). Let q = -3 + 4. Which is greater: q or d?
q
Let g = 148 + -146. Which is greater: 31/2 or g?
31/2
Let q = 0.08 + -0.08. Let g be ((-63)/(-644))/((-6)/16). Let h = 1/92 + g. Which is smaller: h or q?
h
Let c be 23/5 - 150/30. Let g = 0.82 + -0.8. Do g and c have different values?
True
Let j(h) = 6*h**2 + 190*h - 28. Let f be j(-33). Is 236 < f?
False
Let j = 63.7 + -35.4. Let i = j + -28. Let b = 6 - 8. Are b and i equal?
False
Suppose 4*h = h - 2*b - 738, -5*h - 4*b = 1230. Let s be (-668)/h + (-4 - -2). Let w = 2/41 - s. Are w and -3 nonequal?
True
Let r(l) = 8 + 11 + 4*