30 - c. Which is greater: s or -9?
s
Let r(z) = -z**2 - z + 3. Let m be r(5). Let p = -3462 + 3433. Which is greater: p or m?
m
Let y(l) = 2*l**3 + 24*l**2 - 12*l - 31. Let f be y(-13). Which is smaller: -4 or f?
f
Let x be (2 - (-6945168)/9)/7. Let z = x - 110275. Let j = z - -101/3. Does j = -0.4?
False
Let a = -1763 - -1763.1. Is a < 1471?
True
Let r = 47 + -62. Let q = r - -17. Is q not equal to 0.1?
True
Let j(u) = -3*u**3 - 7*u**2 - 103*u + 2. Let q be j(-6). Is 1016 at most q?
True
Let s be -1 - (1 + 124/22). Let d = s + 683/88. Is 0 at least d?
False
Let f be (-1314)/(-621) - 8/6. Is 2 at least f?
True
Suppose 2*w - 3*s - 23 = 0, 2*w = -w - 2*s + 2. Which is greater: 3 or w?
w
Let w(f) = -3*f - f**2 + 3*f**2 + 0 - 4 - f**2. Let z be w(3). Suppose 5*l + 31 = -n, 5*n + 5 = 3*l + 2*l. Is n < z?
True
Let r(q) = -2*q**2 - q. Let j = 25 - 27. Let h be r(j). Let o be 39/(3 + h)*-1. Which is bigger: o or 11?
o
Let v = -12.912 + 0.012. Let c = v - -13. Is -3/8 != c?
True
Let g = 0.5409 + 0.0191. Which is smaller: -0.1 or g?
-0.1
Let w = 603 - 652. Which is greater: 4/7 or w?
4/7
Suppose -2*b - 767 + 71 = 0. Let r be (272/12 + -2)/((-13)/219). Let z = r - b. Which is greater: 1 or z?
1
Suppose 0 = -x - 0*x - n + 3, 0 = -5*x - 2*n + 12. Let j be 0/x + (2 - 6). Is -4 bigger than j?
False
Let d(t) = -t**2 + 2*t - 1. Let b be d(1). Suppose 3*n = -b - 3. Let x be 1 - ((-1)/(-3) - n). Is -2/5 at least x?
False
Let c = -1/593 + 1801/13046. Which is smaller: 1 or c?
c
Let h be 23/(-2)*(4 + -2). Suppose 31*i - 28*i - 69 = 0. Let v = i + h. Is 4 at most as big as v?
False
Let f(j) = -14*j + 333. Let s be f(29). Is -71 greater than s?
True
Let i be (-3 - -13) + (4 - 2). Let k be i/15*15/2. Which is greater: k or 4?
k
Let q = -257 + 211. Which is bigger: -50 or q?
q
Let u = -3/1843 + 11403/211945. Which is bigger: -1 or u?
u
Suppose 5*y + 12 = 2*y - 2*u, -3*y + u - 21 = 0. Let s be 4/y - 85/(-114). Which is smaller: s or 1?
s
Suppose 0 = -3*i + 3*k + 210, -5*k + k = 3*i - 196. Let r be -2 - (i/19)/(-2). Which is greater: r or 1?
1
Let j = -69 + 78. Suppose 5*p - 61 = 29. Let s = j - p. Is s at most -10?
False
Let w = 3 - 2. Let v = 15318 + -107413/7. Let j = 27 + v. Is w at most as big as j?
False
Suppose 222 = -2*o + 4*b - 2*b, 426 = -4*o - 2*b. Let q be 2 + -3*(-74)/o. Which is smaller: q or 0?
q
Suppose -3*t + 18 = -t + z, 32 = 4*t + z. Let q = 1 - t. Let i be ((-2)/6)/(2/q). Is i > 2?
False
Suppose -5*v - v = 426. Does v = 0?
False
Suppose -9*s + 91 - 307 = 0. Does s = -24?
True
Let r = 91.29 + -90. Let f = 1.9 + -3.2. Let w = r + f. Which is smaller: -2/5 or w?
-2/5
Let h be 13/(-78) + (-1)/(-6). Suppose h = -3*w + 3*v - 10 - 5, 0 = 2*v - 10. Which is bigger: w or -22?
w
Suppose 8 = 3*i + 2*u, 3*i - 4*u - 2 = -0*i. Suppose 0 = -x - 3*m - 2*m - 1, -3*x - i*m = 3. Let l = -4/21 - -95/168. Is x at least as big as l?
False
Suppose 0 = 4*r - 62 + 14. Let z be -1 + 3*8/r. Which is greater: 2/127 or z?
z
Let o be (4/14)/1 + (-2442)/21. Which is smaller: o or -115?
o
Let y = 0.09 - 10.09. Suppose 0 = 5*k + 4*p - 18, -p + 0 + 10 = 4*k. Suppose 4*w = k*w - 2. Which is smaller: w or y?
y
Let x = 30 - 26. Suppose 67 = 3*c - x*h, -2*c + 2*h = 8 - 50. Suppose -64 = -5*r + 4*p, -5*p = 4*r - c - 26. Do 11 and r have different values?
True
Let k = 32 + 56.2. Let j = k + -88. Let y be (6/(-15))/(17/(-5)). Is y <= j?
True
Let x be 24*(-6)/8*3. Let c(j) = 346*j + 1675. Let s be c(-5). Which is smaller: x or s?
s
Let p = -24 - -32. Suppose -2*f = 10 - p, 3*f = 4*t - 63. Which is bigger: 12 or t?
t
Let z = 1135/7 - 162. Is z less than or equal to 0.05?
False
Let l(w) = w**3 - 9*w**2 + 8. Let f be l(6). Let s be f/88 - (0 + -1). Is 1 less than s?
False
Let q = 486 - 483. Is -7 equal to q?
False
Suppose 3*c - 2*z - 144 = 0, -175 = -4*c - z - 2*z. Let a = 32 - c. Let q = 24 + a. Is q >= 10?
True
Let m = 6066208/19 - 319368. Let g = m + 94. Let t(o) = -2*o**2 + 11*o + 6. Let h be t(6). Which is greater: g or h?
g
Let q = -357 + 355.8. Which is bigger: q or 28?
28
Suppose 3*u + 2 = 4*u. Let x(b) = -4*b**2 - 3*b - u - 3*b**3 + 2*b**3 + 3*b. Let i be x(-4). Is -5 less than i?
True
Suppose 56 = 9*k + 20. Suppose 2*u + 3*c - 19 = 0, -2*u - k*c + 5 = -19. Which is greater: u or 1?
u
Let q(t) = -t**3 - 38*t**2 - 71*t + 45. Let x be q(-36). Is 43/5 > x?
False
Suppose z - c - 5 - 1 = 0, 0 = -4*c - 12. Suppose 7 = z*a - 5. Suppose -a*b = -0*b. Which is smaller: 6/5 or b?
b
Let f = -9/7 + 1. Let i = 41/70 + f. Let h(b) = -b - 7. Let y be h(-5). Which is smaller: y or i?
y
Let r = 0 + 0.03. Let x = 1340 + -1339.7. Is x > r?
True
Let q = 31 + -29. Let h be (q/6)/((-1027)/78). Let w be (-1 + 1)/(1 + -2). Are w and h equal?
False
Suppose -32*b + 12 + 20 = 0. Is b at least as big as -0.717?
True
Suppose 61 - 21 = -40*y. Is y less than -14?
False
Let o(n) = -60*n + 72. Let h be o(-2). Are 192 and h non-equal?
False
Let b = 19 + -14. Suppose b*s - 5*c - 45 = 0, 4*s = s + 4*c + 28. Suppose 0 = -s*u + 3*u. Which is smaller: u or 2/7?
u
Let b be 127/77 - (-1)/(70/(-20)). Which is smaller: 1 or b?
1
Suppose 3*b + 2*b = 15. Suppose -4*d = -m - 22 - 0, 2*d - 2 = -4*m. Suppose 13 = 4*n + d. Is n >= b?
False
Let x be -22*3/(-4)*2. Which is bigger: x or -3?
x
Let t = 4.976 - 0.076. Let w = 5.1 - t. Which is smaller: w or 20?
w
Suppose h = 3*t - 65, 10*t - 5*t + 192 = -4*h. Let w = -2090 + 2037. Is w >= h?
True
Let i be (1 + 3)/(3 + -5). Suppose -5*q - 3*z - 8 = -0*q, 2*z = 8. Which is bigger: i or q?
i
Let b(l) = l**3 + 7*l**2 + l + 8. Let c be b(-7). Is c greater than 6/23?
True
Let s(w) = 4*w**2 - 144*w - 27. Let y be s(36). Which is greater: -45 or y?
y
Let u = 173.4 - 209.4. Let t = -40.4 - -2.4. Let v = t - u. Which is greater: v or 0.05?
0.05
Let i = -175/23 + 1005/253. Which is greater: -4 or i?
i
Let a(t) = 2*t + 3. Let k be a(-2). Let j be (-1)/k + -3 - -2. Suppose 2*h = -5*m + 10, 4*h - 20 = 2*m - 3*m. Is j < m?
False
Let l = -5.75 - -8.75. Which is smaller: l or -0.068?
-0.068
Let b be (-3 + 6)*10/3. Let v = 2 - -9. Which is smaller: v or b?
b
Let w be (-2)/5 + (-48)/(-70). Let y be (-57)/180 + 6/15. Is w equal to y?
False
Suppose 204 = 2*g + 182. Is 5 > g?
False
Let v = -8/7809909434513 - -661608214860593540238/6306494058459812987. Let q = v - -4/73409. Let a = q + -105. Which is bigger: 1 or a?
1
Suppose 8895 = 25*j - 20*j. Is j smaller than 1780?
True
Let f be (40/(-1050))/(2/(-186)) - 2. Let z = 8/7 - f. Which is smaller: z or -0.2?
z
Suppose -2*f - 6 = -4*t, -6 + 0 = -f - t. Let a be (f*1)/(3/((-285)/(-5))). Which is smaller: a or 0?
0
Let d = 34.4 + -33. Is d at least 1?
True
Let u be (-10)/(-3)*(-9828)/210. Which is smaller: -155 or u?
u
Let c = -88/135 + -2/135. Is 1 at least c?
True
Let v be ((-1)/(-2))/(8/352). Suppose 5*u = 4*u - 27. Let m = v + u. Which is smaller: 0 or m?
m
Suppose -5*s - b = 5, 5*s = 3*b + b + 20. Let g = 380/11 - 35. Which is smaller: s or g?
g
Suppose -5*p + 2*c + 102 = 0, -56 = -3*p - 0*p - 4*c. Let n(r) = 5*r - 5. Let h be n(5). Is p < h?
False
Let i be (2 + -3)/(-1 + 2). Let b be (-2)/7 + (-3 - 132/(-21)). Let s be (63/24)/(-1) + b. Do s and i have the same value?
False
Let i(y) = y + 41. Let j be i(-31). Let d be -2 - (j/(-5) - 0). Are -5/18 and d unequal?
True
Let k be (-23)/(2277/(-18)) + 1351/(-7491). Is k bigger than 1?
False
Let g(s) = s + 13. Suppose 0 = -5*v - 140 + 50. Let w be g(v). Let d = 5 - w. Which is smaller: d or 9?
9
Let x = 0.031 + -1.031. Let a = -120 - -57. Let b = -247/4 - a. Which is smaller: b or x?
x
Let z = -43 + 36.9. Let k = z - -4.1. Let m = 4.5 + 0.5. Which is smaller: k or m?
k
Let o = -2/467 - 2788/3269. Let m be -1 + 1/(1/(-1)) + 2. Suppose m = 3*q - 11*q - 8. Which is greater: q or o?
o
Let b be ((-6)/(-9))/(4/18). Let o be 438/9 + 1/b. Let g be (3/14)/((-28)/o). Which is greater: g or -1/2?
g
Let m(b) = 3*b**3 + 2*b**2 - 4*b + 7. Let d be m(-3). Let l be (-83)/(-4) + (-11)/d. Let q = 20 - l. Do q and -2/7 have the same value?
False
Suppose i + 4 = 1, -3*l + 15 = -2*i. Suppose 35 = -4*b + l*q, 4*q - 19 = 1. Which is bigger: -6 or b?
b
Suppose -4*b + 25 = b. Suppose -3*k = -6*k - b*t + 12, 5*t = 0. Is k < 4?
False
Suppose 108 = 6*k + 102. Which is smaller: k or -2/895?
-2/895
Suppose 94 + 6 = 4*z. Let t be 14/2 - 6304/(-