+ 849/4. Which is smaller: i or 0?
i
Let k(j) = j**2 + 18*j + 4. Let d be k(-13). Let o = d + -2. Let p = o + 60. Are p and -9/5 non-equal?
True
Suppose 3*t = -5*w - 19939, 0 = 128*t - 127*t - 3*w + 6609. Does -6634 = t?
False
Suppose -79 = -11*z - 13. Let d be (-24)/(-48) - 7/z. Do d and -95 have different values?
True
Suppose -3 = -y, 5*a - 10 = 514*y - 519*y. Let g = 13 + -13. Which is bigger: a or g?
g
Let h be (-47)/(517/(-66)) + 374*-1. Let u be 460/h - (-2 - 414/(-536)). Which is smaller: u or 0?
u
Suppose 0 = -16*l - 9*l - 120175. Is -4807 < l?
False
Let s = 83245/1683 + -13/1683. Which is smaller: s or 48?
48
Let o = 6815 + -6814. Suppose 2*z + 1872 = -j, j + j - 3760 = 4*z. Let h be (-6)/14 + (-458)/z. Which is smaller: h or o?
h
Let y(o) be the second derivative of -7*o**3/6 - 3*o**2/2 - 11*o. Let w be y(-3). Suppose 0*x + 4*x - 2 = 3*c, -4*c - 5*x = -w. Is c smaller than 1?
False
Suppose 0 = -w + 2*f + 6990, 3*w + 3*f - 17479 = 3536. Is w smaller than 6999?
False
Let r(g) = 8*g - 138. Let b be r(15). Let m = 48 - b. Which is greater: 64 or m?
m
Let m = 537 - 540. Are -0.0007 and m nonequal?
True
Let o = 26 + 3. Let l = -28 + o. Let q(k) = 2*k - 3. Let g be q(l). Are 3/50 and g equal?
False
Suppose 0 = -195*l + 198*l - 69. Suppose -21*c = 2*c + l. Is -0.25 > c?
True
Let o be -10*(18/(-4))/9. Suppose 0 = 3*t + 4*w + 301, -o*t + w + 397 = -9*t. Is -99 at least t?
True
Let y be 156/(((-230373)/26)/33). Do -2 and y have different values?
True
Suppose -2 = 2*g - 2*t, 2*g - 4*t + 4 = 2. Let l = -644/22145 + 3/515. Which is greater: l or g?
l
Let p(m) = 3*m**2 + 12*m - 8. Let t be p(-10). Suppose -50*i + 4624 = -3976. Is t less than i?
False
Suppose 0 = m + 11*r - 11*r - 3*r - 116, -4*r = 0. Suppose -66 + 430 = 4*v. Let k = v - m. Are -2 and k nonequal?
True
Let c be (-286)/(-9) + 7*(-6)/(-189). Let r be 9/(-6)*7/((-84)/c). Let f be -3 + (-8 - -4)*15/r. Is f greater than 3?
False
Let d be (1 - 5) + (-12)/(-2). Let n = 22 - -9. Suppose d*o + n = -5*u, -o + 2*o - u + 5 = 0. Are -1 and o unequal?
True
Let k be 40*(-7 + (-43)/(-4)). Suppose -9*v - k = 6*v. Which is smaller: -16 or v?
-16
Let f be -5 + 2 + 1 + -4. Let k be (-10)/25 - f*(-14)/(-10). Let d(z) = 2*z + 10. Let n be d(k). Are n and -1 equal?
False
Let q be 54/(-36) - (-958)/(-260) - -5. Is q equal to -0.1?
False
Let a be (-7)/(-21)*(-6)/(-9) - 25/(-9). Which is bigger: 10/3 or a?
10/3
Let z be 21/(-35) - 549/(-15). Suppose -887 = z*t + 517. Is -116/3 at least t?
True
Suppose -55*s = -6*s - 9114. Suppose 5*b - 849 = -2*h, -b + 2*h + 3*h + s = 0. Which is bigger: b or -2?
b
Let n = 48238 + -4968552/103. Which is smaller: 0 or n?
n
Let v(w) = 4*w**3 + 12*w**2 - 2*w. Let c(l) = -l**3 + 5*l**2 - 3*l**2 - l - 3*l**2. Let b(y) = 5*c(y) + v(y). Let k be b(5). Which is smaller: k or -0.1?
-0.1
Let n be (-826)/2655*(-50)/70 + 313/(-1368). Let y(c) = 2*c**3 - 3*c**3 + 0*c**3 - c + c**2 - 1. Let w be y(0). Is w at least as big as n?
False
Let h = -142538/141 - -11120/11. Which is bigger: h or 0?
h
Let s = -47.468 + 47. Let r = -0.268 - s. Let l be (4 - (5 - 3))/(-31). Which is smaller: l or r?
l
Let a(z) = -5*z**3 + 4*z**2 - 2*z - 10. Let d be a(3). Let j = -428 + d. Is -543 bigger than j?
False
Suppose 0 = 2*t - 5*a - 25 + 174, 229 = -3*t + 2*a. Let x = 76 + t. Is x at least as big as -2/443?
False
Let u = -19265 - -19346.69. Which is greater: 0.2 or u?
u
Let z be (-210368)/11808 + 1/((3 - 13) + 1). Does z = -18?
False
Let q = -22915 + 13109. Does q = -9806?
True
Let l be 11704/(-1022) + -11 + 17. Does l = -6?
False
Let x = -1976 + 1964. Which is smaller: -112/9 or x?
-112/9
Suppose 125*c - 72 = 53. Which is bigger: 2/13185 or c?
c
Let t(s) = -s**3 - 6*s**2 - 15*s - 6. Let g be t(-6). Let n be g/(-48) - (-2410)/1368. Which is bigger: n or -1?
n
Let l = 611 - 610.082. Let n = l + -0.93. Let s = n + 0.112. Which is bigger: -20 or s?
s
Let b be (58 + -66 - (1 - 1)) + 116/16. Is -133 greater than or equal to b?
False
Let u be (-22)/55 - (-6713)/45. Let w = 149 - u. Let k = 41.1 + -41.09. Which is smaller: w or k?
k
Let v(w) = -11*w**2 - 6*w + 6*w - 5 + 6 + w. Let u be v(-2). Let q = -19 + -27. Which is smaller: u or q?
q
Let t = -39 - -41. Suppose 0 = -t*z - 4*h + 120, -h + 230 = 4*z - 3*h. Let v be z/(-14) - 7/(-49). Which is smaller: v or 2?
v
Let c = -4160 - -4166. Is c at least as big as -323?
True
Let y = 3106 - 1072. Suppose y = -18*c - 0. Which is smaller: c or -111?
c
Suppose -2*s + 4*z + 500 = 0, 3*s - z - 928 + 178 = 0. Which is smaller: 254 or s?
s
Let u be 467 - (-1)/(((-1)/5)/(-15 + 14)). Which is smaller: 458 or u?
458
Suppose 24 = -12*w + 13*w + 3*o, o - 52 = -4*w. Suppose w = -22*h + 16*h. Which is smaller: -3 or h?
-3
Let r = -100.48 - -99.48. Is 478/27 at most as big as r?
False
Let v = 425.9 + -429.338. Let g = v + 0.038. Let j = 3.6 + g. Is j < -1/2?
False
Let f = 16281.1 + -16281. Does f = 2/1769?
False
Suppose -26 + 6 = 2*y. Let o be (5/y)/((-65)/70). Which is smaller: 2 or o?
o
Suppose -3*s = -3*o - 90, -7*o + 3*s - 123 = -3*o. Let f be 16170/3080*48/(-7). Which is smaller: f or o?
f
Suppose 5*y = -4*k + 71, 18*k + 73 = 22*k + 3*y. Suppose 0 = 4*w + v + 8, w - 3*v + 8 - k = 0. Which is greater: w or 1/28?
1/28
Let c = -1.64 - -1.63. Let h = 0.223 + -0.303. Is c at least h?
True
Let y = 694 + -157. Let i = y + -557. Let u be -2*-2*34/(-8). Which is smaller: u or i?
i
Suppose 0 = -274*o + 109 - 383. Which is smaller: 20/133 or o?
o
Suppose -6 = r + 2*r. Let b be (-2)/4 + (-9)/r. Let o be (-252)/20 - b/10. Which is smaller: o or -14?
-14
Suppose 65*l + 184*l - 2899 = 26*l. Which is bigger: l or -33?
l
Let j be (30/(-20))/(1/26). Let x = j + 72. Let p = -813 + 846. Is p less than or equal to x?
True
Let i be 8 - (-140)/(-10) - (-1 - 1784). Which is greater: 3555/2 or i?
i
Let q be (-6)/4*(-8)/12. Let w = 151383/46 + -3291. Is q bigger than w?
True
Suppose 2*y - 5*s + 337 + 694 = 0, 10 = -2*s. Let z = -443 - y. Which is bigger: 341/4 or z?
341/4
Suppose 3*o - 35 = 4*o. Let r be 3/(-8)*(o + 37). Is r at least -1?
True
Let i(k) = -12*k**3 - 10*k**2 - 18*k - 25. Let f be i(-3). Which is greater: f or 267?
267
Let y = 23414.555 + -23415. Is y <= 4?
True
Let u = -343 + 326. Let o(z) = -z**2 - 32*z - 78. Let b be o(u). Which is greater: b or 176?
b
Suppose 2*b + 0*p = 3*p + 22, 0 = 5*b + 4*p - 9. Suppose 772 = -0*f + b*f + 3*r, -3*f = -3*r - 444. Which is smaller: f or 150?
150
Let k be (-7)/((-105)/40)*(-20 + (-3 - -17)). Which is smaller: -55/2 or k?
-55/2
Let i = 0.9 - 1.1. Let r be (-147)/(-28)*(-60)/20*(-1)/15. Which is smaller: i or r?
i
Suppose 2*u = -u. Suppose -p - 2 + 5 = u, -4*d - 115 = -5*p. Is -10 not equal to d?
True
Suppose -9*m + 7*m + 3*y = -43, -2*m + 46 = -4*y. Suppose 50 = -3*s + m. Let c = -2 - -1. Which is smaller: c or s?
s
Suppose 0 = -435*x + 419*x. Is -2/201 less than or equal to x?
True
Let f = 10518 - 10442. Which is bigger: f or 83?
83
Let a = 962.7 + 287.3. Which is smaller: a or 0.1?
0.1
Let s = -2/16807 + 1596683/151263. Let z = s - 92/9. Which is greater: z or -6/13?
z
Let p = -4437 - -9318. Are 4882 and p nonequal?
True
Let c = -15493 - -30875/2. Let n be (-1)/(-3)*3/(-2). Which is greater: c or n?
n
Let p be 135/360 + 2774/(-16). Which is greater: -8 or p?
-8
Let n be (-1173)/(-378) + -3 - 12/54. Let j be 0/(-6 + (-6 - -15)). Which is smaller: n or j?
n
Let p = -528.6 + 3920.6. Which is greater: -2/7 or p?
p
Let h be (68/(-306))/((-30)/(-32)). Is 1 at least as big as h?
True
Let l = -6159 + 10545. Which is smaller: 4387 or l?
l
Let l be (-2 + -59)*-2*(-9)/(-2). Suppose 0 = 6*m - l + 207. Let d = m - 59. Which is bigger: -3/4 or d?
-3/4
Let v = -3191 + -4940. Is -0.2 smaller than v?
False
Suppose 5*p + 355 = 379*z - 375*z, 452 = 5*z + 2*p. Which is smaller: z or 21?
21
Let g = -179 + 325. Let z = g + -269. Which is smaller: z or -122?
z
Let g = -0.78 + 0.77. Let l(b) = b**2 + 13*b - 10. Let a be l(-14). Let f be ((-6)/(-15))/(a/(-20)). Is g at most as big as f?
False
Let t = -1.637 + 747.637. Let m = t + -746.6. Which is smaller: m or 50?
m
Let l = -10964 + 6537. Is -4428 < l?
True
Suppose 4*b + 4*d - 11440 = 0, -7*d + 6*d + 11425 = 4*b. Suppose 0 = 30*r - 265 - b. Is 103 at least r?
False
Let u = -451 + 857. Let v = u + -370. Is v at least as big