98 - 752. Is m equal to -2?
False
Suppose 4*x - 26 - 22 = 0. Let u = 1847 - 1833. Is u bigger than x?
True
Let y be 6/21 + (-72)/7. Let x be (-36)/195*(-25)/y. Which is smaller: 2 or x?
x
Let v = -974 - -973. Let o = -11.08 + 0.08. Let y = o - -7. Is y less than v?
True
Suppose -4*a + 4 = -2*p, a - 7*p + 8 = -2*p. Let b be (0 + (a - 2))/1. Does b = 1/57?
False
Let t = -135 - -80. Let i = 13 + -13.1. Which is smaller: i or t?
t
Suppose 0 = o + 6*o - 259. Let i = o + -38. Which is bigger: i or -2?
i
Let h(w) = w + 34. Let a be h(-9). Let v = -12 - -38. Which is greater: v or a?
v
Let m be (0/(-2))/((-3)/(-3)). Let r be -8 + 0/(m - 1). Let z be 1*(r/4 - -2). Is z at most 3?
True
Let i be (1/(-2))/(1/(-2)). Let o be 1 + (i/(-1) - 0). Let r be ((-2)/18)/((-20)/40). Is r less than o?
False
Let r = 693 - 724. Is r greater than or equal to -31?
True
Let n = 36.4 - 36.3. Which is bigger: n or -9/5?
n
Let y = -1091 + 46911/43. Suppose 0 = -w - 13 - 1. Let r(f) = f**2 + 11*f - 41. Let b be r(w). Which is greater: b or y?
b
Let m = -758 - -759. Which is smaller: m or 4/267?
4/267
Let r = -354 + 2502/7. Suppose -16*u = -93*u + 308 - 0. Which is smaller: u or r?
r
Suppose 5*h = 2*h. Let l(o) = 16*o + 31. Let x be l(-2). Which is greater: x or h?
h
Let x be 3 + (-1)/1 + 3. Let s(y) = 5 + 0*y + y - 5 + x*y**2. Let z be s(-1). Which is smaller: z or 3?
3
Suppose 10 = 16*q - 11*q. Suppose 3 - 9 = -5*h + q*f, -h = f - 4. Suppose -5*a - 3 = -h*a. Which is smaller: a or -3/2?
-3/2
Let x(b) = 22*b + 133. Let d be x(-6). Which is smaller: d or -3/43?
-3/43
Suppose 9*c + 0*c + 558 = 0. Let h be 8/(-32) - c/(-8). Which is bigger: h or -5?
-5
Let i = -0.51 - -0.74. Let h = i + 4.77. Let k = 0.4 + -0.3. Which is greater: k or h?
h
Let f = 460 + -465.94. Let a = f + -0.06. Let u = -1.5 - -0.5. Is u at least as big as a?
True
Let v be 0/(-1 - 3) - 4. Let n be 0/1 - (v + 14). Let x = -10 - n. Which is greater: -1/4 or x?
x
Let l(c) = -c**2 - 10*c + 17. Let r be l(-12). Let k be (-20)/r*14/4. Let x = -12 + k. Is x at least as big as -2?
True
Let y be (3/(-2))/((-1)/(-24)*-1). Is y bigger than 37?
False
Suppose 0 = -6*l + l. Suppose 3*h - h + t + 5 = l, 5*h + t + 20 = 0. Which is bigger: h or -3?
-3
Let d(m) be the first derivative of m**4/4 - 13*m**3/3 + 13*m**2/2 - 18*m + 5. Let o be d(12). Which is smaller: -34/7 or o?
o
Let g = -429 - -380. Is g less than -49?
False
Let k = -95.4 + 15.4. Let q = -80.4 - k. Which is smaller: q or 11?
q
Let k = -6/2101 + 71644/73535. Let a = 4/7 - k. Let u = 6 + -8. Is a bigger than u?
True
Suppose -5*z + 29 = 2*o + 2*o, -2 = -z + 3*o. Suppose -12 = -z*y - 2. Let w be 4 - (-2 + 5 + -2). Is w equal to y?
False
Suppose 2*o + o = -3*m + 18, m = -2*o + 11. Let c be (3 - (1 + o)) + 3. Which is bigger: -0.011 or c?
c
Let i = -4.15 - 0.45. Let t = i + 4.37. Let j be 10/(-350) + (-6)/(-14). Is t equal to j?
False
Let w(i) = i**2 + 5*i + 9. Let l be w(-4). Let n be 252/45 + 3/(-5). Is l != n?
False
Let f be 1*-4*2*1. Let w be (-6)/9*(-2 - -11). Which is smaller: w or f?
f
Let m = -2790 - -2791. Is 10/49 bigger than m?
False
Let l = -3907/2165 - -2/433. Do l and -2 have the same value?
False
Suppose -35*a + 3*a + 32 = 0. Which is smaller: a or -5/147?
-5/147
Let r be (1*-2)/(12/(-38)). Let n = 37 - 67. Let d be ((-50)/n)/((-2)/(-6)). Is r < d?
False
Let n(h) = -h**3 + 18*h**2 - 35*h - 23. Let c be n(15). Is c equal to 122?
False
Let s = 11/98 - -2477/196. Which is bigger: s or 14?
14
Let k(b) = b - 11. Let z be k(10). Let y be 130/42 - (2 - z). Suppose -6*g + 5 = -g. Which is greater: g or y?
g
Let b be (12/(-10))/(38/(-95)). Let d be (b/(-5))/(2/(-10)). Let i be (-2)/(d/((-9)/(-2))). Which is smaller: i or 0.1?
i
Let r = 7/17 + -351/68. Let z be 3 + ((-44)/(-5))/(8/20). Suppose -p - 31 = -z. Is r smaller than p?
False
Let y = 25.2 + -25. Let g be (9/(-6))/((-3)/6). Let j be g/(-2) - (-102)/12. Which is bigger: y or j?
j
Suppose -4 = 2*u, -2*q - 4*u + 53 = -21. Let w = -19 + q. Let o be (2/(-16))/((-1)/w). Is 4 at least o?
True
Let s = -134 + 74. Let t be (-164)/(-150) - s/(-45). Which is bigger: 1 or t?
1
Let c be (-2)/(-16) + 46*7/(-224). Is c at most -1?
True
Let z = -17.813 - 0.287. Let i = -0.9 + z. Let l = i - -19.1. Are l and 2/13 nonequal?
True
Let b(m) = -2*m + 5. Let c(p) = -p**2 + 5*p + 9. Let k be c(6). Let o be b(k). Which is bigger: o or -2/83?
-2/83
Suppose f - 7726641 = 87607173. Let l = f - 1427623865873/14975. Let s = l - -1/599. Which is greater: 0 or s?
0
Let h be 17 - (-1 + (1 - 4)). Suppose -3*t + h = -4*n - 21, 0 = t - 4*n - 14. Suppose -2*s = 5*m - 31, -m - 4*s + t + 3 = 0. Is m not equal to 2?
True
Let x be (-165)/(-35) - 5 - (-46)/14. Let g be (-1)/x - 65/(-351). Is -1 less than g?
True
Let h be (-2)/1 - (-5 - -2). Let y(f) = -f + 16. Let x be y(15). Is x bigger than h?
False
Let a(k) = k**3 + 23*k**2 - 29*k + 16. Let v be a(-24). Suppose 4*i + 4*i = -v. Are -18 and i nonequal?
True
Let k be 15/2*12/792. Which is smaller: k or -1?
-1
Let n = 1276/37 + -69/2. Let d = n - 141/518. Let x = -161 + 169. Which is smaller: d or x?
d
Suppose -22*k - 16 = -23*k. Is 1 > k?
False
Let p = -2.86 - 0.14. Let c = 2 + 69. Let q = c - 498/7. Which is greater: p or q?
q
Let x be (2/(-3 + 15))/(6/36). Which is bigger: 11/29 or x?
x
Suppose -4*d + 3*r = -r - 16, 5*r + 14 = 3*d. Suppose -d*k = 3*y, y = 2*y + 5*k. Is y >= 1/9?
False
Let u be 4 - 96/(-80)*(-10)/6. Is u < 14/5?
True
Let d be 15 - (-1442)/(-126) - (5 + -1). Let z = 15 + -9. Let q(u) = -u**3 + 5*u**2 + 6*u. Let m be q(z). Which is greater: m or d?
m
Let m(o) = o**3 - 26*o**2 + 26*o - 45. Let n be m(25). Which is greater: n or -7?
-7
Let p = -1246 - -2493/2. Let u = -5 + 9. Let s = u + -4.2. Does p = s?
False
Let n = 0.2 + -0.3. Let j = -0.9 + n. Let h be (-3)/(-3) - (46 + -12). Which is smaller: j or h?
h
Let z(x) = -2*x + 24. Let g be z(12). Suppose -m + 6*m + y = g, -5*m = -2*y + 15. Is -4/67 less than or equal to m?
False
Let g be 8*(0 + (-2)/(-4)). Let r(d) be the first derivative of -d**3/3 + d**2 + 9*d - 204. Let u be r(g). Is u at most 9?
True
Suppose 105 = 4*y - m, 1 = -y - 3*m + 24. Let s(h) = 2*h**3 - 2*h**2 - 1. Let v be s(2). Let l be 2 - (-2 + y/v). Are l and -0.2 nonequal?
True
Suppose 64*h = 61*h - 297. Let x be 3/(-9) + 2 + 156/h. Is x <= 0?
False
Let v be (82/82)/(0 + 2/(-40)). Is 0 greater than v?
True
Let s = -61 - -40. Let q = 4.3 - -15.7. Let h = s + q. Is h greater than or equal to 0.1?
False
Let k(d) = -d**2 + d - 1. Let s(o) = -4*o**2 + 6*o - 7. Let t(x) = -6*k(x) + s(x). Let w be t(0). Let q be ((-1)/5)/((-10)/(-25)). Is w less than or equal to q?
True
Let z = -327 + 327.2. Which is smaller: z or -35/11?
-35/11
Let g be (-17 - -18)/(2 + -15). Which is bigger: 0 or g?
0
Let q = -1.86 - 0.04. Let w = -2 - q. Let x = -474 - -488. Which is smaller: x or w?
w
Let z = -153 + 108. Let j be (-6)/21*(-35)/z. Do j and 0.11 have different values?
True
Let d(f) = f**3 + 3*f**2 + f - 1. Let m(g) = -g**3 + 4*g**2 + 12*g - 3. Let l be m(6). Let p be d(l). Which is greater: p or -3?
-3
Let a = -2 + 4. Suppose -3*n + 3*y = -33, -a*y + 5*y = -12. Let g = 6 - n. Which is bigger: 8 or g?
8
Let y = 518 - 6740/13. Which is smaller: y or -2/51?
y
Let y = 5 - 1. Let i = y - 2. Let g be (i/12)/(3/(-12)). Which is smaller: 0 or g?
g
Let k be 5066/(-26) + (-24)/156. Let i = k + 10919/56. Which is greater: -1 or i?
i
Let j = -6 - -12. Let r = j - 7. Which is smaller: r or 11/3?
r
Let j(g) = g**3 - 3*g**2 + g - 3. Let s be j(3). Suppose 2*o - 2 = -s*o. Let p = -8233/8 + 1030. Is p greater than o?
False
Let f be (-14)/(-6) + (-4)/12. Suppose 3*c + 8 = f. Which is smaller: -8/5 or c?
c
Suppose 50*m - 49*m = 3. Is -10 at least m?
False
Let n be (2/(-15))/(19/3). Let k = n + -932/855. Suppose -251 + 99 = 76*q. Are k and q non-equal?
True
Suppose 5*v - 79 + 9 = 0. Let q(r) = -r + 50. Let n be q(38). Let h = v - n. Are 1 and h nonequal?
True
Let u = 9 - 7.8. Let j = u + -0.2. Let f be (-4 - -17) + ((-63)/3)/3. Is j at most f?
True
Let p(b) = 2 + 3 - b - 8 - 3. Let k be p(-5). Do -3/40 and k have the same value?
False
Suppose 5*k - 79 = -3*v, -k + 4*v - 9*v = -7. Is -0.7 >= k?
False
Let u = -7 - 3. Let h = 0.038 + 21.962. Let i = h - 22.1. Is u less than i?
True
Let d = 7.48 - 8. Let g = 