b. Let x = -0.7 + 0.9. Is x < q?
False
Let s = -558.97 - 8.03. Let z = s + 561. Let o be 4*(10/12 - 1). Is o at most z?
False
Let f be (2/(-25))/((-1)/(-5)). Let b = -72 + 155. Let a = -83 + b. Is a less than or equal to f?
False
Let j = 50 - 27. Suppose -j*y + 18*y = -25. Suppose 9*x + y = 4*x. Is x >= -1/159?
False
Let m(d) = 4*d. Let u be m(5). Let w = 774 + -805. Let z = u + w. Is -13 > z?
False
Let y(k) = k**3 - 7*k**2 + 4. Let u be y(5). Let s(b) = -28*b + 10200. Let v be s(366). Which is greater: v or u?
u
Let f be 15858/1983 - (18 + -10). Which is bigger: f or 1?
1
Let x(i) = -4 + 12*i**2 - 5*i**2 + i**3 - 4 + 5*i. Let v be x(-6). Let j = 815/396 + -278/99. Is j at least as big as v?
True
Suppose 16*r - 12 = 12*r, -f = -5*r + 4. Suppose -8*m = f*m - 4275. Which is bigger: 226 or m?
226
Let b = -1502 + 1501.9. Is b > -19.5?
True
Let p be ((-9036)/5 - 0)*(-3 + (-380)/(-60)). Do p and -6025 have different values?
True
Let s = -8615/14 - -616. Let r(y) = -99*y - 594. Let u be r(-6). Which is greater: s or u?
s
Let d be (-482)/222 + -5 + 11 + -5. Is 0 < d?
False
Let q(c) = -17*c + 229. Let s be q(13). Let a be (-20)/s - (-7866)/84. Which is smaller: a or 91?
91
Let d = -41/63 + 1573/126. Let o be (-5)/10 - (-25)/2. Is o > d?
True
Let f = 65.32 - 7.22. Let y = f + 203.9. Which is bigger: 1 or y?
y
Let k(o) = -2*o**2 - 39*o + 631. Let h be k(-41). Is -9051/8 less than h?
False
Suppose 3*g + 2*j = -20, 0*g - j = g + 5. Let r be 15/25 - 4/g. Let o be -4*9/(-6)*16/48. Which is smaller: r or o?
r
Let j be (-14 - -2) + (-259848)/81. Is -3219 less than j?
False
Let j be (256/72)/16 + 8*516/(-5211). Which is greater: j or 0?
0
Let y = 423 + -336. Suppose 28 = 94*f - y*f. Which is greater: 0.3 or f?
f
Let u be (4/(-5))/((-2)/335). Let i = 57212/3 - 19070. Are i and u non-equal?
True
Suppose -6*m - 922 = -168 + 308. Which is bigger: -353/2 or m?
-353/2
Let o = -28799 - -1065847/37. Is o greater than 9?
False
Let t be (9 - (-3 + 5))*(-12)/(-28). Suppose -1 - 5 = t*i. Let v be -3 - (i/(-1) + -3). Which is greater: -3 or v?
v
Let g = -109188 - -2073827/19. Which is greater: -38 or g?
-38
Let c = -763 - -764. Let x(o) = 2*o - 10. Let y be x(7). Does y = c?
False
Suppose -64 = -13*f - 90. Let c be (f/680)/(3/4). Which is smaller: c or 1?
c
Let p(y) = -y - 27. Let u be p(-22). Let j(k) = k**2 + 4*k + 5. Let x be j(u). Let a be 4/10*x/8. Which is greater: a or 0?
a
Suppose -5 + 47 = 2*w. Suppose 5*z + 13 = -4*s, -z = -2*s + 2*z + w. Let r be ((-38)/5 - -5) + s. Which is bigger: r or -3?
r
Let p = 8102 - 8102.148. Let h = -1.06 + 0.06. Is p at least as big as h?
True
Let w = 13733 - 18719. Is w > -9973/2?
True
Let r be 8/(-10) + 12/15. Suppose -2*w - w - 5*y + 4 = r, y + 4 = 0. Suppose -3 = -5*x - w. Is -4/19 less than x?
False
Let y(s) = 245*s + 895. Let p be y(-6). Is p >= -575?
True
Let a = 225 - 64. Let j = -225 + a. Let t = 64.3 + j. Which is smaller: t or 2/45?
2/45
Let t = -3512 + 4732. Is -1/4 less than t?
True
Suppose 53 - 143 = 10*a. Let l be 3/a*(-1 + 4). Let r = -2 - l. Is r less than or equal to 2/173?
True
Let d = -824 - -496. Let y = -259 - d. Is 211/3 bigger than y?
True
Let d(o) = 5*o + 52. Let x be d(-7). Suppose -8 = -8*p - 8. Suppose -2*k - 3*n = -x, 5*k - 4*n + 2*n + 5 = p. Which is smaller: k or 18?
k
Let k = 4841 + -4844. Which is smaller: 193 or k?
k
Let k = 15618 + -15014. Which is greater: k or 4?
k
Let g = -42 - 17. Let z = g + 45.4. Let c = z + 1.6. Which is smaller: c or 0?
c
Let r be ((-78)/(-4))/(-7 - 39/(-6)). Let z = r - -20. Let c be ((-135)/z - (-3 + 7)) + -3. Which is bigger: 4 or c?
4
Let q = 326932401/13 + -25133509. Let h = -15183 + q. Let t = 7091/143 + h. Is -0.1 != t?
True
Let r = 613/22 - 17051/154. Let q(z) = -z**2 + 84. Let j be q(0). Let t = r + j. Is 0 not equal to t?
True
Let p(i) = -i**3 - 98*i**2 + 175*i - 2206. Let u be p(-100). Which is smaller: 2363/8 or u?
u
Let a be (-24 - (-1708)/70)*(-20)/12822. Does 1 = a?
False
Let h(k) = -2*k**2 - 10*k - 19. Let j be (-2)/(-8) - 279/(-4). Let i be (-1)/3 - j/15. Let l be h(i). Is 1 greater than l?
True
Let p(l) = -17*l - 286. Let j be p(-17). Is j >= -1?
True
Let l = 78 + -53. Let f = l - 78. Let m = f + 52.8. Which is smaller: m or -1.3?
-1.3
Let z be 26850/(-28) + 99/(-693) + 8/14. Which is bigger: -959 or z?
z
Let n(r) = -r**3 - 5*r**2 + 25*r + 20. Let u be n(-8). Suppose 2*b - 5*b - 5*m - u = 0, 4*b = m + 7. Is 4/13 less than b?
True
Let c = -161.07 + 21.07. Which is smaller: c or -7?
c
Let h = -9 - 9. Let r = 1.475 - 1.48. Let f = 0.195 - r. Is h less than or equal to f?
True
Let v(j) = j**3 + 7*j**2 - 3*j - 5. Suppose 4*z = 5*z + 6*z. Suppose -2*x = -5*n, z = 5*x + n - 4*n + 19. Let l be v(x). Which is greater: 61 or l?
61
Suppose -113*k = z - 109*k - 19622, 0 = -k - 8. Is 19654 < z?
False
Let c be 1 + -1 - (-34)/(-1). Let q = -249157 + 249157.1. Which is smaller: q or c?
c
Let s = -42 - -10. Suppose -3*h - 36 = -9*h. Suppose i + 67 = -2*u, -h*u + 7*u + 6*i + 28 = 0. Which is smaller: u or s?
u
Suppose 29 = -2*n + 2*q - 3*q, -n - 2*q - 22 = 0. Let k(l) = -2*l**2 - 22*l + 7. Let t be k(n). Does -17 = t?
True
Let z(r) = -4*r**3 + 287*r**2 + 80*r - 500. Let m be z(72). Which is bigger: 224/3 or m?
m
Let r(q) = 3*q**3 + q. Let z be r(1). Let y(u) = 36 + 15*u + 30 - 8 - z. Let n be y(-4). Is n bigger than -5?
False
Let z(x) = -x**3 - 5*x**2 + 40*x + 21. Let u be z(-9). Which is greater: u or 8?
8
Let v(w) = 4*w**2 - 169*w - 49. Let o be v(44). Are 258 and o equal?
False
Let b = 7 + -24. Let n(r) = r**3 + 40*r**2 - 12*r - 99. Let v be n(-40). Let z = 363 - v. Which is smaller: b or z?
z
Suppose 0 = 214*n - 215*n + 923. Suppose 25*d = 1252 + n. Is d at least 0?
True
Let k = 86 + -83. Suppose r = -5*y + 906, k*r - 3606 = -r - 2*y. Let c = -67577/75 + r. Which is smaller: c or 0.2?
c
Let r be 2/(-1) - 1*(-1)/57*113. Suppose 4*b = -2*g + 20, -2*b = -10 - 0. Is g not equal to r?
True
Let p(r) = 2*r**3 - 227*r**2 + 111*r - 639. Let j be p(113). Which is greater: -866 or j?
j
Let y(t) = t**2 - t. Let s(u) = 8*u + 13. Let h(w) = s(w) + y(w). Let b be h(-4). Suppose 0 - 4 = -k. Which is bigger: k or b?
k
Suppose 6*m = 3*m - 7*m. Suppose 4*f + 5*a + 10 = m, 1 = -5*f + 3*a + 7. Which is bigger: f or -1/15?
f
Let n be (14/3*-1)/(18/(-27)). Suppose -20 = -n*v + 43. Suppose 39 = -v*f - 96. Is -14 at least as big as f?
True
Let h be (-393571)/((-1587)/(-21) + -4) - 0. Let q = -5499 - h. Is 0 < q?
False
Let z = 1946673/113 - 17227. Which is greater: 2/5 or z?
2/5
Suppose 0 = 6*c - 13*c + 21. Suppose -3*j + v = 180, -j - c*j - 240 = -5*v. Is -182/3 <= j?
True
Suppose -327*f = -103*f - 224. Is -6/3047 less than f?
True
Let r be (-10)/(-1626)*((-77568)/(-100))/12. Let s = -2/813 - r. Is s smaller than 0.98?
True
Let g(m) = m**2 - 2*m - 2. Let f be g(2). Let d be f/(-2) - 115/113. Let n = -782280 - -782281. Is n equal to d?
False
Let h = -0.07575 - -535.97575. Let g = -536 + h. Which is greater: 2/759 or g?
2/759
Let m = 1091 - 1091. Is m greater than 7?
False
Let f be ((-1)/(-5))/(8/10). Let m = 279.26 - 284. Let l = m - -9.74. Which is greater: l or f?
l
Suppose 207*s - 205*s - 4 = 0, 5*q + 3*s = 221. Does 216/5 = q?
False
Let n be (-2)/(-16) - 4765/4200. Let w = n - -8/7. Let h = 4/5 - w. Are h and 0 equal?
False
Let w be 187*1 + 2 + 0 + -2. Let z be 34/w - 4/66. Let j = -1.3 + 1.5. Is z < j?
True
Let l(q) = -7*q**3 + 5*q**2 - 12*q - 4. Let y be l(2). Which is smaller: y or -66?
-66
Let b be ((-462)/(-54))/11 + 2/9. Let r be (10384/56)/(b + (-122)/140). Let n = 1440 - r. Which is bigger: -1/4 or n?
-1/4
Let t be -20*(0 + (-3)/12). Suppose 0 = -t*h + 17 + 3. Suppose 6 + 0 = -2*a + 2*y, y - h = 0. Which is smaller: a or 1/48?
1/48
Let q be -4 - (-3 - -2 - -135). Let a be (6/(-12))/((3/q)/(-1)). Which is greater: -91/4 or a?
-91/4
Let a(p) = -24*p**3 + 3*p + 17360. Let o be a(0). Is o <= 17361?
True
Let y = -46 - -46. Suppose y = 5*s - 19 + 14. Let k be (-198)/(-69) + -2 + -1. Is k greater than s?
False
Suppose 63 = 3*i + 2*x, 4*i + x + 42 - 126 = 0. Let w be i/9 + 1 - 2/(-3). Suppose -3*g - c + 6 = 0, -3*g + 2*c + 6 = 4*c. Is g greater than w?
False
Let o = 7.5 - 7.6. Let b be (1/10)/((-10)/22780). Let h = b + 227. Is o at most as big as h?
False
Let g(n) = 7*n**3 - 8*n**2 - 3*n -