b. Let a = d + -65. Is 0 at most as big as a?
False
Let s = 3/617 + -22175/4433762. Which is greater: -1 or s?
s
Let q be (8/(-10))/((-21)/((-1197)/(-126388))). Which is greater: q or 0?
q
Suppose 7*s - 76 = 8. Suppose 5*p = -2*g - 119, 0 = p + 8*g - s*g + 37. Is -220/9 greater than p?
True
Suppose 0 = -5*b - 15 - 10. Let t be b + (268/30 - 4). Let c = 33 - 32. Which is smaller: c or t?
t
Let l = -100 + 95. Let z be ((-7)/l)/(-27 + 28) + -4. Are -4 and z non-equal?
True
Suppose -3*o - 58 = 3*r - 13, 2*r + 20 = -o. Let j = -317 - -311. Let q be (-4 + j + 8)*10/4. Is q <= o?
False
Suppose 0 = 15*n - 551 - 214. Suppose j - 36 = -n. Is -8 at least as big as j?
True
Let v be 5376/(-70) - (0 + (-4)/(-20)). Let c be 812/v*(-40)/32. Which is smaller: 13 or c?
13
Let o(z) = 33*z + 144. Suppose 3*s + m = 4*s + 5, 5*s - 3*m + 25 = 0. Let b be o(s). Which is bigger: -23 or b?
b
Let a(d) = -d**3 + d**2 - 1201. Let x be a(0). Let t = 5964/5 + x. Let p(h) = 19*h**2 + 572*h + 53. Let o be p(-30). Is o greater than t?
True
Let v(d) = 17*d + 940. Let x be v(50). Is x >= 1791?
False
Suppose s + 21 = -4*m, -s + 1 = m + 7. Let a be 3/(2/((-7)/3 + -1)). Let g(w) = -2*w**2 - 5*w + 21. Let o be g(a). Do o and m have the same value?
False
Let r(z) = 28*z**2 - 196*z + 16. Let l be r(7). Let p be -19 + (-2)/l + (-1617)/(-264). Which is bigger: p or -11?
-11
Let f(g) = -50*g - 10. Let q be f(-1). Let c be ((-45)/(-25))/((-1)/(q/12)). Which is greater: c or -7?
c
Let o = -8933 + 9133. Is 189 at least o?
False
Let p(f) = -f**2 - 16*f + 82. Let c be p(-19). Suppose -179*m = -184*m - c. Which is greater: m or -3?
-3
Let m = 169 - 162.3. Let x = m + -62.7. Let c = x + 58. Which is smaller: 0 or c?
0
Let f(z) = z**3 + 25*z**2 + 60*z - 114. Let o be f(-25). Does o = -1614?
True
Let u = -24 - -28. Suppose 0 = 3*d + b + b, -4*d = -u*b. Suppose 5*v - 5*o + 3*o + 15 = d, -23 = 3*v - 4*o. Which is smaller: -1/10 or v?
v
Let x = 347 - 491. Let j = 240 + x. Suppose 4*z = -5*m - 89, -4*m + 3*z = -0*z + j. Is m at most as big as -22?
False
Suppose 2*h - 9 = x, 3*h = -2*h - x + 19. Suppose 3*f - 12 = 0, a + h*f - 36 = 3*f. Which is bigger: a or 28?
a
Suppose -w = 5*t - 17, 3*w + 5 = -t - 0. Suppose k + 5*u + 25 = 0, 0*k = -t*k + 2*u + 10. Which is greater: -1/8 or k?
k
Let r = 0.0922 - 0.0529. Let s = r - 0.7393. Are 29 and s equal?
False
Let m = 6197/656066 + -4/1471. Let b be (-16)/(-12) + 3 + 48/(-9). Is b at least m?
False
Let q(c) = 21*c**2 + 174*c + 47. Let z be q(-8). Is z less than or equal to 1/29?
True
Let g be (-3)/(-6)*9 + (-5)/(-10). Suppose -g*w + 103 = -2*j, 2*j + 4*w - 46 = -140. Does j = -49?
True
Suppose 0 = 14*w - 441 + 427. Are -0.1749 and w non-equal?
True
Let c = 447 + -303. Suppose -24*p + 25*p = -c. Is p <= -144?
True
Let z = 8974 + -8973.11. Which is bigger: -7 or z?
z
Let r = 0.915 - 0.75. Let x = 0.065 - r. Which is smaller: x or -109?
-109
Suppose -277 - 431 = -99*d + 282. Which is smaller: -105 or d?
-105
Suppose -4*t + 3*o + 587 = 0, t - 3*t + 2*o + 292 = 0. Suppose -147*p = -t*p. Is p less than or equal to 0.02?
True
Let x = 21246597615 - 15697305016918946/738815. Let u = -1/3535 + x. Which is smaller: u or -1?
-1
Let b(p) = -p**3 - 10*p**2 + 7*p - 20. Let v be b(-11). Suppose -3*w = -3*z - v, -5*w + 3*w + z + 21 = 0. Suppose -5 + w = -4*j. Which is smaller: j or 3?
j
Suppose 0 = -3*q + 5*r + 18, 2*r - 1 = 5*q + 4*r. Let a be (-8)/8*q/(-18)*-2. Which is bigger: 2/9 or a?
2/9
Let q = 137 + -137.152. Let h = 46.152 + q. Let r = 47 - h. Is -1/101 greater than or equal to r?
False
Let l(i) = i + 4. Let v be l(0). Let n be (12*7/(-112))/(135/(-588)). Is n at most as big as v?
True
Let f = -20 - -27. Suppose 3*m - f + 1 = 0. Suppose -m*i = 2*g - 6 - 10, -3*g + i = -20. Are g and 11 equal?
False
Suppose w - 14 = 7*h, -3*h + 25*w = 22*w - 12. Let c = 4 + -2. Let p = c + -3. Is h equal to p?
False
Let m = -485.7 - -292.7. Is m > -4?
False
Suppose -2*w = -t - 5, 2*w - 7*t + 11*t = -20. Which is smaller: w or 30/3103?
w
Let t = -79459/291 + 273. Let d = 24622/291 - t. Which is greater: 86 or d?
86
Let h(s) = s**3 - 25*s**2 - 62*s + 237. Let u be h(27). Suppose 4*r + 5*l = 83, 3*r = 2*l + 38 + 30. Let o be r + 3/(9/(-3)). Is o < u?
False
Let g(y) = -6*y**3 + 55*y**2 - 11*y + 16. Let w be g(9). Let q(m) = -m + 11. Let z be q(8). Suppose 45 = -z*j - 2*j. Is j less than w?
True
Let t(p) = 4*p**2 + 82*p - 1. Let z(c) = c. Let h(d) = -t(d) + 6*z(d). Let y be h(-19). Which is bigger: -1/221 or y?
y
Let v = -2/234177 + 42387697/194366910. Let w = 3/166 - v. Which is smaller: w or -18?
-18
Let z be 3/(24/(-56)) + 11. Let b be 4*(-1 - 7/(-4)). Suppose b*r - z*r = 4*r. Which is greater: r or -2/193?
r
Suppose 2*j - 1659 + 393 = -4*q, -4*q = -5*j - 1287. Is q at least as big as 310?
True
Let a = 37200 - 818925/22. Which is smaller: -24 or a?
-24
Suppose 0 = 2*j - j - 529. Let c = 1127 - -897. Let m be c/j - (4 + 0). Do -1 and m have different values?
True
Suppose 7*a + 3*a = 117 - 7. Is 0.0601 > a?
False
Let m = 140.6 - 86. Let v = m + -55. Do v and -13 have the same value?
False
Let m(r) = r**3 + 5*r**2 + r + 9. Let t be m(-5). Let j be ((-864)/(-6))/(((-6)/t)/(-1)). Suppose -22*s + 18*s = -j. Is 25 less than s?
False
Let p = 12 - -16. Let u be 1 + 20/(-4) + p. Let s = 21 - u. Is s equal to 3?
False
Let p(q) = -q**3 - 19*q**2 - 16*q - 34. Let k be p(-17). Let h be (-2*k/12)/(8/12). Is h less than 84?
False
Let l(w) = -4*w**3 - 2*w**2. Let x(s) = -3*s**3 - s**2 + 1. Let a(k) = -4*l(k) + 5*x(k). Let u be a(-3). Suppose u = y + 3. Is y greater than 18?
False
Let j be 28 + (-20)/(-5) + -6. Suppose k - 39 = -65. Let d = k + j. Which is greater: d or -2/47?
d
Let b be (6/21)/(4/(-6)). Let q = 101.84 - 101.94. Which is smaller: q or b?
b
Suppose 120 = 86*x - 101*x. Let r be (6*3/(-224))/((-12)/x). Which is greater: 2/9 or r?
2/9
Let p = 7306 + -2739748/375. Let q = 130316884/81175125 + -10/216467. Let w = p - q. Is w <= -1?
True
Let r = 1952 - 1776.38. Let p = 175 - r. Which is bigger: p or 0.3?
0.3
Let t = 217.587 - -0.413. Let j = 195 - t. Do 2 and j have the same value?
False
Let k = -6681 - -6532. Suppose -g = -3*u - 456, 0*u = -4*u + 4*g - 616. Is u at least k?
False
Let x = 131 + 994. Which is smaller: x or 2?
2
Suppose 5*t - 66 = g, g + 3*g + 54 = 5*t. Suppose -t = -2*p + 4*l, -4*p + l + 9 = -9*p. Which is greater: -2/109 or p?
-2/109
Let r = 19050 + -3409948/179. Suppose -2*s + 0*s = -2. Is s greater than r?
True
Let d(y) = 3 + 10 + y + 6 - y**2. Let z be d(-4). Let n be (-256)/(-244) - (-1)/1*z. Is 1 <= n?
False
Let t be 498/(-63) + 2/(-21). Let a be (2 + t)/(-1) - 7. Which is bigger: -2/703 or a?
-2/703
Suppose -6*g + 38 = -2*g - 3*k, g + 2*k - 4 = 0. Let t be g/2 + (-8)/(-4). Let o be (t/(-8))/(261/24). Which is smaller: -1 or o?
-1
Let x = 6494.9 + -6495. Which is smaller: 491/6 or x?
x
Let f be (-2)/(-9)*-309 + 4/(-3). Suppose 2*k = -4*v - 274, -19*k = 5*v - 17*k + 344. Are v and f unequal?
False
Let m be 29/(-58)*12/3. Let f be m*(-276)/1280 - (-4)/(-10). Let x(s) = -s**2 + 4*s. Let a be x(4). Is f at most as big as a?
False
Let h be 17/(-188972)*35/(-30). Which is smaller: h or 0?
0
Let c = -16523 + 30782. Is c bigger than 0.1?
True
Let b(c) = -c**2 - 5*c + 3. Let a be ((-4)/(-6))/(14/(-105)). Let x be b(a). Let f = -14/139 + 1321/695. Which is bigger: f or x?
x
Suppose -2*t = -7*t - 2*b + 15, t + b - 3 = 0. Let c = 184 + 429. Let l = 3084/5 - c. Which is greater: l or t?
l
Suppose 0 = 38*f + 3233 + 4747. Let n = f - -1471/7. Which is greater: n or 0?
n
Let m = 121 + 91. Suppose 3*w - 4*h = h + 280, -2*w - 3*h = -m. Is 102 greater than or equal to w?
True
Let l = 18 + -15. Let n = l - 3.02. Is -8 equal to n?
False
Let h(f) = -207*f + 427. Let q be h(2). Let v = 3 - 1. Suppose 2 = v*a - 22. Is a < q?
True
Suppose 2*z + 3*s + 3584 - 304 = 0, 0 = 2*s + 4. Is -1637 not equal to z?
False
Suppose 5*h + 3*m + 2 = 0, -3*h = -m - 1 + 5. Let x be 4 - 11 - (0 - h). Suppose 3*i - 961 = -994. Is i less than or equal to x?
True
Let r be (-2 + 0 - -1)*-3. Suppose -2*b = -b - 5*s - 6, -b - 10 = r*s. Let d be 25/(-7) + b/(-7). Is d < -26/11?
True
Let z be (-42)/(-231) + 183/(-2958)*(-486)/(-165). Is z at least -2/3?
True
Let b = -2910/989 + 65/23. Suppose 308*c + 304*c + 8 = 620*c. 