 = 3*i - 0. Let o = -4 + i. Is o at most -1/14?
False
Let b be (-21)/56*(-810)/165. Is b greater than 2?
False
Let v = -300 + 301. Is v > 18/17?
False
Let x = 7.9 - 8. Which is smaller: 0.0333 or x?
x
Let v be 1 - 3/(4 + -5). Let c be ((-5)/3)/(v/(-12)). Which is smaller: c or 0.1?
0.1
Let r(h) = -h**2 - 3*h + 1. Let x be r(-2). Suppose 16 = x*i - 2*j + 3, -2*i = 5*j + 4. Which is greater: 13/3 or i?
13/3
Suppose -4*i - 80 = 4*d, d + 3*i + 14 = 4*i. Which is bigger: d or -12?
-12
Suppose -3*c + 3 = -d - 0*d, 15 = -3*c. Let q be (-24)/d*9*1. Let o be 0*(-1 - q/(-8)). Is -2 greater than o?
False
Let f be ((-1)/(1/(-11)))/(-1). Let d(j) be the second derivative of -j**4/4 + 11*j**3/3 + 3*j**2 + 9*j. Let w be d(8). Is f >= w?
False
Suppose 0 = -22*p + 15 + 7. Is 4/177 bigger than p?
False
Suppose 33*v = 15*v - 2736. Which is bigger: v or -149?
-149
Suppose 0 = 4*s - 4*t - 4 + 16, -2*t + 6 = 0. Let b = -0.27 + 0.59. Let z = b - 0.38. Is z smaller than s?
True
Suppose 160 + 530 = 3*o - 3*m, m - 1120 = -5*o. Is 225 bigger than o?
False
Suppose -q + 2 - 8 = 0. Let v be 4/(8/q) + 7 + -6. Which is greater: -1 or v?
-1
Let d be ((-28)/(-84))/(2 - 8). Are -1/2 and d unequal?
True
Suppose 2*a = -10 - 32. Let f be 14/8*(-6)/a. Which is greater: f or 11?
11
Suppose 34 = -3*w + 91. Which is smaller: w or 23?
w
Let y be (-1 + 32/28)/(-2). Suppose -m + 5*g + 30 = 0, g - 21 + 1 = -5*m. Suppose p = -3*f + m*f - 3, 15 = 3*f - 5*p. Do f and y have different values?
True
Let t = -1/110 + -383/220. Let r be (-1*2)/(-7 + 9). Which is smaller: r or t?
t
Suppose 1 = -4*j + 5. Let f = j - 16. Are f and -15 non-equal?
False
Let k = 39 - 46. Let p = 8 + k. Is p less than or equal to -2/127?
False
Let r be ((-18)/63)/((-8)/(-7) - 1). Let y = 0.02 + -0.05. Let g = y + -0.07. Which is greater: g or r?
g
Let i = 613 + -519. Is 371/4 greater than i?
False
Let m = 325 + -419. Is m at most as big as -91?
True
Let u = -11.27 - -0.27. Let a = -10 - u. Let j be 38/(-209) + 43/55. Which is greater: a or j?
a
Let w(g) = 2*g - 49. Let n be w(24). Which is smaller: -4/57 or n?
n
Let o = 241/490 + -9/98. Is -112 greater than o?
False
Let s be (-2)/(-1)*(-1)/(-2). Suppose 3*p - n = -5 - 4, -5 = -2*p - 3*n. Let h be p/11 - (-7 + 7). Which is smaller: s or h?
h
Let d be (2 - 0)/(5/((-60)/(-16))). Suppose 0 = -3*z + 2 + 1. Which is bigger: d or z?
d
Let v = 25 + -22. Let o = -8 + v. Let j = o - -5.1. Which is smaller: -0.04 or j?
-0.04
Let g(y) = 3*y**2 - 31*y - 11. Let z be g(11). Which is greater: z or -2?
z
Let c = 179 - 171. Is c at least 7?
True
Let d be 42/4*16/24. Let z = d - 6. Let q = -107 + 108. Does q = z?
True
Let w be ((-6240)/(-26))/(6/(-4)) - -4. Do -155 and w have the same value?
False
Let j(d) = -d**3 - 7*d**2 + 20*d + 121. Let o be j(-5). Is o > -44?
True
Let s = 7.55 - 4.55. Which is smaller: s or 48?
s
Let h = 4 - 28. Let o be h/10*30/6. Which is smaller: -13 or o?
-13
Let a = -583 - -586. Suppose 5*x = -2*c + 5*c + 7, 2*x - 4*c = 14. Which is smaller: a or x?
x
Let a be (4/106)/(8 + -6). Suppose 0*g + 3*s = -4*g - 1, -1 = 2*g + s. Is g less than a?
True
Let g = -53 + 88. Suppose -4*c = -2*b - 38, 3*c + 11 = -3*b + g. Suppose -f + 0*f + 5*x = -4, c = -4*f - 5*x. Do f and -2/27 have the same value?
False
Suppose -10*z - 1790 = 1490. Which is smaller: -329 or z?
-329
Suppose 0 = 298*g - 255*g. Is 2/4587 <= g?
False
Let p be (4 + -6)/(1 + -1 - 2). Is -5/56 <= p?
True
Suppose 0 = -3*d - 9 + 33. Let a be ((-50)/d - -7) + 3/(-4). Is -0.02 at least as big as a?
False
Let m be (-158)/(-18) - (-6)/27. Let r be (m/3 - 5) + 5. Let o = r + -1. Which is smaller: 0 or o?
0
Let k(j) = 10*j - 105. Let h be k(18). Are 75 and h nonequal?
False
Let f = -4 - -10. Let m = 147 + -147.01. Do m and f have different values?
True
Let o(p) = p**2 + 5*p + 1. Let n be o(-4). Suppose 8 = -2*c - 4*f, -f = 5*c - 10*c - 20. Which is smaller: n or c?
c
Let s be ((-163)/9)/((-46)/(-60)). Let p = 71/3 + s. Suppose -v = 7*v. Which is bigger: p or v?
p
Let d(q) = q**2 + 4*q - 116. Let n be d(9). Which is smaller: n or 1/873?
1/873
Let w be (1 + -7)*(-1)/2. Let v = -2 + w. Let l be 8/(-34)*10/8*24/20. Is l at least v?
False
Suppose -3286 = -14*t + 2552. Which is greater: 416 or t?
t
Let z = 1164 + -5802/5. Which is smaller: 3 or z?
3
Let k = 111 - 111. Is k bigger than 3.4?
False
Let o(w) = -3*w - 6. Let g be o(-4). Suppose 5*b - 49 = -n - 0*b, -2*n - 2*b + 58 = 0. Let l = n - 18. Is g greater than or equal to l?
True
Let x = 325 - 317. Is x smaller than 80/9?
True
Let b(y) = -y**3 - 8*y**2 - 8*y - 8. Let i(v) = v**2 + 3*v - 2. Let m be i(1). Let f = m + -9. Let z be b(f). Which is smaller: z or -3?
-3
Let q be ((-3)/(-4))/((-171)/247). Let k = 11/6 + q. Is 3/5 greater than or equal to k?
False
Let v = 2382 + -2367.76. Which is greater: v or -1?
v
Let b = 32 - 48. Let u = -1 + -37. Let g = u - -23. Is b at most as big as g?
True
Let a = 3.789 + 1.211. Which is smaller: a or -0.066?
-0.066
Let r be 120620/8 - (-1)/2. Let b = r - 119761/8. Let f = 108 - b. Is 0 != f?
True
Suppose 1046 = -10*b + 346. Let k = 67 + b. Which is smaller: 5 or k?
k
Let f(w) = -w**3 - 12*w**2 + 14*w + 12. Let s be f(-9). Let u be (-2)/13 + s/(-39). Suppose 2*x + x + u = 0. Which is bigger: x or -10?
x
Suppose -8 = 3*h + q, 0 = -3*h - 0*q - 3*q - 12. Let n be -5 + (h - -5 - 3)/(-1). Let a be 26/(-6) + (-1)/(-3). Which is greater: n or a?
a
Let n be (-18 + 0)*(-34)/(-51). Suppose 0*q - 4 = q. Let o be ((-4)/198)/(q/n). Is 1 less than or equal to o?
False
Suppose 0 = -z - s - 5, -4*z + 6 = 5*s + 31. Let h be 4/(-6)*7296/17416. Let g = h + -2/311. Is z less than g?
False
Let z = -7 - -11/2. Let k(u) = u**2 - 8*u + 5. Let t be k(8). Suppose 2*o - t = 5*r + 6, 0 = 5*r - 4*o + 17. Are r and z non-equal?
True
Suppose 282 = -3*q + 9*q. Let h = q + -27. Let o = -19 + h. Is o >= 1/3?
True
Let w = 38644/23031 - -22/853. Let l = -71/216 + w. Which is smaller: 1 or l?
1
Suppose 20*k - k + 190 = 0. Is k >= -47/5?
False
Suppose -2*r = -4*g + 156, -4*g + 120 = g + 10*r. Let y(n) = -n + 35. Let k be y(0). Which is smaller: k or g?
k
Let x = -83 + -74. Is -159 at least as big as x?
False
Suppose -6*r + 390 = 7*r. Suppose 30 = 3*t - 6*t. Let q be ((-2)/3)/(t/r). Which is bigger: q or 1/2?
q
Suppose 4*x + 0*v - v - 20 = 0, -v = 5*x - 16. Suppose 0 = -x*p + 13 - 5. Let h be p + -2 + 4/66. Which is smaller: 0 or h?
0
Suppose 4*z + k - 11 = 3*z, 4 = -k. Let u be 9/z + (-62)/70. Is u > -2?
True
Let g = -6/443 - -17289/886. Is 20 greater than g?
True
Let u = -452 - -300. Do u and -2/5 have the same value?
False
Let y = -334 - -334.012. Which is greater: y or 5?
5
Suppose 0 = 55*d - 59*d - 2672. Is d < -669?
False
Let l = -842122/795 + -76938/53. Let k = -2510 - l. Which is smaller: k or 2?
k
Let g = -223.99 + 224. Is 5/7 <= g?
False
Suppose 6*p - 3 = -q + 4*p, 4*p = -16. Let m be q/44 - 31/108. Is m less than or equal to 1?
True
Let q = -34.9 + 27.9. Is q less than 73?
True
Let v = -652 + 651.9. Is -2/49 less than v?
False
Let b = 5 - 20. Is -2 at most as big as b?
False
Let h = -0.3 + -61.7. Let x = h - -32. Let m = 28 + x. Which is smaller: 10 or m?
m
Let a be 3 - 2 - 20/21. Let m = 1232 + -8622/7. Let w = m + a. Are w and 0.2 unequal?
True
Suppose 0 = 74*s - 63*s - 1584. Is 433/3 greater than s?
True
Let o(w) = -w**3 + 16*w**2 + 15*w + 35. Suppose 41 + 61 = 6*j. Let i be o(j). Is 2/25 smaller than i?
True
Let u = -726.2 + 719.2. Let f(a) = -a - 3. Let y(p) = 2*p - 1. Let s be y(-1). Let m be f(s). Is u greater than m?
False
Suppose -1 = 5*m - 4*k, -k - 3*k = -m - 13. Suppose -3*a = -3*o - 3, -o - 5*a = -m*o + 7. Which is smaller: 2/7 or o?
o
Let n = 0.06 - 0.03. Let y = n - 8.03. Let m = y - -8.14. Are -1 and m non-equal?
True
Let h = 1.1 - 1.16. Let d = -0.16 - h. Let t = -43.2 + 44. Which is smaller: t or d?
d
Suppose b - 40 = -4*i - 23, 4*i - 14 = 2*b. Which is bigger: 2/523 or b?
b
Let w be 5 + (-92)/40 + (3 - 6). Which is greater: -0.42 or w?
w
Let y(v) = v**2 - 3*v + 1. Suppose 6 = 4*r - 2*t, -2*t = -2*r + 2*t - 6. Let s be y(r). Let z(j) = 6*j - 36. Let p be z(6). Are p and s unequal?
True
Let t(i) = i**3 + 6*i**2 - 9*i - 2. Let m be t(-7). Let b(d) = -d**3 + 6*d**2 - 2*d - 11. Let v be b(5). Suppose -9 - 35 = -v*o. Which is smaller: o or m?
o
Le