3/470 - 3/94. Let v(n) = -n - 4. Let k be v(-5). Do k and f have different values?
True
Let q = -170.7 - -171. Which is greater: -4/3 or q?
q
Let z(s) be the second derivative of -s**4/12 + s**3/2 - 3*s**2/2 - 6*s. Let q be z(3). Do q and -3 have the same value?
True
Let f be 105/(-10)*(-4)/3. Suppose 0 = 4*v + r + 173 - f, 2*v + 90 = -4*r. Let s be (-2)/(-4)*(-12)/v. Which is greater: -1 or s?
s
Let g = 144.69 - 120.8. Let p = 24 - g. Which is bigger: p or -1?
p
Suppose 45 = w - 3*i, -8*w + 4*w + 5*i + 208 = 0. Let k be 1/w - 1/3. Which is greater: 0 or k?
0
Let x = -0.087 - 2.913. Do x and -0.2 have the same value?
False
Let d = -13 - -15. Is 1 >= d?
False
Let g(i) = i**2 + 10*i - 2. Let b be g(-8). Let c = -18 - b. Which is greater: c or 2?
2
Suppose -4*j = 5*v, 5*j - 2*v - 2*v = 0. Suppose -5*i + 3*i = 3*l - 6, -4*i = j. Let y = -1 + 2. Which is bigger: y or l?
l
Let n = 28 + -24. Suppose -n*q - 3*f - 38 = 0, 0 = 2*q + 3*f - 8*f + 32. Are q and -11 equal?
True
Let v = 155 - 3413/22. Let b = 97/66 + v. Is 0 < b?
True
Suppose -25 = 5*j - v, -v = -3*v - 10. Is j at least as big as -6?
True
Let t = 0.11 + 2.89. Is 1 at least as big as t?
False
Let v be (-48)/72 + 398/150 + -2. Which is greater: 1 or v?
1
Let i = -21.8 + 22. Which is greater: -2/3 or i?
i
Let r = 1 + -0.9. Let k = 3 + -3.6. Let y = -0.6 - k. Do y and r have the same value?
False
Suppose 3*q - 2 = 4*h, 5*q = 3*h + 6 + 12. Let d = 0.05 + -1.05. Which is smaller: d or q?
d
Let g = 860/23 + -38. Which is smaller: 0 or g?
g
Let z be 148/18 + (-22)/99. Is 8 < z?
False
Let t be 3 + (-1)/2*2. Let d be ((5 - -3) + 0)*1/7. Which is bigger: t or d?
t
Let f be 4/13 + 0/(-3). Which is greater: 1 or f?
1
Let f = -0.1 + -5.9. Let g = 1 + f. Let w = g + 7. Is -3 <= w?
True
Let d(a) = a**2 - 2*a - 7. Let x be d(0). Which is smaller: -9 or x?
-9
Let b(w) = w**2 + 7*w + 7. Let x be b(-5). Let o be 42/12 - x/2. Is o > 6?
False
Let r be -4*(-4 - 6/(-2)). Suppose 0 = d - r*d. Is d < 1/5?
True
Let z = 9.1 - 8. Is z at least -0.1?
True
Let r(j) = -j**3 + 18*j**2 - 18*j + 14. Let a be r(17). Let g = a + 5. Suppose 5*f - 2*d = d - 4, f - 4*d + 11 = 0. Which is smaller: g or f?
f
Let k = 3 - 1. Let b be (-1)/k + (-54)/(-84). Is 0 < b?
True
Suppose 8 = -d - 2*l, 4*d - l = 5 - 1. Which is smaller: d or 33?
d
Let w be (-9)/(-2 + (-39)/(-24)). Let l be 14/w*8/28. Which is smaller: l or 0?
0
Let o(f) = 2*f - 17. Let q be o(8). Is q >= 1/18?
False
Let g = -2388.03 - -2398. Let b = -10 + g. Is 1 smaller than b?
False
Let h(w) = w**3 - 6*w**2 - 3*w + 8. Let r be h(6). Let j = r - -14. Suppose j*m - 3*m = -5. Does m = -4?
False
Suppose -n + 2*n + 5*x + 15 = 0, 2*n + 2*x + 6 = 0. Let g be 6/9 - 68/(-6). Let c(i) = i**3 - 12*i**2 + i - 14. Let j be c(g). Which is bigger: n or j?
n
Let b = -103 - -718/7. Suppose 3*z + 2 = 17. Suppose -2*w + j = -j + 6, z*w = -j - 3. Which is greater: b or w?
b
Let t = -0.16 - -10.16. Let n = -19 + 20. Are n and t unequal?
True
Suppose -1 = 4*n + 3. Let q = -533/27 + 59/3. Are n and q unequal?
True
Suppose 6*u - 4*u = 3*k - 27, 4*u = 0. Does k = 9?
True
Let a = -3/14 - -5/14. Let l(h) = h - 4. Let z(g) = -4*g + 12. Let i(j) = -7*l(j) - 2*z(j). Let x be i(-5). Is x at least a?
False
Suppose -3*a + a = -3*y - 1, 0 = -3*y - 3. Which is bigger: -6/7 or a?
-6/7
Let r = 0.4 - 0.1. Let l(z) = z**3 - z**2 + z. Let s be l(1). Are r and s equal?
False
Suppose -26 = -4*d + 2*o - 10, 2*d - 12 = 2*o. Let h(b) = -b**3 - 3*b**2 + 6*b + 2. Let t be h(-4). Let u = -3 - t. Which is smaller: u or d?
d
Let s = 1 + 3. Suppose 4*u - s*a + 64 = 0, 3*u + 4*a = -0*u - 41. Let j be 26/15 - (-6)/u. Which is greater: 0 or j?
j
Suppose -i + 56 = 3*i. Let b = i - 14. Which is smaller: 11 or b?
b
Let l = -254/3 - -85. Suppose -6*w + w = 0. Suppose w*a = -4*a. Is l >= a?
True
Suppose 4*m = 4 + 4. Suppose -m*w + c = 7, 5*w - c = 4*w - 6. Which is bigger: 2/17 or w?
2/17
Let x = 13 - 30. Is x at least as big as -2?
False
Let i = 1 + -4. Let y be (-69)/(-180) - i/(-12). Let g = 2 + -1. Which is greater: g or y?
g
Let k be (8/110)/(6/(-15)). Let u = 55 - 55. Which is smaller: u or k?
k
Let a be (-1186)/90 + -1 + (-2)/9. Which is smaller: -14 or a?
a
Suppose 5 = 6*w - 5*w. Is w at most 4?
False
Suppose -1 - 3 = 4*p. Let o be (-3 - 2*p) + 3. Let r(d) = -d**3 + 2*d**2 - 1. Let h be r(o). Which is smaller: h or -2?
-2
Let q = 1.7 + -1. Let x = q - 0.6. Let b = 5.07 + -0.07. Which is greater: x or b?
b
Let h = 0 - -4. Let n be (-8)/h + (-22)/(-13). Is 0 at most n?
False
Let q = 2/13 - 56/195. Let c(m) = m**3 - 5*m**2 - 4*m - 11. Let j be ((1 - 2) + 4)*2. Let i be c(j). Which is bigger: q or i?
i
Let v = -11 + 24. Suppose -2*g = -u + v, 2*u - 3*g = 3*u + 12. Suppose u = -2*f - 1. Is f less than -0.1?
True
Suppose -3*w + 5*w - 4*w = 0. Is w greater than -2/3?
True
Let i be 4*(12/8 + 3). Let h be 9/i - (-1)/(-2). Which is smaller: 3/7 or h?
h
Let w be (-52)/(-14) - 2/(-7). Let t = 5 - w. Is t at most as big as 1?
True
Let t be 5 + -2 + 6 + 161/(-21). Suppose -7 - 1 = -4*g. Is g less than t?
False
Let o = 10 - 7. Let z = -35 - -37. Let n be z + (0 - o) - 0. Which is smaller: n or 2?
n
Let m(q) = q**2 - 6*q. Let a = -8 - 8. Let w = -10 - a. Let l be m(w). Which is smaller: 2/9 or l?
l
Let u(z) = z**3 - 9*z**2 + z - 13. Let x = 1 - -8. Let o be u(x). Is -1 at most as big as o?
False
Let j be 0 - -52 - (-28 + 23). Which is smaller: 56 or j?
56
Suppose y + 11 = 2*y + 5*v, -11 = -5*y - 3*v. Do y and 6/11 have the same value?
False
Suppose u + 3 = c - 4, u = 4*c - 22. Suppose -3*r = -c - 7. Let s be r/10 + (-6)/(-10). Which is greater: s or 0?
s
Let i = 43092/5 + -853203/95. Let q = i + 363. Which is bigger: 1 or q?
1
Let p be (10/390)/((-2)/(-4)). Is p greater than or equal to 1?
False
Let v = -65.1 - -65. Is v less than or equal to -53?
False
Let w be 4 + (-6)/(-2) + 1. Suppose -5*l - w = 2. Is l at most as big as 0?
True
Suppose 3*l + 1 - 10 = 0. Let d be (1 - l)*2 + 3. Which is bigger: d or 2/5?
2/5
Let s(m) = -m**2 + 6*m - 4. Let k be s(4). Let b = k - 2. Let f = b - 4. Which is greater: -1 or f?
-1
Let y be (-80)/3 + 3/(-9). Let l = 40 + y. Suppose 0*i + 1 = 5*i + f, -5*i + l = -2*f. Is i < 0?
False
Let f be (-14 - -2)/(-3) - 2. Suppose t + f = -t. Suppose -5*m = -3*s - 31, 0*s - 35 = 5*s - 5*m. Does t = s?
False
Suppose -6*f = 194 - 170. Is f at least -3?
False
Let z = -16 + 10. Let l be z/(-10)*4/6. Is -1 less than l?
True
Let i(a) = 2*a + 4. Suppose 3*d = -3*f + 2*d - 41, -d = 5*f + 65. Let n = f + 7. Let t be i(n). Is t at most as big as -4?
True
Let b = -52 + -22. Are b and 1 equal?
False
Let v be ((-20)/30)/((-2)/3). Let h be (2 - 1 - 2)/v. Which is greater: h or -2/9?
-2/9
Let z(g) = -g**3 + 10*g**2 - 9*g + 5. Let c be z(9). Which is bigger: 3 or c?
c
Let a = -2 + 0. Let q be 4/2*a/(-4). Let g be (-9)/135*(-3)/(-1). Is q equal to g?
False
Let o be 0 + 13 - (-2 + 5). Let q(r) = -r**3 + 9*r**2 + 10*r + 2. Let h be q(o). Are 4/5 and h equal?
False
Let o be (-9)/3*1*1. Let m(f) = -f**2 - 4*f. Let b be m(o). Is b < 2?
False
Suppose 2*x = -3*x + 5. Let y be (-2)/(-12)*(1 + 0). Which is greater: y or x?
x
Let o = -22.1 - -22. Which is greater: o or 13?
13
Suppose -4*o = -6*o + 8. Let z(m) = -m + 11. Let r be z(7). Do r and o have the same value?
True
Let s be 85/(-110) - (-4)/(-12)*-3. Which is bigger: s or -1?
s
Let a = -129 + 1163/9. Suppose y + 4 = 3. Let c be 4/(-4) + y + 1. Do a and c have different values?
True
Let l = -42/59 - -40/59. Suppose 2*w - 5*w + 3 = 0. Which is bigger: l or w?
w
Let o be 20*(9/(-2) + 4). Are o and -10 nonequal?
False
Let d be 1 - 75/42 - 4/(-14). Is 13 at least as big as d?
True
Suppose 18 = 4*n + 2. Are n and 0 unequal?
True
Let y = -4.03 + 0.03. Let j = y - -6. Is j equal to -0.2?
False
Let t be 4/4*-6 - -3. Let f be (-5)/t + (-2)/(-6). Which is smaller: 1 or f?
1
Let r = -6 - -4. Let u = -155 + 1077/7. Which is smaller: u or r?
r
Suppose -5*i + 3*c = -19, c + 0 - 3 = -3*i. Suppose i*j - 6*j = -4. Let l be (-1 + 5)*j/(-22). Are l and 0.2 unequal?
True
Let g = -3.2 - -2.8. Is g less than 0.1?
True
Let y = 555/11 - 2627/44. Which is smaller: -10 or y?
-10
Let b = -42283/42 + 1007. Let d = -1/84 + b. Suppose -4*p = -3*o + 5*o, 0 = 2*p - 4*o. Which is smaller: d or p?
p
Let i be 8/(-20) - 37/