36 - 4 = 0. Suppose -5*f = -20, 0 = -3*d - 0*d + 4*f + 74. Suppose -5*c + d = -10. Are g and c nonequal?
True
Let l = -20/9 - -11069/4977. Do l and -1 have the same value?
False
Suppose 136*n - 66*n - 24004 = 74*n. Is -6001 not equal to n?
False
Let h = 6305.2 - 6310. Is h greater than -29/2?
True
Let d be -9*4/24*-2. Let q be (2 - -3)*3*d/9. Which is greater: q or 2/7?
q
Let d(y) = -2*y**3 + 6*y + 1. Let k(m) = -m**2 + m + 1. Let g(u) = -d(u) - k(u). Let q be g(-2). Let n be (6/(-15))/((-10)/(-1)). Which is greater: q or n?
q
Suppose 56*y = 73*y - 1377. Suppose 62*v - y*v = -19. Is 393 less than v?
False
Suppose -101*w + 98*w = 2*d - 106, -16 = 4*d. Suppose -4*h + 8 = -4*j - j, 0 = -3*h + 6. Let g(q) = -q**3 + q**2 + 38. Let x be g(j). Is w smaller than x?
False
Let o be (-2)/12 + (-1796)/168 + 11. Let g(m) = -10*m + 8. Let k be g(10). Let r = k - -365/4. Is o at least as big as r?
True
Let t = 156650 - 6735610/43. Which is smaller: 7 or t?
7
Let x(b) = -b**2 + 132*b - 4304. Let c be x(58). Is -253/21 greater than or equal to c?
False
Let s be ((-4875)/(-175))/39 + (-17180)/42. Which is bigger: s or -409?
s
Let f = 390 + -370. Let m be f/(-15)*((-26)/(-32) + -1). Which is greater: m or 62?
62
Let t = 110.2 - 51.4. Let a = 64 - t. Let f = -0.8 - a. Do -0.3 and f have the same value?
False
Let x(u) = 5*u**3 - u**2 - u + 1. Let p be x(1). Let t be -1 + p + 7 + -4. Suppose 103 + 95 = 33*g. Is g bigger than t?
False
Let g(j) = -22*j + 51. Let y be g(-16). Suppose y*c - 160 = 401*c. Is 82 at least c?
True
Let f be (-7 - -5 - -6)/(1/(-17)). Which is smaller: -67 or f?
f
Let b = -554/25 + 28054/1275. Is b at most -2/9?
False
Let t = 3603 - 3865. Which is greater: -259 or t?
-259
Let g be (-676)/(-62) + (-35 - -24). Is 3 greater than g?
True
Suppose -14112 = -666*a + 617*a. Which is smaller: 283 or a?
283
Let v be (-2)/(((-120)/(-18) - 6)*-3). Suppose 28 = -4*o + 44. Which is bigger: v or o?
o
Let j = 822.667584 + 0.102416. Let y = -821 + j. Which is bigger: y or 2?
2
Let m = -4 + 6. Let f = -192362/1113 - 229/1113. Let k = 173 + f. Does m = k?
False
Let x = -29 + 9. Let d be (1/2)/(1/10). Suppose d*g + 58 = -37. Which is greater: x or g?
g
Let j = 2047/3 - 692. Let g = j + 9. Let p = -33470 - -33440. Is p greater than g?
False
Let i = -107 - -106.5. Is -5/61 at least as big as i?
True
Let z be (1 - 226) + -14 + 10 + 12. Is -218 >= z?
False
Let c = -51 + 44. Let d = -242 - -231. Which is bigger: c or d?
c
Let l = -0.3238 - 0.0372. Let y = l - -34.061. Do 1/2 and y have different values?
True
Let d = -593.723 - -2.723. Is -1 less than or equal to d?
False
Let b = 401 + 83. Let g = 488 - b. Is g less than or equal to 12?
True
Suppose -4*q = -11*q + 105. Let v(b) = -b. Let m be v(q). Let d be (37/m - -4) + -1. Do d and 0 have the same value?
False
Let u(x) = 2*x**3 + 2*x**2 + 2*x + 3. Let o be u(-3). Suppose 18*v - 289 = 449. Let i = o + v. Is i at least as big as 2?
True
Let c(y) = -y**2 - 7*y + 3. Let d be c(-7). Let x = d - 4. Let m(k) = -89*k + 977. Let i be m(11). Which is smaller: i or x?
i
Let g = -1174/3 + 395. Let j = g + -41/12. Is 120 greater than j?
True
Let j = -10671 - -106419/10. Is -28 at least as big as j?
True
Suppose -10*v - 300 - 210 = 0. Let t = v - -117. Is t > 64?
True
Suppose 9*l - 41 - 41 = 7*l. Is l <= 44?
True
Let j be 346/(-115) - 0 - -3. Let d = j + -9081/460. Let y be ((-43)/86)/(1/38). Which is smaller: d or y?
d
Let i = -0.28034 + 1914.28034. Is i smaller than -2/7?
False
Let r be 23154/(-17595) - ((-69)/(-9) - 9). Let h be (-5)/(-7) - (-2)/7. Let z = h + -1. Which is smaller: r or z?
z
Let m(y) = 4*y**2 - 16*y - 16. Let g(f) = 7*f**2 - 33*f - 32. Let t(p) = -3*g(p) + 5*m(p). Let l be t(19). Is 2 != l?
True
Let a = -7005.18 + 7005. Which is bigger: a or 13/20?
13/20
Suppose 0 = -119*l + 109*l - 1720. Let y be 1058/28 - l/(-602). Is -2 < y?
True
Let d = -11009 + 11847. Which is smaller: 839 or d?
d
Let c = 0.6 - 0.55. Let s = -41.05 + c. Let u = s + 41.2. Is u < 2?
True
Let f = 125 + -615. Let w = 489.3 + f. Is w smaller than -2/7?
True
Let s be 3 - (8/(-12)*-195 - 2). Let b be s/(-500) + 1 + (-26)/8. Which is greater: b or -12/5?
b
Let p = -25/149 - -973/4023. Do 10 and p have the same value?
False
Let f(s) = 114*s**2 - s + 2. Let i be f(1). Let w = -118 + i. Let q be (76/(-28) - w) + (-425)/(-7). Is 62 greater than q?
True
Let v(k) = -k**3 + 11*k**2 + 13*k - 10. Let q be v(12). Suppose 3 = q*l + 5*y - 2*y, 0 = 4*y - 12. Which is smaller: -5 or l?
-5
Let f = -36032/7 - -155478038/30205. Is f equal to -1?
False
Suppose 4*b = 20 - 52. Let d be (b/(-12))/((-8)/84). Let h be (-24)/(-10) + (-6)/15. Which is bigger: h or d?
h
Suppose -13*w + 46*w - 441 = 1539. Is 44 bigger than w?
False
Suppose -9*b = 5 - 10 + 14. Are b and 1/153 unequal?
True
Let t be 18/(-12)*1980/22. Is t at most -122?
True
Let x be 3/4 + (-25)/(-4). Suppose -x = w - 10. Suppose 12 = 2*a + 8. Which is bigger: a or w?
w
Let p = -0.1 + -1.3. Let d = 1.4 + p. Let q = 0.01 - 0.61. Is d at most as big as q?
False
Let h be 155/(-10) - (-2)/(-4). Let a be 4/h*2*(-40)/4. Let i be 2*(-3 - a/(-2)). Which is bigger: -2/59 or i?
-2/59
Let c = -18260/3 + 6185. Is c equal to 99?
False
Let d(v) = v**3 + 10*v**2 - 4*v - 39. Let b be d(-10). Which is smaller: 64/173 or b?
64/173
Let r(a) = a**3 + 20*a**2 + 36*a + 15. Let w be r(-18). Suppose -w = 3*i + 5*m, -m - 2 = 2*i + 1. Let l = 30 + -50. Are i and l equal?
False
Let k = 175.798 + 0.202. Let d = k - 188. Which is bigger: d or 0.3?
0.3
Let i(t) = t**2 + 19*t - 72. Let u be i(-23). Let k be 8/u + 0 - (-2)/(-10). Let c = -115 + 1726/15. Do k and c have different values?
True
Let q be (4/(-2))/((-37)/(-444)). Let u be 3/9*q/40. Let c be (1/(-2))/((-33)/12). Is u less than c?
True
Let b be ((-2)/3)/((-2165)/15). Let o be (2 - 1)*0/(-9 - -4). Which is smaller: b or o?
o
Let t be (-8 + 6)*4/(-2). Let r be ((-6)/t)/(5/(-10)). Suppose -x = 3*v - 4, x + 1 = -2*v + r. Is 9 less than x?
False
Let t be (-96)/(-720) - 94/30. Let s be ((-1)/t)/(84/18 - 5). Is 1/312 at least as big as s?
True
Suppose -27*o + 12540 = 3846. Let v = 320 - o. Let f = -19443/17 + 1143. Which is greater: v or f?
f
Let d = -2261 + 2274. Is 53 at least d?
True
Let r = 1182.3 - 912.3. Is r not equal to -0.2?
True
Let d(y) = -y + 24. Let m be d(-2). Suppose -m*g - 1994 = 112. Is g <= -80?
True
Suppose -245 = b - c, -7*b + 2*b + 2*c - 1216 = 0. Let q(x) = 23*x**3 - 4*x**2 + x + 2. Let w be q(2). Let r = w + b. Which is greater: -69 or r?
-69
Suppose -3*x - 5*p = -34, -21 = x - 3*x - 3*p. Suppose -c - 9 = -x. Let r(o) = -o**3 - 7*o**2 - 8*o - 11. Let a be r(c). Do a and 1 have the same value?
True
Let c be ((-2)/4 - 0) + 5320/(-389340). Let g = c - -14/27. Which is smaller: g or -1?
-1
Let m(v) = v**3 + 4*v**2 + v - 4. Let x be m(-3). Suppose 14*i = x*i + 24. Let p be (i - 141/(-40)) + (-2)/5. Is p at least as big as 5?
True
Let s = -6 - -8. Suppose 0 = 2*r + s*m + 3*m - 25, 5*m = -3*r + 25. Which is greater: r or 18/29?
18/29
Let b(s) = -s + 6. Let f be b(4). Suppose 4*n + 5 = v - f, -n = 3*v + 5. Let p be -1 + (v - -1) + 0. Which is smaller: -2/73 or p?
p
Let m = 7.8 + -91.8. Let r = m - -83.96. Let g = r - -0.14. Is 25 less than or equal to g?
False
Let f(b) be the second derivative of b**4/12 + 3*b**3/2 + 4*b**2 - 6*b + 9. Let w be f(-16). Is w smaller than 123?
True
Let i be ((-716)/56 + 6)/(1/(-2)). Let k = i + -13. Let x = 0.9 - 1. Which is bigger: k or x?
k
Let x = 10.75283 + 0.06717. Which is bigger: -1/4 or x?
x
Let l(f) = -f + 9. Let a be l(-17). Let w = 27 + 0. Which is smaller: w or a?
a
Suppose -9*y = 4*z - 5*y + 16, -3*z - 2*y = 11. Let k be (-4)/22 + (6828/1254 - 7). Which is bigger: k or z?
k
Let k = 3975 - 4058. Is -661/8 at most k?
False
Let c(x) = 24*x + 14. Let u be c(6). Let g = -106 + u. Suppose 17 - g = -5*a. Which is smaller: a or 5?
5
Let r = 18476 + -18459. Do r and 0.0513 have the same value?
False
Let k(j) = 17*j + 69. Let x(t) = -15*t - 67. Let o(w) = 5*k(w) + 4*x(w). Let i be o(7). Which is smaller: 251 or i?
251
Let p = -28.155 + 27.9. Let w = -0.155 - p. Which is bigger: -4 or w?
w
Let h be (-1)/(2/(-7)) + -2. Let m = -1690.5 - -1687.5. Which is greater: h or m?
h
Let m = -1.3 - 58.7. Let f = m - -79.4. Let a = -19 + f. Is a les