 m = -2*j + 4*b + 16. Is j < 9?
True
Let j be -18 + 19 + 152/(-2). Let u = -68 - j. Do u and 7 have the same value?
True
Let d = -744 - -705. Is d != -41?
True
Let f be 69/(-46)*2/(-6)*-2. Let b(z) = 25*z + 2. Let s be b(f). Does s = -22?
False
Let k = -4 + 7. Suppose 3*v = 3*j - 12, -v - 2*j + k + 8 = 0. Suppose -m = -4*h - 6*m - 17, m = -2*h - v. Which is bigger: 3 or h?
3
Let w be 823404/(-3472)*5/(-3). Let q = w - 1581/4. Let t = q - -1513/651. Which is smaller: t or 2?
2
Let h = 596 + -521. Is h >= 75?
True
Let y = -53 - -317/6. Let l = 10 - 21. Let t = l - -10. Is y less than t?
False
Let j = -1010/23 + 28002/667. Is j > -3?
True
Let g = 16/15 - 959/885. Which is smaller: 1 or g?
g
Let c(f) = -9*f**2 + 5*f + 13. Let o(l) = -15*l + 13. Let p be o(1). Let b be c(p). Is b greater than or equal to -33?
True
Let j be 6/(-21) + 19/(-7). Let p(n) = n**3 + n**2 + n - 2. Let o be p(0). Let r = o - j. Is -1/4 smaller than r?
True
Suppose -z = 4*z + 3*k + 15, 0 = 3*z - 5*k + 43. Let m = -11 - z. Which is greater: -8 or m?
m
Suppose 2*n - 2*y + 246 = 4*n, 4*y = 4*n - 500. Which is smaller: n or 125?
n
Suppose -3*l = -4*g - 3, l + 4*g = -0*l + 1. Which is greater: 2/65 or l?
l
Suppose -2*f - 2*r + 239 = -91, 2*f - 330 = -r. Do 167 and f have the same value?
False
Let t be ((-10)/35)/((-1)/329). Is t at least as big as 94?
True
Let s = -11.821 + 0.021. Let p = s + -0.2. Let g = p - -12.1. Which is greater: g or 3?
3
Let y = 1508 - 2118. Which is smaller: y or -608?
y
Let y be 1 + 1 + (-7 - -10). Suppose -5*o + y = 3*v, -3*o - 4*v + 1 = -2*o. Which is smaller: o or 2?
o
Let w be (9/27 + (-2)/9)/(-1). Which is smaller: -1 or w?
-1
Let p be (4060/105)/(6/(-9)). Which is smaller: p or -57?
p
Let w(z) = -z**2 + 28*z + 29. Let l be w(29). Does l = 10/23?
False
Let v(d) = d**2 + 7*d - 7. Let b be v(-7). Let s be (-12 + 16)/((-2)/(-5)). Let h = 4 - s. Which is bigger: b or h?
h
Let n = 455/3 + -59147/390. Which is greater: 1 or n?
1
Let g = 86911 - 51567. Let v = g - 177406/5. Let t = 138 + v. Is 1 at most t?
False
Suppose 5*q + 10 = 3*x, -3*x = -16 + 1. Let w be 20*1*(3 - q)/44. Which is greater: 0 or w?
w
Let f(n) = n**3 - 6*n**2 + 5*n - 2. Let s be f(3). Let c be (18 + s)/(2/132). Let l be 4/(-14) - c/(-1120). Are 1 and l nonequal?
True
Let v = 0 - -0.1. Let q be (-27)/6*2/(-3). Let r be q*(-4)/(-12)*4. Is r >= v?
True
Let x = 23 + -23.06. Let h = -10 - -12. Which is bigger: h or x?
h
Let p = 0.9 + -1. Let m = -17 + -17. Let t = m - -36. Is t less than or equal to p?
False
Let d be (2 + 7)/((-6 - -6) + 1). Is d bigger than 2?
True
Let n(i) = -3*i**2 - 2*i + 7. Let f be n(5). Let p = f + 77. Is -9/4 greater than or equal to p?
False
Let d = -1101/56 - -155/8. Is -7 smaller than d?
True
Let y be -2*(-1)/(-9) - 3420/(-81). Let n be (y/10)/(-7) - 2/5. Which is greater: -3/17 or n?
-3/17
Let w be ((-1)/2 + 1)/((-155)/10). Let u = -9 + 10. Which is smaller: w or u?
w
Suppose 4*u - 3*u - 2 = 0. Suppose -r - r + u = 0. Is r less than or equal to -2?
False
Let f = -0.1 - -2.1. Let u = f - 1.8. Let c = 176/285 + -13/19. Is u at most as big as c?
False
Let q(f) = 6*f + 124. Let y be q(-21). Which is smaller: y or -3/2?
y
Let y = 1/1273 + -78933/8911. Do -9 and y have the same value?
False
Let q(y) = -12*y**2 - 8*y + 14. Let z(o) = 2*o - 27. Let v be z(15). Let n be q(v). Is n at most -117?
True
Let n = 0.966 - -0.074. Which is smaller: -2 or n?
-2
Let f = -51 + 51.1. Let n = 15.24 - 15. Is f at least as big as n?
False
Suppose 3*m - 12 = 0, k - 1 = -0*k + m. Suppose -k = 2*w + 3*w. Suppose -j + 6*j + 3*p = 2, p - 4 = -5*j. Is w >= j?
False
Let f = 0.117 + -0.217. Which is greater: f or -80?
f
Let u be (-3)/4*2/143. Which is greater: 1 or u?
1
Let a be 37 - -7*5/5. Is a != 45?
True
Suppose 177 + 372 = 4*a - 5*l, -682 = -5*a + 2*l. Suppose 8 = 4*b, 3*b = 4*q + q + a. Let h be q/(-3) - 2/(-6). Is 0.1 at least h?
False
Let v be 12/54 + (-104)/(-18). Let g be -2*(-9 - (2 - 1)). Suppose -g + v = -2*j - 2*s, 0 = -j + s - 3. Which is greater: 1 or j?
j
Suppose 4*m = 2*m - 2, 2*m = v + 525. Let i = v - -5803/11. Suppose 5*f + n - 7 = 2*f, -3*n - 7 = -5*f. Is f at most i?
False
Let k = -496/165 + 26/15. Is k bigger than -11?
True
Let s be -10 - (4 - -2 - 11). Which is greater: s or -23?
s
Suppose 3*s - s = d - 8, -3*d - 3*s - 3 = 0. Let r(k) = -4*k - 11. Let z be r(-6). Suppose d*v - z = -17. Which is smaller: -1 or v?
v
Let r be (5 - 10)*2/5 - -8. Let u be 8/12 + 2/r + -1. Let x(n) = n**2 + 6*n + 1. Let m be x(-6). Are m and u unequal?
True
Let x(j) = j**3 + 12*j**2 + 2*j - 5. Let s = 7 - 19. Let h be x(s). Let y = h - -24. Which is smaller: -3 or y?
y
Let n(x) = -29*x**2 + 174*x + 1. Let y be n(6). Is 30/19 smaller than y?
False
Let n = -33 + 32. Which is smaller: n or -11?
-11
Let b be (26/(-24))/((-738)/976). Let z = -40/27 + b. Let o(r) = -3*r**3 + 25*r**2 + 20*r - 17. Let q be o(9). Is q less than z?
False
Let g = 21 - -24. Let v = g - 47. Let z = -7.11 + 0.11. Which is bigger: v or z?
v
Let o be 13/((-234)/24)*18/(-8). Suppose 6 = -o*x - 2*x - 2*v, 0 = 4*x + 5*v + 15. Is -4/11 at most x?
True
Suppose -2*k - 2*k = -8. Suppose 0 = 3*v + 3, -2*o - 3*v = k*v + 13. Let n = 8 + o. Is 3 greater than n?
False
Let h(q) be the first derivative of -q**4/4 - q**3/3 - 3*q**2/2 - 2*q - 4. Let g be h(-3). Which is smaller: g or 26?
g
Let y(q) = -q**3 + 8*q - 4. Let c be y(4). Let v = c + 37. Let p = 346 - 3463/10. Is p > v?
False
Let y(u) = -u**2 + 12*u + 16. Let c be y(13). Let w be -8 + c/(3/4). Is w < -7/2?
True
Suppose -46*f + 150 - 426 = 0. Let o = 2311/5 - 460. Which is smaller: f or o?
f
Suppose h + 13 = -94. Let v = h + 95. Is v >= 2?
False
Let y = 1.88 - 2.17. Which is greater: y or 0.05?
0.05
Let r(c) = c**3 + 26*c**2 - 62*c - 43. Let k be r(-28). Is 127 < k?
False
Let h(u) = -22*u**3 + 2*u + 1. Let t be h(-1). Suppose -2*s - a = a + 2, s + t = -5*a. Suppose 14 = -2*w - s. Is -8 greater than w?
True
Let g(j) = j**3 + 13*j**2 - 16*j - 30. Let w be g(-14). Let y = -0.5 + 0.9. Let z = y + -0.3. Is z < w?
False
Let r(h) = -h**3 + 8*h**2 - 8*h + 7. Suppose -4*f - 2*f + 42 = 0. Let q be r(f). Is 2/137 greater than or equal to q?
True
Let x = 0.4 + -0.3. Let y = -59 + -5. Is x at least as big as y?
True
Let l(y) = y - 8. Let g be l(9). Let q = -13/7866 - -4/171. Which is smaller: g or q?
q
Let p = 167 - 168. Suppose 60 - 24 = 4*c. Let m be 0 + 1 + (-13)/c. Which is bigger: p or m?
m
Let y(m) = -88*m**3 - m**2 - m - 2. Let f be y(-1). Let q = f + -49. Which is smaller: 107/3 or q?
107/3
Let y = -33 - -53. Let o = 35.2 - 55.1. Let x = y + o. Which is greater: -0.6 or x?
x
Let x = 243 + -141. Let p = x - 101.9. Which is bigger: p or 2?
2
Let c be (3/6)/((-4)/48). Let r(g) = -g. Let t(d) = d**3 + 8*d**2 + 11*d. Let j(w) = 2*r(w) - t(w). Let k be j(c). Is k at most 2?
False
Let o be 2/3 + 2434/(-6) + 4. Is -401 at least o?
True
Suppose 1475 = -563*c + 558*c. Is -294 < c?
False
Let j be (-1 - -1)/(0 - (0 + 2)). Which is smaller: 5/48 or j?
j
Let y = 224 - 1566/7. Is 19 >= y?
True
Let j be (-22)/44 + 57/122. Let q = j - -69/244. Which is bigger: q or 11?
11
Let t(d) = -5*d - 7. Let u be t(3). Let y = -22 - u. Which is greater: y or -5/14?
y
Let b(l) = -7*l + 18. Let a be b(5). Let z = a + -14. Which is smaller: 1 or z?
z
Let x be 2*(-3)/(-3) - 11. Let t = 16 + x. Let w be (-1)/2*(-3 + 4 + -1). Is w > t?
False
Suppose -f + 4 = 0, -4*f + 1069 = 2*i - 189. Is i smaller than 620?
False
Suppose -3*l + r - 4 + 3 = 0, 5*r - 21 = -l. Let a(k) = -35*k**2 - 7*k**2 - k + 23*k**2 + 0*k + 1. Let u be a(l). Is u <= -20?
False
Let c(x) = 4*x**2 + x + 1. Let d be c(-2). Let b = 3 - d. Let j(n) = -n - 11. Let u be j(b). Which is smaller: u or -2?
-2
Let f(m) = -1. Let z(g) = g**2 + 10*g + 14. Let o(q) = -6*f(q) - z(q). Let n be o(-8). Let p be (-1)/(((-20)/n)/(-5)). Which is greater: p or 0?
0
Suppose 2*z + 1 = 7. Let l(y) = 0*y**3 + 0*y**3 - y**2 + 2*y - 1 - z*y**3 + 0. Let u be l(1). Is u smaller than -5?
False
Let f be (-4)/18 + 66/297. Is f at least -3/7?
True
Let k = 1.719 - 123.719. Does 2/3 = k?
False
Let j(n) = 30*n**2 + 3*n + 3. Let h be j(-2). Suppose 0 = -3*a - z + 58, -z = -3*a - 2*a + 102. Let r be 165/h - a/15. Which is smaller: r or -1?
-1
Let w = 10 + -11. Let a be (-3)/w + (-1 - 2). 