 be -8*(-4)/(v*-2). Are -5 and t non-equal?
True
Suppose -4*q + q = 0. Let l(z) = z**3 + 2*z**2 - 2*z + 1. Let c be l(1). Suppose -2*h + c*f = q, 5 = h - 3*f + 1. Is h at least -3?
True
Let x = -13 + 12.9. Which is bigger: -2 or x?
x
Let y = -0.52 - -0.42. Which is smaller: y or 8?
y
Let i be 2 + ((-4011)/711 - -3). Let t = i - 2/79. Do -2 and t have different values?
True
Let t = -49043/62 + 791. Let i = t + 147/1426. Suppose -3*o = 2*o + 5. Is o < i?
True
Suppose -5*x - 25 = -5*s, 2*x + 3*s = 2 + 3. Let i be -3 + 1 + 3 + x. Let j be (-10*2/(-4))/i. Which is greater: j or -4?
-4
Let r be (2/4 - 2)*-2. Suppose -2*k + r*k = -6. Let d be ((-10)/(-20))/(k/(-8)). Is 1 greater than d?
True
Let j be 3/3 - (-651)/(-262). Let l = j + -2/131. Let t(v) = -v**2 - 10*v + 21. Let f be t(-12). Are f and l equal?
False
Let x(c) = c**3 + 8*c**2 + 7*c + 9. Let g be x(-7). Suppose 5*z = g*z. Which is greater: z or 1?
1
Suppose 0*z - 8 = -4*z. Which is bigger: 5/6 or z?
z
Let h = -11 - -6. Let x = -0.016 - 6.984. Let g = h - x. Which is greater: g or 2/11?
g
Suppose 0 = -23*u + 19*u - 4. Which is bigger: -2/119 or u?
-2/119
Let l be -3*4/3*(-8)/3. Which is bigger: l or 10?
l
Let f = -90/53 - -3468/1855. Let h = -124/315 + f. Which is smaller: h or 0.04?
h
Let l(k) = -k**2 - 8*k - 9. Let s be l(-6). Suppose -3 = d + 2*z, -3*d - s*z + 8*z + 24 = 0. Suppose -j - 2*j = d. Is j equal to -2/9?
False
Let f = -19 + 18. Let k = 0 - f. Which is bigger: 1/4 or k?
k
Suppose 5*v = -5*q + 25, 5*v - 5*q = v - 7. Let y be 1 + -2*(v - 1). Let w be (-20)/(-7)*2/(-4). Which is smaller: y or w?
w
Let k = 358 - 502. Let z = k + 1006/7. Let t be (-3)/(-12) + 1/(-4). Which is smaller: z or t?
z
Let u be -2 + (-16)/(-10) + 12/(-20). Which is bigger: 0 or u?
0
Let g(j) = -4*j**2 + 8*j + 9. Let b(h) = -3*h**2 + 7*h + 8. Let a(x) = 5*b(x) - 4*g(x). Let k be a(-4). Does 8 = k?
True
Let b(v) = 2*v + 12. Let r be b(-8). Is -4 greater than r?
False
Let y be (-1)/(2/(-18)*-3). Let u be y/3 - -1 - 2. Let f be ((-3)/(3/u))/8. Is f at most as big as 0?
False
Let t = -2 + 2.5. Let i = 0.3 - t. Let u = i - 1.8. Which is bigger: u or 0.1?
0.1
Let w = -1.61 - 0.29. Let i = w - 0.1. Is i equal to -2?
True
Suppose -12 = -3*f + 27. Suppose -a - 10 = -2*w, -f + 3 = 4*a - 2*w. Is a smaller than -2/9?
False
Suppose 0 = 2*b - 4*o, -3 + 7 = 3*b - 2*o. Let i(s) = -s**3 + s**2 - 2*s - 1. Let r be i(b). Which is bigger: r or -10?
r
Let h = 147 + -154.9. Let v = h + 8. Which is smaller: -3 or v?
-3
Let j = 0 + 3. Suppose -j*x + 6 = -x. Let n = -37 - -38. Is x bigger than n?
True
Suppose 5*g = -0*g + 10. Suppose -2*j - 7 = c, 0 - 18 = 4*c - g*j. Do c and -5 have the same value?
True
Let l = -4 + 3. Which is bigger: -34 or l?
l
Suppose 3 - 7 = 4*w. Let f be ((0 + w)/1)/(-1). Let l = 54 + -485/9. Is f less than l?
False
Let o(m) = m + 3. Let c be o(8). Let r = c + -9. Are 2 and r non-equal?
False
Let k(h) = h**3 + 153*h - 153*h. Let z be k(0). Are z and -1/2 non-equal?
True
Let c(k) = -k**2 + 11*k - 9. Let t be c(10). Suppose f - t - 4 = 0. Suppose 0 = -2*d - 2*h - 4 + 2, -2*d + f*h - 9 = 0. Does -2 = d?
True
Let u(x) = -5*x + 8*x + 6*x**2 - 5*x**2 + 1. Let z be u(-2). Let y = z - 3. Is y > -3?
False
Let w = -529 + 2633/5. Which is bigger: w or 1/3?
1/3
Suppose -3 = 2*a - 1. Let c be (1 - a)*4/(-60). Is c at most 0?
True
Let d(i) = -i**3 + 8*i**2 + 8*i + 9. Let h be d(9). Let n = -23/10 - -5/2. Is n not equal to h?
True
Let u be -3 + (1220/84)/5. Is 0.1 less than u?
False
Let m(x) = -x**2 - 8*x - 6. Let q be m(-7). Let p be q/(-4) + (-11)/4. Let n = 2 + p. Are 2/17 and n unequal?
True
Suppose 3*g = g + 6. Let x(l) = l - 1. Let n be x(3). Are g and n equal?
False
Let q = 9 - 9.03. Let w = -0.07 + q. Which is smaller: 0.1 or w?
w
Suppose 9 = v - 5*z, 5*v + z + 16 + 17 = 0. Let m(x) = -x**3 - 6*x**2 + x - 2. Let i be m(v). Let u = i + 9. Which is smaller: u or -2/5?
-2/5
Let x be 0/(-6) - 8/(-7). Which is greater: x or 1?
x
Let s be (((-1)/1)/(-1))/(2/26). Which is bigger: s or 15?
15
Suppose -u + 21 = 2*u. Let x be u/(-2) - 2/4. Suppose -25 = 3*a + 2*a. Which is smaller: a or x?
a
Suppose 4*g = -2*y, 0*y + 5*g = -5*y. Suppose 0*p + 6 = 3*p. Suppose 7*o + 5*f = p*o, y = f. Are o and 0 nonequal?
False
Let r be 8/(-32)*4/3. Let f = 1 - 2. Is f greater than r?
False
Let u be 3 - (4 - -1)/5. Is 11/7 smaller than u?
True
Let c(x) be the first derivative of x**3/3 - 5*x**2/2 - 4*x + 4. Let z be c(5). Let p = 2 + -6. Are p and z non-equal?
False
Let k(t) = -t - 1. Let c be k(-3). Do -0.2 and c have the same value?
False
Let t be 34/(-10) + (-6)/10. Let a be (t/6)/(5/12). Is -1 greater than a?
True
Let t be (-22)/(-4) + 3/(-6). Let g be (-2)/t + 3/20. Let z = 2 + -2.4. Is z at most as big as g?
True
Let q = -0.07 + 0.27. Let x = 0.2 + q. Which is bigger: x or 1?
1
Let j(x) = -x**2 + 4*x - 3. Suppose -o + 2 = 5*w, 3*o - o = -5*w + 4. Let n be j(o). Is n > 5/4?
False
Let w be (-54)/(-15) - 4/(-10). Let u(l) = -l**2 - w - l**3 + 4. Let c be u(-1). Is c >= 1/5?
False
Let f(k) = -k - 2. Let l be f(-6). Does -1 = l?
False
Let t be (-2)/8 + 51/12. Suppose 2*k = t*k - 8. Which is smaller: k or -0.2?
-0.2
Suppose -4*i = 4*z - 72, 5 = 2*z - 4*i - 13. Let x be (1 + 1)*z/10. Let w(b) = -b**2 - 4*b + 1. Let g be w(-3). Are x and g unequal?
True
Let c = 7/3 + -2. Let t be 16/6 + 8/(-12). Suppose 0*x = -4*x + k - 4, k = t*x + 4. Do x and c have the same value?
False
Let y = -23 + 41. Suppose y*o - 36 = 15*o. Is o at least 11?
True
Suppose 0*t - 3*m = 4*t + 17, -4*m - 16 = 2*t. Let g = 0 - t. Let h be g + (21/(-9) - -1). Which is smaller: h or 0?
0
Suppose 0 + 5 = 5*y. Let g be (2 + 120/(-62))*-1. Which is greater: y or g?
y
Suppose 2*o + 203 = 201. Are -29 and o equal?
False
Let z be (0 - 4)/(-4) - -11. Let j = z + -13. Which is bigger: j or 1/13?
1/13
Suppose -2*q + 4*q - 6 = 0. Suppose -o + q*o = -22. Let x = 7 + o. Are -4 and x equal?
True
Let g(z) = -z**2 - 7*z - 2. Let r be g(-6). Let f be -2 + (-3 - -2)*-7. Are f and r nonequal?
True
Let c be (-587)/(63/102 + -1). Let k = 1536 - c. Is 1 greater than k?
True
Let z(j) = -j**3 + 4*j**2 - 2*j - 4. Let i be z(3). Let k = 6 + -3. Let a be 4/(-6) + k/9. Which is greater: i or a?
a
Let j = 91 + -83.2. Let b = j + -7. Let p = -0.2 - b. Is p not equal to -1/2?
True
Let r = -69.55 + 69. Which is bigger: r or 0?
0
Suppose 4*p + 5*a - 64 = 0, 4*p + 3*a = 24 + 48. Let m = p - 20. Which is greater: m or -1?
m
Let p = 0.8 + -0.6. Let l = 0.39 - -0.01. Let z = p - l. Are 2/11 and z non-equal?
True
Let q = 0.03 - 3.03. Let h = 2.9 + q. Let w = 0.3 + h. Are w and -2 equal?
False
Suppose 5*z = -0*z + 30. Let g = 8 - z. Suppose 0 = 3*m - 4*y + 2*y + g, -3*m + y - 4 = 0. Is m bigger than 2/5?
False
Let i = 11/12 - 5/3. Suppose 3*z = -3*k + 4*z - 4, 5*k + 9 = 4*z. Which is smaller: k or i?
k
Suppose -2*m + 2*y = m - 4, -2*m = -2*y - 2. Is m equal to 2?
True
Let l(o) = -o**2 + o + 35. Let b be l(0). Suppose -b = -5*j + 5. Which is smaller: 3 or j?
3
Let h be 2/10 + (-4)/20. Suppose -5*l + l = h. Which is bigger: l or -1/6?
l
Let m = 44 + -64. Are -20 and m non-equal?
False
Suppose 2*i = -4*z + 8, -6*i + 13 = -2*i + 5*z. Suppose u + 4*a + 6 = -2*u, 0 = u + i*a + 4. Let c be ((-2)/(-14))/(2/14). Which is greater: c or u?
u
Suppose 0 = l - 6*l + 45. Which is bigger: l or 1/4?
l
Let d = -4 + 1. Let i = d - 1. Let v = -1 - i. Which is bigger: v or -2?
v
Let g = 137 - 162. Is -23 greater than g?
True
Suppose j - 4 = -0*j. Suppose 2*f = j*f - 2. Which is smaller: 0 or f?
0
Let m = -7 - -9. Is 1/6 < m?
True
Let k be (-30)/8 - 3/12. Let q be (21/(-6))/((-2)/k). Which is bigger: -6 or q?
-6
Let r = -4.2 + 4. Is r >= -46?
True
Suppose 6 = 2*y - 2*j + 2, -y = -2*j - 2. Suppose 2*g - 6 = 0, -y*l - 12 = 2*l - 4*g. Which is greater: l or -3/13?
l
Let u = 5 + -6. Which is smaller: u or -2?
-2
Let n = -2751/1507 + 1/137. Which is smaller: -2 or n?
-2
Suppose -12*a = -15*a + 87. Does a = 28?
False
Suppose -124 = -2*x + 108. Is 115 at least as big as x?
False
Let d be (-16)/(-72) + (-29)/9. Is -3 at most d?
True
Let h = 7/36 + 1/18. Suppose 0 = m - 1. Is m at most h?
False
Let n(w) = w**2. Let x = -2 + 3. Let h be n(x). Let q = -1 + h. Which is smaller: 1 or q?
q
Let s be (-12)/16 - (-58)/56. Is s at least 0.02?
True
Supp