)/(-28). Suppose -z*j + 0 + 8 = 0. Is j less than 5?
True
Suppose -b + o + 48 = 6*o, -5*b = -5*o - 90. Suppose 0 = -t + 29 - 7. Is b bigger than t?
True
Suppose -3*a + 39 = 33. Which is greater: a or 4/13?
a
Let f be -3 - (-2 + -6 + -3). Let w be 5/(-9) + f/12. Which is smaller: w or -1?
-1
Let x be (-1 + (-73)/(-74))*(-4)/(-7). Is -1 >= x?
False
Suppose 0 = -i + 2*i - 2. Suppose -r - i*w = -3*w - 1, 0 = -r - 2*w + 4. Let b(d) = -d**2 + 1. Let a be b(-1). Is r >= a?
True
Let g = 3 - 5. Let s = g + 8. Which is smaller: -1 or s?
-1
Let q be (-1 + -67)*6/4. Let s be 2/3 + q/72. Are 1/3 and s equal?
False
Let t = 44 + -44. Which is smaller: -32 or t?
-32
Let j = 16 - 11. Let v = j + -3. Let q be 0/v*(1 + 0). Which is bigger: 1/2 or q?
1/2
Let o be 10/6 - 1/(-3). Let f be 1064/80*2/46. Let w = 1/46 + f. Which is greater: w or o?
o
Let c(s) = s - 5. Let m be c(6). Which is smaller: m or 4/7?
4/7
Let j = 52 + -40. Do j and 13 have different values?
True
Suppose w = 2, 90 = 5*o + 2*w + 26. Let b be o/130 + (-16)/40. Which is smaller: b or 1?
b
Let r be ((-9)/(-174))/(18/8). Which is smaller: 1 or r?
r
Let l be 3 - (4 + -6 + 3). Does 3 = l?
False
Let b = 0.05 - -2.95. Let x = b - 2. Is x < -3?
False
Let m(f) be the second derivative of -f**4/12 + 7*f**3/3 - 3*f**2 + 3*f. Let v be m(13). Let j be 2*(v/10)/(-7). Does j = 1?
False
Let k(t) = t**3 - 7*t**2 - 3*t + 2. Let z be k(7). Is z less than -18?
True
Let k(s) be the second derivative of -9/2*s**2 + 0 - s - 1/6*s**3. Let g be k(-8). Which is smaller: 0 or g?
g
Let d = -9 + 7. Suppose 2*w + 7 = 2*c - 1, 5*c = -5*w. Is d smaller than c?
True
Let t = -8 - -8. Let f be 9/(-12) + (-1)/4. Which is greater: t or f?
t
Let q be (-9)/(-6)*(-16)/(-18)*9. Which is greater: q or 2/5?
q
Let u = 1.7 + -1.8. Which is bigger: 0 or u?
0
Let m(d) = -d**2 - 7*d - 4. Let c be m(-6). Suppose c*g + 4*v - 6 = -20, 0 = -4*v - 12. Is 1/5 at least as big as g?
True
Suppose -a + 6 = a. Suppose 6*y = a*y. Suppose 4*p - 9 - 7 = y. Is 4 at least as big as p?
True
Suppose 3*x - 8*x + 5 = 0. Are -21 and x non-equal?
True
Let l = -13.5 + 14. Let d = 0.7 - l. Let y = -0.3 + -0.7. Is d greater than or equal to y?
True
Suppose 2*b = -2*v - 12, -5*b = -4*v - 5 - 1. Let u = 15 - b. Which is greater: 1 or u?
u
Suppose 0 = 5*t - 5 - 15. Let c be (-3 + (-5)/(-2))*t. Which is bigger: -3/5 or c?
-3/5
Let x = -58 + 56. Let w = 22 + -19.4. Let c = 0.4 + w. Are x and c unequal?
True
Let m be (-2)/((-12)/9)*-16. Let n be 2/m*(2 - 3). Is n smaller than 0?
False
Let a(s) = 5*s + 3. Let g be a(-1). Which is smaller: -1 or g?
g
Let o = -0.5 + 0.54. Is o >= -0.1?
True
Suppose 5*r + 3*n = -0*r + 25, -4*r - n = -13. Suppose 0 = -4*x + m, x + 3*m = -2*x + 15. Suppose 2*z - 1 - x = 0. Which is smaller: z or r?
z
Let w be 1 - (0/(-3) - -1)/9. Is 0 >= w?
False
Let l = -7 + 4. Is l >= -2?
False
Let v(m) = -3*m - 12. Let a be v(12). Let g be 242*(-2 - 18/(-10)). Let w = a - g. Is 0 less than w?
True
Let x(u) = -u**3 - u**2 + 3*u + 1. Let j be x(-2). Let z be 2 - (-4 - -2)/j. Does z = 0?
True
Let y = -3.85 - 0.25. Let b = -4 - y. Which is greater: b or -2/7?
b
Let c = 461/6 + -77. Let s be 2 - (-8)/4 - 3. Which is smaller: c or s?
c
Suppose -5*c = -3*c. Suppose 3*k - k = -18. Let y be 6/15 - k/(-10). Is c less than y?
False
Let n be 0*(-4 + 3)/(-1). Which is greater: n or 1?
1
Let d(q) be the first derivative of q**4/12 - q**3 + 5*q**2/2 - 2*q - 1. Let k(y) be the first derivative of d(y). Let m be k(4). Are -3 and m non-equal?
False
Let y be 0 + -2 + 2 + 0. Suppose 0 = -y*j + 3*j - 81. Suppose -2*s - j = 3*l, s - 3*l - 14 = l. Is s less than -6?
False
Let g be 5/4 + (-6)/(-8). Suppose -g*l + 3*l - 1 = 0. Let f = -687/5 - -137. Which is smaller: f or l?
f
Suppose -x = -2*x - 1. Are -2/11 and x unequal?
True
Let l = -16 + 13. Suppose -s = 2*s + g + 4, 0 = s - g + 4. Is l bigger than s?
False
Let d(j) = 2*j**2 - 13*j + 6. Let n be d(6). Which is bigger: n or 62?
62
Suppose 4*d + d + 405 = 0. Let g = d + 245/3. Let b = 45 + -134/3. Is b at least as big as g?
False
Suppose 4*n = -2*x + 34, 3*x - 2*n - 35 = -0*n. Suppose 8*u + 5 = x*u. Which is smaller: 7/5 or u?
u
Let p be 116/5 + (-1)/5. Let y = p + -45/2. Is y greater than 2?
False
Suppose -8*i = -5*i - 126. Is i greater than 41?
True
Let c(f) = -f + 6. Let p be c(6). Let v be 12/(-54) + 2/9. Is p at most v?
True
Let z = 367/7 - 1557/28. Let g = 58/21 + -1/3. Let t = g + z. Is t equal to -2?
False
Let u = 2246/3263 + 1/251. Which is smaller: u or 2?
u
Suppose 5*v - 12396 = -2*b, -4*v - b + 0*b = -9915. Let u be 4/(-14) + 771/v. Let d = u + 191/1770. Which is smaller: d or 0.1?
0.1
Suppose -3*d = -2*d + 2. Let y = 3 - d. Suppose 0*o - 5 = y*o. Is 0 >= o?
True
Let p(x) = x**3 + 9*x**2 + 4*x - 2. Let n be p(-5). Let y = -46073/6 + 7601. Let z = y + n. Which is bigger: z or 0?
z
Let u(v) = -v - 9. Let l be u(-9). Let b be (0 + l)*5/(-15). Suppose -j + b = -1, -2*x - 2*j = 0. Is x > -1?
False
Let m be (-6)/36 + 958/(-12). Let w = -402/5 - m. Which is smaller: 1 or w?
w
Suppose 3*t - 4*m - 1 = 2*t, 4*m = 0. Is -1/5 bigger than t?
False
Let h = -65/2 - -34. Is h less than or equal to 1?
False
Let t be 2*1/1 + 63/3. Is 23 equal to t?
True
Let p = 21 - 7. Is p >= 13?
True
Let j = 12 - 6. Let z(o) = o**3 - 7*o**2 + 8*o - 8. Let n be z(j). Suppose 0 = 3*a + 3*f + 6, 5*a - n*f = 8 - 27. Which is smaller: -5/2 or a?
a
Let l(c) = -c**2 - 9*c - 1. Let i be l(-8). Suppose 2*t - 8 - 4 = 0. Which is bigger: i or t?
i
Suppose -c = 2 - 4. Let m be (1/(-3))/(c/(-6)). Which is smaller: m or -4?
-4
Suppose k + 0*k = 13. Which is bigger: k or 12?
k
Let j = -36 - -36.041. Which is smaller: j or -0.1?
-0.1
Suppose 2*n - 4*p + 64 = 0, 2*n - 5*n = 5*p + 96. Which is smaller: n or -31?
n
Let s be (-2)/(-6)*18/2. Let x be (74 - 79) + 1/(6/43). Which is greater: x or s?
s
Let j = -28764/49 - -587. Which is bigger: j or 0?
0
Let p(y) = y - 1. Let w be p(1). Let h be 5/(660/(-56)) - (-2)/6. Which is smaller: w or h?
h
Let k = -10 + 16. Suppose 2*o - 2*i - 4 = 0, o = 4*i - i + k. Is o != -1/4?
True
Let y = -2.2 + -0.8. Let p = 0.16 + -5.16. Let v = y - p. Which is smaller: 0 or v?
0
Let l = 0.12 - 0.02. Let i = 0 + l. Which is bigger: 3 or i?
3
Suppose -3*r - r = 16. Let f = -1.1 + 0.1. Are f and r non-equal?
True
Let x = 87 + -85.2. Which is bigger: -1 or x?
x
Suppose -o + 4 = -2*o. Which is bigger: o or -1/5?
-1/5
Suppose 5*w = -u - 1, -1 = -w - u + 2. Suppose x + 24 = -4*v, v + 4 = 4*x - 2. Let r = 3 + v. Which is bigger: w or r?
w
Suppose 8 - 3 = -v. Let n be (-7)/((-14)/30)*-1. Let f = n - -9. Do v and f have the same value?
False
Let x be (-2)/4*(-6)/(-12). Is 0 greater than x?
True
Let y = -0.17 - -0.27. Let q be -3 + 1 + 3 + 1. Which is greater: q or y?
q
Let t = -141.5 + 147. Which is smaller: t or -1?
-1
Let y = 98 + -166. Which is smaller: y or -1?
y
Let a(f) = -f**2 - 9*f - 1. Let v be a(-7). Let c be v*3/(-2 - -5). Let z = c - 27/2. Is z > 0.2?
False
Let h = 2.4 + -1.2. Let t = 0.2 - h. Do -3 and t have different values?
True
Let n be (-2)/(-1) - (10 - 17). Are n and 6 non-equal?
True
Let x(m) = -m**2 - m + 2. Let k be x(0). Let h be (-3)/k - (-275)/170. Let p(w) = -w**3 - 8*w**2 + 10*w + 9. Let c be p(-9). Are c and h equal?
False
Let h = 23 - 26. Which is bigger: h or -1/5?
-1/5
Let m = 14.9 - 15. Which is bigger: -8 or m?
m
Let g be (14/6 - 1)*54/(-22). Is g < -4?
False
Suppose 3*l = 12, 5*i - 2*l - 3 = -1. Let y be (-3)/18 + (-1)/i. Let f = -25 + 25.2. Are f and y nonequal?
True
Let u(c) = -c**2 + 8*c - 4. Let r(t) = -t**2 - 6*t - 3. Let j be r(-4). Let w be u(j). Let l be w/(-12) - 1/(-4). Which is greater: l or 0?
0
Let y(d) be the second derivative of d**5/20 - d**4/4 + d**2/2 - 2*d. Let j be y(1). Let l be j/3*6/8. Is 1 > l?
True
Let q = 169 + -195.1. Let j = 25 + q. Let v = -1 - j. Which is bigger: v or 0.05?
v
Let v(m) = m + 10. Let a = -8 + 0. Let s be v(a). Suppose -s*w = -5*w. Which is greater: w or 2?
2
Let f = 25562/11 - 2326. Is -1 > f?
True
Let g = 23 - 22.1. Let c = -3 - -2. Let z = c - -1.1. Is z equal to g?
False
Let a be ((-2)/6)/(10/150). Which is bigger: -18/5 or a?
-18/5
Let j = -7 + 8. Which is smaller: j or -1/45?
-1/45
Let o = -52 + 58. Which is smaller: 5 or o?
5
Let c = -0.88 - -1.48. Which is bigger: