 i) + 10/1. Let n be q/(-2)*1/2. Which is bigger: n or -4?
n
Let z(d) = -d + 3*d**3 - 4*d**3 - 1 + 3 + 4*d**2. Let q(g) = g + 16. Let j be q(-14). Let l be z(j). Which is smaller: -1/3 or l?
-1/3
Let v(o) = -2*o**2 + 3*o - 1. Let f be v(2). Let c(n) = -n**3 - 3*n**2 - n - 1. Let t be c(f). Suppose 0 = -y + t + 1. Which is bigger: 1 or y?
y
Suppose 2*w + 18 = w + 4*q, 0 = 4*w + 2*q + 72. Are w and -53/3 non-equal?
True
Suppose 10*a = 9*a + 1. Is -4/25 smaller than a?
True
Let b = 0.4 - -0.3. Let x = 0.3 + b. Let t = x - 0. Which is greater: t or 5?
5
Let f be (-6 + -4)*(1 - 3). Suppose 3*z = f - 2. Let a(k) = k**3 - 6*k**2 - k + 7. Let t be a(z). Is t at least as big as -2?
True
Let l = 77 + -86. Which is greater: -1 or l?
-1
Let s(y) = y**2 + 2*y - 7. Let d be s(-4). Suppose 2*f = 4*h - 12, 3*f + 12 = -f + 5*h. Is f != d?
True
Let c be ((-5)/(-30))/((-3)/14). Are c and -2 non-equal?
True
Suppose 10*h - 130 = 5*h. Which is smaller: h or 25?
25
Suppose 0 = w + 10 + 46. Is -56 at least w?
True
Let v(o) = -9*o + 3. Let n be v(1). Is n smaller than -8?
False
Let w = 219 + -2187/10. Which is smaller: -1 or w?
-1
Let i be ((-4)/70)/(1/(-5)). Let h be 1*(-7 - (3 - 6)). Let p be 3/((-6)/h) - 2. Which is bigger: i or p?
i
Let r = 17 + -65/4. Let v = -175/4 - -44. Let w = v - r. Which is bigger: 0.3 or w?
0.3
Let v be -7 + 9 + 1 + -1. Suppose o = v*u + 1, 4*o - 4 = 2*u + 2*o. Is 2 at least as big as u?
True
Let g = -1 - 7. Let i be (-15)/(-21) - g/28. Is i less than or equal to 1?
True
Let j = -3 + 6. Let a = 0.24 + -0.1. Let f = a - 0.04. Which is greater: f or j?
j
Let u = 32 + -32. Is -7/8 equal to u?
False
Let w be (-6)/(6/(-3)) - 4. Let l be (3/3)/(w/(-3)). Does l = 3?
True
Let d be (-3)/4*(-2)/(-6). Which is bigger: d or -0.13?
-0.13
Let p = -2 - -2. Let d = 0.4 - -0.1. Let s = d - 0.3. Which is greater: p or s?
s
Let o = 943/16 + -59. Is 1 at least as big as o?
True
Let v = 629/5 + -125. Which is smaller: v or 2?
v
Let i be 26/(-60) + 2/12. Which is greater: -1 or i?
i
Let u be 3 + -4 + 18/14. Let b = 10468/13 - 806. Let y = 53/52 + b. Is u bigger than y?
True
Let c = -997 - -10975/11. Do 0 and c have the same value?
False
Let l be ((-2)/(-84))/(9/36). Which is bigger: l or 0?
l
Let g = -0.02 + 2.02. Let n = g + 1. Let c = 6 - n. Is 2/9 > c?
False
Let v(g) = 2*g**2 + 2*g + 2. Let q be v(-2). Let t(b) = b**2 + 4*b + 3. Let k be t(q). Let f be k/70 - 1/2. Is f greater than 1?
False
Suppose -3*x + 0*x + 2*f - 16 = 0, -5*f = 5. Let o(d) = -d - 6. Let g be o(x). Let s = 3 - 2. Which is greater: g or s?
s
Let a = 0.1 + -1.1. Let y = -0.7 - a. Let j = 6 + -8. Is j > y?
False
Let o be -4*(-2)/(-16) + (-7)/(-30). Which is greater: o or -0.3?
o
Let s be 8/(-18) + 6/54. Let l(u) = 4*u - 10. Let a(y) = 7*y - 19. Let o(h) = 3*a(h) - 5*l(h). Let g be o(6). Which is smaller: g or s?
g
Let g = -19 + 9. Let m = 12 + g. Which is smaller: m or -0.1?
-0.1
Let g = 2 - 5. Let p = g - -3. Suppose p*y = -2*y - 10. Which is smaller: y or -4?
y
Let q = 13856782769/165 + -83980878. Let y = 1129/3 + q. Is y less than 1?
True
Let a(z) = z - 9. Let x(d) = -d**2 - 10*d + 1. Let h be x(-9). Suppose h = t + 2. Let p be a(t). Is p != -3?
True
Let g(v) = 11*v**2 - v. Let x be g(-1). Let s = x - 17. Is -3 greater than s?
True
Let j = 0.4 + -0.5. Let b = j - 0. Let a be 3 - 2/18*33. Is a <= b?
True
Let b(t) = t + 5. Let y(d) = -4*d + 2. Let a be y(2). Let j be b(a). Which is greater: -5/4 or j?
j
Let f = 0.03 - -0.97. Which is smaller: f or -0.04?
-0.04
Let j = -3 - -2. Let k(r) = r**3 - 6*r**2 + 5*r + 6. Let u be k(5). Let p(f) = f**3 - 5*f**2 - 5*f - 5. Let n be p(u). Is j at most as big as n?
True
Let c = 2 + -4. Which is smaller: c or -3?
-3
Let k(c) = -c**3 - c**2 - 2*c + 378. Let f be k(0). Let x be (-136)/f + 10/35. Let o be 2/(-3) - 1/3. Which is bigger: o or x?
x
Let h be (0 + 1)/((-4)/(-16)). Which is bigger: 3 or h?
h
Let q(x) = x**3 + 4*x**2 + 4*x + 1. Let l be q(-4). Which is greater: -16 or l?
l
Let z = 0.1 + -0.1. Suppose 0 = c + 3*v - 9, 2*c + 3*v - 9 + 0 = 0. Let q be c/(-2 + -1 + 6). Is q != z?
False
Suppose -4*b + 23 = -13. Let k be ((-16)/b)/((-2)/(-3)). Let t = -13/6 - k. Which is bigger: t or 0?
t
Let g = -5 - -8. Let w = -1 + g. Which is smaller: w or 1?
1
Suppose 0*s - t - 7 = s, 10 = -4*s + 5*t. Let f = -18 - -15. Which is bigger: f or s?
f
Let x = -415/7 - -59. Is x bigger than 18?
False
Suppose -4*s + 4*d = 7*d - 25, -4*d + 24 = 4*s. Let v(x) = x**2 - x + 1. Let i be v(3). Let g = i - s. Which is bigger: 1 or g?
1
Let r = 4 + -6. Let f = 34/3 + -13. Are f and r nonequal?
True
Suppose -c - 3*j + 2 = -2*j, -16 = -3*c - 5*j. Let a = 10 - 8. Suppose -2*s - 22 = s + a*m, 0 = -2*s - m - 13. Is s less than or equal to c?
True
Suppose -6*l + 68 + 4 = 0. Let b be ((-4)/(-9))/(8/l). Which is smaller: -2 or b?
-2
Suppose 6 = j - 0*j. Let f(p) = -2*p**2 + 12*p + 2. Let k be f(j). Is 3 at least k?
True
Let h be 1/(-25)*(-15)/(-2). Is 1 not equal to h?
True
Suppose 6*r = 3*r + 9. Suppose -2*z = r*z - 40. Suppose 5*h - 10 = 0, -z = -4*v - h - 3*h. Do 4/9 and v have the same value?
False
Suppose -3*f - 9 = -4*n, -5*f + 3*f - 6 = 3*n. Let q = 20 - 20. Are q and n equal?
True
Let k = -0.24 + 0.29. Let v = -0.08 + -0.07. Let a = k + v. Which is greater: -2 or a?
a
Let q = -0.1 - 0.1. Let p = -172 - -175. Is q less than p?
True
Let r = -195 + 347/2. Which is smaller: -22 or r?
-22
Suppose 19 - 3 = -4*i. Let q(u) = -u**2 - 4*u + 2. Let j be q(i). Is 4/7 not equal to j?
True
Let c be 1 - (-2 - -1) - 2. Suppose -4*u + c = -8. Suppose -5*n + 2*t = 5, -t - u = 2*n + t. Is 2/5 greater than n?
True
Let t = 17 - 18. Is 3 equal to t?
False
Let y(h) = -3*h + 20. Let t be y(7). Is 1/4 less than or equal to t?
False
Let t = 220 + -3301/15. Is t > 0?
False
Let f be ((8 - 4) + -5)*-1. Is -17/4 greater than or equal to f?
False
Let p = 0.73 + -0.8. Let k = -0.03 + p. Which is smaller: 0 or k?
k
Suppose -p + 30 = -5*k, 2*k + 10 = -p - k. Let o be 12/14*(2 + p). Suppose 3*g = -0*g - o. Which is greater: g or -1?
-1
Let s = 20.89 - 21. Let j = -0.21 - s. Which is smaller: 1/5 or j?
j
Let j(t) = t**3 - 5*t**2 + 2*t - 6. Let n be j(5). Let a = n + 2. Let y be (-7)/(-10) - (-3)/a. Which is greater: 0 or y?
y
Suppose s + 4*s - 10 = 0. Let k(l) = -l**2 + 2*l + 2. Let m be k(2). Suppose s*j - 6 = -m. Is -2 at least as big as j?
False
Let g be ((-30)/(-5) + -4)*1. Let c = 2 + -1. Which is smaller: c or g?
c
Let o = -112 + 2015/18. Is o > 1?
False
Let o = -197 + 231.2. Let a = -38 + o. Let d = 4 + a. Are d and 0.1 non-equal?
True
Let h = 7 + -5. Let s be (-5)/(-3) + h/(-3). Let z = -7 + s. Is z > -6?
False
Let f be (-2)/3 - (-16)/24. Is 1/37 at least f?
True
Suppose -4*u + 7 + 5 = 0. Is 4 >= u?
True
Suppose -9*r = -10*r - 2*v + 1, -2*r = 3*v - 1. Is -12 bigger than r?
False
Let z = -1/36 - -7/36. Suppose -17 = -4*x - 3*r - 5, 4*r = 3*x + 16. Which is smaller: x or z?
x
Let s = 39 + 12. Let g = s + -36. Let d be 13/g + 6/(-9). Which is smaller: d or 1?
d
Suppose 5*j = 3*j. Suppose j = -d - 3*d. Which is smaller: -2 or d?
-2
Let s = 26.7 + -29. Let n = s + -0.7. Let p = -61/114 - 5/38. Is n less than or equal to p?
True
Let t be -3 - (-11 + (0 - 0)). Suppose 2*h - t = 0, 2*i + 3*i - 189 = -h. Suppose 0 = 3*b + 4*l - 11, -4*b + 3*l = -2*l + i. Which is smaller: -0.1 or b?
b
Let j = 0 + 7. Let d(p) = 11*p + 12 - 4 + 4*p**2 + p**3 + j*p**2. Let v be d(-10). Which is greater: v or -5/2?
v
Let z(v) = 1 + 3*v - 1 - 2*v - 1. Let a be z(-3). Is a smaller than -6?
False
Let d be 87/35 - (-3 + 4). Let u = d + -9/7. Which is smaller: u or 4?
u
Suppose -c = -5*c - 5*q + 26, 3*c + 5*q - 22 = 0. Suppose -5*x = -x + c, 0 = -3*z + 4*x + 7. Which is smaller: z or -1?
-1
Let a(p) = p**3 - 7*p**2 - 8*p - 2. Let f be a(8). Let z(y) = y**2 - 1. Let o be z(f). Let n be 1 + (0 + o - 3). Is n less than 0.4?
False
Let h = -2 - -7. Suppose -10 = -2*l + 7*l. Let n = h + l. Which is bigger: n or 2?
n
Let x be 2*(1 - (-8)/(-9)). Let h be ((-2)/(-5) - (-63)/(-45))*0. Is h less than or equal to x?
True
Let z(q) = -5*q - 17. Let w be z(-6). Suppose 17 = 6*f - w. Which is bigger: 3 or f?
f
Let y(k) = k**3 + k**2 - k + 1. Let i(f) = 3*f**3 + 5*f**2 - 5*f + 3. Let b(w) = i(w) - 4*y(w). Let c be b(-1). Does 3 = c?
False
Let q be -39*(