/((-1)/(-6)). Let b be ((-98)/(-21))/((-2)/i + 0). Are -19 and b equal?
False
Suppose -5*c = -4*q + 15, 0 = -2*q + 1836*c - 1840*c - 12. Suppose 3*b - a = 6, -3*a = -0*a. Let l be 0 + b/((-10)/3). Which is smaller: l or q?
l
Let t be (875/(-238))/(-25)*(0 + 132). Which is smaller: 19 or t?
19
Let j = 41 + -40.8. Which is smaller: j or 0.101?
0.101
Suppose 5*l = -8*l + 26. Suppose -g - 5 = 0, 3*g = -l*y + g - 52. Is y less than -21?
False
Suppose 2*r - r + 12 = 3*n, 0 = 5*r. Suppose -25 = -9*x + n*x. Suppose 2*o - 11 = -x. Which is smaller: o or 1?
1
Let g(a) = 12*a - 297. Let b be g(25). Is b less than 1?
False
Let f = 920 + -547. Do 374 and f have different values?
True
Let p be (0 + -1)/(6/(-30)). Suppose 4*c - p*j - 9 = 0, 8*c - 2 = 3*c - 3*j. Let y = 4600/19 - 242. Is c less than y?
False
Let s be 2026/170 + 40/(-340). Which is smaller: s or 12?
s
Let b(z) = -4*z + 14. Let j(a) = -a + 1. Let g(r) = -b(r) + 5*j(r). Let s be g(-10). Let o = 17/42 + 2/21. Are o and s nonequal?
True
Let n = -247 - -1973/8. Let t(q) = -13*q**2 - 3*q - 2. Let i be t(-1). Let m = i - -12. Which is greater: n or m?
m
Let a be ((-14)/4)/(1/(-14)). Let r = a - 154. Let k be 99/r + -2 - -3. Are k and 0 nonequal?
True
Let i(m) = m**3 + 3*m**2 + 2*m + 1. Let j be i(-2). Which is bigger: j or -8/91?
j
Let m = -789 - -15781/20. Which is smaller: m or 1.4?
m
Let l = -93 + 92. Let y be (-4)/(-10) + (-36)/15. Are y and l equal?
False
Let c(j) = 13*j + 76. Let w be c(-6). Is w less than -30/47?
True
Let o = 11 - 10.9. Let p = -214 - -214. Which is smaller: o or p?
p
Suppose -2*m - 2 = 0, 5*n - 4*m + 76 = 9*n. Let i = -17 + n. Suppose -3*w + 5*d = -2*w - 26, w + i*d + 14 = 0. Do w and 11 have different values?
True
Suppose -3*r + 93 = -0*s + 3*s, -s + 5*r = -13. Let x be 8/s + 60/(-14). Let y = -3 - x. Which is greater: y or -4/11?
y
Let k be (-40)/5 + 776/102. Which is bigger: k or -1?
k
Let b(l) = l**3 - 38*l**2 + 72*l + 1. Let c be b(36). Which is smaller: c or -0.07?
-0.07
Suppose 0 = 7015*g - 7014*g + 2. Which is greater: g or -8/5?
-8/5
Suppose -27*v = -48 - 168. Which is greater: 2 or v?
v
Let x(z) = -z**2 + z - 1. Let c be x(3). Let n = -5 - c. Which is bigger: 1 or n?
n
Let m = 35.822 - 36.8. Let w = 0.022 - m. Which is smaller: -5/7 or w?
-5/7
Let d = 3.89 + -2.79. Is d bigger than -2/43?
True
Let b = -11.5 - -11.462. Is b < 3?
True
Let c = 0.1546 - -8.7554. Let s = c + 0.09. Let y = 0.1 + -0.1. Is s bigger than y?
True
Let w be ((-1)/2)/((-15)/25). Let n be 0/((-6)/(8 - 2)). Which is smaller: n or w?
n
Suppose -39*i - 252 = -18*i. Suppose -7*j + 2*j = 5. Let o = j - 10. Do o and i have different values?
True
Suppose 10*k = 64 - 54. Is 1/244 smaller than k?
True
Let p = 393 + -1569/4. Which is bigger: -13.5 or p?
p
Suppose 3*n - 1 = f + 2, 4*f - 3*n - 15 = 0. Let y be f/36 - (-19)/30. Let j(d) = -d**3 + 5*d**2 - d + 6. Let c be j(5). Is c greater than y?
True
Let r(i) = -i**3 + 2*i**2 + 2*i. Let v(h) = -h**2 + h. Let d(p) = 7*p**2 - 2*p + 1. Let l(w) = -d(w) - 4*v(w). Let y be l(-1). Let a be r(y). Is 12 > a?
False
Suppose -7 = d + 3. Let y = -16 - d. Let q(j) = j - 9. Let f be q(4). Is y >= f?
False
Let s = 2/3 - 41/39. Which is greater: s or 0?
0
Let b = 51 + -48. Suppose -6*d + 51 = -b*d. Is 20 < d?
False
Let h be (-110)/45 - (1 - 39/27). Is -21/20 at most h?
False
Let q = 23.1 + -20.1. Suppose -5*t = -4*t + 3*g + 13, 10 = -2*t - 2*g. Which is smaller: q or t?
t
Let a = 0 - -5. Let t(h) = h**3 - 4*h**2 + 4*h - 3. Let s be t(4). Suppose -a*y - c = -8, 4*y + 6*c - s = 3*c. Which is greater: y or 3?
3
Suppose 0 = -2*z, -345 = -6*a + a - 3*z. Which is greater: a or 10?
a
Suppose 4*n = -5*c + 170, c - 4*c + 2*n = -80. Which is smaller: 1 or c?
1
Suppose 4 = -v, -159 + 41 = -2*h + 3*v. Is 54 greater than or equal to h?
True
Let b = -21422/65 + 1664/5. Is 4 >= b?
True
Suppose 5*s + 4*j - 18 = 0, -3*s + 4*j - 4 = -s. Let q be 24/16 + 1/s. Does 12/13 = q?
False
Let t be 17/9 - (-12)/(-6). Suppose -2 - 2 = 4*x. Does x = t?
False
Suppose 0 = 2*q - 5*r + 45, 0 = -3*q - 2*r - 12 - 65. Which is smaller: -24 or q?
q
Let w(d) = d**2 + d - 15. Let o be w(-5). Suppose 0 = c + 4*a - 30, o*c + 7*a = 3*a + 134. Which is bigger: c or 0.1?
c
Let m = -1015.9 + 1059. Let u = 43 - m. Which is bigger: -3.6 or u?
u
Let j = -7/996 + 1117/95948. Let d = j - -5110/19941. Which is greater: d or 1?
1
Suppose 4*t = 2*t. Let f be (t - 1)*10/(-2). Let c = 7 - 6. Is f at most c?
False
Let u be 18/(-20) - (1 - 2). Let l(v) = v**3 - 38*v**2 - 81*v + 40. Let m be l(40). Is m at least as big as u?
False
Let h = -11.4 + 11.36. Which is bigger: -13 or h?
h
Let r be 4/5*(3 - -7) - 2. Let f be ((-38)/30 + 1)/(r/9). Is 0.32 less than or equal to f?
False
Let g(t) = t + 0*t + 5 - 1. Let p be g(-3). Let k = -1097 + 1096. Which is bigger: p or k?
p
Suppose 4*v + 8 = -x + 5*x, 4*x + 3*v = 8. Let w be x/((-2)/(-3))*3. Is w < -2?
False
Let m(d) = -d**2 + 9*d + 12. Let j = -8 + 18. Let g be m(j). Let q be (g - (-2 - -4))/1. Is q bigger than -3?
True
Let v = 0.008 + -45.008. Let u = 46 + v. Is u at most as big as -10?
False
Let q = -268 + 253. Is -11 >= q?
True
Let u = 2.6 + -1.3. Let k = u + -1.4. Which is greater: -0.04 or k?
-0.04
Let t be (60/35*-1)/((-3)/21). Let i(d) = 3*d - 34. Let r be i(t). Which is smaller: r or 6/7?
6/7
Let z(o) = 4*o**2 - o - 3. Let n be z(2). Let a be 0/((-3 + n)/(-4)). Suppose a = u - m + 8, 6*u + 4*m = u - 31. Is -2 > u?
True
Let o(c) = -5*c**3 - 20*c**2 - 9*c + 1. Let r(l) = l**3 + 4*l**2 + 2*l. Let h(i) = -2*o(i) - 11*r(i). Let f be h(-2). Which is smaller: f or -1?
f
Suppose q + 3*t - 7*t = 1, 2*q - 13 = -3*t. Let p = 0 - 0. Suppose -q*s + p*s = -5. Which is bigger: s or -3/7?
s
Let b(u) = u**3 - 2*u + 1. Let k be b(2). Suppose -i + 5 - 11 = 0. Let m(j) = -j - 2. Let y be m(i). Which is smaller: y or k?
y
Let j(x) = x**2 - 4*x - 7. Let d be j(6). Let b(i) = i**3 - 7*i**2 + 8*i - 7. Let r be b(d). Let f be (22/(-99)*51)/((20/(-6))/(-5)). Is f >= r?
True
Suppose -4*k + 7 + 21 = 0. Let w = k + 5. Suppose -35 - 30 = -5*n. Is w greater than or equal to n?
False
Let w = -116608/69 + 1690. Let k be 12/(-20) + (-62)/155. Which is bigger: w or k?
w
Let i = -117057/5 - -23531. Let o = i - 120. Let b = 0 - -1. Is b greater than o?
True
Let u = -17 - -22. Suppose 2 - 17 = u*v. Let y be 1/(v/(-4) - -4). Which is smaller: 1 or y?
y
Let r = -619 - -585. Is r bigger than 17?
False
Let b = -46 - -65. Let k = -20 + b. Let t = k + 4. Which is smaller: 0.4 or t?
0.4
Let g = -1.69 - -1.18. Let y = -0.49 + g. Which is smaller: -0.5 or y?
y
Suppose -2912 = 8*b - 24*b. Is 180 at most as big as b?
True
Let h = 19 + -8. Suppose h*j - 7 = 10*j. Is j at least 5?
True
Let l(z) be the second derivative of z**4/12 + 5*z**3/6 + z**2/2 + 3*z. Let h be l(-5). Let y be (-2)/6 + h/12. Is 1 bigger than y?
True
Let c = -96 - -108. Let j = 35 - c. Is 23 >= j?
True
Suppose 0 = 88*x - 85*x + 3, -2*v - 2*x - 4 = 0. Which is greater: -2/487 or v?
-2/487
Let s(f) = -f**2 - 2*f + 4. Let g be s(1). Is 1/42 > g?
False
Let i(o) = -o**3 - 6*o**2 - 7*o - 4. Suppose 9*j + 55 = -2*j. Let m be i(j). Which is smaller: m or 5?
5
Suppose -410 = -140*z + 141*z. Is z equal to -409?
False
Let b(o) = -3*o**2 - 6*o + 8. Let i be b(2). Let z be ((-4)/i)/(21/24). Is z at most 0.5?
True
Suppose 137 = 4*b - c, -8*b + 2*c + 172 = -3*b. Suppose -o = -5*z - b, 2*o - 34 = z + 16. Let p be (-4)/o - (-2)/12. Which is bigger: 3 or p?
3
Suppose -5*f - 120 - 230 = 0. Which is smaller: f or -489/7?
f
Let k = -25 + 27. Let n = 1.9 - k. Are n and 4/15 equal?
False
Let t(i) = 2*i**2 - 30*i - 324. Let s be t(-8). Is 37 > s?
False
Let x be (21/(-56))/(9/(-48)). Suppose 4*i = -i - 40. Let j(w) = w**2 + 7*w - 6. Let z be j(i). Is x != z?
False
Suppose l - 9 = -4. Let s be (l*-1 - -1)/(-2). Let b = 0.23275 + -0.13275. Which is bigger: b or s?
s
Suppose -c = -13*k + 9*k + 6, c + 5*k = 12. Which is greater: c or -183?
c
Suppose 2334 = -0*z - 2*z - 2*r, 3*z - 5*r = -3493. Is z > -1166?
False
Suppose 13*n = -16*n + 812. Are n and 32 non-equal?
True
Let f = -16/127 + 2959/22479. Is f greater than or equal to 0?
True
Let c(g) = -g**2 - 6*g + 3. Let n be c(-6). Suppose -n*l - 2*l = 10. Let b = -0.9 - 0.1. Which is smaller: b or l?
l
Let l be ((-171251)/126)/((-1)/(