- g. Do n and -1 have the same value?
False
Let r = 56.7 - 53. Let p = 4 - r. Let k = p + -0.2. Are k and 0 unequal?
True
Let m = -9 - -2. Let h = m + 8. Which is smaller: h or -1?
-1
Suppose 5*s + 4 = -1. Is -1/9 <= s?
False
Suppose 2*h + 2*h + 33 = -d, 3*h + 4*d = -15. Which is bigger: -5 or h?
-5
Let w = 16 + -10. Let s = 11 + -5. Let m be (-4)/s - (-4)/w. Which is smaller: 2/3 or m?
m
Let b(v) = 2*v**2 + 3*v - 5. Let q be b(-4). Let j = q - 5. Let n be (1/(-6))/((-1)/j). Which is smaller: 1/4 or n?
1/4
Suppose -1 = 6*j - 61. Is j equal to 13?
False
Suppose -4*p - 2 - 2 = 4*c, -2*c - p = 0. Is -1 > c?
False
Let n be 0 + 0 + (4 - 0). Suppose -h + 0*u = 2*u - 7, u = -n*h. Let x be 1*-1 - (3 + -4). Is x > h?
True
Suppose 0 = 8*o - 16*o + 16. Which is smaller: 3 or o?
o
Let p = 455 + -4093/9. Let n = -18.1 - -17. Let m = n + 0.1. Which is bigger: p or m?
p
Let s(f) = f**2 + 10*f - 4. Let g be s(-10). Let y = 2 + g. Let a = 1 + y. Which is smaller: a or -2/11?
a
Let y be 5*(0 + (-2)/5). Let u = 5 + -4.5. Let i = -0.5 + u. Is y less than i?
True
Suppose 0 = 4*l + p - 67, 5*l = -4*p - p + 95. Are 6 and l equal?
False
Suppose -y = 2*y. Suppose 2*q = -y*q + 6. Are 3 and q nonequal?
False
Suppose -2*m + 6 = c, -2*m = -c - 10 - 4. Is m at most 5?
True
Let c(j) = 4*j + 1. Let k(n) = n. Let g(a) = -c(a) + 6*k(a). Let t be g(1). Let v = -1 + 1. Is t != v?
True
Let p = -0.1 + 0.1. Let t = 23 - 24. Let m = t - p. Which is smaller: m or 0?
m
Let j = -464/7 + 66. Do j and -3 have different values?
True
Let d = 0.4 - 0. Let l = 0.2 - d. Let k = 0.8 - l. Is -1 greater than or equal to k?
False
Suppose o = -0*t - 2*t + 5, -4*o + 20 = -t. Suppose m - 6 = -5*x, 3*x + 0*m - 5*m = -2. Let l be x/6*3/(-2). Are l and t nonequal?
True
Let z(d) = d**3 - 5*d**2 + d - 4. Let g be z(5). Let l be (2/2 - 2)/g. Let c be ((-12)/10 - -2)*-1. Is c bigger than l?
True
Suppose 21*s - 22*s - 9 = 0. Is -9 smaller than s?
False
Let s = 42 + -24. Let q = s + -13. Is 2 at most q?
True
Let j = 8 - -6. Which is smaller: j or 13?
13
Let a = -1013/7 + 145. Let v = 323/6 - 54. Which is smaller: a or v?
v
Let w = -560 + 17923/32. Are 1 and w equal?
False
Let w be (0 + -2)*1/(-2). Let o be (72/2)/(1/(-1)). Let m = -109/3 - o. Which is smaller: m or w?
m
Let k be (-4 + 7)*(-2)/15. Which is greater: k or 1?
1
Suppose 3*r + 1 + 2 = 4*b, 2*r + 19 = -3*b. Which is bigger: -16/3 or r?
r
Let r = 2.5 + -0.1. Let s = r - 0.4. Does -2/13 = s?
False
Let b be ((-24)/414)/(4/6). Is b > -1?
True
Suppose 0 = -w - 0 + 3. Let d(b) = b**2 - 3 - 3*b + 4 + 0*b**2. Let q be d(w). Is 1/2 greater than q?
False
Suppose -a = -3*c + 3, 21 = 4*a - 4*c + 3*c. Suppose -4*q - 42 = 3*q. Let v be 2/a - (-50)/q. Is v < -8?
False
Let v = 11 - 11. Suppose v*j = -j + 2. Are j and 9/5 equal?
False
Let u = -0.8 - -0.7. Are u and -1/2 equal?
False
Suppose -2 = 2*o + 2*g, 4*o = 3*g + 2*g + 5. Is o not equal to 2/3?
True
Suppose 76*s = 75*s + 68. Which is smaller: 69 or s?
s
Let x be -2 - -1 - 1 - (-1547)/748. Which is smaller: x or -1?
-1
Let m(q) = -q**3 + 2*q**2 + 6. Let y be m(5). Let c = -141/2 - y. Is -1 bigger than c?
True
Suppose 54 = 4*u - 46. Suppose t - u = -3*g - 2*g, -5*t = -g - 21. Suppose l = 3*l + g. Is l at least as big as -3/4?
False
Let s = 167 + -172. Is s greater than 0.9?
False
Let v = 5.07 - 0.93. Let b = -0.14 + v. Which is greater: 2/7 or b?
b
Let w(j) = j**2 + 4*j + 3. Let a be w(-3). Let i = a - 1. Suppose 2*g + 0*v = -5*v + 5, 3*v = -3*g + 3. Is i bigger than g?
False
Let w be (1 + 0)*0 - 2. Let f be 1/(-2)*(9 + -7). Let i = w - f. Which is greater: i or 2/5?
2/5
Let l(u) = -u**3 + 6*u**2 - 5*u - 2. Suppose 0*t + 25 = t - 5*j, 0 = 2*t - 4*j - 26. Let a be l(t). Let y be (-34)/28 - a/(-7). Which is greater: y or -1?
-1
Let y = 0 + 0. Let d = -1 - y. Let o be (-20)/(-30) + (-8)/14. Is o greater than d?
True
Let n be ((-2)/6)/(1/3). Let z = n + 1. Suppose 4*w = 10*w. Is z bigger than w?
False
Let z = -1 - -2. Suppose 4*q + 3 = -z. Is q smaller than -5/3?
False
Let i = 0 - 0.2. Let x = -0.4 - i. Let u = -0.3 + 0.2. Is u equal to x?
False
Suppose x - 11 = 4. Which is bigger: 14 or x?
x
Let y(f) = f**2 + 5*f - 3. Let x be y(-4). Let d be 0 + (0 - 1) - x. Let c be 0*1/(d/3). Is 1 less than or equal to c?
False
Let p = 15 + -34. Is p greater than or equal to -21?
True
Let o = 95 - 103.6. Let l = 2.3 + o. Let v = l + 6. Are 1 and v nonequal?
True
Let a = 20 - 16. Let f(c) = 4*c**3 - c**2 + 1. Let b be f(1). Let r be (-7)/(-2) - (-2)/b. Are a and r nonequal?
False
Let m(x) = 3*x**2 - 34*x + 12. Let q be m(11). Is 2 > q?
True
Let y = -0.154 + 0.324. Which is smaller: -4 or y?
-4
Let b = 5 + -7. Which is smaller: 6 or b?
b
Let d be 5/(-15)*9/(-16). Are d and 1 unequal?
True
Let g(c) = -c**2 - 10*c - 4. Suppose 5*k - 2*k = -3*a - 18, 0 = -3*a + 9. Let s be g(k). Suppose -3*q + s = 2*q. Is q bigger than -0.1?
True
Let x(m) = -m**3 - 19*m**2. Let s be x(-19). Which is smaller: 3/14 or s?
s
Suppose 2*v + 34 = 4*d, d + 3 = 1. Let l = -18 - v. Is -1 equal to l?
False
Let n(h) be the second derivative of h**5/20 + h**4/2 - h**3 + 3*h**2 - h. Let w be n(-7). Which is bigger: w or -0.2?
-0.2
Let v be 1 - 4 - (-456)/153. Is -1 less than or equal to v?
True
Let y be 3/(-12) + (-22)/8. Is y bigger than -5?
True
Suppose 5*n - 213 = 3*z, -3*n + 48 = 3*z - 99. Is 47 > n?
True
Let k be 1/(1/(0 - -1)). Let b be -3 + 26/8*k. Let d = 11 + -12. Is b <= d?
False
Let p(k) = k + 5. Let t(i) = -2*i + 2. Let z be t(4). Let b be p(z). Which is greater: -1/2 or b?
-1/2
Suppose 3*n = -2 - 10. Let a be n/(-10) - (-128)/(-20). Which is greater: a or -0.1?
-0.1
Let f be (-1)/((28/6 + -4)/(-2)). Let o be (-1 - 0)*(0 + -11). Let m = o - 6. Which is smaller: f or m?
f
Let b = -2/67 + -128/201. Let j = 1 - 0. Which is bigger: b or j?
j
Suppose 4*y - 9 - 3 = 0. Suppose 0*l = l - y. Suppose -2*q - u + 8 = -4, 2*q + l*u = 20. Is q < 4?
False
Let s(y) = -y**2 + 3*y - 3. Let i be s(2). Which is bigger: i or -7?
i
Suppose 2 = -7*k + 6*k. Are -1 and k unequal?
True
Suppose 0*t = 3*t + 225. Is t less than -75?
False
Let b = -3 + 5. Are b and 3 unequal?
True
Let p = -25 - -15. Let y be (2 - p/(-6))/1. Which is smaller: y or -1?
-1
Suppose -l - 3*l = -20. Suppose 2*k + 12 = -4*s, 0 = l*k - 6*s + 2*s - 26. Let a = 92 - 91. Is a <= k?
True
Suppose 0*d + 4*w + 5 = d, 3*d - 5*w = 15. Suppose d*z - 8 = z. Let t be z/3*3/(-11). Is t bigger than -1?
True
Let g = -25/4 + 167/28. Let n be (1 - (4 - 3))*-1. Which is smaller: g or n?
g
Suppose -43 = o - 2*x, -2*x = 4*o - 3*x + 137. Let s = -19 - o. Suppose -4*h - 2 = 4*m + s, 0 = h + 3*m + 14. Is -2/23 less than h?
True
Let b be -22*(-9)/12*2. Is b less than 33?
False
Let c = 0.02 - 6.02. Is c less than 1/2?
True
Suppose -2*s + 3*d + 2 = -23, -d + 37 = 5*s. Let p = s + -14. Let a = -23/4 - p. Is a > 0?
True
Let m be (-33)/1185*-139 + -4. Let l = m + -1/237. Is l > 2/9?
False
Let r(s) = -s**3 - 2*s**2 + 2. Let p be r(-2). Let x be ((-7)/(-26))/(4/8). Let j = x - -108/65. Does j = p?
False
Let l = 6299/25 + -252. Which is greater: 0 or l?
0
Suppose i = -5*j, 17 = 4*j - 6*j + 3*i. Let m be (-6)/9*6/(-4). Is j less than m?
True
Let o(v) = 3*v**2 - 2*v + 3. Let q be o(3). Is 24 smaller than q?
False
Let z = -0.09 - -0.19. Let u be (-8 - -4)/((-4)/(-10)). Let g be (3/27)/(u/12). Is z greater than or equal to g?
True
Let u be ((-3)/(-6))/(2/28). Let l be -4 - (6 - (-2 - -18)). Is u greater than l?
True
Suppose 0 = 5*f - 4*h + 5, -6*f + f = 5*h - 40. Suppose 0 = 5*t - 4*t - 7. Let g = -4 + t. Is f smaller than g?
False
Let g(a) be the first derivative of a**3/3 + 9*a**2/2 + 4*a + 2. Let q be g(-8). Is q <= -3?
True
Let p = 21 - 10. Let f be 36/45 + 4/(-10). Are f and p non-equal?
True
Let v(s) = -3*s - 10. Let d be v(-5). Is 5 not equal to d?
False
Let f = 6 + -8. Let b = 2.1 + f. Is b != 0.2?
True
Let i = 16.01 - 16. Is i at most as big as -0.1?
False
Let b = 0 - -2. Suppose b - 10 = -4*q. Is 2 at most q?
True
Suppose 3*q = -q + 4, 0 = b + 5*q - 9. Suppose -5*c + 2*h = 6*h + 296, -72 = c + b*h. Let f be c/(-66) + (-8)/12. Which is bigger: 0.1 or f?
f
Let n = -1 - -1. Let k = 4.4 - 4. Let d = k - n. Is d at least -1?
True
Let s = 1.56 + -1.6. Is s at most 1/2?
True
Let t be (-2)/(3/3) + -28. Let v be 2 + (-4)/t*-3. Which is