 be k(6). Let g be (-25)/30*4/(-5). Which is greater: g or q?
q
Let g(r) = -r**3 - 2*r**2 + r + 2. Let v be g(-2). Do 2/157 and v have the same value?
False
Suppose -20 = -d + 6*d. Which is bigger: -1 or d?
-1
Suppose -2*n = -n + 4*q - 6, 0 = 5*q + 15. Suppose 0*b + n = -2*b. Let h be (6/(-9))/((-10)/b). Is h < -1?
False
Let q be (-1 - (-1 + 3)) + 6. Suppose -3*n + 7*n - 5 = d, 15 = 3*n - q*d. Which is smaller: n or 2/13?
n
Suppose 25 = 3*v + 4. Is v >= 5?
True
Let c = -13.1 - -13. Let p = 0 + 0.1. Let w = c + p. Which is smaller: -1 or w?
-1
Let z = -33.6 - -36.63. Let a = z - 0.03. Which is greater: a or 1/13?
a
Let q = -311 - -14309/46. Is q greater than -1?
True
Let m be 15*1/12*4. Which is smaller: m or 9/2?
9/2
Let u be 30/4*(-6)/(-9). Suppose 2*t = -u*x + 6 + 9, 0 = -3*x - 2*t + 9. Let y = -5 + x. Is -4 equal to y?
False
Let v = 0 + 0.1. Let d = 1.11 + -1.41. Which is greater: d or v?
v
Let r = 1 - -3. Suppose -7 = -d - l, -3*d + 4*l - 7 = -0*d. Let x = r - d. Is x greater than 2/11?
True
Let u = -24 + 23. Is u greater than 2/9?
False
Let r be (-2 + (-32)/(-12))*(5 + -2). Which is smaller: 18/7 or r?
r
Suppose 6 = 2*o - q, 0*o + 14 = -2*o - 4*q. Does o = 2?
False
Let d = 107 + -184. Let v be 22/d - 52/14. Is v greater than -4?
False
Suppose 4*v + 8 = 4*x, -5*v = -0*v - x + 6. Let t be (-5)/(-10)*(3 + v). Suppose 2*r + t + 9 = 0. Which is smaller: -3 or r?
r
Suppose 7*v - 10 = 2*v. Let z = -13 - -28. Let d = z + -29/2. Which is smaller: d or v?
d
Suppose 0 = -3*p + 3*j - 66, 3*j + 7 = 1. Let g be (12/p)/(1/3). Is -2 at least g?
False
Let y = -8 - -11. Let i = y - 1. Suppose j = i*j - 4*t, 0 = -3*j - t. Do 0 and j have different values?
False
Let d = -73 - -72. Which is smaller: d or 1/21?
d
Let n = -3 + 3. Let o = n - 0. Suppose 2*f + 6 = 0, o*u + 8 = -5*u - f. Is -2 at least as big as u?
False
Let r(c) = -8*c + 45. Let f be r(5). Which is smaller: 15/4 or f?
15/4
Suppose u + 37 = 2*m - 32, 3*m = -5*u - 397. Does -76 = u?
False
Suppose -3*v - m - 21 = 19, -2*m = -3*v - 46. Let h = v - -19. Is h less than 0?
False
Let g = -6 + 5. Let j be 1 + 2/(-4)*-2. Suppose -a - 5 = -j*r, 4*a = -4*r + 2*a - 10. Which is smaller: r or g?
g
Suppose -3*d - 3 = 30. Which is greater: d or -12?
d
Let f(l) = -l**3 + 5*l**2 - l + 7. Let i be f(5). Let q = 2/15 - -11/5. Is i at most as big as q?
True
Suppose 0 = -4*j + j + 12. Let l(o) = -o - 4. Let c be l(-7). Which is smaller: j or c?
c
Let u be (18/(3 + -2))/(-2 + 4). Is 9 not equal to u?
False
Let f(v) be the first derivative of -v**2/2 + 11*v - 9. Let g be f(16). Which is smaller: g or -4?
g
Let s = -9 + 9.6. Let r = 7.9 + -8. Which is bigger: s or r?
s
Let z = -4.404 + 0.004. Let t = z + 5. Let q = t - 0.7. Which is smaller: -2 or q?
-2
Let d(q) = q - 10. Let j be d(8). Is -14/5 > j?
False
Let d = 183 - 130. Which is smaller: -0.1 or d?
-0.1
Suppose 10 = 3*z - 17. Let x be (-4)/6 - (-58)/6. Let n = x - z. Which is smaller: -2 or n?
-2
Let l = -76 + 122. Let b be 2/(-11) - l/(-11). Is 4 smaller than b?
False
Let j = 6 - 3. Let k = 18 + -13. Suppose -7 = -k*d + 13. Does j = d?
False
Suppose 5*n + 20 = 0, 2*o + n + 1 - 3 = 0. Are 1 and o unequal?
True
Let k be -2*2/16 - 6/168. Let m = -1 + 1. Is k != m?
True
Let i be 3 + (-4 - 0) - 0. Which is bigger: i or -2/33?
-2/33
Let g = -0.7 + -0.1. Let m = g + 0.76. Let r = m + -0.06. Which is bigger: 4 or r?
4
Let a(f) = 2*f**3 + 17*f**2 + 18*f. Let d be a(-7). Suppose 5*g - 2*g - 66 = 0. Which is bigger: d or g?
g
Suppose -4*a - 4*b - 32 = 0, a - 2*b + 4 = 2. Let y = 7 + a. Is y at most 2?
True
Let u(n) = n**3 - 2*n**2 + 2*n - 2. Let h be u(2). Suppose 2*v = 5*v - 5*y + 25, 4*v - h*y + 10 = 0. Which is bigger: 3 or v?
3
Suppose 217 = -0*n + 4*n - 5*o, -4*n - 2*o + 182 = 0. Is 50 != n?
True
Let o be (2/5)/((-1)/(-20)). Let b be o/(-28) + 128/7. Suppose -4*m = -5*i - 3, -2*i = m + 3*i + b. Which is smaller: m or -2?
m
Suppose -2*g = 5*g + 63. Is g smaller than -10?
False
Suppose 8 = m + 2*k - 0*k, -5*k = -15. Let h = 7 - 6.96. Which is greater: h or m?
m
Let h(u) = -u**2 + 5*u - 2. Let a be h(4). Suppose 2*v = 2*x + 12, 13 = -a*v - x - 2*x. Does v = 2/35?
False
Let d = 0.061 - 0.091. Is -0.1 greater than d?
False
Let r = 7 + -10. Suppose -v + 7 = -2*h, -7 = -5*v - 0*h - 4*h. Let f = 2 - v. Which is greater: r or f?
f
Let h be 0/3*(0 - 1 - -2). Which is smaller: 2/165 or h?
h
Suppose -w = -5*w + 108. Let d = w - 19. Which is smaller: d or -0.1?
-0.1
Let a = 0.7 + -1.06. Let n = a - -0.16. Are n and 0 equal?
False
Let r = 6/49 + 8/49. Is r < -0.8?
False
Let v = 0.01 + -0.01. Let b = -8 - -7.9. Do b and v have different values?
True
Suppose -3*s - 4 = -16. Suppose -2*p + p + s = 0. Let j = 0.08 - -0.02. Which is greater: j or p?
p
Let t be 6/(-9) - 6/(-9). Which is smaller: t or -1/12?
-1/12
Let l be ((-20)/2)/(2 + -4). Let f be (-14)/(-3) - (-8)/24. Do l and f have the same value?
True
Let j = 19.1 - 19. Which is smaller: 1/3 or j?
j
Let w = 10 + -7. Suppose a + 2 = -a. Let q = w - a. Do q and 5 have different values?
True
Let a = -1 + 17. Let q be 36/16*a/6. Which is smaller: 8 or q?
q
Suppose 4*l - 2 + 6 = 0. Let x = -3/7 + 5/28. Which is bigger: x or l?
x
Let i(c) = 0 + c**3 - 3*c**2 + 4 + 79*c + 2 - 85*c. Let p(n) = -n**2 - 6*n - 4. Let b be p(-4). Let s be i(b). Which is greater: -1 or s?
-1
Let w = -50 + 41. Do -31/4 and w have the same value?
False
Let a(x) = 14*x - 3. Let t(o) = 83*o - 17. Let u(n) = -34*a(n) + 6*t(n). Let z be u(6). Let v = z - 922/7. Which is smaller: 1 or v?
v
Suppose -4*q + 25 - 21 = 0. Is q > 126?
False
Let u be (-2 + 4 - 5) + -3. Let f = 6 + -12. Are f and u equal?
True
Let h = 0.57 - 0.47. Is h bigger than -33?
True
Let n(d) = -4*d + 21. Let w be n(5). Do w and -4/13 have the same value?
False
Let x be (-7)/(-12) - (-5)/(-15). Let r be (-2)/2 + (-1 - -3). Is r at least x?
True
Let b = -22 - -157/7. Suppose -r - x + 4 = 0, 0 = 5*r - 2*x - 2*x - 11. Let w(j) = -j**3 + 3*j**2 + j - 3. Let g be w(r). Which is smaller: g or b?
g
Suppose 5*n = -13 + 8. Which is smaller: 4/45 or n?
n
Let x = 3 + -3. Let f be (-1)/(-1) + (x - 4). Let g(c) = c - 10. Let u be g(8). Which is greater: u or f?
u
Let m = -1 - -2.6. Let u = 1.7 - m. Is u > 5?
False
Let d = -10.02 + 10. Let j = 2.47 + -0.45. Let k = j + d. Is k <= 1?
False
Let l be 1/5 + (-57)/(-15). Let x be ((-2)/l)/(-4 - -6). Which is smaller: 1 or x?
x
Let p = -2 + 4. Suppose -5*w = -m + 20, m - 3*w = -5*w - 8. Which is smaller: p or m?
m
Let k = -28.8 - -29. Is -2/9 != k?
True
Let n = -1 - -5. Suppose 3*t - n*t = 0. Is -2/9 at most as big as t?
True
Suppose s + 0*o = 3*o + 11, 0 = 4*s - 4*o - 28. Is s > 40/11?
True
Suppose 4 = 2*b - 3*b. Let g = -2 - b. Let y be -1 - 0 - (-12)/8. Is y at most g?
True
Let h = -1 - 0. Let x = -83161/5 - -16691. Let m = x - 59. Is m > h?
True
Suppose s + 3*a - 6 = 0, -3*a = 2*s + 1 - 10. Which is bigger: s or 0.1?
s
Let q = -5 - -32. Let p = -28.1 + q. Let m = 1 + p. Which is smaller: -2/5 or m?
-2/5
Let d = 16.3 + 1.7. Let y = -19 + d. Is 2/7 >= y?
True
Let w be 9/((-15)/(-5)) + 408/(-134). Which is smaller: 0 or w?
w
Suppose -2*v = -5*s - 3, -2*v + 5 = -4*s + 1. Is -1/36 > s?
False
Let k(h) = 15 + h - 3 + 1. Let i be k(-5). Is i equal to 8?
True
Let f = -1 - 4. Suppose 2*d - 5*d - 18 = 0. Which is bigger: f or d?
f
Suppose 3*t = 3 - 21. Which is bigger: t or -5?
-5
Suppose -2*v + 4 = -m, -2*v = 4*m + m - 4. Suppose 0 = -2*i - r - 10, m = 2*i + 2*r - 0*r + 12. Is i equal to -4?
True
Let s = -0.04 - 0.02. Let u = s + 5.06. Do 0.1 and u have the same value?
False
Let p(r) = -r**3 - 8*r**2 + 10*r + 7. Let y be p(-9). Let l be y/11 + 90/(-110). Which is bigger: l or 0.1?
0.1
Let w = -4 + 1. Let j be 0*1/w*-1. Is j less than or equal to -1/2?
False
Suppose 100 = k + 4*k. Suppose 3*x - k = -x. Let d be ((-20)/6)/x - -1. Is d <= 1?
True
Let o = -8 + 16. Suppose 0 = -s - s + o. Suppose 5*b + 4*f = 3, -f - 3 = -3*b - 3*f. Is b equal to s?
False
Let q = 618.93 + -616. Let f = q - -0.07. Which is smaller: f or 0.1?
0.1
Let s(k) = k**3 + 4*k**2 + 4*k + 3. Let p be s(-2). Let w(x) = x**3 - 3 + 1 + p - 3*x**2. Let i be w(3). Is i bigger than -1/4?
True
Suppose 4*q - 2*w = 18, -3*w + 33 = -q + 5*q. Let u(c) = c + 3. Let n be u(2). Are n and q equal?
False
Suppose 3*j - 4*l - 