
76
Let v = -178 + 121. Let c = -16.05 + 73.35. Let u = v + c. Which is bigger: 0.2 or u?
u
Let t be (2/4)/(7/14). Let q be (94/(-92) + 1)*(-7 - 1035/(-153)). Are q and t equal?
False
Let p = 12.4 + -11. Let r = -84.54 - p. Let x = r - -86. Are x and 3 equal?
False
Let a = 3666 + -3654. Which is bigger: a or -26?
a
Let b = 3079 - 3052. Let l be -3 + 1 + 1 - 0. Let p be ((-18)/b)/((-8)/(-6) + l). Which is bigger: -7/6 or p?
-7/6
Let b be (18/(-45))/(8/(-25)). Let n(d) be the first derivative of -d**4/4 + 2*d**3 - 5*d**2/2 + d - 1. Let y be n(5). Is y != b?
True
Suppose -p - 4 = -2*p. Suppose -2*y - 142 = -5*c - 4*y, -y - 124 = -p*c. Is c at least as big as 25?
True
Let b be (2 - (-1 + 8))*(-196)/1190. Suppose -60*q = -62*q + 52. Suppose -5*f + q - 21 = 0. Which is greater: f or b?
f
Let j(o) = 12*o + 24. Let p be j(3). Let n = -57 + p. Suppose t - 3*w = 10 + 7, -4*t + n*w + 86 = 0. Which is bigger: 22 or t?
t
Let w = -164 - -44. Let b = w + 1203/10. Is 0 < b?
True
Let q = -84 + -26. Let o = -0.75626 + 0.75626. Is q greater than or equal to o?
False
Let o = -213277 + 213274. Suppose 7*b - 2*b = 3*u + 30, -u - 13 = -2*b. Which is smaller: b or o?
o
Suppose -6*y - 4*m = 2, 6 - 9 = 2*y - m. Is y != 8591/4?
True
Suppose 5*c - 3*y + 14 = 0, -569*c - 2*y + 20 = -567*c. Let v be ((-2)/(-5))/(1/10). Suppose 10 = d + c*r, 15 = -3*d - v*r + 37. Is d < 1.5?
False
Let p = -17 - -266. Let j = p + -232. Do j and 17 have the same value?
True
Let p = -98.351 + -1.949. Let t = 0.3 + p. Let r = 100 + t. Which is greater: r or -0.1?
r
Let w(i) be the third derivative of -i**5/60 + i**4/24 + i**3/6 + i**2. Let t be w(2). Suppose 42 = 482*n + 244 + 280. Is t at most n?
True
Let a = -20374 + 60478/3. Is a less than -214?
True
Let g(s) = s**2 - 16*s + 10. Let j(o) = 3*o**2 - 5*o + 2. Let t be j(3). Let m be g(t). Let a be (0 - 1)/((-12)/(-228)). Which is greater: a or m?
m
Let l be 5 + 7/(74 + -18)*21041/(-526). Is 1 <= l?
False
Let w = -4 - -3. Let n be 12*(-2)/(-106) - (-117 + 117). Which is bigger: w or n?
n
Let i = -146 + 159. Suppose -i = 10*m + 7. Let u(v) = v**3 + v**2 - v - 4. Let w be u(0). Is m <= w?
False
Suppose 0 = -5*z - 7*r + 3*r - 150, -3*z + 5*r = 90. Let c be 12*z/25*(-20)/18. Let i be c/(-64) + 150/(-8). Which is smaller: -21 or i?
-21
Suppose 25*r - 18 = 22*r, 0 = -3*v - 4*r + 27. Which is smaller: v or 53/133?
53/133
Suppose 14 = 3*d - 2*s, 2*d - 12 = 3*s - 1. Suppose h - 32 = 3*f, 3*h - 126 = -4*f + 3*f. Suppose d*v - h = -145. Is -24 at most v?
False
Suppose -5*m = -4*y - 16, 0*y = -4*y - 16. Suppose 5*p - 4 = x, 10 = -x - 4*p + 15. Let g be (-759)/715 - ((-4)/(-10) - x). Is m greater than g?
True
Let h be (-6 + 1)/(0 - 2). Let y = -161 - -1451/9. Which is bigger: y or h?
h
Let u = 48529/5 - 9688. Is -1/2 less than u?
True
Let n = -2558 + 2558. Which is greater: -12/2425 or n?
n
Let g = 342 - 337. Suppose y - 5*j - 41 = 0, 2*y - 4*j = g*y - 218. Which is greater: 60 or y?
y
Let l be (-151)/(-2) - ((-39)/6 + 6). Let x be 163/(-952) + l/646. Which is bigger: -0.1 or x?
x
Let x(u) = 3*u - 35. Let p be x(14). Let b be 4/p + (-7692)/13314. Which is smaller: 1 or b?
b
Let n(w) = 2*w - 16. Suppose 16*a - 63 = 65. Let m be n(a). Which is bigger: -12/23 or m?
m
Let l = 0.268 + -0.298. Which is smaller: l or -3?
-3
Let s(f) = -90*f - 328. Let d be s(-4). Let x(v) = v**2 + 2*v - 11. Let z be x(-8). Suppose -2*g + 25 + z = 0. Which is greater: g or d?
d
Suppose 9*i + 12 = 6*i, 4*q - 20 = 2*i. Let f be -6 - 20/(15/q). Is 1/5 equal to f?
False
Let j = 3814 + -4076. Is -260 at most as big as j?
False
Let k(v) = v**3 - 2*v**2 + v. Let o be k(2). Let c = 211 - 223. Let u be c/5 + 16/(-10) + o. Which is smaller: -1/13 or u?
u
Suppose -18 = 5*u + 17, -d + 14 = -u. Let b = -8 + 16. Which is bigger: b or d?
b
Let a = -2.96 - 0.04. Let n = 77.9 + -81. Let x = n - a. Which is smaller: x or 7/4?
x
Let d = 45.605 - 8.617. Let h = d - -0.012. Let a = 36 - h. Which is smaller: 2 or a?
a
Suppose 0 = 2*v + 2*t + 202, 2*v + 3*t + 196 = -t. Let l = -52300 - -52199. Which is bigger: l or v?
l
Let i be ((-686)/(-56) - 13)/(2 - 3/6). Is 3412 less than or equal to i?
False
Let g = -79 + -86. Let k = g - -193. Is -3 != k?
True
Let a = 7.6 - -10.2. Let q = a - 18. Suppose 0 = -5*r + 4*r, 0 = 4*j - r + 16. Is j at least as big as q?
False
Let a = 314.8 - 213. Let l = a + 1.2. Let g = -103.3 + l. Is -7 < g?
True
Suppose 4 = j - 2*j. Let v be (-3)/j*(9 + -6). Let h = -23 + 26. Is v at most as big as h?
True
Suppose 17*f = f + 624. Let o be f/(-52)*(34/18 + -1). Is o not equal to 142?
True
Suppose -5*u + 6*u + 3 = 0. Let w be u/(-21) + (-684)/(-112). Let v be (-1)/3 + (-132)/(-18). Is w <= v?
True
Let g = -104 + 108. Let p be (-2)/8 + 61/g. Which is greater: p or -6?
p
Let a = -70781 - -70738. Let f be 2/30 + 2/6. Is a <= f?
True
Let b be (9/(2187/(-36)))/((-8)/300). Suppose 0 = -5*s + 3*q + 38, -3*s + 4*q = -20 - 5. Which is greater: s or b?
s
Suppose -834 + 2789 = p + 4*o, 2*p = -o + 3917. Is p at most as big as 1959?
True
Let y = -742 - -739. Let l be y + 12 - (2 + 5 - 2). Which is smaller: 31/6 or l?
l
Let f = 1.42 - -1.58. Let z = -3.16 + f. Which is smaller: z or 0?
z
Let l = 250 - 284. Let j = -34 - l. Are j and 0 non-equal?
False
Let c = 301.1554 + -0.0554. Let o = c - 301. Is -13/6 >= o?
False
Let u = 35/4083 - 38369/4370171. Which is smaller: -1 or u?
-1
Let z = -232.9 - -233.9. Which is smaller: 2/83 or z?
2/83
Suppose 4*i + 8 = 0, 0 = -4*v - 4*i - 160 - 3504. Are -909 and v equal?
False
Let h = 0.11 - -11.89. Let x = h + -6. Let p be (4/(-5))/((-9376)/240 + 38). Which is bigger: p or x?
x
Let h(u) = -22*u + 50. Suppose 0 = 17*x - 18*x + 15. Let r be h(x). Let i be (r/68 + 4)/(4/8). Which is smaller: i or 1?
i
Let x = 209745 - 16153044/77. Let c = 345/11 + x. Let h(r) = -r**2 - 2*r + 5. Let a be h(-4). Is a smaller than c?
False
Let f = -3951 - -3951.1. Which is greater: -6.18 or f?
f
Let x = 70.29 + -71. Let b = x + -0.29. Is b less than 169?
True
Suppose 3*p - 3 = -0. Suppose 0 = -5*c + 10*c + 75. Let f be (-12)/c + (-2 - -3). Which is greater: p or f?
f
Let j(l) = -l**3 - 9*l**2 - 6*l + 4. Let a be j(-3). Let x = a - -15. Is x less than -16?
True
Suppose 2*n = -9*r - 165, 69 = -0*r - 3*r + 4*n. Let g(q) = q**2 - 2. Let j be g(-2). Suppose -54 = s + j*s. Which is bigger: r or s?
s
Suppose 3*d + 80 = 35. Suppose 4*f + 7 = 27. Suppose 0 = f*u + r - 3, -2*u + 5*r = -12. Which is smaller: u or d?
d
Suppose 28*j = -2*k + 25*j + 91, 4*k = -4*j + 176. Which is bigger: 61 or k?
61
Let h = -337 + 49. Are 2 and h equal?
False
Let y = 72 + -72.01. Suppose 4*h + 156 = 2*h. Let m be 6/9 + 40/h. Which is smaller: m or y?
y
Let s be -5 - 81/9 - -25. Let v be 0*1*(-3 + 2). Suppose 20 = 2*w - v*w. Which is smaller: w or s?
w
Let m = -1133 + 1131.667. Let c = -72.633 - m. Let x = -71 - c. Is x at most as big as 8?
True
Suppose -z = -4*o + 6, -6*o + 4*o = 2*z - 8. Suppose o*v + 93 = w, 8*v + 4*w = 4*v - 192. Which is smaller: v or -46?
v
Let a(k) = -6*k**2 - 18*k - 32. Let w be a(-4). Suppose -t - 4*t - 2*y + 291 = 0, -4*y + 183 = 3*t. Let n be (t/(-4))/(1/4). Are w and n nonequal?
True
Let d = -42845/414 + 932/9. Let l = d - -135/2162. Which is smaller: l or 0?
0
Let d = 30.393 - 27.933. Is 0.25 at least as big as d?
False
Let j = 279 - -213. Let g = -457 + j. Do g and 35 have different values?
False
Let r = -1.3 - 61.7. Let o = 111 + r. Let z = o - 47.7. Is z less than 0.08?
False
Suppose -4*y + 756 = 7*d - 3*d, 3*y - 574 = -4*d. Are 205 and y unequal?
True
Let f(r) = -1. Let i(h) = -7*h + 2. Let d(q) = -3*f(q) - i(q). Let s be d(-1). Which is greater: -8 or s?
s
Suppose 0 = -4*l - 5*g - 2 + 10, 3*l + 29 = 5*g. Let a = 604 - 651. Is l > a?
True
Suppose 4*y - 9254 = -h, 6*h = -4*y - 343 + 9587. Which is smaller: 0 or y?
0
Let y = -278 + 277. Let u(c) = 2*c**3 - 4*c**2 + 3*c - 2. Suppose -3*n = 5*p - 26, p - 8 = -p. Let r be u(n). Are y and r unequal?
True
Let i be (-1 - -1)/(-452 + 454). Let d = 8529/29 - 294. Is i less than d?
True
Let x = 11/2 - 5. Let h = 191 + -193.54. Let v = 2.32 + h. Is x at least v?
True
Let y = 6 - 23/4. Let o be ((-260)/624)/((-15)/9). Do y and o have the same value?
True
Let a = -169330/3 - -71288056/1263. Is a bigger than 0?
True
Suppose -11*p + 1720 - 3813