reater: -1 or j?
j
Suppose -2*h + 4*k = 2040, -3*h - 4087 = h - k. Is -1022 > h?
False
Let s(b) = -4*b**3 + 85*b**2 - 21*b - 50. Let z be s(21). Which is greater: z or -51?
z
Let g = -54.09 + -0.91. Let p = -52.7 - g. Let j = p + -0.3. Which is bigger: j or -1/4?
j
Let d = -282 - -289. Which is smaller: d or 1?
1
Let w(g) = g**3 - 6*g**2 - g + 3. Let l be w(6). Let y = -3 - l. Let p be (-16)/(-20) - 1 - y. Which is smaller: 0 or p?
p
Suppose -5*x + 90 = 3*s, 5*s - 3*x + 7*x - 150 = 0. Let v = s + -28. Let n = 167 - 1167/7. Which is greater: v or n?
v
Let j = 11.66 - 11.7. Let d = -0.2 - 0.8. Which is smaller: j or d?
d
Let a = -4 - 0.3. Let m = -0.7 + a. Let x = 6 + m. Which is bigger: x or 3?
3
Suppose 4*q + 32 = -5*h + 107, -2*q - 4*h = -36. Let n be -8*(-38)/16 - (-1 + -1). Are q and n equal?
False
Let v = -30 - -35. Let p(l) = l - 14. Let u be p(v). Which is bigger: -11 or u?
u
Suppose -1245 - 35 = -10*h. Let q = h - 50. Which is bigger: 77 or q?
q
Let u = 0.9 + -0.5. Let x = u + -0.4. Let h = 244 - 244.2. Which is greater: h or x?
x
Let l = 60 - 54. Suppose -l*b = -17*b + 11. Which is smaller: b or -1/4?
-1/4
Suppose 4*o - 26 = 2*j, 5*o = j - 3*j + 19. Suppose 0 = l + y - 12, 0 = 7*l - 3*l + o*y - 49. Is 10 != l?
True
Let h = 0.004 - 0.054. Is 5/7 bigger than h?
True
Let n = -115.921 - 0.079. Is n at least 4?
False
Suppose 2*f = 3*n + 13, 2*n + 3*f + 9 = -3*n. Let w be (0 - 2 - 4/(-2))/n. Which is smaller: -11/8 or w?
-11/8
Suppose 2*z + 2 = -0*z, -2*j - 11 = 5*z. Let y = 4 + j. Let p = 484/4619 - 6/149. Is y smaller than p?
False
Let g = 1 - 0.9. Let u = 5844 + -5832.084. Let m = u + 0.084. Which is smaller: g or m?
g
Let h = -553 + 553. Is 284 at least h?
True
Let z(k) = -k**2 - 8*k - 4. Suppose 4*b = 5*x + 55, x - 60 = 6*x - 5*b. Let a be z(x). Let u be (-6)/4*(-30)/9. Which is bigger: u or a?
u
Let p be 1/(2/8*-2). Let r(z) = -2*z + 1. Let c be r(p). Which is smaller: 7/2 or c?
7/2
Suppose 0*r - 2*g + 35 = 5*r, 30 = 4*r + 2*g. Suppose 7*d - 16 = r*d. Suppose 5*v + 12 = -d. Which is smaller: v or -6?
-6
Let f be 8225/(-1365) + 1 + 5. Let h(k) = 4*k - 4. Let x be h(4). Let b(r) = -r**3 + 12*r**2 + r - 12. Let s be b(x). Is f equal to s?
False
Let p = 269.14 - 261. Let k = p + -0.14. Let w = k - 9. Which is bigger: 3/2 or w?
3/2
Suppose -92 = -2*j - 2*j. Let l(d) = -2 + 19*d - j*d + 11*d. Let t be l(-3). Which is greater: -22 or t?
-22
Let l be (-6 + (0 - -6))/(1 + 1). Let a be (63/14)/(l - 6/8). Suppose 5*y + 36 = 6. Is a at least y?
True
Let l = 1055/6 - 174. Which is bigger: 1 or l?
l
Suppose -83 = -10*j + 17. Suppose 3*p - 26 = -j*p. Is p > -3?
True
Let v be (-5312)/(-886) + (-6 - 0). Which is smaller: 0 or v?
v
Suppose 6 = 5*o + 4*k - 21, 0 = -2*o - k + 9. Let u be 6/o - (-34)/(-18). Let q = 3 - 3. Is u less than or equal to q?
False
Let f(h) = 2*h**2 - 8*h + 10. Let t be f(7). Let b(r) = -65*r + 572. Let w be b(8). Is t greater than w?
False
Let f = 5 - 1. Let y(c) = c**3 - 9*c**2 + 11*c - 24. Let w be y(8). Suppose f*a + 5*u = 18, 3*a + 0*u - 3*u = w. Is 4/5 at least as big as a?
False
Let q = 33 - 16. Let t = q - 17.7. Let v = 158 + -317/2. Which is smaller: v or t?
t
Let p(m) = 3*m + 24. Let c be p(18). Let k = 82 - c. Is 14 at most k?
False
Let y = 298.9 + -301.9. Are 534 and y equal?
False
Let n be (-252)/48*(-3)/(-234). Which is greater: -1 or n?
n
Let b(k) = 0*k + 23*k**2 + 1 - 8*k**2 + 0 - k**3 - 14*k. Let n be b(14). Suppose -y = -3*v + n, -2 = -3*v - 4*y + 6*y. Which is bigger: v or -2/9?
v
Suppose 0 = 8*f + f - 261. Let d = -29 + f. Which is greater: -1/12 or d?
d
Let p(a) = -a**3 + a**2 + 866. Let w be p(0). Is 867 not equal to w?
True
Let o = -10 + -25. Let r(k) = -k**2 + 3*k + 6. Let p be r(-5). Which is smaller: p or o?
o
Let v(w) = w + 0*w**2 + w**2 + 6*w + 0*w + 7. Let o be v(-6). Is o greater than 7?
False
Let b = 39 - 33. Suppose -6*x + 4*x - b = 0, 3*x + 104 = 5*k. Are 17 and k unequal?
True
Let x = -188 + 64. Which is smaller: -122 or x?
x
Suppose -50 = -20*v + 30. Which is greater: 21 or v?
21
Suppose -4*l - 64 = 8. Let r = 19 + l. Let w = 6 + 0. Does r = w?
False
Let y = 18 + -15. Suppose 3*f - 3 = -y*v, -4*v + 4*f - f - 17 = 0. Let l = 0 + -2. Is v at least l?
True
Let l(p) = p**3 - 13*p**2 + 10*p + 28. Let o be l(12). Let v be 272/(-140) - (o - 6). Which is smaller: v or -1?
-1
Let c be -2 - (-4)/(192/152). Let g = -0.1 - -0.2. Is c > g?
True
Let w = 0.91 + -39.81. Let q = -39 - w. Is -22/5 at most as big as q?
True
Let r(p) = -p - 8. Let k be r(-6). Suppose 5*z = -q + 38, -q = -6*q - 2*z + 98. Suppose 2*f = 3*g - 0*g - q, -f - 23 = -5*g. Is k equal to g?
False
Let t = 4/91 - 283/4368. Let z = t + -29/144. Let g = 0.9 + 3.1. Are g and z nonequal?
True
Let b = -22 + 21. Let c = 14 - b. Let d = c + -15. Are 0 and d equal?
True
Let v = 0.226 + -23.076. Let j = v + 23. Let k = 3.2 + -3. Is j greater than k?
False
Let c = -0.0514 + -36.9486. Is -1/6 at least c?
True
Suppose -36 = 2*d + 46. Is d at least as big as -46?
True
Let k(y) = 8*y + 52. Let f be (3 - 2)*-4 - 14/14. Let t be k(f). Which is bigger: t or 6?
t
Let l be 6 + 1 + 0 + 6. Is 16 at least as big as l?
True
Let x = 75.1 - 79. Let t = -2.9 - x. Are -15/7 and t nonequal?
True
Suppose -12 = x - 10. Let t be 18*(-1)/4*14/39. Is t equal to x?
False
Let i be (-2)/1 - 1221/(-726). Which is smaller: i or 0.1?
i
Let j = -36131741/11 - -1409931443/495. Let w = 436406 + j. Let v = 470/9 - w. Which is greater: 3 or v?
v
Let k be -23 + -4 + (-2 + 1 - -6). Are -23 and k equal?
False
Let q = -3 - -3.5. Let r = -146 + 147.5. Let y = q - r. Which is bigger: y or 3/4?
3/4
Let m = 3130/31 - 101. Let k be 0*6*(-1)/6. Which is greater: m or k?
k
Suppose -14 + 50 = 2*q. Let x be (10 + -7)*(-2)/q. Is x <= -2/3?
False
Suppose 0 = 26*d - 28*d + 136. Which is smaller: d or -1?
-1
Let v(r) = 9*r + 55. Let m be v(-10). Are m and -34 non-equal?
True
Let u be (-2 - -12)*1/(-2). Let n be 14/8 - 6/(-24). Let w be ((-4)/(-8) + n)*-2. Is u greater than w?
False
Let w be 1*((-351)/(-111) - 3). Which is smaller: w or 1?
w
Let o = 14494/13531 - -1/3866. Which is bigger: -0.1 or o?
o
Let q = -21 + 26. Suppose -2*m - 4 + 20 = -3*p, -q*m = 5*p + 10. Let u be (-3 + 7)/p - 4. Do u and -3 have different values?
True
Let f = -0.1424 - 378.8576. Is 2/3 > f?
True
Suppose -5*l - 20 = 0, 39*l = 5*w + 34*l + 705. Which is smaller: 1 or w?
w
Suppose -2*b - 271 = -5*c, 0 = -2*c - 12*b + 9*b + 97. Is c bigger than 53?
False
Let q be (-2)/5 + 3573/(-60)*-8. Do 476 and q have the same value?
True
Let k = 0.535 + -0.434. Which is smaller: k or -0.1?
-0.1
Let x(b) = b - 1. Let a be x(0). Let i = -0.1012 + -116.4988. Let j = i + 117. Which is smaller: a or j?
a
Let i be 0 - 3*4/18. Suppose -p = -2*w - 2, p + 5*w + 5 = 3*p. Suppose p*x + 7 = x. Which is greater: x or i?
x
Let f = -301 - -313. Is f less than or equal to 14?
True
Let p = 22 - 22.5. Let j = p - 5.5. Let h = 10 + j. Do 4 and h have different values?
False
Let i be 1347/(-60) - 18/(-72). Are -23 and i unequal?
True
Let q(d) = -35*d**3 - 5*d**2 + 4*d - 12. Let u be q(2). Which is bigger: -305 or u?
u
Suppose 36 = -53*a + 142. Suppose -4*d + 11 = -5. Suppose -d*k + 28 = -2*t, 3*t = a*t - 2*k - 14. Is -15 at most t?
True
Let r = -1.56 - -96.56. Let m = -115 + r. Are -1 and m unequal?
True
Let v(j) = -2 - j**3 + 2*j**3 - 10*j**2 - 6 + j. Let k be v(10). Suppose k*l + 1 = 3*l. Which is smaller: 3 or l?
l
Let l = 201 + -256. Is -54 greater than l?
True
Suppose -5*s - 43 - 17 = 0. Let y(a) = a**3 - 6*a**2 + 2*a + 3. Let b = -2 + 7. Let f be y(b). Is s <= f?
True
Let o = -24 + 77. Let x = o + -26. Let p(k) = -43*k - 403. Let s be p(-10). Is x at least as big as s?
True
Let s(f) = -f**2 + 70. Let i be s(12). Which is smaller: -72 or i?
i
Let f = -44 - -45. Is f at most 1?
True
Let g be (-8)/3*12/(-8). Suppose -17*j + g = -21*j. Is j less than or equal to 2/41?
True
Suppose -18*t + 6*t = 528. Let j be (64/t)/4*3/12. Is 0 at least j?
True
Let n = 2.556 - 2.6. Which is bigger: 1/5 or n?
1/5
Let g = 43/2 - 21. Let v(m) = m**3 + 0 - 10*m**2 + 2*m + 6*m + 0*m**2 + 10. Let p be v(9). Is p less than g?
False
Let x = 446 + -462. Are -15 and x equal?
False
Suppose 0 = 30*q - 7*q + 161. Is -3 bigger than q?
True
Let r(i) = -94*i**2 + 12*i + 10. Let y be r(-1).