?
True
Let s(k) = -3*k + 3. Let j be s(-4). Suppose -10 = 2*q - 2*o, q + 5*o - 2*o = j. Is q greater than or equal to -8/9?
True
Let q = 2550 - 1803. Is q greater than 747?
False
Suppose 0 = s + y - 20, 2*y + 90 = 5*s - 3*y. Suppose -300 = -3*m + 2*u, u + 0*u = -2*m + 207. Suppose -2*l + m = 3*l + 4*d, 5*d = l - 3. Is s greater than l?
True
Let c = -31/68 + 12/17. Which is greater: c or -0.07?
c
Let d(o) = o**2 + 9*o - 3. Let c be d(-10). Suppose -b + 3 = 5*r + c, 4*b + 4*r = 0. Let i be (5/(-65))/(2/12). Which is smaller: b or i?
i
Let a be (-9417)/378 - (-1)/(-7). Let h = a + 155/6. Which is smaller: h or 2?
h
Let w = -6069/4 - -1516. Are w and 1/31 unequal?
True
Suppose -4*b + 15 = -m, 2*m + 3*b + b = 18. Let y = 48 + -41. Let x be ((-2 + y)/5)/5. Which is bigger: m or x?
m
Let v be ((-4)/6)/(4/(-6)). Let a = 102/23 - 1576/345. Are a and v equal?
False
Let q = -1594/11 + 145. Let f = -1.4 + -5.6. Let p = 6.9 + f. Which is bigger: q or p?
q
Let y(k) = -k**2 - 6*k + 8. Suppose 0 = -2*u + 4, -25 = 5*b + 5*u. Let w be y(b). Let q be 0 + 0 + (-12)/27. Does w = q?
False
Suppose h - 2*z - 2 = -h, -5*h = z + 1. Let k be (h*(-3)/(-6))/(-1). Suppose -21*c - 36*c = -114. Is k <= c?
True
Let c = -8.19 - -8.19. Do c and 15/8 have different values?
True
Let i = 35 - 16. Suppose 4*z - 31 = -v, 0 = -z + 3*z - 3*v - i. Which is smaller: z or 10?
z
Let h be ((-2)/10)/(2/(-30)). Suppose -5*p + 17 - 48 = 3*w, -h*p - 4*w - 12 = 0. Let v = -7 - p. Which is greater: 15 or v?
15
Let j = -7/134 + 271/1340. Is j at most 2/5?
True
Let h(a) = -a**3 + 7*a**2 - 4*a - 10. Let b be h(6). Suppose b*j = -3*j - 260. Let n = 574/11 + j. Which is smaller: 0 or n?
0
Let m = 26 - 17. Let g = m + -17. Which is bigger: g or 1?
1
Let g be ((-504)/20)/((-7)/210). Is g equal to 1?
False
Let y be (2 + (-35)/17)*7/(-7). Is 0.05 equal to y?
False
Let s = 665 - 740. Does -4 = s?
False
Let d(j) = 11*j**3 + j**2 - 1. Let l be d(1). Let u = -9 + l. Suppose -u*o - 5*h = o - 11, 2*h + 4 = 0. Which is smaller: o or 8?
o
Let s = 71.7 - 5.7. Let p = -63 + s. Let z = 0.3 - 0.4. Which is smaller: z or p?
z
Let w be (7 - (-456)/(-64))*-8. Which is bigger: w or 5/4?
5/4
Let q = 24 - 23. Which is smaller: q or 4/23?
4/23
Let g(v) = 2*v**3 + 27*v**2 + 17*v - 1. Let a be g(-13). Which is smaller: a or -51?
a
Suppose -7 = -s + 8. Let d = 12 - 9. Which is greater: d or s?
s
Let o = -1.638 + 1.6. Let z = o + -0.032. Do z and -1 have the same value?
False
Let l be (-63)/966*248/(-18). Which is greater: 0 or l?
l
Suppose -5*c = 3*m - 95, 0 = -0*c - 2*c - 4*m + 52. Let o = 18 - c. Do -3 and o have the same value?
False
Let m = 3.904 - 0.004. Let b = -4.9 + m. Which is greater: 3/14 or b?
3/14
Let c(l) = 4*l - 145. Let x be c(40). Which is smaller: x or 114/7?
x
Let b be -2*(1076/8)/(-1). Let x = 8876/33 - b. Let a(q) = 2*q - 21. Let d be a(11). Is x bigger than d?
False
Suppose 2*p - 4*p = 2. Let n = -1587/188 - -9/47. Let g = 7 + n. Which is smaller: g or p?
g
Let a = -74.7 - -103.7. Let y be 10/(-4) + 1/(-2). Is a smaller than y?
False
Let w = 29.566 + 0.434. Which is smaller: w or 0?
0
Let t be -2*(6/(-16))/(18/(-24)). Is 1 at most t?
False
Let n = 27 - 33. Let v be ((-52)/(-6))/(4/n). Is 0 <= v?
False
Suppose -4*r - 31 - 193 = 0. Let w = -26 - r. Let l = -61/2 + w. Is l at most -2?
False
Let n be (1/(-2))/(7/(-14943 - -5)). Is n at least 1067?
True
Let o = 341 - 348. Which is greater: -5 or o?
-5
Let t = -38 + 16. Let p = 21 + t. Are -5 and p unequal?
True
Let g = -0.93 + 0.48. Let b = g + 0.25. Are 1/4 and b nonequal?
True
Let q = 47.82 + -48.1. Suppose n = -2*d - 9, 1 = d - 2*n - 7. Which is bigger: q or d?
q
Suppose 0*y + 2*y - 10 = 0. Suppose y*c = c. Let g = 343 + -15437/45. Which is bigger: g or c?
c
Let x be -5 + (-215)/(-45) + (-277)/9. Which is smaller: -28 or x?
x
Let m = -22342 - -112402/5. Let s = m + -140. Which is greater: -1/5 or s?
-1/5
Suppose 4*d - 3*m = -44, 4*d + 7*m - 4*m + 20 = 0. Let a(t) = -t**2 - 3*t + 39. Let s be a(d). Which is greater: s or -15/7?
s
Let u = -0.021 - -0.121. Let x = 1/4 + 1/4. Which is smaller: x or u?
u
Let w = -7 - -1. Suppose -2*n + 3 = -1. Let q be (n/(-3))/(-1 + 3). Which is greater: q or w?
q
Suppose -4*u + 21 = 5*t, -3*u = 3*t - 0*t - 12. Let c be (-9)/(-6) - (-50)/(-28). Which is smaller: c or u?
u
Suppose 0*j = 4*j - 332. Which is smaller: 82 or j?
82
Let y = 401 + -395. Is -31 at least as big as y?
False
Let a(n) = -n - 178. Let s be a(31). Which is bigger: s or -211?
s
Let w(j) = -3*j + 20. Let z = 42 + -35. Let l be w(z). Is l less than -4/7?
True
Suppose 0 = -2*w - 2*w - 5*n + 16, 3*w + 3*n = 15. Let t be 11/(-10) + 9/15. Is w < t?
False
Suppose -2*x + 31 = -x + h, -x - 3*h + 39 = 0. Suppose -4*d - t = -32, 3*d - x = -2*t - 3. Let l be (-5)/2*d/(-10). Do 2 and l have different values?
False
Let d = 8 + -27. Let m be (9 - 4)*(4 - (12 - 4)). Which is greater: m or d?
d
Let q = -702 + 695. Which is greater: q or -132/17?
q
Suppose 21 = 13*i - 5. Which is bigger: 21/32 or i?
i
Let p = 54 + -181. Let d = 114 + p. Is d less than 3?
True
Let b(p) = -p**3 - 16*p**2 + 26*p + 47. Let z be b(-17). Which is smaller: z or -105?
z
Let n = -20 + 32. Suppose -5*a - 2 = -n. Suppose -a*i - 5*k + 1 = 0, 5*i + 4*k = 2 - 8. Which is smaller: i or -1?
i
Let s = 2.92 - 3. Let y = s + -0.92. Let o = -6 - -2. Which is smaller: y or o?
o
Let d(t) = -6*t - 235. Let w be d(-25). Which is smaller: -87 or w?
-87
Suppose 0 = -18*s - s + 27208. Which is smaller: s or 1433?
s
Suppose f + 3*f - 12 = 0, -f - 72 = -5*o. Let m = -92 - -109. Is m greater than or equal to o?
True
Let q be (0 - -1)*(-24)/84. Are q and 144 unequal?
True
Let c(k) = k + 0 - 2*k + 8 - 4. Let v be c(5). Let h be 2/(54/(-105)) - (-26 + 23). Is v not equal to h?
True
Let p be (-6)/(-8) - 375/500. Let o = -6 + 9. Let s = 6 - o. Which is smaller: s or p?
p
Suppose -3*d + 4 + 5 = -n, -3*d + 2*n + 12 = 0. Suppose 0 = p + d - 5. Let c be (-6)/2*4/((-216)/63). Which is bigger: p or c?
c
Suppose 2*a + 19 - 67 = 0. Let z be 64/a - 4/6. Let v be 36/8 + z/(-4). Is 8/3 >= v?
False
Let h = 715 + -505. Is 2 at least h?
False
Let l(b) = b**2 - 2*b. Let f be l(3). Suppose 3*d - 5*a + 7*a = 0, -4*d = -5*a. Suppose 2*q + 0*q - 4*z - 22 = d, 0 = -2*q - z + 12. Which is smaller: f or q?
f
Let r = 2.212 - 0.212. Is -12 not equal to r?
True
Let x(h) = -h + 14. Let q = 24 + -11. Let u = 25 - q. Let v be x(u). Which is bigger: v or 10/7?
v
Suppose 0*i - 4*i = 2560. Let m be (-150)/i*(-4)/6. Let d = m - -19/224. Which is greater: d or 1?
1
Let w = 6178/11 + -562. Suppose 0 = -0*n - 5*n. Which is bigger: w or n?
n
Suppose 0 = -6*r + 3*r + 9. Let y = r - 6. Is y <= -8/5?
True
Let r be -2*4/6*462/(-88). Suppose 5*w + 6 - 66 = 0. Is r at most as big as w?
True
Let d(l) be the third derivative of l**6/120 - 3*l**5/20 - 3*l**4/8 - 11*l**3/6 - 9*l**2. Let z be d(10). Is -4/19 less than or equal to z?
False
Let z = 57773/14 + -4127. Suppose d = -0*d - 1. Which is smaller: d or z?
d
Let j = -2/53 - 100/159. Let q(t) = t - 2. Let p be q(-4). Let m = -8 - p. Is m equal to j?
False
Let v be (-1)/((-12)/(-14) + -1). Let m(b) = 3*b**2 + 23*b - 8. Let h be m(-8). Suppose -23*t + 44*t - 168 = h. Which is bigger: t or v?
t
Suppose -36 = 113*y - 117*y. Which is smaller: y or -1/34?
-1/34
Let j = -0.025 - -22.025. Let z = 7 - j. Let h = z - -14. Which is smaller: h or 0.5?
h
Let p be 276/(-18)*30/4. Let b = p - -81. Is b > -34?
False
Suppose 4*c - 15 = -h + 2*h, -h = c - 10. Suppose 2*j = 3*a, 0*a = -h*a - 2*j. Which is bigger: a or -31?
a
Let y(q) = q**3 + 9*q**2 + 7*q - 6. Let p be y(-8). Let z be (3/6)/(-1 + p). Is 0 at least z?
False
Let d be ((-6)/(-64))/((-9)/6). Let z = -8 - -8. Suppose z = -4*n + 4 - 0. Which is bigger: d or n?
n
Let d = -322 + 314. Which is smaller: d or -54?
-54
Let l be -1*-6*6/(-36). Is l at most -2/877?
True
Suppose 8 = 4*s - 8. Let u be (-2)/5*(s + 1). Let z = -14687 + 58743/4. Is u at most as big as z?
True
Let f = 5 - 10. Let s = -6.3 + 11.4. Let l = f + s. Is l greater than or equal to 1.6?
False
Let s(x) = -x**3 - 10*x**2 - 22*x - 90. Let r be s(-9). Is r greater than 36?
False
Let u = -73/15 - -26/5. Let m = -0.29 - 0.01. Which is smaller: m or u?
m
Let t = 7295 + -7254. Let k(g) = g**2 - 2*g - 8. Let p be k(-6).