t y(r) = -5*r**2 - 3*r - 2. Suppose j - 8 + 9 = 0. Let h be y(j). Does b = h?
True
Let l be (2 - 1)*(0 - -1 - 4). Let t be (-2)/l*-3 + 2. Suppose 0 = u + 3 - 1. Which is smaller: u or t?
u
Suppose 53*u - 2331 + 52 = 0. Is u bigger than 24?
True
Let u = 745/1287 + -4/99. Is -1 < u?
True
Let s be ((-176)/(-4))/((-6)/12). Let i = s - -90. Is 3/4 at least i?
False
Let s be 1/(-2)*1*(-7 - -11). Let q(h) = -h**2 + 4. Let c be q(s). Are c and 8/11 equal?
False
Suppose 2*o + 14 = 4*j + 4*o, 0 = -j - o + 6. Let b = -0.549 - 0.451. Does b = j?
False
Let q(g) = -g**2 + 66*g - 892. Let v be q(47). Let r = -28049/5 - -5629. Let l = r - 89/5. Which is bigger: v or l?
l
Suppose -8*i + 41 = 5*q - 11*i, 4*q - 36 = 4*i. Let o = 4 + -1. Let t = o - 2. Are q and t unequal?
True
Let g = 27 + -38. Suppose 5 = -c - 4. Is c less than or equal to g?
False
Let t = -712 + 300. Which is greater: t or -410?
-410
Suppose 2*m = 12 - 8. Let b be m/((-15)/(-6) - 2). Let q be 13/4 + (-1)/b. Which is smaller: -4 or q?
-4
Let x be 24/(-12)*(8 + 1). Let v be 5/3 + 1848/x. Is -101 less than v?
False
Let n(y) = y**3 + 4*y**2 - 3*y - 6. Let q be n(-4). Let r(s) = -s**2 + 4*s - 1. Let d be r(1). Suppose -42 = -d*j - 4*j. Which is bigger: j or q?
j
Let m(k) = -k**2 - 3*k - 4. Let n be m(-7). Let l = n - -26. Is -6 less than or equal to l?
True
Let l = -2652 + 63635/24. Which is greater: l or 0?
0
Let h = 826 - 252755/306. Which is smaller: 1 or h?
h
Let y(p) = p**3 - 4*p**2 + 5. Let b be y(3). Let j be (1*b/4)/(-1). Let n = 133/10 - 68/5. Which is smaller: n or j?
n
Let b = 0.421 - 91.421. Which is greater: 2 or b?
2
Suppose -5*i - 2 = m - 2*m, -3*m + 6 = i. Suppose -3*k = k. Let o be 1 + 8/(-14) + k. Which is smaller: i or o?
i
Let x = 0.2 + -0.4. Let i = 1805.2 + -1805. Is i > x?
True
Let w be 5*(-8)/(-100)*-5. Let t be (-15)/45*(-3 - w). Is t at least -21?
True
Let o = 539 - -68. Let l = 12137/20 - o. Which is greater: 1 or l?
1
Let q = 3.671 + -0.071. Let m = q - 3.4. Which is greater: m or 3/10?
3/10
Let y be 36*-3*169/78. Do y and -232 have the same value?
False
Let p be (-6)/10*(-380)/15. Let u = -373/15 + p. Is -11 > u?
False
Let z be (20/2 - (-24)/(-3))*2. Which is greater: 8 or z?
8
Let a be (3/162)/((-1)/4). Let y(h) be the first derivative of -h**2/2 - h - 1. Let n be y(-2). Which is smaller: n or a?
a
Let o = 166/3 + -54. Let k(q) = q**2 - 21*q - 231. Let m be k(29). Is o > m?
True
Let j = -26 + 39. Suppose -3*h + 0*r - 9 = 4*r, -2*r = -h - j. Let n(a) = 2*a + 1. Let w be n(-4). Is w at most as big as h?
True
Let j = -55.4 - -55. Which is smaller: 1/5 or j?
j
Suppose 2*x = 0, -5*o + x - 305 = 4*x. Let c = o - -54. Which is bigger: c or -6?
-6
Suppose 0 = 3*r + l + 22, -4*r + 3*l - 12 = 13. Let c(k) = k + 2. Let j be c(0). Let q = r + j. Which is smaller: q or -6?
-6
Suppose 2*y - 4*t = 560, 3*y + 9*t - 8*t - 819 = 0. Which is smaller: y or 276?
y
Suppose -3*r + 7*r - s - 264 = 0, 2*s = 0. Which is smaller: 67 or r?
r
Let k = -0.3 - -0.2. Let y be 441/(-205) + (-143)/(-65). Is k less than y?
True
Suppose -w - 2*z + 7 + 13 = 0, 2*z + 40 = 5*w. Suppose u - w*u - 81 = 0. Which is greater: -8 or u?
-8
Let s be 6/8*(-4)/6. Let r = s - 0. Let n = -11419 - -11418. Which is bigger: n or r?
r
Let s = 651 + -9113/14. Let l be (-2)/(-9) - 21/(-27). Let q be 0 - (-2 + 1)*l. Is s at most q?
True
Let h be (-2 - -3)*-1*291/(-3). Let v = 103 - h. Is 1 at most v?
True
Suppose -76*i + 70*i + 240 = 0. Is i bigger than 38?
True
Let w = -125078/23 - -5437. Is w smaller than -1?
True
Let y = 0.0325 + 91.9675. Is -1 <= y?
True
Let d be (-4 - (-8)/(-20)) + -4 + -2. Which is smaller: -11 or d?
-11
Let t = -154.692 - 0.308. Let a = t + 165.3. Let j = 11 - a. Are -1 and j equal?
False
Suppose -3*l - 36 = -0*l. Suppose -4*z + 75 = -9*z. Let p be (-2)/z*(-11 - l). Which is smaller: p or -0.3?
-0.3
Suppose -5*a + a + 108 = 0. Let p(l) = 15*l - 243. Let u be p(18). Are a and u nonequal?
False
Let u(r) = 8*r - 80. Let v be u(10). Which is greater: 8/45 or v?
8/45
Suppose -3*i + 3 = -4*g, i = 3*g - 4 + 5. Suppose -5*j = -y + 12, 2*y - j + 2 + 1 = g. Which is smaller: -9/4 or y?
y
Let y be -1*(-560 + -12 + 3). Which is smaller: 570 or y?
y
Let m = -666 - -371. Is m equal to -587/2?
False
Let p(f) = -f**2 - 20*f + 6. Let k be p(-19). Suppose -23 = -3*m + k. Let x be ((-48)/(-10))/(9/30). Is x bigger than m?
False
Let m = -90 + 91. Let q = -0.578 + -0.112. Which is greater: m or q?
m
Let i = 124.2 + -4.2. Let r = 121 - i. Is -45 greater than or equal to r?
False
Suppose -17 + 5 = -4*p. Let j be (p/(-7))/(12*5/40). Is -2/7 smaller than j?
False
Suppose -4*q - q = -10. Suppose -12 = -0*f + q*f. Let p(w) = w + 3. Let r be p(f). Is -3 greater than r?
False
Let w = -0.13 - -60.13. Let z = -60 + w. Do z and 11 have different values?
True
Let w = 20 - 9. Suppose 5*f - w*f = 108. Are -17 and f nonequal?
True
Let s = 24 + -8. Suppose 0*z - z = 4*q + s, -5*q - 17 = 2*z. Suppose 0 = -4*l - z - 0. Which is bigger: l or 1/4?
1/4
Let p = -131 - -201. Let u = p - 25. Which is greater: u or 46?
46
Let d = 12.85 + -13. Let a = d + 0.05. Let k = 9 + -9.1. Is a less than k?
False
Let b = 22 + -32. Suppose m = -2*c - m + 30, 18 = c + 2*m. Let a be (-2)/b*30/c. Which is greater: a or 0.1?
a
Let l be (0/1 - -7)/(7/7). Which is bigger: 31/4 or l?
31/4
Let w be 19/3 - (-60)/(-180). Which is smaller: w or 7?
w
Let y = 57530/17 + -3382. Which is bigger: y or 1?
y
Let p(j) = 4*j**2 - 2*j + 1. Let y be p(-2). Suppose 2*t - 26 = 2*q, 2*t - t = 5*q + y. Which is smaller: t or 12?
t
Suppose d + 6*f + 245 = 3*f, 2*d = -2*f - 474. Is -233 bigger than d?
False
Suppose -5*r + 22 - 4 = 2*a, -r - 4*a + 18 = 0. Which is bigger: r or 9/5?
r
Let j = 0.344 - 29.744. Let h = 0.6 - j. Let n = h + -33. Which is smaller: 2/3 or n?
n
Suppose 2*o + 5*q - 119 = -0*q, 0 = 2*o - 4*q - 92. Suppose -o*y = -57*y - 15. Are y and -1 nonequal?
True
Let y = -0.18 - 5.42. Let n = y - -3.6. Which is greater: n or 15?
15
Suppose 5*h + 2*m - 10 = m, 3*h = -5*m - 16. Let t be h + (-3)/(1212/1220). Is t at most 0?
True
Let d be 5/(-10)*((0 - 0) + -28). Suppose m + s - 13 = 0, -15 - 10 = -5*m + 3*s. Let v be d/m + (-5)/(-20). Is 1 at least as big as v?
False
Suppose -36*i - 2835 = -27*i. Which is smaller: i or -316?
-316
Let h be (4/(-6))/((-7)/(-3) - 2). Let v = 2 + 6. Is h > v?
False
Suppose -25 = 4*i - 5*f, i + 16*f - 11*f = 25. Which is smaller: i or 2/71?
i
Let j be 39/9 - -5 - -6. Which is smaller: 15 or j?
15
Let u be ((-3 - 0) + 17)/2. Let g = u - 4. Let m be ((-9)/(-78))/(15/(-20)). Which is smaller: g or m?
m
Suppose 622 + 108 = 5*j. Suppose -v = 3*y - 2*y - 47, -j = -3*y - 4*v. Are y and 42 equal?
True
Let f = -191/133 - -11/19. Is f at least as big as -3.2?
True
Let q = 24445 + -31265161/1279. Let x = 1487459/3837 - q. Let r = -397 + x. Which is smaller: -8 or r?
r
Let u(d) = -138*d - 390. Let q be u(-3). Suppose 0 = 2*l - 21 - 29. Which is smaller: q or l?
q
Suppose -18*r - 1798 = 7562. Which is bigger: r or -518?
-518
Let j = -30 + 20. Let r(a) = -13 + 9*a**2 - 9*a**3 + 10*a**3 + 4. Let g be r(-9). Which is smaller: g or j?
j
Suppose -168*a - 1248 = -184*a. Is a bigger than 69?
True
Let s(h) = 6*h - 35. Suppose 27 = 2*w + w - 2*x, 4*w - x = 31. Let r be s(w). Which is smaller: r or 6?
6
Let l(i) = 2*i**2 + 19*i + 8. Let q be l(-9). Is -2/1213 at least as big as q?
True
Let g = 26.64 + -26.6. Which is bigger: -4/3 or g?
g
Let u(r) = 2*r + 23. Let o be u(-10). Let b(x) = x**3 - 7*x**2 + 6*x + 5. Let h be b(6). Suppose h*f - o*f = 34. Do f and 18 have different values?
True
Let m(r) = -9*r + 640. Let b be m(71). Is b at least 2/499?
True
Let y(u) = -u**2 + 6*u + 2. Suppose 3 = v - 3*z, -v - 5*z = 7 - 18. Let o be y(v). Let d be 1/o*(-8)/14. Which is smaller: d or 1?
d
Let p be (-2943)/54*(8*3)/(-4). Is 324 less than p?
True
Let c = -9 - 4. Let u = 12 + c. Which is bigger: -0.9 or u?
-0.9
Let p be (1 - (2 + -2))/(5/2). Let r = -1.5 + 0.7. Is r greater than p?
False
Let g(m) = 2*m**2 + 13*m - 8. Let z(c) = -c**2 - 7*c + 4. Let h(t) = 6*g(t) + 11*z(t). Let s be h(2). Let p be (-2)/(2 - 0 - 4). Which is smaller: p or s?
p
Let d be -3 + (-3 + 5)*-40. Let w = 1410/17 + d. Which is greater: 1 or w?
1
Let j = 183 + -84. Let z = j + -497/5. Let q(c) = -c + 2. Let 