er than j?
False
Let d = 25.796 + -25.776. Let q = 1.12 - -0.08. Let g = q - 6.2. Is g < d?
True
Let b(k) = -24*k - 1112. Let r be b(-8). Are r and -918 equal?
False
Let j = -21 + 24. Let w(z) = z**3 + 12*z**2 - 1. Let q be w(-12). Let y be 4 - (-4 + (q - -1)). Is j greater than y?
False
Let f(t) = 3*t - 18. Suppose -2*g + 0*g = 6. Let n be (-3 - -3)*g/(-6). Let m be f(n). Is m <= -18?
True
Suppose -33*v = -31*v - 18. Let o be v/(-10 - -7)*(-1 - -38). Is o at least as big as 2?
False
Suppose 0 = -69*l + 15*l + 810. Suppose 7*r = 9*r - 42. Suppose 3*d - r = 21. Is d != l?
True
Let c = -62.6 + -11.4. Let m = c - -73.932. Let g = m - 0.632. Is g at least -7?
True
Let o be ((-3)/12)/(6/112). Let j be (-4512)/(-252) - 2/(-21). Suppose -2*i = 28 - j. Is i <= o?
True
Suppose -x = 4*r - 3*x + 104, -2*r + 5*x = 52. Suppose 5*f - 2 - 18 = u, -2*u - 2*f = 40. Which is greater: r or u?
u
Let v = -397 + 407. Suppose 0 = -564*q + 559*q + v. Is 1 at least as big as q?
False
Let m = 18583/425 + 32/425. Let v = m - 44. Suppose 3*s = 7*s + 4. Are v and s unequal?
True
Let u = 504.5 - 490.5. Which is bigger: 0.18 or u?
u
Let b = -1685 + 136481/81. Let f be -2 + 3 + -3 + 6976/3483. Let l = b + f. Which is greater: l or 0?
0
Let k = 135863/16318 + -346/41. Are k and -1 non-equal?
True
Let r(u) = u - 13. Let p be r(-3). Let j = 33 + p. Suppose 5*o + j = -28. Which is bigger: -5 or o?
-5
Let x = 50536 - 50537. Let t = -8651 + 43017/5. Let c = 3114/65 + t. Which is smaller: x or c?
x
Suppose -109*k = -104*k - 20. Let t be (-24)/35 + k/84*6. Is -531 < t?
True
Let q(m) = -m**3 + 24*m**2 - 42*m - 14. Let k be q(22). Let r be (-8)/k*3*(-9)/(-12). Is 1 != r?
True
Let i(d) be the third derivative of d**5/60 + d**3/3 + 7*d**2. Let p be i(7). Suppose 0 = -p*y + 48*y. Is y >= -1/2?
True
Let v(w) = 101*w**2 + 42*w + 34. Let a be v(-4). Is 1482 at most as big as a?
True
Suppose 66 = 5*j - w - 16, -5*w = 5*j - 100. Suppose 16*f + 51 = j*f. Suppose 12*x + 21 + f = 0. Is -7 smaller than x?
True
Let l be 14 - 4/(-5)*65/26. Suppose -u + 3 = 0, 5*u = a - l + 23. Is 9 >= a?
True
Let r(c) = -c**2 + 158*c - 2991. Let n be r(136). Which is smaller: 2362 or n?
n
Let f(d) = -21*d - 106. Let c be f(-5). Let k = 67 + -1275/19. Which is bigger: c or k?
k
Let q(w) = w**3 - 12*w**2 - 13*w - 10. Let v = 18 - 19. Let c be 1 - (-4 - 9 - v). Let t be q(c). Which is smaller: t or 2/5?
t
Suppose -2*k - 3*k - 3*r + 112 = 0, -3*k + 68 = 2*r. Let x be -4*15/k + 48. Which is smaller: x or 44?
44
Let s = -0.118 - -0.118. Let d = 2.58 + -2.81. Is s smaller than d?
False
Let h = 25 + -9. Let f = 15 - h. Let i(y) = -y**3 + 17*y**2 + 37*y + 10. Let r be i(19). Which is greater: r or f?
f
Let y be -15 - (89 + -8)/(-9). Let j be -11*3/(3 - (12 + y)). Let t(l) = -9*l - 3. Let v be t(-2). Which is smaller: v or j?
j
Let g be ((-2 - 12) + (-25)/(-2))/((-25)/10). Suppose a - 27 = -7. Let d be (-10)/(-45) + a/(-9). Which is smaller: g or d?
d
Let k = -25137.7 + 25971. Is k <= 2?
False
Suppose 2*v + 4*c = 18, -c + 10 + 5 = 4*v. Suppose -3*u + 99 = 5*w, v*w - 37 = -0*u - u. Let p = 71 + -42. Which is smaller: u or p?
u
Let a(j) = 6*j - 2 - 4 + j - j**2. Let d be a(6). Let x(k) = -k**2 + 1192*k - 7106. Let w be x(6). Is w != d?
True
Let k be (158 - 2)/((-12)/(-11 - -17)). Do k and -9 have different values?
True
Suppose 10 = -5*d, 3*d + d + 58 = -2*m. Let a = 32 + m. Suppose -a*g + 3 - 10 = 0. Which is smaller: g or 2?
g
Let m(f) = 72*f - 21 - 26*f - 34*f. Let o be m(8). Is 76 less than o?
False
Let t = -14 - -17. Let a be 3/(-4) + t/4. Let y = -1821 + 316855/174. Which is smaller: a or y?
a
Let g = -2.2 - -2.88. Let a = 2.864 + -3.644. Let n = a + g. Which is greater: -1.8 or n?
n
Let i(r) = 110*r - 454. Let y be i(4). Which is smaller: y or 27?
y
Let k = -1265592 + 1265644. Let u = 22 - -34. Which is greater: u or k?
u
Let w = -8537 - -8971.1. Let d = w - 491. Let l = d - -57. Is -15 greater than l?
False
Suppose 2*o + 3*c + 108 = -o, -4*o + c = 129. Suppose -5*u = -0*u + 20. Is o bigger than u?
False
Let o be 36/32*20/(-435). Let i(d) = 0 + d**2 - 3 - 3*d + 0*d - 2. Let a be i(4). Which is bigger: a or o?
o
Let s = -1276.9 - -1277. Which is smaller: s or 2299?
s
Let l be -3 + (171 - -10) - (-1 - 4). Suppose -d + l = z, 4 + 2 = 3*d. Which is greater: z or 180?
z
Let o = 54/259 + -1362/4403. Do -1 and o have the same value?
False
Suppose 5*h - 112 = -4*z, -3*z - 5 + 14 = 0. Suppose 8*v - h = -12*v. Which is smaller: v or -0.18?
-0.18
Let a(t) = 30*t - 591. Let s be a(19). Which is smaller: -1/2 or s?
s
Suppose -w + 3*w = 0, -2*w = 5*p + 61 - 66. Which is smaller: 3/12160 or p?
3/12160
Suppose -856 = 2*n + 80. Let k be 543*(-4)/n + -4. Let d = k + -4/13. Are 0 and d equal?
False
Let u = -1/716110 + 27749334/51201865. Let l = -6/143 + u. Is 2/11 equal to l?
False
Let r be (-3 + 2 - -2)*(-60 + 1). Let j = r - -17. Is j smaller than -42?
False
Let x = 630 + -592. Let j = -139 + x. Which is greater: j or -307/3?
j
Let a(g) = -2*g**3 - 271*g**2 - 151*g - 2096. Let p be a(-135). Let t be 2/(-2) - 65/(-1). Is t less than p?
False
Let l be 13/(260/(-8)) + 335/(-100). Let j = -23/6 - l. Is j > -1?
True
Let m be ((-4)/(-10))/((-2)/(-20)). Let u be (10/(-6) - -3) + 8/12. Let n be u*(-4)/72 + (-1002)/(-270). Which is smaller: n or m?
n
Let t = 21814 + -21817. Which is smaller: t or 187?
t
Suppose -4*m + 3*m + 4 = 0. Let v = 21 - 17. Suppose x = m*u + 107, 2*u + 55 = v*x - 3*x. Does u = -24?
False
Suppose 4*u - 21 + 4 = 3*p, 4*p = 5*u - 21. Let x be ((-30)/15)/((-13)/11 + p). Is 1 < x?
True
Let z = 315.034 + -317.6. Let r = z + 0.366. Which is smaller: r or 5?
r
Let a(j) = -j**2 + 4*j + 12. Let n be a(-9). Let o = n + -26. Is -131 smaller than o?
False
Suppose -11*k + 16*k + 207 = 6*l, -k - 2*l = 35. Let v(i) = i**3 - 5*i**2 - 6*i - 5. Let a be v(5). Which is smaller: a or k?
k
Suppose -2*v + 6 = 2*p, 5*p = 4*v - 3*v + 27. Suppose 0 = -i + p + 1. Which is greater: i or 8?
8
Let q = 5708 - 1292. Is q less than 4415?
False
Let a = 39 - 39.68. Let c = 0.18 + a. Let y = c - 2.5. Which is greater: y or -0.08?
-0.08
Let n = -2004 - -1995.8. Let q = 1.1 + 0.1. Let h = n + q. Do 0.06 and h have different values?
True
Let q(r) = -8*r + 441. Let j be q(55). Is j != 11/152?
True
Let c(l) = 0 + 11*l - l**2 + 0*l**2 + 1. Suppose 5*g = -5*v + 60, -20*g + 17*g + 14 = v. Let s be c(v). Which is smaller: s or 5/7?
5/7
Let u = -57 - -61. Suppose u*p - 672 = -16. Suppose 5*h - 191 = -5*a + p, 0 = -5*h + 5*a + 345. Does 70 = h?
True
Let n = 216 - 222. Let m be (0 - n) + (30 - -43). Which is smaller: 76 or m?
76
Let m = 2532 - 964. Is m < 1567?
False
Suppose -75*l + 78*l = 7020. Let w = l + -7105/3. Do -27 and w have the same value?
False
Let z = -9/23 + -65/69. Suppose 445*c - 449*c + 4 = 0. Is c bigger than z?
True
Let t = 158.4 + 36.6. Let g = t + -196.03. Let w = 0.99 + g. Is 4/5 > w?
True
Let f = -732 + 746. Let q be -12 + 110/11 - 250/f. Which is bigger: q or -21?
q
Let l = 12 - 13. Let t be (-60)/8*(-12)/15*l. Let m be (-6)/10*(16/t)/4. Which is greater: 0 or m?
m
Let g = -121 - -129. Let i(f) be the third derivative of -f**5/60 + f**4/4 + 8*f**3/3 + 3*f**2. Let y be i(g). Which is smaller: 7 or y?
y
Let u = -1470 - -1023. Is u at least 1?
False
Let b = 42748 - 42714. Which is greater: 59 or b?
59
Let i = -128 - -145. Suppose -5*b - i*b = 330. Let g(n) = -9*n + 2. Let l be g(2). Which is smaller: b or l?
l
Let o = -0.0746 + -403.9254. Let k = 347 + o. Does k = -1/4?
False
Let p = 4934 + -5420. Is 0 <= p?
False
Let v = 1545 + -1014. Let l = 500 - v. Which is bigger: -32 or l?
l
Let n = 311/20 + -12187/740. Let x = n + 104/111. Let h = -18 + 19. Which is greater: h or x?
h
Suppose 32*a + 13*a - 192100 = -23*a. Is a less than 2823?
False
Let b = -801 - -800. Let w be (1/6 + b/18)*-146. Which is smaller: -15 or w?
w
Suppose 2*y - 2*i + 960 = -2*y, 2*y + 484 = -i. Let j(f) = -2*f**2 + 67*f - 613. Let d be j(7). Is y at least as big as d?
True
Let u = 27062 - 17559. Are u and 9502 equal?
False
Let n = 637 + -634. Suppose -n*c - 1794 = -3*q, 3*c = 1 - 10. Is 595 at most q?
True
Let g = 11876 + 20267. Which is smaller: g or 0?
0
Let w = -450468 - -15077614426/33471. Is w > 1?
False
Let m = -4570/91 - -358/7. Let x(q) = 4*q**2 + 79*q - 20. Let b be x