+ -3 + -55. Let p = 77 + l. Is p greater than 22?
False
Let w(r) = -11*r**2 - 273*r - 40. Let g be w(-25). Which is bigger: -110 or g?
g
Let x(i) = -i**3 - 16*i**2 - 14*i + 27. Let v be x(-15). Let f be 2/(-3) - (7 + (-212)/v). Let a be 11 - 3 - (-2)/2. Which is smaller: a or f?
a
Suppose 5*w = -114 + 134, 0 = -4*c + 3*w + 180. Is 99 at least as big as c?
True
Suppose 5*b - 20 = -5*q, 3*b - 4 = q - 2*q. Which is smaller: -22/205 or b?
-22/205
Let h be 10/16 + -1 + 5817744/(-4224). Let y = 1378 + h. Let d = -2 - -2. Which is greater: y or d?
y
Suppose -22*s - 112 = -38*s. Which is smaller: 34 or s?
s
Let h = -15 - -19. Suppose 21 = 3*r - h*r. Is 1/2 greater than r?
True
Let i be (1086/(-75) + 14)*745*-6. Is i at least as big as 2146?
False
Let z = 25527 - 25535.728. Which is greater: 0.2 or z?
0.2
Let w = 21484 - 25135. Is w >= -3653?
True
Let b = 3581.03 - 3583. Are 1/2 and b non-equal?
True
Let q = -90.8 + 63.8. Which is greater: q or -0.118?
-0.118
Let d be (2 + 2*-17)*-1. Suppose -3*w + d = 3*h - 4*w, -5*h + w + 50 = 0. Suppose -8*u - 15 = -h*u. Is 16 at most as big as u?
False
Let b = 1047.4053 - 0.4053. Which is greater: b or -2/5?
b
Let o(s) = s - 9. Let n be o(5). Let r = 27 + n. Which is bigger: 22 or r?
r
Let j = -66918/1355 - 58/271. Is -49 > j?
True
Let j be (-2)/10 - (2 - 21/55). Let n = 6038 - 6040. Which is smaller: n or j?
n
Let t be 2 + -6 - (7/7 - 82). Let r = 61 - t. Do r and -18 have the same value?
False
Let z = 96 - 51. Let g be z/(-25) - (-1)/(-5). Let f be ((-232)/(-238))/(-1) + (-2102)/(-17867). Is g < f?
True
Suppose 0 = -5*k - 25, 5*k + 717 + 663 = 5*w. Suppose 3*s = 2*n + w, 4*n = 3*n - 2. Let f = s - 88. Which is greater: f or 6/59?
f
Let k = 5811 - 5810.97. Let h(u) = -u**2 - 2*u + 8. Let q be h(6). Let y be 24/q + 34/90. Is k at least as big as y?
True
Suppose 8*d + 25 = 4*k + 3*d, 4*d + 20 = 0. Which is bigger: k or -2/7213?
k
Suppose 395*w + 195055 - 32604 = -174484. Is w at most as big as -863?
False
Let x = -0.22324 - 5.77676. Which is bigger: x or 183?
183
Let z = 13209 - 13209.1055. Which is greater: -1/3 or z?
z
Let z = -159 + 273. Suppose -223*q + 61902 = 264*q + 56*q. Is z greater than or equal to q?
True
Let a = 289 + -290. Let k be (a - -5) + 28/8. Which is smaller: 7 or k?
7
Let x(a) = 3*a**3 - 48*a**2 + 136*a - 41. Let k be x(12). Which is smaller: k or -142?
-142
Suppose 9893 = -4*r + 5*b, 15*b - 12 = 19*b. Which is smaller: -2474 or r?
r
Let x(q) = 2*q**2 + 25*q - 6. Let d be x(-6). Let s be (-1 + 2)/(28/d). Which is greater: s or 6?
6
Let h = 40 - 48. Let q be (-1178)/h - 48/(-64). Let y be (4/8)/((-2)/q). Is -37 at least as big as y?
True
Let i = -0.6098 - 179.3902. Which is greater: i or 5?
5
Let n = -32722 + 32722. Let r be 36/(-39) + -1 + 1. Is r > n?
False
Let x = -1579 - 25929. Is -27508 less than x?
False
Let u be ((-54)/135)/((-52)/5 - -5). Suppose -8*i = -i + 7. Do i and u have different values?
True
Let t(v) = 2*v**2 - 4*v - 6. Let m be t(5). Let c = m + -21. Let y be (6 + 0)*-1*(-1)/2. Is c less than or equal to y?
True
Let g(c) = -c**3 - 7*c**2 + 3*c - 170. Let i be g(-9). Is 26 > i?
True
Let l = -8159 + 8174. Let y(c) = c + 10. Let k be y(-8). Let a be (14/8)/(k/16). Which is bigger: l or a?
l
Let z = 24053 - 16680. Is 7372 less than z?
True
Let w = -12812 + 12335. Is -475 greater than or equal to w?
True
Let a(s) = s**2 + 6*s - 42. Let m be a(-10). Let u = 1083455 + -741084763/684. Let l = u - -1/171. Are m and l equal?
False
Let h be (-18)/(-12) - (17631/35082 + 1). Which is smaller: -1 or h?
-1
Let w(l) = -l**3 + l**2 + 7*l - 1. Let h be w(3). Suppose -5*t = -h*x - 7, 2*x - 4*x + 5 = -t. Suppose t*k - 4 = -34. Which is greater: -2 or k?
-2
Let j = 786 - 362. Let c = j + -424.2. Are c and 1 unequal?
True
Let v be 15/6 - 1/2. Suppose -7980 = 134*h - 50*h. Which is smaller: h or v?
h
Let f = 19.59 + -21.59. Which is smaller: 3/68 or f?
f
Suppose -5*g + 10 = i, -g = 2*i - 0 - 2. Suppose -5*x + i*o + 1123 = 4*o, 4*o + 438 = 2*x. Is 222 greater than x?
False
Let d be -368 + 3/36*-12. Which is greater: d or -373?
d
Suppose 5*s - 3*s + 38 = 0. Let n be (0 - s)/(1 + (-6)/3). Which is smaller: n or 1/4?
n
Let y = -730 + 549. Let z = y + 907/5. Which is greater: z or -0.08?
z
Let q = 518 + -352. Let o = -112 + q. Let s = o - 57. Are s and 1/5 equal?
False
Let t be -2 - ((-16)/4 - -28). Let p be t/24 + -9*4/(-48). Suppose -4*b - b + v - 161 = 0, 4*v - 50 = 2*b. Is b greater than or equal to p?
False
Suppose 2*u - 860 = -3*u. Let b = -259 + u. Let q = -607/7 - b. Is q at least -2/9?
True
Suppose s + 134 + 1183 = 0. Let m be (-5 + 0)/((-6)/1598). Let i = m + s. Which is smaller: i or 16?
i
Let p = 592 - 939. Let n be 6/(-33) - (168/44 + -4). Which is bigger: n or p?
n
Let x(g) = 3*g**3 - 22*g**2 + 32*g + 36. Let o(b) = -7*b**3 + 42*b**2 - 64*b - 73. Let n(r) = -4*o(r) - 9*x(r). Let d be n(-31). Which is greater: d or -8/7?
d
Let p(j) = 2*j**2 - 4*j - 78. Let x be p(7). Let z be 14/(-6) + (-3 + -3 - x). Let l = 3 - 0. Which is greater: l or z?
l
Let z be (3 - 4941)*18/54. Is z < -1644?
True
Let k(v) = -v**2 + 14*v - 88. Let i be k(7). Let c be 4/(-236)*i/13. Which is bigger: 0 or c?
c
Let b(g) be the second derivative of g**5/20 + 13*g**4/12 - 8*g**3/3 + 17*g**2/2 + 3*g. Let m be b(-14). Let a = 0.804 + -0.704. Is m bigger than a?
True
Let c = 16 - 13. Suppose -88 = -10*d + 2*d. Suppose 0 = n + 9 - d. Which is smaller: n or c?
n
Let i(c) = 2*c**2 + 23*c - 65. Let g be i(-14). Let j be 12/g + -1 + 148/(-370). Is j less than 72?
True
Suppose 2*l + 4240 = -39*b + 41*b, -b = -5*l - 10592. Do -2112 and l have different values?
True
Suppose 0*v + v - 3 = 0, 5*s + 2 = 4*v. Let k be (3 - (-44)/5)/(-1 + 0). Let q = -48/5 - k. Is q >= s?
True
Let r = 34.9 + -35. Let i = 107 + -37. Which is smaller: r or i?
r
Suppose 34 + 8 = 2*y - 4*a, a + 2 = 0. Let m be -1 - 12362/(-119) - (-2)/y. Let x = 45 - m. Which is smaller: x or -56?
x
Suppose 5*k = -20*k + 47*k + 32692. Is -2 less than k?
False
Let s(i) = 6*i**2 + 99*i + 274. Let h be s(-13). Is h > 2/23721?
True
Let i be (-3)/(9/(-21))*1. Suppose 0 = 2*u - 3*g + i*g + 28, -3*g - 63 = 5*u. Let l = 1473/10 + -317/2. Is l >= u?
True
Let y(z) = z**3 - 7*z**2 - z - 3. Let f be y(7). Suppose -5*t = -4 - 1. Let s be -3*t + (-27)/3. Which is greater: f or s?
f
Let f = 0.0724 - 1.0724. Do 831 and f have different values?
True
Let b be ((-594)/7)/((-53)/(-371)). Let l = -412 - b. Is l bigger than 181?
True
Let a(j) = -19*j**3 - 377*j**2 + 42*j + 27. Let b be a(-20). Which is smaller: 406 or b?
b
Let h be 0*(2/18 + 2/9). Let o(f) = f**2 + 3*f - 8. Let k be o(-5). Let u be 2 + -4 + (3 - k). Which is smaller: h or u?
u
Suppose 3*h + 4*w - 2 = 2*h, -h + w - 3 = 0. Let x(p) = -p**3 + 4*p - 2. Let n be x(h). Let m be (-48)/(-215) + (2/5)/n. Is 1 > m?
True
Let n = 0.6287 + -0.59. Let k = -1217 - -1217. Which is greater: n or k?
n
Let g = 81950.53 + -81402. Let o = g + -494.5. Let k = 54 - o. Is 0.3 less than k?
False
Let h = -2 - -2. Suppose h = -3*z + z - 2. Let i = -1203/20 + 39619/660. Which is greater: z or i?
i
Suppose -12 = -2*s - 5*c - 47, 21 = -3*c. Are -9/1280 and s non-equal?
True
Suppose -3 = -2*u - 4*p + 7, -3*u - 4*p + 5 = 0. Let w = u - -25. Suppose 0 = -y + 6*y + w. Is -3 >= y?
True
Let f = 3 - 3.1. Let q = 43 - 54. Let j = q - -2. Is j >= f?
False
Suppose 0 = l - 3, 5*n - l - 4*l = 25. Let d be -1 - (-1434)/135 - (-2)/(-9). Is d < n?
False
Let f(c) = 4*c + 65. Let t be f(-13). Let y(v) be the second derivative of v**5/20 - v**4 - 7*v**3/3 - 5*v**2 + v. Let n be y(t). Is n less than -23?
False
Let v(c) = 6*c**3 - 12*c**2 - 107*c - 44. Let m be v(12). Is 7312 equal to m?
True
Suppose 27*c + 142 = 29*c. Suppose -c*y + 36 = -67*y. Let s = 0 - -8. Which is greater: y or s?
y
Suppose -5*c + 4*h = 147, 51 = 4*c + 4*h + 183. Is c <= -27?
True
Let d(z) = z**2 - 2*z - 9. Let r be d(5). Let b(w) = -7*w - 9. Let a be b(r). Suppose -3*c = -3*i + 147, c - 5*i = -0*i - 37. Which is smaller: c or a?
c
Let c = 15165 + -15145. Which is smaller: c or 6?
6
Let x(g) = 7*g + 167. Suppose 15*l = 13*l - 48. Let t be x(l). Is -2/1209 at least t?
True
Suppose 6 = 2*f + 4*r, -12 = -5*f + 5*r + 3. Do f and 1252 have the same value?
False
Let u = 54296 - 65752441/1211. Which is smaller: 