(-20))/((-2)/60). Does g = -11?
False
Suppose -4*o = 3*o - 49. Is 6 greater than o?
False
Let z(g) = -g - 6. Let m be z(5). Let x = -15 - m. Let q = 0 + -2. Do x and q have different values?
True
Let i = -0.4 - -0.4. Let g = -0.2 - 0. Let t = i + g. Is 1 at most as big as t?
False
Let f = 143/850 + -3/34. Let c = 0 - -2. Is c < f?
False
Let y = -13 - -8. Suppose -4*m + 2*k = -6, -m - 3 = 2*m - 4*k. Let v = m + y. Is -2 > v?
False
Suppose -2*l + 0*l = 4. Let c be ((0 - -1)/4)/(10/30). Are c and l nonequal?
True
Let s = 112 - 104. Which is smaller: 29/4 or s?
29/4
Suppose 31 = 4*i - 1. Let t(g) = -g**2 + 9*g - 8. Let d be t(i). Let r = 1 + d. Which is smaller: 1/5 or r?
1/5
Suppose 3*d + 0*d = 24. Let k be (-1 + 21/12)*d. Let r be (-3)/2*(-8)/k. Is r > 2?
False
Suppose -j - 3*s + 4 = 0, 5*j - 6 = -s - 0*s. Let d be (-48)/(-6) - (1 + 1). Suppose -a + d*a - 35 = 0. Is j at least as big as a?
False
Let l be 2/(-11) + 416/(-132). Is -3 bigger than l?
True
Let w(s) = -11*s + 1. Let o be w(-1). Let l be (2/4)/(3/o). Suppose -l*n = -3*n + 2. Are n and 2 non-equal?
False
Let s = 8371/16 + -523. Which is greater: 0 or s?
s
Let s = -6.3 + 1.3. Let c = 5.2 + s. Let r = -0.6 + 2.6. Is r at most as big as c?
False
Let w(h) be the first derivative of h**2/2 + 5*h - 2. Let a be 0 - (6 - (2 + 0)). Let v be w(a). Which is greater: 0 or v?
v
Let x be 2*(5/(-10) + 0). Is x bigger than -1/5?
False
Suppose 2*a + 4 = -2*a. Let d = a + -3. Is d greater than -2?
False
Let z = 16/9 + -107/45. Is z < -1?
False
Let u = -23 - -47/2. Suppose -4*i - 4 = -v, -v + 4*v - 2*i - 2 = 0. Which is smaller: u or v?
v
Let u(x) = -x - 3 - 2 + 6. Let h be u(2). Let q be ((-12)/10)/((-3)/10). Which is smaller: h or q?
h
Suppose 3*v - 1 - 5 = 0. Let k be (2 - (22 - v))/(-1). Let l be (-40)/k - 2/(-9). Is -3 at least as big as l?
False
Let k be ((-35)/(-10))/(129/(-14)). Let t = k + 2/43. Are t and -2 unequal?
True
Let t = 296 + -6805/23. Is t >= -1?
True
Let r = 0 - -1.12. Let z = 8.82 - r. Let c = -8 + z. Which is smaller: 0.1 or c?
c
Let f(l) be the second derivative of l**5/20 + 11*l**4/12 + 4*l**3/3 - 7*l**2 - 4*l. Let s be f(-10). Do s and 5 have the same value?
False
Let a = 1.024 - 0.024. Is a > 0.1?
True
Suppose 8*h - 5 = 3*h. Suppose -g + h = 3*d - 0*g, d = -5*g - 9. Let a be d/2 - 2/(-4). Are a and 1/3 equal?
False
Let u = 3 + 0. Suppose -3*k - u = -5*b, -2*k - 18 = -2*b - 5*k. Which is greater: b or 5/3?
b
Suppose 22 = 4*c - f, 2*f + 0*f = -4. Do c and 17/3 have the same value?
False
Let c = 1/4 + -3/4. Let p = 4/7 + c. Do p and 0 have the same value?
False
Let g be (-495)/(-25) - 2/(-10). Are 18 and g non-equal?
True
Let d be 168/30*(-1)/2. Do d and -2 have different values?
True
Let y = -0.01 - 1.99. Let h = 5 + y. Let n = -2 + h. Is 1/5 < n?
True
Let v be 32*32/80*30/(-8). Is -48 > v?
False
Let k(u) = u**2 - 4*u - 8. Let q be k(6). Suppose 3*s = -2*c + 9, -c + q*s = 2*c - 39. Let d be c/10 + (-1)/2. Is d at least as big as -2/13?
True
Suppose 0*r - r = -j - 1043, -1019 = -r - 5*j. Let b = 77923/75 - r. Are b and 0 unequal?
True
Let k(z) = -3*z. Let s be k(-1). Which is smaller: 1 or s?
1
Let k = -114 + 115.98. Let s = 2.78 + -2.8. Let u = k - s. Which is smaller: u or 1/3?
1/3
Let o be ((-3)/6)/(1/12). Suppose -4*d = -3*l + 15, 5*d = -2*l + 4*l - 24. Do o and d have different values?
False
Let j = -5 - -9. Let y(p) = p**2 - 4*p. Let t be y(j). Suppose t*s = 5*s + 30. Do s and -5 have different values?
True
Suppose -4*l + q + 2 = -2*l, -5 = -5*l - q. Suppose -3*k + 2*k - l = 0. Is k at least -1?
True
Suppose 0*s = -o - 3*s + 6, 4*s - 15 = o. Suppose -3*r - 97 = -3*x - 2*x, 4*r = -x - 137. Let a be r/8 + (-4)/(-16). Does o = a?
False
Suppose 70 = -5*z - 3*s - 2*s, -50 = 3*z - 5*s. Let y = z + 2. Is y bigger than 1?
False
Let c be ((-4)/6)/((3 - 1)/(-44)). Which is smaller: c or 14?
14
Suppose -12*x = -8*x - 12. Suppose 3*p + 7 = -5. Let i = 0 - p. Does x = i?
False
Let n(x) = -x + 1. Let p be n(2). Let i be (-2 + 0)/(2/(-3)). Suppose -i*o + 2*o + 2*u = 8, 0 = 5*o + 3*u + 1. Which is smaller: o or p?
o
Let m = 11987.47 - 12063. Let d = m + 76. Let x = d + 0.03. Is -2/5 > x?
False
Let h(p) = p + 9. Let c be h(-5). Are c and 3 equal?
False
Let o = 1.62 - 1.6. Is o < 1?
True
Let m(w) = -w + 1. Let n(z) = -4*z + 4. Let b(q) = 10*m(q) - 3*n(q). Let r be b(3). Is r at most as big as 2?
False
Suppose -3*l = -4*a - 10, -4*l - 9 = -6*l + 5*a. Let k(n) = n - 2. Let x be k(l). Let p = 234/5 + -47. Which is greater: p or x?
x
Suppose -7*x = -9*x + 8. Let j be 1/((4/26)/2). Suppose 4*o = x*b - 16, -2 = 5*b + j. Which is smaller: o or -8?
-8
Suppose 2 = -5*f + 4*k, 0 = -f + 2*f - 5*k + 13. Let r = -24 - -27. Suppose -6 = r*s + 4*h + 4, -20 = 5*h. Is f not equal to s?
False
Let x = -23 - -45/2. Do x and -1 have different values?
True
Let l be (-118)/(-14) + 9/(-21). Which is greater: 20/3 or l?
l
Let d(f) be the third derivative of f**6/120 + 2*f**5/15 + f**4/12 + f**2. Let m be d(-7). Let n = m + -176/5. Which is smaller: n or 1?
n
Let r be 2*2/(-3 + -1). Do -2/141 and r have the same value?
False
Suppose 0 = -37*b + 33*b - 148. Are -37 and b non-equal?
False
Let q be (2 + -3)/(2/2). Let s be q + 3 + (-18)/(-6). Suppose -4*n = -s*k - 17, 6 = -4*k + 2*n - 4. Is k < -1?
False
Suppose -6*c = -3*c - 6. Let n = c - -1. Suppose n*j = -2 - 1. Does j = -2/5?
False
Let i(w) = w**2 - 2*w + 4. Let y be i(3). Suppose 0 = 2*p + 3 - y. Is 3/5 bigger than p?
False
Let t = 0.02 + -0.2. Let r = t - 0.02. Does r = -0.2?
True
Let m = 3 - 4. Let a = m + 0. Let n = -86/3 + 256/9. Is n >= a?
True
Let c(q) = q + 11. Let p be c(-9). Does 5 = p?
False
Let c(d) = -d**3 - 3*d**2 + 11*d - 5. Let u be c(-5). Let h(q) = -q**2 - 10*q - 3. Let s be h(u). Let j = -6 - -3. Is s less than j?
False
Let b = -0.1 - 2.9. Let w = b - -4. Let n be ((-2)/(-4))/(2/(-4)). Which is greater: w or n?
w
Let d(i) = i**2 + 8*i - 10. Suppose c = -2*p - 0*p - 22, -11 = 3*p - 4*c. Let u be d(p). Which is greater: -1/4 or u?
-1/4
Let s(a) = 3*a + 28. Let c be s(-7). Let t be 1/(-2) - (-13)/(-2). Let y = c + t. Is 2 smaller than y?
False
Let k(v) = 3*v - 1. Let w be k(4). Suppose -w = -5*a + 39. Let p = -10 + a. Is p equal to 1/4?
False
Suppose 2 = 4*a - 54. Suppose 3*i + 22 = -a. Is -12 equal to i?
True
Let o be 1*123/(-63) + (-4)/(-6). Is o bigger than -2?
True
Let y be 3/(-12)*2*-6. Suppose 9 = y*c - 0*c. Suppose c*q = -q + 8. Is q > 4/7?
True
Suppose 4*r + 18 = 3*a, 2 - 4 = 2*r + 2*a. Is -2 >= r?
True
Let u(f) = -f + 5. Let g be u(0). Let c be (-8)/(-20) - 36/15. Let x be (3 + -1)/(g - c). Is 0 bigger than x?
False
Suppose 5*m = m - q - 5, 3*m + 4 = -q. Let w be ((-2)/(-5))/((-2)/10). Which is smaller: m or w?
w
Suppose 3*i = -2*w + 16, -3*i + 1 + 1 = -5*w. Let m(n) = n + 9. Let s be m(-7). Suppose -f = -4 + s. Does f = w?
True
Suppose -3*p = d + 4 - 16, -3*p - 5*d = 0. Is p at most as big as 5?
True
Let r = -6 - -9. Is r smaller than 0?
False
Suppose -7 = -4*a - 3. Let w = -15 + 21. Are a and w non-equal?
True
Suppose 3*o - 5*z = 3, -2*o + 5*z = -o + 9. Suppose -o*s = -s - 5. Let n be s + (-1 - 21/6). Which is bigger: -5 or n?
n
Let d = 0.09 - 1. Let w = d - -0.11. Is 1 less than or equal to w?
False
Let a(t) = t**3 - 3*t**2 + 3*t - 2. Let b be a(3). Suppose 5*o - b = -3*n + 8, -5*o = 2*n - 15. Is 3 less than o?
False
Let n = -523 - -6803/13. Is 0 > n?
False
Let w(z) = -z**2 - 3*z. Let k be w(-3). Let s = -1 - k. Which is greater: 0 or s?
0
Let f be -2 + (2 - 6/3). Suppose 2*l + t = 2 + 5, -3*t = -l - 7. Which is smaller: l or f?
f
Suppose -7*l - 12 = -5*l. Let y be (-62)/(-104) + l/8. Let q = -2 + 1. Which is bigger: y or q?
y
Let z be (-17 - 6)*2/10 - -3. Is z bigger than -2?
True
Suppose 71 - 3 = 4*k - 4*s, 2*k + 4*s - 64 = 0. Is 23 bigger than k?
True
Suppose -3*h = -2*h - 1. Suppose -3*u - 4 = -h. Is 2/5 less than or equal to u?
False
Let j = 13.1 - 14. Let o = -0.7 - j. Let m = 0.4 + -0.7. Are o and m unequal?
True
Suppose l = -3*l. Suppose l = 4*f + 5*b + 33, 1 = b + 6. Are -2/3 and f unequal?
True
Let c be (2 - (-3 - -1))*(-3)/2. Are -1 and c unequal?
True
Let j(r) = -r + 12. Let z be j(9). Let a be -2 + 19/(-17) + z. Which is smaller: -2/5 or a?
-2/5
Let b be 4/30*(0 + -3). Suppose 2*c + 208 = -628. Let r be c/495 - (-2)/5. Wh