13/20. Let o be 30/9*(-1 - -4). Which is bigger: c or o?
o
Suppose 42 = 3*n - 3*q, -n - 4*q + 56 = 3*n. Suppose -4*u - n = -6. Let i(a) = 3*a. Let c be i(u). Is c >= -7?
True
Suppose 0 = 14*t - 10*t - 12. Suppose -2*j - 5*g - 16 = 2*j, 5*j + t*g + 7 = 0. Let z be (-25)/(-33) - 6/9. Which is smaller: j or z?
z
Let x(k) = 7*k + 141. Let t be x(-20). Which is smaller: t or 4/129?
4/129
Let l be -2 - (12/8)/((-3)/8). Suppose -4*g - 76 = l*p, -43 = 5*g + 2*p + 51. Let x(k) = -k**2 + 7. Let f be x(-5). Is g less than or equal to f?
True
Let b(y) = -y**2 + y + 3. Let t be b(0). Let d be (t - 1)/(-2 + -4). Which is smaller: d or 1?
d
Let z = -0.061 - 86.939. Let h = z - -87.27. Which is smaller: h or 0.1?
0.1
Let i be -3 + 5 + -5 - -2. Let x be 0/(i*(1 - 2)). Is 3/25 <= x?
False
Let b be (4/(-2) - -1) + 26. Let x = 98 + -72. Is b less than x?
True
Let b(z) = 11*z - 333. Let l be b(30). Which is smaller: l or -4?
-4
Let p(a) = -a**3 + 20*a**2 - 3*a + 62. Let s be p(20). Let i = 4203/5 + -838. Which is greater: s or i?
i
Let h be -4 - 10*(-2 + 1). Suppose -36 = -2*k + h*k. Let p = k + 11. Do 6/5 and p have the same value?
False
Let m be -18 + 3 + (0 - -2). Is m greater than -37/3?
False
Let t = 18 - 6. Let q = -11.9 + t. Let n = 0.06 - 10.06. Is q <= n?
False
Let d = -316 + 310. Is -34/5 bigger than d?
False
Let m be 0 + 1 + (0 - -2). Suppose 0 = m*t + 2*t + 70. Let i(n) = -n**3 + 23*n**2 - 22*n - 14. Let q be i(22). Do q and t have the same value?
True
Let w be (-4 - -1)*(-32)/24*-1. Let o be (w - -7) + -2 + -19. Suppose 0 = 3*f + 2*h + 54, -3*h + 44 + 28 = -4*f. Is o < f?
False
Let m = 93/2 + -59. Let x = 11 + m. Suppose 9 = 3*k - 4*n - 0, 3*k - 2*n - 3 = 0. Is k > x?
True
Let a = 44.53 - 44. Let d = a - 9.53. Which is smaller: -3/8 or d?
d
Suppose 2*b = 5*a + 78, b = 2 - 3. Let h = 1 - 17. Is h equal to a?
True
Let x = 267.9 + -268. Which is smaller: 47 or x?
x
Let g(b) = -b**2 + 5*b + 4. Let u be g(0). Suppose 3*c - 3*z = z - 3, 4*c - u*z + 4 = 0. Which is bigger: c or -2/51?
-2/51
Suppose -2*t - 2*p + 26 = t, -75 = -5*t + 3*p. Let x(y) = y**3 + 4*y**2 - y - 2. Let n be x(-4). Let u be 36/t*n/6. Which is smaller: 2 or u?
u
Let m be 30/4 + 3/6. Let a(p) = p**2 - 13*p + 21. Suppose 12*t = 10*t + 24. Let d be a(t). Which is greater: d or m?
d
Suppose 5*d + y = 169, 2*d = 5*y + 52 - 6. Let f = d - 29. Are 8/3 and f equal?
False
Let k be (-2)/(-6) + 1/(-3). Suppose 4*q = -t + 37, k*t + 4*t + 3*q = 83. Suppose -2*b = -8, 2*m - 1 + t = 2*b. Which is bigger: m or -6?
m
Let h = -1577/362 - 26/181. Which is smaller: h or -6?
-6
Suppose -t - 1 = r, -5*t = 4*r - 0*r + 8. Suppose 41 = -r*g - 2*j - 10, 0 = 4*j. Which is smaller: g or -69/4?
-69/4
Let q be (4 + -1)*(-22)/(-33). Suppose q*d = -3 + 9. Suppose 2*a - 2*t + 4 = 0, -2*a = 2*a + d*t - 6. Which is greater: -2 or a?
a
Let w = 62 + -41. Let f be (1 + 0)*(-6)/w. Suppose 0 = 5*g + 3*a - 3, 2*g - 5*a + 2 = -3*a. Is f bigger than g?
False
Let b = -11.41 - 1.59. Is 2/5 less than b?
False
Let v(n) = -4 - 6*n**2 - 1 + 6*n - 6*n**3 + 5*n**3. Let l be v(-7). Which is bigger: l or 3/4?
l
Let u be (-9)/(-18)*2/(-5). Let d = -14 + 17. Suppose d*z - 2 = -5. Do u and z have the same value?
False
Let c be 96/44 + (-4)/22. Suppose -27 + 69 = c*p. Let u be (-2)/(-4) - p/18. Is u smaller than 7?
True
Let a be 0 + (-2)/(-2) + 10. Let y = 14 + a. Is 25 > y?
False
Let j be -5*(234/30 + -8) - (-10)/1. Let h be ((-16)/6)/((-2)/9). Which is smaller: j or h?
j
Suppose 0 = -q + 2*r - 3414, 2*q = r - 2116 - 4703. Let y be q/132 + (-4)/22. Is -24 smaller than y?
False
Let c = 1088 + -27206/25. Is c > -1?
True
Let g(d) = d**3 + 5*d**2 + 1. Let y(k) = -k**3 + 8*k**2 + 9*k - 5. Let r be y(9). Let j be g(r). Let n = 8.2 + -7. Which is smaller: n or j?
j
Suppose -3*v = -4*k + 649, -29 - 119 = -k - 4*v. Let d = 812/5 - k. Suppose -2 = 5*q + 3*s, 5*s + 5 = -q - 13. Is q greater than d?
False
Let m = -22/97 - -439/4074. Which is smaller: m or 0?
m
Let n be ((3 + 6)/(-1))/1. Let h = n - -12. Suppose h*p = -2 - 1. Is p at least as big as -2/9?
False
Let j = 30 + -14. Let f be j/10 - (-9)/(-15). Which is smaller: f or -1?
-1
Let y = -4.1 + 0.1. Let j(a) = -6*a + 5 - a**2 + 2*a**2 + a. Let m be j(4). Which is smaller: m or y?
y
Let h(p) = 91*p + 149. Let m be h(-4). Is m smaller than -214?
True
Let h be (-1 - -6) + -2 + (-33389)/(-63). Let s = -533 + h. Which is greater: s or 0?
0
Let b = 122.37 + 2.63. Is -2/5 > b?
False
Let j = 1 + 0.2. Let p = 21 + -22.7. Let l = p + j. Is l >= 1?
False
Let j = 431 - 530. Is -102 less than j?
True
Let q = 95 - 115. Let x(l) = -l**3 + 6*l**2 - 4*l + 4. Let m be x(4). Let i = q + m. Which is greater: i or -6/7?
i
Let y be 1*(-3 + -6 + -1). Let r = y - -5. Which is greater: -4 or r?
-4
Let d be -7 + 13 - 71 - -8. Does d = -55?
False
Let f(b) = b**2 + 7*b + 12. Let w be f(-5). Suppose -2*n + 3*g - 17 = -0*n, 2*g - w = -n. Is n greater than or equal to -11?
True
Let o(k) = -37*k + 8. Let a be o(-2). Let l = 141 - a. Is l at most 59?
True
Let r = -863 - -306368/355. Which is bigger: 0 or r?
r
Let q(f) = 3*f**2 + 6*f - 12. Let r be q(2). Suppose -185*x - r = -183*x. Is x > -9?
True
Let v = 21392/19 - 1126. Is -1/11 less than v?
False
Suppose 0*b - 4 = 4*b. Suppose -y + 12 = 4*k + y, -y = -3*k + 4. Let l be (18/(-45))/(k - (-53)/(-30)). Which is bigger: b or l?
b
Let v = 197 - -84. Is v greater than or equal to 281?
True
Let h = 61.1 + -53. Let k = -8 + h. Let i = 15 - 12. Is i greater than k?
True
Suppose 94 + 58 = 4*g. Suppose 88 = 2*t + 5*m, -3 = t + 2*m - 46. Is t at most as big as g?
False
Suppose 12 = -11*r + 7*r. Let d be ((-18)/15)/(r/20). Let h be (-6)/(-9)*(-6)/d. Is -1 bigger than h?
False
Let l(j) = 2*j - 6. Let u be l(5). Let r be (1/8)/((-30)/u). Let f = -4/15 - r. Which is bigger: f or -2?
f
Let b = -445 - -391.8. Let q = b - -53. Which is greater: q or 6?
6
Suppose -4*a - 6 + 78 = 0. Which is smaller: a or 19?
a
Let z = -1398 - -1403. Which is smaller: -5/22 or z?
-5/22
Suppose -4*c + 10*l - 6*l = 108, 2*l + 15 = -c. Which is smaller: -12 or c?
c
Let g(l) = -l**3 + 7*l**2 - 6*l - 7. Let v be 10 + -3 + -1 + 0. Let y = v + 0. Let a be g(y). Which is smaller: -8 or a?
-8
Let q = 395 + -277. Let i = -82 + q. Is 35 greater than i?
False
Let f = 677 - 677.2. Which is greater: 1.2 or f?
1.2
Suppose -p = 4*g + 2*p, p = g. Let j = -167 + 1178/7. Which is bigger: g or j?
j
Suppose -5*u - m = -71, -3*u + 11 = 2*m - 33. Suppose -3*d + 3*j = -39, j + 0*j + 28 = 2*d. Which is greater: d or u?
d
Let u(o) = -o + 8. Let v be u(0). Let j(s) = s**2 + 1364*s + 8147. Let m be j(-6). Do m and v have the same value?
False
Let o be -22*((-40)/(-10) - 0). Which is smaller: o or -84?
o
Let o = 167 - 4343/26. Which is greater: 0.2 or o?
0.2
Suppose 5*w + 2 = -3. Which is smaller: 2/1061 or w?
w
Let o be 2 - 2 - (-5790)/22. Suppose -41 = -2*h + 485. Let w = h - o. Is w smaller than 0?
True
Let o = -3961 - -3941. Suppose 4*n - n = 0. Which is greater: o or n?
n
Suppose x - 5*h - 16 = 0, x = 3*h - 8*h - 24. Let z be -1 + x + (-312)/(-62). Which is greater: z or -0.1?
z
Suppose -2*z + z = -2*h - 17, 0 = -5*z - 4*h + 43. Suppose 4*q - 3 = -z. Are -2 and q non-equal?
False
Let k(s) = -s**2 - 8*s + 2. Let g be k(-9). Let j be 1 + g/(224/12). Which is smaller: 2 or j?
j
Let r = -2/19 + -5/133. Which is smaller: 6 or r?
r
Let g(f) = -5*f**3 - 5*f**2 + 6*f + 7. Let q(k) = 6*k**3 + 5*k**2 - 7*k - 6. Let l(r) = -5*g(r) - 4*q(r). Let h be l(-5). Which is smaller: 2/7 or h?
h
Let t = 25 + 26. Suppose -4*d + d + t = 0. Suppose j = 2*y + 1, 0 = 3*j + y - 0*y - d. Is j greater than or equal to 5?
True
Let s = 403 - 408. Are s and -18 nonequal?
True
Let v be 1 + 2 - 220/(-2). Let x = v + -58. Suppose -5*m - x = 5*r, 4*m + m - 17 = 3*r. Is -9 <= r?
True
Let q = -2 + -4. Let o be (-12)/(-2) - (-3 - q). Let c be 0 + 2 - 2/4. Which is smaller: o or c?
c
Let y = -0.0408 - -46.0408. Which is greater: y or -1?
y
Suppose c + 1 = -0*c. Let p be (-2)/(-1*2) + (-812)/448. Let f = p - -237/272. Which is greater: c or f?
f
Suppose -17 = -34*k - 119. Let q be (2/2)/(2/(-2)). Is q >= k?
True
Let t(v) = 2*v**3 - 6*v**2 - 5*v + 9. Let u be t(5). Let f be (-2)/(-6) + 164/u. Does 1 = f?
False
Let x(g) be the second derivative of g**4/6 + 31*g**3/6 + 15*g**2/2 