. Is t at least i?
False
Let v(j) = -j**2 - 8*j + 4. Let w be v(-6). Let q be ((-4)/w + 1)*-4. Is q < -2?
True
Let j = -13/6 + 5/3. Which is greater: j or 7?
7
Let b = 136 + -404/3. Let f(v) = 6*v - 2. Let z(h) = 5*h - 1. Let y(o) = 4*f(o) - 5*z(o). Let n be y(-4). Is n greater than or equal to b?
False
Let o be 4 + -2 + 7/2. Let u = 21/4 - o. Let x(n) = 3*n**2 + 2*n + 1. Let l be x(-1). Which is smaller: u or l?
u
Let o(k) = -k + 6. Suppose -26 + 6 = -4*s. Let j be o(s). Is 1 not equal to j?
False
Let b = -71 + 48. Is b equal to -23?
True
Suppose 0 = -4*p + p + 9. Suppose 2*a - p*t = 3, 3*t - 1 = 4*a + 2. Let d be a/((-6)/4) - 6. Which is smaller: -7/2 or d?
d
Let w = 225 - 228. Suppose -3*n = -6, 5*o - 2*n - 3*n = -25. Is o not equal to w?
False
Suppose -8*i + 2*i = 30. Let c(f) = -f - 4. Let o be c(0). Which is greater: o or i?
o
Let s = -0.42 + -0.58. Is s <= 2?
True
Let c = -15 + 11. Let q = c - -6. Suppose 0 - q = d. Which is smaller: -3 or d?
-3
Let a = 104 + -110. Let t(v) = -v**2 - 3*v + 4. Let j be t(-5). Are a and j equal?
True
Let w(u) be the first derivative of u**3/3 + u**2/2 + u - 3. Let p be w(0). Let s be (1 - p) + 1/8. Is s smaller than 0?
False
Let d = -4 + 2. Let f = 24 - 23. Is f at most as big as d?
False
Let a(k) = k + 2. Let s = -16 + 15. Let g be a(s). Is g > 3?
False
Let l be (6/9)/(1/(-3)). Let z be (l + 1)/(-1 + 0). Are 5/7 and z equal?
False
Suppose -4*x - 2*y + 132 = 0, -2*x + 46 = 3*y - 12. Is 106/3 >= x?
True
Let s be (-3 + 3)/(-4) + (-2)/(-17). Suppose 0 = -5*m + 16 - 1. Is m at most as big as s?
False
Let j = -1024/5 - -204. Does j = -2?
False
Suppose 2 = 2*v - s, 0*v - 6 = 2*v + 3*s. Suppose v = -h - h. Let q = -3/152 + -2/19. Which is bigger: h or q?
h
Let l = 0.34 + -0.04. Let r = l - 0.2. Let q = 105 - 105.04. Which is smaller: q or r?
q
Let a = -0.3 - -0.35. Let b = 0.15 + a. Which is greater: -2 or b?
b
Let l = 19 - 21. Is l equal to -5/6?
False
Suppose -o + 2 = i - 3, i - 5 = -3*o. Suppose 0 = 3*p - 8*p + i. Which is smaller: p or -1/9?
-1/9
Let n = 12 - 9. Is n bigger than 3?
False
Let l = -101 - -112. Is 9 less than l?
True
Let t = -12 + 6. Which is smaller: t or 1?
t
Let w(c) be the third derivative of -c**5/60 - c**4/8 - 5*c**3/6 - c**2. Let j(d) = 3*d**3 + 2*d + 1. Let l be j(-1). Let o be w(l). Does -9 = o?
True
Let y be (24/(-30))/((-54)/(-10)). Which is bigger: y or 0?
0
Let z(v) = v - 2. Let o be z(7). Let w be (-3 + o)/(0 - -2). Which is smaller: 2/31 or w?
2/31
Suppose 0 = v + 3*v. Suppose v = -3*y + 8*y + 10. Let k be y + 7/(7/(-2)). Is -4 at least k?
True
Let q(o) = 3*o. Let z be q(1). Let k be -1 + (36/7)/z. Which is smaller: k or 2?
k
Let v(q) = q**2 + q. Suppose -l + 3*m - 14 = 0, m - 9 = -5*l + 1. Let g be v(l). Is g bigger than 2?
False
Let n be (1/9)/((-142)/12 - -2). Which is bigger: 0 or n?
0
Let r(u) = -u**3 - 4*u**2. Let f be r(-4). Let y be (-471)/6 + f - 1. Let s = -81 - y. Is s greater than 0?
False
Suppose 0 = -3*k - 4*y + 23 + 19, -2*k + 5*y = -51. Let j be 5/(-10) - (-25)/k. Is 1 >= j?
True
Suppose 10 = -4*f - h, -5*h + 4 + 6 = 0. Let c be (12/(-3) - f)*-1. Is c at least -5?
True
Let q(x) = 2*x + 12. Let p be q(-6). Is p at most as big as 0?
True
Let q(h) = 8*h**3 - 2*h**2 - h + 1. Let t be q(2). Let o be ((-3)/5)/((-11)/t). Is o greater than 3/2?
True
Let m(d) = -d + 2. Let x be m(6). Let z be x/(-6) + 2 + -2. Which is bigger: z or 0?
z
Suppose 0 = -4*s + 6*d - 10*d + 20, 2*s - 15 = -3*d. Let x = 148/231 - -2/77. Are s and x nonequal?
True
Suppose 4*v + 2 = -6. Which is bigger: v or 0?
0
Let c be 1*2 + (-2)/2. Suppose 3*g + 5 = x - c, 0 = 3*x. Suppose 4*l - 2*o + 4 = 2, -3*l + 16 = -5*o. Which is greater: g or l?
g
Let s be 26/(-18) - (-3)/((-3)/(-2)). Which is smaller: 1 or s?
s
Let d(u) = -u**2 - 5*u - 4. Let j be 1/(-3) + (-7)/(-3). Suppose -j*n + 6*n - 4*r = -28, -4*n - 2*r = 4. Let b be d(n). Is 3 smaller than b?
False
Suppose -l - l - 2 = 0. Which is greater: l or 3/10?
3/10
Let j = -18 - -5. Let u = j - -16. Are 4 and u non-equal?
True
Suppose -4*m = s + 5, 3*m = -4*s + 14 - 34. Let y be m/(-4)*(-1)/1. Which is bigger: 2/3 or y?
2/3
Suppose 2*y - 12*y = 10. Let r be -1*6/(1 - -2). Is y < r?
False
Let j(v) = 3*v - 4*v - 2 - 3*v**2 + v**3 + 4*v. Let c be j(2). Suppose 0*l - l = -q + 2, 2*q - 3*l - 6 = c. Are -2/13 and q nonequal?
True
Let g be 3 - (184/45 - 1). Which is bigger: 0 or g?
0
Let s = -1.5 - -0.8. Let y = s + 1. Is -0.4 less than y?
True
Let v(n) = n**2 - 16*n + 16. Let z be v(15). Which is smaller: z or -3/10?
-3/10
Suppose -4*r = -3*k + 20, 3*r = -6 - 9. Is k at most 7?
True
Let h = -6.85 + 7. Let q = h - 0.15. Is q > 0.8?
False
Suppose 3*u + 42 = n - 0*n, -n + 45 = -4*u. Is n at least as big as 33?
True
Let m = 7/156 + -1/312. Which is smaller: 1 or m?
m
Let i be (-2)/11 - 1*8/198. Which is smaller: 18 or i?
i
Suppose f - 5 = 0, -4*h + 0*f + 24 = 4*f. Let v be (-6 + 2 - -5)*h. Is 3 greater than or equal to v?
True
Let n = -7 - -8. Let q = -28 - -29.1. Let x = q - n. Which is smaller: -0.3 or x?
-0.3
Let i be -8 - ((0 - -7) + -3). Let f be (-1)/1 + (-27)/(-2). Let g = i + f. Is -2 > g?
False
Suppose 0 = 4*t - 2*t - 16. Suppose -10 = -4*x + 6. Suppose x*k = -0*k - t. Are k and -1/2 non-equal?
True
Let v(s) = -2*s**2 - 6*s - 3. Let x be v(-4). Let l be ((-1)/x)/((-4)/(-8)). Is l < 1/3?
True
Let d(g) = g**2 + 3*g + 4. Let n be d(-3). Suppose n*l - l = 0. Let v be l/1*(-4)/8. Which is greater: v or 1/2?
1/2
Let r = 957/2 - 489. Is r at most 2?
True
Let s be 3/2 - 1286/744. Let g = -2/93 + s. Are g and 2 unequal?
True
Let w be (-3)/(-8)*(-28)/(-42). Which is smaller: -1/5 or w?
-1/5
Let z = 6/5 - 107/85. Is z less than -1?
False
Let u = 145 - 148. Which is bigger: -17/5 or u?
u
Let h = 813/812 - 28/29. Is 0 < h?
True
Let s be ((-28)/9)/2 + 2. Let i(u) = 2*u**2 + 2*u - 1. Let r be i(-2). Suppose p - r*p + 2 = 0. Which is smaller: p or s?
s
Suppose 2*w = 5*w - 3. Let t be -3*3*w/(-6). Is t != 1?
True
Let u = -6 - -12. Suppose u*c = c. Does c = 0?
True
Suppose 0 = l + 2*l - 6. Let o be (4/3)/(l/15). Let g(w) = -w**2 + 11*w - 15. Let x be g(o). Which is smaller: -4 or x?
x
Suppose -3*p = -4*h - 47, 2*p - 4*p - h + 35 = 0. Suppose -p + 2 = 5*k + 5*c, -4*k - 5*c = 12. Which is smaller: k or -1?
k
Suppose -3*h - a - 82 = 0, -2*h - h = 3*a + 84. Let i be 6/(-9)*h/6. Which is bigger: i or 3/2?
i
Let d = -1334/3 + 431. Which is smaller: d or -14?
-14
Let p be 13 + -2 + -1 + -2. Let h be (3/18)/((-2)/p). Which is bigger: h or -2?
h
Let r = 2 - 2. Suppose 5*l = y - 20, -5*y + 13 + r = 4*l. Does 4 = y?
False
Let c(r) = r**2 - 4*r - 13. Let d be c(6). Which is smaller: -0.1 or d?
d
Let b = -3 - -6. Let a(h) = h**2 + 4*h - 3. Let o be a(-5). Suppose 2*y - q = 1, b*y + 10 = -y - o*q. Is -1 greater than y?
False
Let z be (0 - 0) + (-5)/(-10). Let p = 0.02 - 2.02. Let y = p - -3. Which is smaller: z or y?
z
Suppose -4*t = 2*t + 6. Is t greater than or equal to -1/31?
False
Let l be 1/(-3) + 5/240. Is l equal to 0?
False
Let i = 8 - -2. Let g be 1/((i/4)/(-5)). Which is smaller: -3 or g?
-3
Suppose 22 = 2*y - 4. Suppose -19 = -2*g - c - 2*c, -5*g = -4*c - y. Let a = -3 + g. Which is greater: 3/5 or a?
a
Let u be (-300)/378 - (-8)/14. Let v = -2/127 - 123/254. Which is greater: u or v?
u
Suppose 2*k + w = -1, 3*k - 3 = 4*k - 2*w. Is 2 bigger than k?
True
Let y(w) = w**2 + 2*w + 1. Let s be y(-3). Let k be (s - 1) + (-1 - -3). Which is greater: 4 or k?
k
Let q = 56 - 36. Suppose -5*h = q, -3*u - 18 = -u + 5*h. Suppose u = b - 0*b. Is b less than or equal to -0.2?
False
Let q = -8 + 4. Let z be 1/(-1) - (-3 - q). Let o be z/3*(-3)/(-2). Which is smaller: o or -2?
-2
Let f(c) = -c. Let p be f(0). Suppose -3*l + s + 2 + 3 = p, 2*l = -s - 5. Which is bigger: -5 or l?
l
Suppose -o - 4*o + 12 = -j, 0 = 3*j - 5*o - 4. Let f = j - 11. Let q = f + 3. Is q > 2/15?
False
Suppose -3*t - 25 = -5*k, -4*k + 2*t + 2*t = -28. Do 2 and k have different values?
False
Suppose -30*z + 39*z = -18. Let i = 1751/11 - 159. Which is greater: z or i?
i
Let j be -34 - (24/(-8))/(3/(-4)). Which is smaller: j or 0?
j
Let z be ((-3)/2)/((-2)/4). Suppose -2*k + 4*j = -12, k + z*j = -0*k - 9. Which is smaller: k or -1?
-1
Suppose 0 = 4*h + 5 - 1. Suppose 2*i - 8 = -3*n - 3*i, -3*i = -3*n. Is h smaller than n?