5. Which is bigger: v or 221?
221
Let g = -597 - -443. Which is bigger: -1/2 or g?
-1/2
Suppose -11*g + 12*g = 1. Which is greater: 3.27 or g?
3.27
Let c be 2/(-6) - (11072/2370 - 5). Which is bigger: 0 or c?
0
Let w = 299 - 303. Let a = -4 + 4. Let j = -6 + a. Do j and w have the same value?
False
Let i = -1098 - -58196/53. Let s = i + -120/371. Which is smaller: -0.14 or s?
s
Let p be -59 + 61 + (-16)/10. Suppose 4*w - 123 = w - 3*k, 0 = 4*k - 8. Which is bigger: p or w?
w
Let x = -385905/239 - -4844/3. Is 1 bigger than x?
True
Let r = 139 - 134. Is 25/4 at least as big as r?
True
Suppose 2*c - 4*z - 586 = 0, -4*z = -c + 3*c - 562. Is -1 less than c?
True
Let k = 112 - 108. Let d(m) = -2*m**2 - 6*m + 7. Let p be d(k). Is p >= -49?
True
Let b = -4 + 9. Suppose 5 - 30 = -b*d, -4*d + 36 = -2*f. Let z(k) = k + 9. Let g be z(f). Is -2/11 != g?
True
Let u = 106.9787 + 0.0213. Is 1 at most u?
True
Suppose 4*w + 3*z + 9465 = 0, -2456 - 2278 = 2*w + 2*z. Let t be 3/((-162)/w) - 4/(-18). Is 42 not equal to t?
True
Let u(w) = w**3 - 5*w**2 + 3*w - 5. Let y be u(4). Let z be (3/2)/(y/240). Let l be 1/3 - z/6. Do 2 and l have the same value?
False
Let z = 1094 - 3335/3. Which is bigger: z or -18?
z
Let t be 1*-69 - (0 + -2). Let d = 471/7 + t. Let c = -1042.86 - -1043. Which is greater: c or d?
d
Let q = -12 + 27. Let p = 18 - q. Let j = -0.07 + -0.03. Is p at least j?
True
Let t be (-4 - 3/(-3)) + -2. Let b be 656/(-22) + 6/(-33). Let c = 23 + b. Which is smaller: c or t?
c
Let n = -202 - -805/4. Which is bigger: 0 or n?
0
Suppose -z - 5*i = 2, -2*z = 2*i - 7*i - 41. Suppose 2*a - 4*t = -3*a + 3, -5*t = 3*a + z. Do a and -5/3 have the same value?
False
Let h be 2/(-4)*22 - 1. Let z(d) = d - 14. Let c be z(2). Is h greater than or equal to c?
True
Let t(y) = -y**3 + y**2 - y + 6. Let u be (-2)/(-7) + 2/(-7). Let w be t(u). Which is smaller: w or -3?
-3
Let c(d) = -2*d + 6. Suppose -5*w - 15 = -5*i, 5*w - 16 = -3*i + 9. Let p be c(w). Is p greater than or equal to 11/7?
True
Let w(c) = 16*c**2 + 3*c - 2. Let u be w(1). Let l = -2951 + 11873/4. Let n = u - l. Is n less than or equal to 9?
True
Let q be (-2)/(-6)*(-3 + -66). Let y be (0 - q) + 14/14. Let k be (-1 + 1)*(-12)/y. Which is smaller: k or -1?
-1
Let a = 41.999 + 0.001. Let n = a + -74. Let y = -35 - n. Which is greater: y or 0?
0
Let g = 19 - 39. Let y be 8/g + 98/(-5). Is -21 not equal to y?
True
Suppose b - 36 = 4*o, 3*b + 9 = 4*o + 45. Do -5 and o have different values?
True
Let i be 130/(-20) + 1 + (-2)/(-4). Which is bigger: i or -7?
i
Let w be (-529162)/342 + (-2)/(-9). Let d = w - -1547. Which is smaller: d or 1?
d
Let y(z) = 3*z**3 - z**2 - 2*z + 6 + 3*z**2 - 2*z**3. Let v be y(0). Which is greater: 0.01 or v?
v
Let v = 60 - 60. Let y be (-2883)/(-28) - (-1)/(-4). Let g = y - 103. Which is smaller: v or g?
g
Suppose i + 5*q - 12 - 22 = 0, 11 = 4*i - 5*q. Let n be 60/i + 2/(-2)*0. Suppose -5*c + 24 + 6 = 0. Which is greater: n or c?
n
Let r be (35/(-14))/((-2)/(4 - 0)). Is r smaller than 6?
True
Let z be (413/(-35))/1 + 2/10. Which is smaller: z or -11?
z
Let y(q) = q**2 + 8*q - 11 + 26 + q. Let s be y(-7). Which is smaller: s or 3/11?
3/11
Let q be ((9/6)/3)/(275/(-22)). Is -1 greater than q?
False
Let o(z) be the first derivative of -z**4/4 - 3*z**3 - 4*z**2 - 4*z + 5. Let l be o(-8). Let n be 0 + l - (-15 - -11). Which is smaller: n or -2/23?
-2/23
Let z = -4/103 - -418/5459. Which is greater: z or -2.9?
z
Let j = -1186 - -1185. Is j >= -2/863?
False
Let g = -9 - -11. Suppose -5*k + g - 7 = 0. Suppose -r + 3*r + 6 = 0. Is k >= r?
True
Let i = -297 - -312. Which is greater: 22 or i?
22
Let v be ((-3)/((-9)/6))/((-1)/(-1)). Let r be v - 2630/(-105) - (-8)/28. Which is greater: r or 28?
28
Let l be 2/(-324)*-3*-29866. Let i = -553 - l. Which is smaller: i or 0?
0
Suppose 57*u + 266 = 1919. Does u = 29?
True
Suppose 0 = 15*y - 8*y + 14. Which is smaller: y or -5/8?
y
Let n be (6*(-2)/(-2))/1. Suppose 21 = 10*a - 9*a. Let j = -15 + a. Is j < n?
False
Let s be -24 - (6/(-1) - -2). Let d be -1*(-4)/s*5. Which is smaller: 3/50 or d?
d
Let n be (-5 - (-9 - -6))*10. Suppose 2*z - 76 = 6*z. Which is smaller: n or z?
n
Let m = -115 - -808/7. Let r be ((-24)/18)/2 - (-3)/(-9). Are m and r equal?
False
Let j be (0 - -1)/((-15)/(-15)). Let s be (3/2)/(6/16) + j. Are 4 and s nonequal?
True
Let g = -36425/11914 - 12/851. Are -2 and g equal?
False
Let v be -6 + (-4770)/(-396) + (-8)/2. Is v bigger than 2?
True
Let x(n) = -n**3 - 7*n**2 - 4*n + 4. Let f be x(-6). Let o be 1*4/f*0. Do o and 10 have different values?
True
Let c = -656 + 435. Which is greater: -2/9 or c?
-2/9
Let a be 2790/4620 + 6/(-21). Are -1 and a non-equal?
True
Let s(h) = 72*h + 77. Let x be s(-1). Is 43/11 at least x?
False
Let w = 12 - 13.2. Let l = 2.2 + w. Let m = 7 + l. Is m less than 2/5?
False
Let j be 4*(-6)/(-24)*(-22)/2. Are -150/13 and j unequal?
True
Let q = -1777943/14 - -126924. Let b = -72 - q. Is -1 != b?
True
Let x be (-3 + 4)/(5/20). Suppose x = -2*w + 18. Let s = w - 37/5. Which is bigger: s or 1?
1
Let h = -57.9 + 61. Let j = -0.1 + h. Let l = 15 - 15. Is l bigger than j?
False
Let p be 7/(28/3) + (-501)/636. Suppose -3*y - g = -5*g + 7, 1 = -5*y + 4*g. Is y at most as big as p?
False
Suppose 2*q + 16 = o + q, 5*o = 2*q + 92. Suppose -19*g - 1 = -o*g. Is 3/25 >= g?
False
Let o be 2485/14 - (2 - -1). Let j = o - 185. Which is smaller: j or -10?
j
Let v(s) = s**2 - 9*s - 2. Let z be v(7). Let l = z - -17. Which is smaller: l or -2/117?
-2/117
Let m be ((-765)/(-27) - 2)*-3. Which is smaller: m or -1?
m
Suppose -28*k + 2*d - 1340 = -24*k, -2*k = 2*d + 682. Is -336 at least k?
True
Suppose 0 = -4*o, 2*w - o + 1 = -7. Let a be ((-9)/(-15))/(w/(-20)). Let m be (-2 - -8 - a)*1. Are 4 and m non-equal?
True
Let x = -0.7 + -1.3. Let h = -2 - x. Let v = -0.02 + h. Are -1/3 and v unequal?
True
Let v = -5 + 10. Suppose 3*z = v*z - 8. Suppose -z*k = k. Are k and 0.9 equal?
False
Let f = -116 + 115. Does f = 12/49?
False
Let x = 1026375/8 - 10392037747/81000. Let l = -11/125 + x. Which is bigger: -1 or l?
l
Suppose 3*d - 4*q - 348 = -2*q, 3*d - 330 = -4*q. Suppose 364 = -110*o + d*o. Which is smaller: o or 92?
o
Let q = 1.5 - -1.9. Let h = 1.4 - q. Which is bigger: -1.2 or h?
-1.2
Suppose -m = 3*i + 14, -5*m + 0*i = i. Let w be (-3 - (1 + -1))*-1. Suppose -w*r + 9 = 3. Which is greater: r or m?
r
Let s = -3306 - -862874/261. Is s not equal to 1?
True
Let r(i) = i**2 - 2*i - 5. Let g be r(4). Suppose l - g = 4*l. Let z be 4/((0 + 1)*l). Is z greater than -10/3?
False
Let b = -5.45 + 0.15. Let c = 5.7 + b. Is -0.01 < c?
True
Let s be (0 - (-3 - -3))*(-2)/(-6). Which is greater: 8/53 or s?
8/53
Let d be -6 - (-2 + 4 + 0). Let w = 11 + d. Let o be (9/(-105))/(w/2). Which is smaller: 1 or o?
o
Let o = 148975/14 - 10634. Which is bigger: o or 6?
o
Let g be 4/8 - (-18)/4. Let q = 6 - g. Suppose -n + q = 2. Does 1/4 = n?
False
Let o = 10.53 + -9.8. Let g = -0.73 + o. Which is smaller: 26 or g?
g
Let i = -24.3 - -25. Let h = i - 0.7. Let g(u) = u**2 - 4*u + 4. Let t be g(3). Which is bigger: t or h?
t
Let l = 164 - 169. Let a = -1924/9 + 214. Is l <= a?
True
Let t = -10 - -19. Let o = 11 + t. Let k be 30/75 - 93/o. Is -4 equal to k?
False
Let q be (-4)/14 + (-78)/21. Let r be (-26)/30 + q/30. Let h be (r/(-3))/(1/24). Which is greater: h or 4?
h
Let y = 16 + -8. Let w = -1451/2926 - 6/1463. Which is bigger: w or y?
y
Suppose -2 = 4*v - 54. Let c = -1163 + 1163. Suppose -g = -c*g + v. Which is smaller: g or -14?
-14
Suppose d + 7 = h - 11, -5*h + 20 = 0. Is d != -3?
True
Suppose h + 0 - 17 = 3*j, 2*h + 10 = -5*j. Suppose 3*r = -r - 80. Let m be (j/(-10))/(28/r). Which is bigger: m or -1?
m
Let u = 48 + -75. Let n = -31 - u. Let s = 13/18 - 2/9. Which is smaller: s or n?
n
Let r = -3 + 2. Let o be (0 - 22/8) + r. Let i(f) = -f**3 + 81*f**2 - 154*f - 319. Let m be i(79). Which is bigger: m or o?
m
Let p = 3 + -6. Let b be (25 - (0 - p))*-1. Let h = b - -89/4. Is -0.3 <= h?
True
Let r = -65/51 + 16/17. Let h be (-3)/(-9) - (-13)/(-21). Are h and r equal?
False
Let r = -492 - -493. Let s = 0.03 - -0.15. Which is smaller: s or r?
s
Let l(i) = -2*i**2 - 22*i - 53. Let r be l(-13). Which is greater: r or -103?
-103
Suppose 0 = -2*b + 3*h - 8*