tive of 13*n**3/6 + 15*n**2/2 - 2*n. Let f be a(3). Suppose 0*v + 6*v + f = 0. Do -8 and v have different values?
True
Suppose 3*b = 226 - 223, 2*v = -4*b - 402. Which is smaller: v or -202?
v
Suppose -31*o + 159 = -89. Suppose 0 = 3*v + 2*v - 100. Suppose -28 = -o*s - v. Which is greater: -1/97 or s?
s
Let u = -2631 + 2286. Which is smaller: -348 or u?
-348
Let w = 17.24 + -28.469. Let o = 0.229 + w. Which is greater: 0.2 or o?
0.2
Suppose 13*t - 30 = -10*t - 7. Which is bigger: -9/662 or t?
t
Let f = -14583 + 14582. Are 52/57 and f non-equal?
True
Let d = -389 - -391. Let s be d - 3 - (19 + -309). Is 288 greater than or equal to s?
False
Suppose k - 3*y - 7 - 13 = 0, 0 = -4*k - 4*y. Suppose 0 = i - 2*j + 39, 3*j - 58 - 116 = k*i. Is i <= -32?
True
Let g be (-2)/3 + (-464)/(-30). Let n = 43 - 29. Which is greater: n or g?
g
Let r = -68832175189/157 - -438418949. Let p = r - -2549. Are -1 and p non-equal?
True
Let g be (-6125)/7 - (-3 + -6). Let o = -789 - g. Do 77 and o have the same value?
True
Let h be 3*(23 - 0) - (-8 + 5). Let d be 74/12*h/48. Suppose -2*s + 30 = 4*z, -5*s = -3*z - 0*z - 36. Is s >= d?
False
Let r = -224 - -10527/47. Let x(f) be the first derivative of -f**4/4 - 5*f**3/3 - 3*f**2 - 7*f + 13. Let k be x(-4). Which is smaller: r or k?
r
Let d be (-70)/(-161)*2/4. Suppose -2*i - 1 = -j - 0, 0 = 2*j + 2. Let l be (-10)/25 + (6/(-15))/i. Which is bigger: d or l?
d
Let i be 261942/(-308) + (-2)/(0 + -2). Let o = -1699/2 - i. Which is smaller: o or 1?
o
Let f be 1/(260/(-44) + 6). Let a(o) = o**2 - 2 - 6*o + 16*o + 4. Let d be a(-11). Which is bigger: d or f?
d
Let y be 595/105 + 217/(-42). Which is smaller: -27.164 or y?
-27.164
Suppose 26 = 2*r + 4*z, r + 4*z - 3 - 18 = 0. Suppose 3*v - 97 = -10*u + r*u, 3*v - 5*u - 77 = 0. Which is smaller: v or 32?
v
Let q = -100/27 + 2608/675. Which is bigger: -96 or q?
q
Let z be 6/4 + 6/(-24)*2. Suppose 7*s - 3*s - 24 = 0. Let b be 4/s*(-18)/84. Which is smaller: z or b?
b
Let z be ((-3)/8)/((-54)/8). Suppose 21*f - 55*f - 2 = -32*f. Are z and f unequal?
True
Let z(u) = -u**3 - 6*u**2 + u - 12. Let t be z(-6). Let h = -32 - t. Let f be 1 - (0 + 1 + 32/h). Is f < 3?
True
Let h = -51027 + 662808/13. Which is bigger: -43 or h?
h
Suppose 3*t + 42 - 288 = 0. Let z = t + -115. Let k = 33 + z. Is k <= 3/41?
True
Suppose -24*k = 2*o - 25*k - 51, 109 = 3*o + 5*k. Which is greater: o or -31?
o
Let z(x) = x**2 - 32*x + 60. Let r be z(2). Is -1/4262 > r?
False
Let k = -231 + 223. Let b be k/(-14)*203/522. Is b smaller than -3?
False
Suppose 3*y - u - 252 = 0, -y - 2*u + 346 = 3*y. Suppose -5*t + 5*g + y = 0, 12*g = t + 16*g - 42. Which is smaller: t or 21?
21
Suppose -69*r + 74*r = 105. Suppose r = 25*k - 4. Which is greater: k or -2/17?
k
Suppose -5*q - v - 3 = 3*v, 0 = -3*q + 4*v + 11. Which is smaller: 4/16937 or q?
4/16937
Let v be (-283 + 285)/(2276/(-14)). Is -1 less than v?
True
Let m be (-99)/11 + (1 - -2). Let f be 18/6*2/m*-58. Let r = -48 + f. Which is greater: r or 13?
13
Let h(n) = n**3 - 27*n**2 - 29*n + 32. Let i be h(28). Suppose -4*t + 22 = q - 0*q, 0 = -t - i. Let w = q + 10. Is w at most 48?
True
Let k(l) = 2*l - 16. Let m be k(10). Suppose -4*y = v - 42, -3*v + 7 = m*y - 31. Suppose -2*i = -13 + y. Is -3/31 > i?
False
Let c = -0.2161 - -0.5441. Is c less than or equal to 1?
True
Let m be (-6)/(-8) - ((-95)/20)/(-19)*-77521. Which is smaller: 0.1 or m?
0.1
Suppose -3*s + 76 = -2*a, 7*s - 148 = 4*a + 3*s. Let d be (-271)/148 - a/20. Is d at most as big as -1?
False
Let m be (-6)/(-15) + (-591)/15. Let j(r) = r**2 + 18*r + 31. Let a be j(-12). Which is smaller: m or a?
a
Let r be 104/(-572) + ((-75)/11 - 1). Let m be (-1 + 1 + 1)*(-3 - r). Is m at most as big as -2?
False
Suppose -132 = -v - 4*b, -5*v + 3*b - 4*b = -603. Suppose -6*r + 4*r + v = -2*y, -r = 2*y + 120. Let p = y - -43. Is p less than -15?
True
Let p = 123 - 120. Suppose 2*h = p*f - 3459, -5*f = 5*h - 1789 + 10374. Let c be (h/(-429) + -4)*1. Do c and -1 have the same value?
False
Suppose 0 = -3*c - 2*m + 55, 5*m = -c + 3*c - 24. Let i be (0 - 5 - -3)/((-2)/c). Suppose -i*o = -4*o - 52. Which is bigger: o or -2?
o
Let b(x) = 2*x**3 + 4*x**2 - x + 1. Let d be b(1). Let l be ((-104 - 1) + d)*2/(-2). Which is smaller: 199/2 or l?
l
Suppose -2237 = -751*v + 15834 - 4553. Let k = -34 + 48. Is k > v?
False
Let r = 2937 + -2945. Which is greater: 242 or r?
242
Suppose -182*d - 2166 - 2268 = 1754. Which is smaller: d or 28?
d
Let d be (-5 + 3)*3/2. Let s be (4 + d - -3)*-8. Let p = s - -37. Is p greater than 5?
False
Suppose -144 = 19*o - 7*o. Let l be (198/315)/((o/(-20))/(-3)). Is -4 greater than l?
False
Let c(o) = -o + 134. Let j be c(10). Let b = -67 + j. Which is smaller: b or 55?
55
Let g = -316 + 252. Let s = 55 + g. Which is greater: s or -7?
-7
Suppose -28*q + 47502 = -7*q. Let x be q/78 - -2*1. Is x smaller than 30?
False
Let x = 1807.5 - 311. Is x >= -0.1?
True
Suppose -70*g + 32*g - 7120 = -39*g. Do 7121 and g have different values?
True
Let h be (-1779)/930 - 3/5. Let z = -998/29295 - -4/189. Let q = z - h. Do 0.4 and q have the same value?
False
Let h = -591 - -590.599. Let o = h - -0.208. Which is smaller: -1 or o?
-1
Let t = -21971 - -21970. Let i = 4345 + -56515/13. Is t at least i?
True
Let s be 906/3220 - 36/120. Let z = s + -137/1288. Is z <= -6/29?
False
Suppose 28*s = -83*s + 11988. Are s and 108 unequal?
False
Suppose -2*u + 1314 = 1324. Is -56 bigger than u?
False
Let y(v) = v**3 - 2*v**2 + 26. Let i be y(0). Let j be (-3)/((-216)/(-19)) - i/234. Let m = 0.2 - 0.3. Which is smaller: j or m?
j
Let w = -13490 + 13482. Let o(a) = -a - 12. Let r be o(-6). Are r and w equal?
False
Let c = 115 + -114.812. Let f = c - 0.388. Let l = 4.03 - 0.03. Which is smaller: l or f?
f
Suppose 0 = -o + 6, 349*o - 347*o = 4*a + 16. Which is smaller: -1/8995 or a?
a
Let n = 2.93 - 9.87. Let o = -0.03 - -0.09. Let c = o - n. Is 1 > c?
False
Let j be 18/117 - (-1)/(1001/67). Is -1 bigger than j?
False
Let v = 8 - 6. Suppose -9 = -m + v*m. Let l = -3202 - -3195. Which is bigger: m or l?
l
Let v(t) = -48*t**2 + 55*t + 56. Let n be v(-1). Is -2 greater than or equal to n?
True
Let k be 2/(-28)*(-2 + 4/(-2)). Which is bigger: 2/19 or k?
k
Let v(j) = -13*j**3 - j**2 - 109*j - 220. Let q be v(-2). Is 111 at least as big as q?
True
Let q = -2499 - -2497. Let s = 32.3 + -9.7. Let l = s - 23. Which is smaller: l or q?
q
Let m = 3.03 - 0.03. Let t = 31.522 - -5.478. Which is smaller: t or m?
m
Let v be (-9161)/(-17) + 16/136. Let q = v - 538. Is -2/103 <= q?
True
Suppose 4*w = 4*m + 804, -3*w + 10*m + 595 = 15*m. Suppose -w = 7*i - 32. Let l be (-16)/i + (-2)/3 + -1. Which is greater: l or 2?
2
Suppose -8*n + 653 = -1659. Is n < 284?
False
Suppose 0 = -121*h - 3849 - 3532. Let p be (-1)/1 - (-478)/(-8). Is p < h?
False
Let i = 835 + -829. Suppose -z = -0*z. Suppose z = -2*y - m + 14, 3*y + m - 13 = 6. Which is smaller: y or i?
y
Let q = 96842 - 934331611/9648. Is 1 at least as big as q?
True
Let j be 1*(5*15 + -1). Let z be 1/(-1) - 17 - 59. Let h = j + z. Are h and -17/8 equal?
False
Suppose -3*k + 6 = -0*k. Let a be ((-10)/1)/(-2)*(7 + -5). Suppose 5*d + 14*u - a = 15*u, 3*d + 12 = -3*u. Which is smaller: k or d?
d
Suppose -5*q + 55 = -5*t, 4*q = 4*t + 5*q + 59. Let v be ((-16)/(-28))/((-4)/t). Suppose 22 = 2*w + 2*w + 2*j, 3*w = -v*j + 17. Which is greater: 2 or w?
w
Suppose 3*s - 15*s - 11*s = -38663. Which is greater: 1683 or s?
1683
Let c = -1174/1269 - -228/47. Let f = c - 5113/1323. Which is smaller: f or 0?
0
Let m = -8160 - -5240. Is m at least 0.1?
False
Let r = -8713 - -8684.1. Which is smaller: -0.11 or r?
r
Suppose -3*b + 72 - 61 = -7*t, t + 2*b - 13 = 0. Which is bigger: -5.053 or t?
t
Let g = -64.31 + 50.31. Which is smaller: -128 or g?
-128
Let m be 1696/6 + 4*3/36. Let t = m - 289. Is 0.3 greater than t?
True
Let m = 277.3 + -279. Let h = m - 32.3. Which is bigger: h or -1?
-1
Let c = 218 - 218. Suppose -16*y - 7*y + 874 = c. Do y and 186/5 have the same value?
False
Suppose -148 = -2*c - 28. Let o be (-10)/(-12) + 370/c. Which is smaller: o or 45/7?
45/7
Suppose -16*h + 105 = -15*h. Is 1990/19 at least as big as h?
False
Let g = 585 - 892. Let r = g + -141. Is r > -448?
False
Let b(s) = 2*s**2 - 4*s - 24. Let w b