s greater: a or -7/2?
a
Let q = -15.08 - -0.08. Let z = -0.35 + 15.35. Let k = z + q. Which is bigger: k or -5?
k
Let y = 143 - 1003/7. Is y greater than 4/33?
False
Suppose 11*t - 19*t = 72. Which is bigger: t or -2/3?
-2/3
Let d = -6 - -11. Suppose -4*f + 64 = -2*s, f - 2 = -4*s + d. Let w be (-35)/(-63)*(-24)/f. Which is smaller: -1 or w?
-1
Let p be 2 - (4 + 72/(-39)). Let t = -19/39 - p. Let s = -4 + 11/3. Is t greater than or equal to s?
True
Let r = 4.8 + -37.8. Is r smaller than -1.5?
True
Let i = -149 - -44. Let q be i/(-6) - (3 + 1 + -2). Which is bigger: q or 17?
17
Let n = 551 + -472. Is 70 at least n?
False
Let z be (-150)/35 - ((-72)/(-42))/(-4). Which is greater: -5 or z?
z
Let l = -6512 + 10202. Let d be (l/11)/3 + (-20)/(-110). Is 111 > d?
False
Let s = 50889/19 + -2679. Which is bigger: s or 0?
0
Suppose -2*n - 46 - 14 = -5*z, 0 = -5*n - 2*z - 121. Let h(l) = 4*l - 4. Let a be h(-5). Is a < n?
False
Let c be 1 + 286 + -7 + 5 + -3. Is 281 at most c?
True
Let y be (1/4)/((-1)/18). Suppose -5*b - 4*i - 43 = -9, 0 = -3*i - 3. Which is smaller: b or y?
b
Let l = -0.06 - -0.66. Let p = 0.7 - l. Let x = -75.95 - -76. Which is bigger: x or p?
p
Let y = -4 - -3. Let k = -2 - y. Let f = 1923/8 - 240. Is f > k?
True
Let i = -1331 + 1118. Is -215 equal to i?
False
Let b(i) = 2*i**2 - 9*i + 10. Let g be b(3). Is g != -15/46?
True
Let j = -31828.99 - -31267. Let g = -567 - j. Let y = g + 5. Which is greater: 2/9 or y?
2/9
Let w = 552 + -562. Is 12 < w?
False
Let d = -9/2305 + 781521/32270. Is 24 at least d?
False
Suppose -3*i - 339 + 63 = 0. Is i < -92?
False
Let b = -1373 + 1371. Which is smaller: 2/215 or b?
b
Let l be (-5)/1*(-16)/(-5). Is -20 not equal to l?
True
Let s be 20/(-2) + 2/1. Let i = 1343.1 - 1343. Which is bigger: s or i?
i
Suppose -11*c + 2*c + 225 = 0. Suppose -c = 6*s - 7. Is -17/5 at least s?
False
Let p be (157/(-13) + 12)/(1/(-4)). Suppose 4*h = 2*h. Is p smaller than h?
False
Let d(q) = q**3 + 9*q**2 - 12*q - 13. Let n be d(-10). Suppose 0 = 3*f - 4*l - 3, 3*l - 25 = -5*f + 9. Do n and f have the same value?
False
Let m = 5.18 + -0.18. Which is smaller: m or -1.8?
-1.8
Let b = -1263 - -1312. Which is greater: -14 or b?
b
Let l be ((-16)/(-56))/((-2)/(-14)). Suppose 0 = l*k - 33 + 29. Which is greater: -43 or k?
k
Let j(o) = 3*o**3 + o**2. Let g be j(2). Suppose -5*h - s + g = 0, -5*h - 3*s - 18 = -52. Suppose -b + 1 = -d, -b = -2*b - d - h. Is b at least -6?
True
Let c = -52 - -44. Let k = 12 - 7. Let v = k + c. Which is greater: -2 or v?
-2
Let u be -2 + (3 - 9/(-12)). Let k(c) = c**3 + 4*c**2 - 4*c + 5. Let y be k(-5). Suppose y = l - v - 0 - 2, 3*l - v = 8. Is l less than u?
False
Let a = 121.1 - 121. Let r = 11 + -5. Is r > a?
True
Let x = -4 - -6. Let w(t) = t**3 + 5*t**2 - 16*t - 15. Let g be w(-7). Let k be (2 + g + -1)/(-1). Is x at most k?
False
Let o be 2/(-9)*-4*(-4)/(-8). Suppose 0 = 4*z + 4*c - 3*c - 4, -5*z = -4*c + 16. Let b = 0 + z. Do o and b have different values?
True
Let c = 7219 - 7219.1. Let q = 0.21 - -8.79. Which is smaller: c or q?
c
Suppose 6*y - 8 = 10. Suppose -3*u + 18 = -y*h, 5*u = -2*h - 3 + 19. Is -12 <= h?
True
Let y(x) = 6*x**3 - x**2 + x - 1. Let u be y(1). Let q be (-330)/12*8/10. Let b be 8/(-20) - q/u. Are b and 4 nonequal?
False
Let y = 39 + -31. Let b be (-16)/y*2/4. Which is smaller: b or 13?
b
Let s be (-2)/4*31/(-2914). Is s less than or equal to 1?
True
Let u = 3.1 - 3. Suppose 315 + 48 = -33*k. Is u equal to k?
False
Suppose 65*g = 84*g + 456. Which is smaller: g or -8?
g
Let p be ((-6)/(-22))/(-3)*1. Let x = 14 + -18. Let a = -5 - x. Is p < a?
False
Let v = 83 + -79. Let x be (-29)/2 - (-7 - (1 - v)). Which is greater: x or -11?
x
Let k be (7 + -20)/((-21)/6). Let o = 36241 - 1014859/28. Let s = k + o. Which is smaller: s or 1?
s
Let w be (14 - (2 + -2))/(-2). Let x(y) = -y**2 - 5*y + 14. Let n be x(w). Is n less than or equal to 0?
True
Let d = 460/3053 + -14/71. Which is greater: d or 1?
1
Let b be 4/14 - (-216)/28. Let r(k) = -k**2 + 9*k + 9. Let g be r(b). Suppose 4*a - g = h, 0 = -5*h - 0 - 5. Are 1 and a non-equal?
True
Let o = 1360461598/75 - 18137439. Let l = 2049 - o. Is l smaller than 0?
False
Let c be (-46)/(-6) + 2 - 6/(-18). Suppose 14*f + c = -32. Is f greater than -3?
False
Suppose m = 3*m + t - 15, -t - 13 = -2*m. Let y(g) = m + g + g - g. Let o be y(-7). Which is smaller: o or -0.4?
-0.4
Let l = 329.1 - 308. Is 1 <= l?
True
Let s be (418/(-104) + 4)/1. Let f = -35 + 36. Are f and s unequal?
True
Let m be ((-100)/8*2)/1. Let y be m/85*((-4)/15)/(-2). Which is greater: -1 or y?
y
Suppose -14*g = 1222 - 438. Is g less than or equal to -54?
True
Suppose -5*n + 3*l = 144 + 196, 2*l = 4*n + 274. Is -73 not equal to n?
True
Suppose 0 = 12*v - 14*v + 18. Suppose 576 = v*o + 63. Do o and 56 have the same value?
False
Suppose -3*z - 4*v + 14 + 4 = 0, -2*v = 0. Let h be ((-2)/z + 10/12)*2. Which is smaller: 13/6 or h?
h
Suppose 0 = -5*m + a + 44, -2*m - 4*a + 22 = -0. Let h be (-130)/(-92) - m/6. Let f be (-1)/2*(1 + -1). Is h < f?
True
Let t(f) = f**3 + 59*f**2 + 275*f + 217. Let x be t(-54). Let j be 1 - 57 - (-5 + 3). Is x > j?
True
Let n = 13.001 - 0.001. Let d = 15 - n. Which is greater: -7 or d?
d
Let j be 10945/10 - 9/(-18) - 7. Which is smaller: j or 1087?
1087
Suppose -13 - 1 = -2*h. Suppose h*c + 10 = -18. Is -9/2 less than or equal to c?
True
Let g = 2 - 1. Suppose 0 = -4*u - 105 - 75. Let o be -1 + 6 + 230/u. Is o < g?
True
Let q be (4/21)/(0 - 20/(-4710)). Which is smaller: q or 44?
44
Let w = 13 - 9. Suppose 3*d + 3 = 15. Suppose 24 = -4*x - w*a, -d*a - 25 = a. Does -2 = x?
False
Let s(h) be the third derivative of -h**4/24 + h**3/2 - h**2. Let j be s(4). Let w = -1222 - -1215. Is w equal to j?
False
Let m = -8023/7 - -1131. Which is greater: m or -15?
-15
Let r = -12.5 - -5.9. Let m = 7 + r. Which is smaller: m or -0.04?
-0.04
Let q = 0.26 + -1.26. Let u = -4.9 + 6. Let w = -0.1 + u. Is w >= q?
True
Let x be ((-1)/4)/((-41)/13940). Does 86 = x?
False
Suppose -4*f + 24 = -0*f. Let h = 1451/6 - 471/2. Are h and f nonequal?
True
Let l be 2*(-420)/(-301) - (2 - -1). Is -1 < l?
True
Let r be 3216/(-63) - 4/14. Let f = r + 5695/111. Which is greater: 0 or f?
0
Suppose 39 = 2*y + 41. Which is smaller: y or -0.052?
y
Let h be 7 - 1 - 2/4. Let d = 51 + -46. Which is greater: h or d?
h
Let f = -30 + 32.6. Let l = -2.5 + f. Which is greater: l or -9/4?
l
Let w = 0.13 + -0.13. Let u be (-4)/(-63) + 6/(-21). Which is bigger: w or u?
w
Let s = 25 + -25.08. Let m = -591 + 591.05. Which is greater: s or m?
m
Let f be (2/(-25))/((-4)/(-2)). Let g be 4/(-6) + (-11)/33. Which is greater: g or f?
f
Let t be 1/2*10 - (-53 + 57). Suppose 83 = -5*x + 208. Is t greater than or equal to x?
False
Suppose l + 10 = 8. Let w be (8*(-5)/(-14) - 1) + l. Is w not equal to -0.5?
True
Let j be 6 - (6/9 - (-200)/51). Which is smaller: j or 1?
1
Let c(g) = -10*g - 1. Let k be c(1). Let j be (k/((-264)/54))/(1/(-4)). Which is bigger: -8 or j?
-8
Let p be (-12)/(-2)*13/(-26) - 28. Which is smaller: -219/7 or p?
-219/7
Let z = -36.217 - -0.417. Let i = 33 + z. Let p = -1.5 - i. Is p at least -1?
True
Let q be (2/4)/(1/2). Let p be (1173/(-582) - (5 + -7))*-2. Which is greater: p or q?
q
Let d be 1 - (0 + (-44)/(-14)). Let o(p) = 7*p**2 - 6*p + 6. Let q be o(2). Suppose -27*g + q*g = 5. Is d at least as big as g?
False
Let x(y) = -y**3 - 11*y**2 + 241*y - 20. Let j be x(-22). Let n be -4*2/(8/6). Let o be (-2)/n - (-6)/9. Are o and j nonequal?
True
Suppose 9768 + 4982 = 5*h. Let j be h/260 + 2/13. Let u = j + -11. Which is smaller: 1 or u?
u
Suppose 0 = 4*q + p - 8, 4*p + 2 - 12 = -5*q. Let j = 91/150 + -1/150. Is q equal to j?
False
Suppose j - 2 = 2*x - j, x + 5*j - 11 = 0. Let c = 7 - x. Suppose -6 = c*u + 6. Which is greater: 0 or u?
0
Let k(r) = 6*r + 7. Let v be k(-2). Let a be 1/(4/v) + 3/12. Which is smaller: a or 3/28?
a
Let q(j) be the second derivative of -j**4/12 - j**3 + 7*j**2/2 - 19*j. Let r be q(-6). Is 6 less than or equal to r?
True
Let n(k) = k**3 + k**2 - 2*k + 1. Let t be (0*(-1)/(-3))/2. Let x be n(t). Let g be (-1*(2 - -1))/x. Which is smaller: g or -1?
g
Let c be 2/(-7) - 2/(-7). Suppose c*o = o + 3*z + 1, 3*z - 1 = o. Let s be (3/9)/o*-21. Which is smaller: s o