-2. Let v = 0 + -0.2. Let a = v + 0.3. Is a not equal to o?
True
Let y be (4/(-12))/(31/3). Which is greater: -1 or y?
y
Suppose -2*c - x + 0*x = -6, 18 = 5*c + 4*x. Suppose 14 = 3*f + c*u + 2*u, f + 5*u = 23. Let j be f/(-7) + (-15)/28. Are -0.1 and j non-equal?
True
Let o be 18 - (-2 + 1/2*0). Does 1 = o?
False
Let h be (-2)/(-2 - 0)*5. Suppose 3*c - 25 = -5*i, -h*i + c + 0*c = -5. Suppose 0 = i*y - y + 7. Which is bigger: y or -6?
-6
Let w(k) = k**3 - 4*k**2 - 4*k - 6. Let v be w(5). Let d be (-2)/(-2 + 4)*1. Let h be (d*(-6)/(-4))/6. Which is smaller: h or v?
v
Let s = -3.1 - -1.8. Let v = -82 - -78.3. Let r = v + s. Are r and -0.1 non-equal?
True
Suppose -1 + 5 = 2*i. Suppose -i*c + 7 = -c. Let q be (1 + 1 - 4)/c. Which is smaller: q or 0.2?
q
Let h = -0.2 - 0.8. Which is bigger: h or -6?
h
Suppose -24 = -5*f + k + k, k + 14 = 3*f. Let t = -6 + f. Which is bigger: 8 or t?
8
Let j = -133 - -1465/11. Let q(r) = 8*r - 3 - r**2 - r - 2. Let l be q(6). Is l smaller than j?
False
Let r(n) = n**2 - 9*n + 6. Let j be r(8). Are j and -20/7 equal?
False
Let v = -8 + 8. Which is smaller: 2/7 or v?
v
Let q(v) = v - 2. Let m be q(2). Suppose m = b + 2 - 3. Which is greater: -1/4 or b?
b
Let g be (2 + -7)*(-1 + 0). Suppose -o - 5*w = g, w = -3*w - 4. Let m be 1 + o - (0 - -2). Which is bigger: m or -2?
m
Let m = -7 + 10. Let p = m + -1. Let c(b) = b + 2. Let u be c(0). Is u < p?
False
Suppose 1 = -4*g + 13. Is g bigger than 0?
True
Let h(f) = 2*f**2 - 1. Let y be h(1). Let i be 79/4 + 1/4. Let j be 1*i/(-11) - -2. Which is smaller: j or y?
j
Let p be 1 + 0 + 24/(-18). Which is smaller: p or 0.07?
p
Let c(w) = 2*w**2 + w + 1. Let u be c(-1). Suppose 2*r + 3*r - 20 = 0. Do u and r have the same value?
False
Let v(x) be the first derivative of x**4/4 - 7*x**3/3 + 5*x**2/2 + 5*x + 1. Let j be v(6). Is j not equal to 4?
True
Suppose -5*n = 4 + 6. Let m(w) = -w**3 + 9*w**2 - 16*w + 14. Let o be m(7). Are o and n equal?
False
Let o = -0.1 + -0.9. Is -0.6 >= o?
True
Let b be 4/5*(-25)/2. Suppose 0 = -o + 4*o + 12. Let p be ((-2)/b)/(o/5). Which is smaller: p or -2?
-2
Let m(b) = b**2 - 4. Let v be m(2). Suppose v = 5*n + 3*z - 20, -5*n + 2*z = -n + 6. Which is smaller: 4/3 or n?
n
Suppose 1 = -4*h + 5. Let l(m) = m + 1. Let a be l(0). Let y = a + -4/3. Is h greater than y?
True
Let h = 20 + -11. Let c = h + -9. Is 0.4 less than c?
False
Suppose v = -0 - 2. Suppose -2*n = -2*z, -2*z + 0*z = -2. Let a be (v - -2) + n + -3. Which is bigger: -4/7 or a?
-4/7
Let s(c) = -c + 6. Suppose 3 = t - 1. Let y(n) = n**3 - 5*n**2 + 5*n + 3. Let v be y(t). Let j be s(v). Are j and -2 unequal?
True
Let s be 4/(-10) + 27/5. Suppose y + 4 = 2*o, -y + 4*y = s*o - 11. Let u = -5 - y. Is u > -1?
False
Let t be (-4 - -12)*(-9)/12. Is t at most as big as -28/5?
True
Suppose 11*b + 8*b = 4*b. Is b at least -2/59?
True
Suppose 0 = s - 3*r + 24, 0*s + 4*r - 76 = 5*s. Which is smaller: s or -16?
-16
Let x be (38/3)/(((-6)/9)/1). Do x and -20 have the same value?
False
Let o be 0 - (30/(-21))/5. Which is smaller: o or -29?
-29
Let b = 5 - 4. Suppose 0*d + 3*r - 21 = -5*d, -2*r = -4. Which is bigger: d or b?
d
Let k(c) = -c**2 + 17*c + 56. Let v be k(19). Is v less than or equal to 16?
False
Suppose 205 = u - 5*o, -282 = -5*u + 5*o + 643. Let i be ((-224)/3)/((-5)/12). Let s = i - u. Is -2 >= s?
False
Let d(x) = -x**3 + 4*x**2 - 1. Let j be d(4). Which is bigger: j or -2/15?
-2/15
Suppose -2*n + 2*l + l - 6 = 0, -2*n - 3*l + 18 = 0. Let h = -5 + n. Is -2 <= h?
True
Let x be (-12)/(-10)*(-15)/(-6). Let c be ((-6)/(-10))/(x*1). Which is smaller: 0 or c?
0
Suppose 8 = -3*m + p - 10, -5*m - 31 = -2*p. Which is bigger: -7/2 or m?
-7/2
Let c = -33 + 21. Let i = c + 9. Which is bigger: -1 or i?
-1
Suppose 9 - 1 = -4*y. Let z be -3 + 3 - 0/y. Is -1 greater than z?
False
Let i = 0 - -3. Let p = -3.1 + i. Is 0.1 greater than p?
True
Let d(k) = 11*k - 47. Let q be d(4). Suppose -b + 2*m = -3, 3 = 2*b + 2*m + 9. Which is greater: b or q?
b
Suppose -5*k - 20 = 2*a, -2*k + 3*k = -4. Suppose -u + 0 - 2 = a. Suppose o - 5 = 6*o + 2*y, 0 = -o + 5*y - 1. Which is smaller: o or u?
u
Let j(m) = -m**3 + 9*m**2 + 3*m - 12. Let r be j(9). Which is smaller: r or 13?
13
Let y = -14 - -14.2. Which is bigger: y or 3/2?
3/2
Let u = 189/4 + -47. Which is smaller: -7 or u?
-7
Suppose 2*w - 3 = 3. Suppose -4*d - w = -7. Which is greater: d or -3/7?
d
Suppose 3*m = -5*u - 1, -2*m - 6 = u - 3*u. Is m smaller than -2?
False
Suppose -3*s = 2*q - 11, -5*q + 3*s = -s - 16. Suppose q*n + 86 = 2*n. Let g = n + 216/5. Which is greater: g or 0?
g
Suppose 3 = i, -t + 0 = -2*i + 2. Suppose -t*r - 8 = 2*j, -5*r - 8 = 2*j - 0*j. Which is smaller: -0.2 or r?
-0.2
Let h = 3 + -2. Let w be (2 - 5) + 0 + h. Let r be -2 + 2 + 4/(-6). Which is smaller: w or r?
w
Let d = 754 - 755. Let p = 0.11 + -4.11. Are p and d equal?
False
Let x = -60 - -37. Let s = -23.2 - x. Let u be 2/(-8) - (-1 - -1). Which is greater: u or s?
s
Let t = 6 + -10.6. Let u = -1.4 + t. Let i = u - -4. Do 1 and i have the same value?
False
Let l be (-1 + 1/1)/1. Let q be 4/18 + 4/(-18). Is q equal to l?
True
Suppose 10*m - 6 = 13*m. Which is bigger: m or -32?
m
Let b = -0.1 - -0.1. Suppose -7*r + 0 = -0. Is r < b?
False
Let a = -0.2 + 7.2. Let k = a + -6.2. Let f = -0.85 + k. Do 1 and f have the same value?
False
Suppose -2*o = c - 1, 4*c = o - 0 + 4. Is 4/7 >= o?
True
Let p(c) = -c**3 - 20*c**2 + 20*c - 21. Let s be p(-21). Which is smaller: -1/31 or s?
-1/31
Suppose 5*g + 0*g = 2*z - 10, -4*g + 2*z - 6 = 0. Let m = -2 - g. Suppose -10 = -m*v - 0*v. Which is smaller: 6 or v?
v
Let r(n) = n**2 + n - 19. Let j be r(4). Is 8/7 <= j?
False
Let v(l) = l**2 + l + 2. Let r be v(-2). Let m be 0 - ((-32)/2 - 3). Suppose 4*u = -r*s - 9 - m, 4*s + 3*u = -25. Which is smaller: s or -5?
-5
Let o = -3 + 5. Let l be (-8)/(-76)*2/o. Is l < 1?
True
Let i = -33/2 + 16. Which is greater: i or 3/5?
3/5
Let p be 0/(9/3) + 2. Suppose 0 = z - 3*n - 2 - 6, -p*z + n = -1. Suppose -20 = 4*k + 4*q, -5*k - 4*q - 7 = 13. Does z = k?
False
Suppose -8 = -b + 2*v, -v - 2 - 1 = -b. Let c be ((-8)/10)/(9/10). Are b and c equal?
False
Let i = 8 + -8. Let t = 146/5 + -29. Which is bigger: t or i?
t
Suppose 2*g + 6 = -0*g. Suppose 3*b - 3*x - 2*x = -14, 2*b = -2*x - 36. Let v = 11 + b. Which is greater: v or g?
v
Let j be (23/253*(-2 - -13))/(-3). Let l(x) = x**2 + 3*x - 5. Let c be l(-4). Let u be 1/c*0/2. Which is smaller: u or j?
j
Let n = 3 + 1. Is 3 less than n?
True
Let a(y) = 38*y - y**3 - 6 - 27*y - 11*y**2 - 5. Let o be a(-12). Is 1/10 smaller than o?
True
Let t = 7 + -6. Let y be 12 + -11 - (t - 1). Which is smaller: 3/5 or y?
3/5
Let r = -9 + 5. Let x(b) = -b**2 - 7*b - 6. Let g be x(r). Which is smaller: 7 or g?
g
Let k = -31 + 27. Which is smaller: k or 2/5?
k
Let d = -121/276 - -12/23. Which is smaller: -2 or d?
-2
Let m be (-2 + 2)*3/(-6). Suppose 3*f + 33 = -0*n + 3*n, 4*f + 4*n + 28 = m. Let p be 3*(2 - (-15)/f). Does 2 = p?
False
Suppose i = 4*i + 6. Suppose q = -0*q + 3. Do q and i have the same value?
False
Let j = -0.09 + 0.01. Let w = j - 0.02. Which is greater: w or -3?
w
Suppose 0 = -4*m - 16, -2*v + 4*v - 32 = 4*m. Let f be 2 + (0 - -2) + -7. Let w = v + f. Which is greater: w or 1/4?
w
Let u = -1 - -2. Let h be 6/(-6)*(-1 - 0). Is h bigger than u?
False
Let v = 31 + -124. Which is smaller: v or -92?
v
Let r = -0.6 - -2.6. Let m = 3.7 - 2.83. Let t = -0.13 - m. Which is smaller: t or r?
t
Suppose -3*p - 3 = -18, 0 = o + 2*p - 30. Which is smaller: 19 or o?
19
Let l be ((-36)/152)/(12/(-16)). Which is smaller: l or -1?
-1
Let j be (1/(-2) - -1)*-2. Let y be j/(-2) - 3/2. Let c be 4/9 + (-2)/3. Do y and c have different values?
True
Let i = 21 + -22. Is -1/7 at least i?
True
Let m(p) = p**3 + 6*p**2 + 8*p + 1. Let s be m(-4). Let v be s - (-4 - -2 - -4). Which is smaller: v or -1/38?
v
Let g be -16 + 2 + -6 + 2. Is g equal to -16?
False
Let r(q) = 2*q**2 - 11*q - 6. Let i be r(6). Which is bigger: i or 8/11?
8/11
Let y be -1*1 + 33/44. Let p(q) = -q + 1. Let n be p(0). Let f = n - 1. Are f and y nonequal?
True
Let l = 0.79 + 0.01. Let j = l - 0.5. Is 1 bigger than j?
True
Let r = -21/2 + 41/6. Which is smaller: r or -5?
-5
Let m be (-4 - 5/(-2))/(-1). Which is greater: m or -1/