+ 106 = l*i, 2*q + 2*i = 64. Is 27 != q?
False
Let n(b) = b**3 + 5*b**2 - b + 5. Let t be n(-6). Let c be ((-1)/12*-3)/(27/(-72)). Does t = c?
False
Let m = -4.2 + -2.8. Let j = -306.79 - -314. Let w = j + m. Which is smaller: w or 1?
w
Suppose p = 4*l + 22, -18*p - 3*l + 50 = -14*p. Let t be (2/(-2))/((-3)/48). Which is smaller: t or p?
p
Suppose 60 = -0*q - 12*q. Let y be (q/(-2))/((-4)/8). Which is smaller: y or -3?
y
Let p be 104/(-570) - (-5 + (-48)/(-10)). Which is greater: p or 0?
p
Suppose -8*h + 23*h - 2*h = 0. Which is bigger: -3/43 or h?
h
Suppose 0 = -16*i - 1 - 15. Which is greater: i or -2/689?
-2/689
Let z = -319.8 + 320. Which is smaller: z or -4/31?
-4/31
Let o be 1983/36 + (-2)/(-3). Let n = o + -56. Which is greater: 1 or n?
1
Suppose -k + 16 = -u - 3*k, u - 4*k - 14 = 0. Is u greater than 46?
False
Let t(c) = c**2 + 14*c + 5. Let x be t(-14). Let s be (-38)/(-8) - 9/(-36). Is s < x?
False
Let o(v) = -4*v - 18. Let x be o(-6). Let r be ((-9)/x)/(3/7)*-1. Is r >= 5?
False
Let b = 240 + -220. Is 22 greater than or equal to b?
True
Let z = -10.9 + 9.9. Is 0.181 > z?
True
Let a be -4 + 6/8*(-20)/(-5). Is a at least 1/322?
False
Let l = -44 - -54. Suppose -55 = -l*k + 9*k. Is k <= 55?
True
Let f(n) = 2*n + 14. Let j be f(-6). Suppose -4 = j*x - 34. Suppose -x*u = -10*u - 5. Which is bigger: 0 or u?
u
Let m(q) = q**3 - 6*q**2 + 2*q - 8. Let l be m(6). Let u(x) = -x**3 + 3*x**2 + 6*x - 6. Let g be u(l). Let c = -2.2 - -2. Which is smaller: c or g?
c
Let a be 42/16*26/(-39). Let u = a + 3/2. Which is smaller: 22/7 or u?
u
Let x(p) = -4*p + 619. Let a be x(-53). Is a > 831?
False
Let v = 4 + -6. Suppose 4*u - 13 = -2*z + 9, -27 = -4*u - 3*z. Let q be (u + -2)/(1/1). Which is smaller: v or q?
v
Let b = 2176 + -2144. Which is greater: 0 or b?
b
Let f be (3/(15/14))/((-497)/39760). Is f smaller than -226?
False
Let t be 32/(-6)*(-21)/14. Suppose -2*d + 4 = -t. Suppose 0 = d*l - 7*l. Which is bigger: -1/11 or l?
l
Let p be 1/18 + (-141 - -147). Is 6 at least as big as p?
False
Let t = 23.9 + -26. Let y = t + -0.9. Let d = -2.94 - y. Which is bigger: d or 0?
d
Let u(h) = -h**2 - 7*h - 3. Let q be u(-6). Let g be 7/q - 1/3. Suppose f = -0*f - g. Which is greater: 1 or f?
1
Let n = -0.08 - -4.58. Let y = n + -4. Let z = 1.5 - y. Is -0.01 > z?
False
Let h = -113 + 1015/9. Suppose 5*s = -5*j - 15, 7*s = -5*j + 3*s - 13. Let m be (-11 - -12)*13*j. Which is smaller: m or h?
m
Let b be -19 - ((1 - 3) + 1). Suppose 0*w - 21 = n - w, -n - 9 = 3*w. Is n >= b?
True
Let o(s) = -s**3 + 16. Let h be o(0). Let z be (-1)/(-4) + 220/h. Let p be -7 + 6 + (30/9)/(-5)*-24. Is p greater than or equal to z?
True
Let t = -28.4 + 28.4. Which is smaller: -2 or t?
-2
Let k = -2923/14 + 209. Let w(u) be the first derivative of -u**2/2 + 11*u - 3. Let h be w(11). Which is smaller: h or k?
h
Let w be -1*(-14)/63 + (-20)/9. Let o = -0.9 - -0.6. Let y = -0.1 - o. Which is greater: y or w?
y
Let w = 98.92 + 0.08. Let z = w - 99.2. Let p be ((-2)/7)/(-1) + 0. Is p at least as big as z?
True
Let o be 5/((-125)/3)*8981/7. Let r = o - -154. Which is bigger: 1 or r?
1
Suppose m + 51 = -5*k - 113, -2*m = -4*k - 120. Are -28 and k unequal?
True
Let u = -1 - -2. Suppose -a = -3*k - 18 - 4, -66 = -5*a + 4*k. Let r be a/(-15) + 25/42. Is r != u?
True
Let i = 331 - 332. Is 1/26 smaller than i?
False
Let p(f) = f**3 - 6*f**2 - f - 2. Let a(u) = -u**3 + 7*u**2 + 2. Let s(l) = -3*a(l) - 2*p(l). Let x be s(8). Let n be x/18 - (1 + -4). Does 0 = n?
False
Let q be 2/8 + 395/20. Let m be (-30)/q*4/(-15). Which is smaller: m or -8?
-8
Let i be (-5 + 27/9)/1366. Which is bigger: 0 or i?
0
Let z be 3 + (-5 - 5) - 804/54. Is -22 > z?
False
Let h = -39 - -33. Let i = h - -8. Is i equal to -1?
False
Let p(o) = o**3 + 25*o**2 + 26*o + 16. Let v be p(-24). Let j = v + -8. Is -1/3 bigger than j?
True
Let c = 17.7 + -16.7. Let w be 7/(-8) + 4/8. Which is smaller: w or c?
w
Let v = -20.39 + 0.39. Let b = -20.13 - v. Let m = 0.06 + b. Which is bigger: 1/4 or m?
1/4
Suppose 3*d - 2*t = 15 - 2, 4*t + 14 = 2*d. Suppose 0 = 3*m - 6*m + d*r - 12, 0 = -2*r + 6. Is m greater than or equal to -1/16?
False
Let i = 56 + -58. Which is smaller: i or 0.153?
i
Suppose 0*b - 2*b - 180 = 3*c, -2*c = -4*b + 104. Which is smaller: c or -49?
c
Suppose -y - 7*y = -424. Let n = -88 + y. Is n at least -34?
False
Let j = -53.07 + 0.07. Let s = j - -54. Which is smaller: s or -0.02?
-0.02
Let c = 213 + -196. Let w be (-80)/(-6)*24/20. Are w and c equal?
False
Let c(u) = -u**3 + 11*u**2 - 8*u + 8. Let m be c(10). Suppose 11*h = 4*h - m. Are -4 and h non-equal?
False
Let r = -423 - -3767/9. Suppose 0 = 4*s - f + 8, -4*s - 17 = 5*f + 15. Do r and s have different values?
True
Let v = -4542/7 - -29413/105. Let u = -369 - v. Is u greater than 1?
False
Let d = 5.038 - 0.018. Let q = d + -5. Let g = q + 2.98. Which is smaller: 2/3 or g?
2/3
Let u(l) = -l**3 + 7*l**2 + 6*l + 9. Let j be u(8). Let h = 1 + j. Which is bigger: h or -3?
-3
Let n = -1847640/397 - -4654. Let j(c) = 189*c + 188. Let g be j(-1). Which is greater: g or n?
n
Let a = 36 - 13. Let g(v) = v**2 - 23*v + 21. Let l be g(a). Suppose 16 = j - 4*z, 3*j - 2*z - 58 = -0*z. Is j > l?
False
Let r be 369/(-12)*8/(-385). Let o = -155306/77 + 2017. Let j = o - r. Which is smaller: -0.1 or j?
j
Let w = 464 + -462.6. Is w smaller than 51?
True
Let b be (-8)/(-2) - 0/(-12). Suppose -2*c - b*x + 22 = 0, -3*c - 22 = -8*x + 3*x. Is -2.3 smaller than c?
True
Let a = 7 - 6. Let x be (860/56)/(a/2). Let z = x - 31. Is z equal to 1/4?
False
Suppose 0 = 10*o - 15*o + 290. Let z = o + -67. Let t be 58/(-6) + (-4)/(-6). Does t = z?
True
Let o(j) = -5*j + 17. Let u be o(16). Which is smaller: -62 or u?
u
Let y be (-4 - -2)/(-2) - -8. Let b be (-4)/(-30)*y/(-60). Do 1 and b have the same value?
False
Let r = -781 - -780.6. Is -123 greater than or equal to r?
False
Let n = 3 + -1. Let q(x) = 10*x**3 + x**2 - x + 4. Let j be q(-2). Let s = -67 - j. Which is bigger: s or n?
s
Suppose -5*q + 51 = -2*z - 0*z, 4*q - 36 = 4*z. Suppose -q*d = -6*d - 15. Suppose -3*y + 2*k - 9 = 0, 9 = -d*y - 2*k + 5*k. Which is bigger: 0 or y?
0
Let q = 631 + -629. Which is greater: 32/53 or q?
q
Let b = 22744500/697 + -32632. Is b less than -1?
False
Let d be ((-9)/405*-3)/((-1)/(-6)). Let p = -31 + 19. Which is smaller: d or p?
p
Let f(u) = -5*u + 11. Let y(a) = a - 2. Let g(m) = 2*f(m) + 11*y(m). Let v be g(-3). Let c = 1 - v. Is 4 <= c?
True
Suppose -4*a = -10 + 10. Let q(f) = -3*f**2 + 2*f - 12. Let m be q(a). Is m bigger than -13?
True
Let d = 54 + -19. Suppose -4*n - 3*c = -c - 30, -d = -4*n + 3*c. Suppose u = v - 4 - 0, 2*u = -n. Is v at least -1?
True
Suppose -218*n + 222*n = 312. Is 79 < n?
False
Suppose c - f - 4 = 0, -2*c - f + 14 = 3*f. Let p = -5 + c. Which is smaller: 1/67 or p?
p
Suppose 3*v = u - 4, -5*v - 7 = -3*v - 5*u. Suppose 8 = 3*s + w, 4*s - 14 = -4*w + w. Suppose 3*y = -2*q - 13, -5*y - q - 20 = s*q. Is v <= y?
True
Suppose -p + 2*k + 40 = 2*p, -2*p + 30 = -3*k. Suppose 2*j - h = -p, -j - 3*j - h - 30 = 0. Let b be (-4)/j*(-21)/(-6). Is b at least as big as -1/3?
True
Let y be 3/(12/(-5) + 3). Suppose 0 = -2*t + 5*g + 7 + 14, y*t - 5*g - 60 = 0. Let o = -14 + t. Which is smaller: o or 2/31?
o
Let d = -11.224 - -11.524. Let b = -0.21 - -0.03. Which is smaller: d or b?
b
Let n = 61/21 + -18/7. Let f = -0.2 - -0.06. Let c = f + -0.06. Is c <= n?
True
Suppose -47 = -2*b + 5*r, 2*b + 0*b - r = 59. Suppose -2*p - 5*t = -0*p + b, -2*t - 2 = 0. Suppose 13 = 4*v - 3*k + 58, 5*v + 3*k = -63. Is v equal to p?
False
Suppose -4*r = -3*a - r - 6, -5*r = 4*a - 19. Suppose a = 3*v - q, 0 = v - q - 1 - 0. Suppose v = -2*y + 2 + 20. Is y at most as big as 12?
True
Let i = -1.9 - -1.2. Suppose -210 = 12*r - 7*r. Let x be 26/r + (-2)/(-6). Is x > i?
True
Let k be ((-60)/744)/(2/(-1)). Is 0 bigger than k?
False
Let b be (-584)/40 + 3/5. Let o be (3/2)/(2/19). Let j = b + o. Which is smaller: j or -12?
-12
Let p be (-2)/5*20/128*4. Which is bigger: p or -31?
p
Suppose -1 - 19 = -5*v. Suppose -5*i + c = 0, 3*c - 6*c = v*i - 19. Which is bigger: i or 2?
2
Let z be -4 - ((3 - -1) + -10). Let n be (z/(0 - 2))/((-4)/76). Suppose -5*y - 17 = 8, 4*t + 3*y - 61 = 0. Are n and t non-equal?
False
Suppose 0*k - 25 