*x**2 + 6*x + 3. Let v be a(-4). Is 0 > v?
True
Let d be (3 - 4 - (5 - 6))/(-1). Which is smaller: 10.9 or d?
d
Let n = 47 - 45. Is n >= -2?
True
Let i be (-7)/(-28) + 52/(-272). Is 1 less than or equal to i?
False
Suppose 1 = -r - 1. Let o be (-1 + (0 - 1))/r. Which is bigger: -3 or o?
o
Let c = -8.47 - -8.5. Is c at least -0.4?
True
Let i be 306/(-168) - 0/1. Let y = -967/4 - -243. Let u = y + i. Is u <= -2?
False
Suppose 2*i - 24 = -3*o + o, 4*i = -o + 39. Suppose 0 = 4*a - 33 + i. Let l = 5 - a. Does -1 = l?
True
Let z be 10/4*2*-1. Let w be 1/(-3) - (-7 - z). Do -2 and w have the same value?
False
Let g(p) = 3*p + 1. Let s be g(-2). Which is bigger: s or -0.2?
-0.2
Let c(g) = g**3 - 4*g**2 + g + 1. Let z be c(4). Let p be 3/(-3)*(-1 - 0). Which is smaller: p or z?
p
Let u(h) = h + 4. Let w be u(-2). Suppose j - 3*j = -w. Is j at most as big as 0?
False
Let n = 0.51 - 0.51. Does 3/32 = n?
False
Let b(p) = -p**3 - p**3 + p**3 + 3 + 1 - 5*p + 6*p**2. Let h be b(5). Is 2 greater than or equal to h?
False
Suppose 4*v + 9 = -3. Which is bigger: -2 or v?
-2
Let r(h) = h**3 - 6*h**2 - 6*h - 7. Let v(x) = -x**3 - 5*x**2 - 5*x + 3. Let l be 20/(-6) + (-4)/6. Let u be v(l). Let p be r(u). Are 0 and p equal?
True
Let r(g) = -g**3 + 6*g**2 + 6*g + 6. Let j be r(7). Let d be 2/(j - 22/(-34)). Which is greater: -6 or d?
d
Let k(x) = -x**3 + 12*x**2 - 10. Let d be k(12). Let u be (-4)/(-14) + d/35. Which is smaller: 2/5 or u?
u
Let o = -2.03 - -0.03. Let v = o + 2.1. Let r = 2330/11 + -212. Is r at most v?
True
Let q = -31.73 + 32. Let x = 0.11 - 0.08. Let l = x + q. Which is bigger: l or -0.1?
l
Let f = -2 - 12. Let o be 7/(f/32) - 0. Is -16 >= o?
True
Let z = -3 + 4. Let c(m) = m + 14. Let l be c(11). Let r be (-20)/l*10/(-14). Is r >= z?
False
Suppose 3*b - 2*d = 7, -5*b = -2*d + 6 - 15. Let i = 4 - 2. Let p = 1.5 - i. Which is smaller: p or b?
p
Suppose -10 = -4*z + 2. Let f be (-3)/((-6)/2) - z. Which is bigger: f or -3/4?
-3/4
Let z = 89 + -93. Let q = -0.2 + 0.3. Which is greater: q or z?
q
Let u = 0.05 + 0.1. Is 1 greater than u?
True
Let a be (-2 - 39/(-18))*-38. Let f = 6 + a. Let j be 8 + -4 + 1 + (-2 - 2). Is f at least j?
False
Let k = 206 + -36. Let v be ((-5)/(-15))/(k/6). Let j = 167/255 + v. Which is greater: j or 0?
j
Suppose -12 = -0*n + 4*n. Let f be n/(-6)*4/10. Let v be (2*6/4 - 4)/1. Do v and f have different values?
True
Let j be (-106)/(-300) - 3/9. Let v = -8/2311 - -88018/57775. Let h = j - v. Which is bigger: -1 or h?
-1
Let c = -32885/16 - -2056. Which is greater: c or 1?
1
Suppose -3*t = -9 - 0, -5*u = -3*t - 1. Suppose 3*k - 50 = -u*g - 0*g, g + 38 = 3*k. Let j be 2/(-7) + 11/k. Is j greater than 3?
False
Let b = 7.83 + 0.17. Let f = -0.2 + 7.2. Let v = f - b. Which is smaller: 1/3 or v?
v
Suppose -2*g + 18601 + 2525 = 2*y, -4*y + 42249 = 3*g. Let h = 211251/20 - y. Let l = 14/5 - h. Which is smaller: 0.2 or l?
0.2
Suppose -2*q - 1 = -5, 5*i = -4*q + 88. Let l be (i/(-48))/(1/3). Which is smaller: 1/45 or l?
l
Let r(p) = -2*p**2 - 2*p + 1. Let d be r(1). Suppose 12 = -3*b - 3*b. Is d < b?
True
Let g = -6.223 + 0.023. Let i = -6 - g. Which is smaller: i or 1/2?
i
Suppose -4*h = 3*w - 12, -8 = 5*h - 0*w - 2*w. Let t(x) = -2*x**2 + x + h*x**2 + x**2. Let i be t(0). Which is smaller: -2 or i?
-2
Let c be ((-10)/175)/((-1)/(-5)). Suppose 5*w - 3*u = -36, -2*w + 5*u + 14 = -6*w. Let s = -6 - w. Is c at least s?
False
Suppose 4*i - 3*u + 11 = 0, 0 = -0*i + 5*i + 2*u + 8. Let d = -0.08 + 4.08. Which is bigger: i or d?
d
Suppose -4 - 2 = -3*k. Suppose k*q - 20 = -2*q. Which is smaller: q or 3?
3
Let g(x) = x**3 + 5*x**2 - 2*x - 6. Let s be g(-5). Let k be 1/6*198/s. Let c = 171/20 - k. Which is smaller: -1 or c?
-1
Suppose 0 = -5*i + 13 - 8. Suppose -q = -5 + 4. Are i and q non-equal?
False
Let l be (9/(-6))/(2 - (-68)/(-4)). Let t(a) = 2*a**2 + 7*a**2 + 1 - 8*a + 0*a - a**3. Let q be t(8). Which is smaller: l or q?
l
Let s = 5 + 15. Let f = s + -14. Do f and 4 have the same value?
False
Let h = 33 + -33.03. Do h and -0.03 have different values?
False
Let l = -94/395 + 3/79. Let v = 49.9 - 47. Let r = -3 + v. Is l not equal to r?
True
Let f(q) = 3*q + 6. Let d be f(-8). Which is bigger: d or -17?
-17
Suppose -g = 2*g + 138606. Let w = g - -4296722/93. Let h = w - -2/93. Do -2 and h have different values?
True
Let b be 2/(-10) - (-2)/75*-5. Which is smaller: b or 1?
b
Let c(v) = -6*v + 29. Let s be c(4). Is 7 < s?
False
Let z = 0.5 - -15.5. Let k = 17 - z. Does 1 = k?
True
Let h = -0.04 + -0.56. Is h at most -0.2?
True
Suppose 2*d + 4 + 9 = -3*o, -4*o - 22 = -2*d. Which is bigger: 1/19 or d?
d
Let d be 3 - (-2 + 5)/(-3). Let t = d - 6. Are -4 and t equal?
False
Let b be (-2)/11 + (-72)/(-33). Suppose 5*f = b*v + 23, 5*f + 0 = -2*v + 7. Is v less than 0.1?
True
Let n be ((-8)/70)/(8/(-20)). Suppose 3*v + 0 = 6. Suppose d - 6 = -4*c - 2, -v*c + 2 = -d. Which is smaller: n or d?
d
Suppose x = 4*a + 17 + 43, 0 = 3*x + 3*a - 105. Let j be -2 + 4 + (-85)/x. Is 1 less than j?
False
Let g = 2/459 - -892/5967. Is g >= -1?
True
Let g be 6/8*(-2)/9. Suppose 0 = 6*d - 5*d. Which is smaller: d or g?
g
Let y be ((-16)/12)/(-4 + (-6)/3). Is y smaller than -3?
False
Let u = -33 + 29. Let x be (-38)/10 + 1/(-5). Is x smaller than u?
False
Suppose 0 = -3*j - s + 17 - 52, 2*j + 4*s = -10. Let f be j + 15 - (1 - 0). Which is smaller: -1/18 or f?
-1/18
Suppose 3*f = -4*c + 40, f - 4 + 14 = c. Let j be c/(-12)*6/(-30). Is 0 greater than j?
False
Suppose 2*o = -10, 20 = j - 5*o - 5. Suppose 4 = r, 0 = -3*c + 5*r - 14 - 15. Let t = j - c. Is t > 2?
True
Let p be ((-2 - -2)/2)/(-1). Let g be (p - (-1 + 1)) + 0. Suppose g*s - 4 = 4*s. Which is smaller: s or -2?
-2
Suppose 108*z - 111 = 105*z. Which is bigger: z or 1/4?
z
Suppose 11 = b - 12. Which is smaller: 24 or b?
b
Let v be -4 + 1 + 5 - -10. Let h be (-9)/v - 69/(-60). Is h bigger than 0?
True
Let f = -6 + 9. Let y = 4 - f. Which is smaller: 6 or y?
y
Let w = -182/1245 - 10/83. Which is greater: w or -1?
w
Let w = -0.9 + 0.4. Let z = 0.6 + w. Let a be (2/28)/((-1)/(-4)). Is z not equal to a?
True
Let s = -45 + 42. Which is smaller: s or -15/4?
-15/4
Let k be 2/5 + (-18)/45. Suppose k = -4*r + 80 + 4. Is r >= 21?
True
Let d(t) = -7*t - 15. Let z(n) = 3*n + 7. Let b(i) = -4*d(i) - 9*z(i). Let p be b(4). Which is smaller: p or 2/19?
2/19
Let i(m) = m**2 - 4*m - 6. Let w be i(5). Let k = 5 + w. Is 1 less than k?
True
Let c(h) = 6*h**2 - 1. Let y be c(-1). Let u be -12 - (-9)/(2 - y). Let v be 10/u*3/4. Which is greater: v or 0?
0
Suppose r = -h + 41, 2*r - 53 - 29 = -3*h. Let s = 163/4 - r. Which is bigger: 0 or s?
0
Suppose -2*n - n = 3. Is n < -2/25?
True
Let z = -17.48 + 20.5. Let p = 3 - z. Let a = -0.08 + p. Which is greater: 2/5 or a?
2/5
Suppose 3*m + 4*w = 43, w + 20 = 5*m - 67. Which is greater: 16 or m?
m
Suppose -3*q + 2*o = -11, 4*q - 3*o - 14 = 2. Let n be (8/(-12))/(8/36) + 4. Is q <= n?
True
Let o be (32/10)/((-2)/(-5)). Suppose 0 = 3*s + 2*j + 18 + o, 5*j - 10 = 0. Does s = 0.2?
False
Let x be (-1)/(4/(-12)) + -2. Do x and 5/3 have different values?
True
Suppose 2 = -a - 4. Suppose 8 + 97 = -7*n. Let f be ((-3)/15)/(a/n). Which is greater: 0 or f?
0
Suppose 2*k + 19 = -5*l, -2*k - 2*l - 11 + 1 = 0. Let y(c) = -2*c**3 + 1 + 3*c - c**2 + 1 - c**2. Let s be y(k). Is s equal to 2?
False
Suppose -3*b - 2*h + 5 - 10 = 0, 4*h = 3*b - 19. Let x = -0.8 - 4.2. Let f = 5 + x. Is b >= f?
True
Let y(a) = -a**3 - 2*a**2 - 2*a. Let p be y(-2). Let w = p - 3. Which is smaller: 2 or w?
w
Let h be (9/6)/(42/(-8)). Let z = -72 - -503/7. Which is smaller: h or z?
h
Let n = 1/109 - -322/545. Suppose 2*i = 3*i - 9. Let w be (-2)/(-3) - (-12)/i. Is n > w?
False
Let i = 15 - 1367/91. Let m = -101/455 - i. Which is greater: m or -1?
m
Suppose 22 = 3*p + 4*i, -13 = -6*p + 3*p + 5*i. Suppose -5*j - p = -1. Is 6/13 != j?
True
Let t = -382 + 14897/39. Which is smaller: t or 1?
t
Let f = -79 + 78.7. Which is greater: -6 or f?
f
Let j = -3.06 - 0.14. Let c = j + 3. Let t = c + 0.3. Which is bigger: 1/2 or t?
1/2
Let p = 13 - 13.3. Let u = p - -0.4. Which is bigger: 0.04 or u?
u
Suppose -p + 5 - 2 = 0. Let y(j) = 2*j - 2. Let q(r) = 4*r - 4. Let g(s) = 6*q(s) - 11*y(s). Let f be g(2). Are p and f non-equal?
True
Let b 