/21?
-2/21
Let p = 16.6 - 15. Let a = p + -0.5. Let l = a - 1.2. Which is greater: 0.06 or l?
0.06
Let p = 81 + -58. Let a be 69/(-20) + p/92. Which is smaller: -4 or a?
-4
Suppose 4*q = 5 + 3, -4*q = 4*m - 1268. Is m equal to 316?
False
Suppose -1815 + 6306 = 3*n. Let u = -91319/61 + n. Suppose 6*v - 142 = -136. Is u equal to v?
False
Let n(t) = 2*t**2 + 3*t. Let c be n(-2). Suppose w - 1 = -3*f + 13, -5*w = c*f - 44. Let b be 9/((-1 + 3)/2). Is w greater than or equal to b?
False
Let i(w) = w**2. Let x be i(-2). Suppose -3*u - y = x*y + 16, -5 = y. Suppose u*o + o = -4*g, -5*g = 4*o - 1. Is -2/3 at most as big as o?
False
Let u(o) = o**2 + 25*o - 105. Let v be u(-28). Suppose 3*q - 4*q = 0, 4*g = -4*q - 88. Which is smaller: v or g?
g
Let h = 73/2 - 36. Let x = h - 3/10. Let o = x - 7/5. Are -1 and o equal?
False
Let m be 4172 + (-7 - -4) + 0. Let u = -771263/185 + m. Is 0 bigger than u?
False
Let r = 289 + -301. Which is smaller: -14 or r?
-14
Suppose -23 = -5*q + 4*x - 3, 4*q = -x - 5. Suppose 5*s - 34 = -4*t, -3*s + 5*t + 2 + 11 = q. Let n = s + -5. Which is smaller: -4 or n?
-4
Let o be ((-6)/72*2)/((-2)/3). Is o greater than -8?
True
Suppose -5*o - 600 = 2*h, -h + 2*h = 5*o + 615. Is o > 5?
False
Let j = 19 + 20. Let z = 98 + -126. Let b = z + j. Is b less than or equal to -0.1?
False
Let c = -786 + 11786/15. Is -1 at most c?
True
Let f(z) = -170*z - 15. Let j be f(-1). Is 155 <= j?
True
Let z be 6/90*-2 + (-379)/(-30). Let i = 183/14 - z. Is i at least as big as 0?
True
Suppose -h + 31 = 2*f, 2*f - 4*f = 5*h - 51. Is 11 at least f?
False
Let k = 247 + -224. Is 23 != k?
False
Suppose -5*o + 4*q = q + 30, -4*o - 17 = -q. Let v be 3 - 20/(2 - o). Which is smaller: v or -3?
-3
Let x(h) be the second derivative of -h**3/2 + 5*h**2/2 - 14*h. Let t be x(2). Which is bigger: t or 26?
26
Suppose 24*o + 42 - 258 = 0. Which is smaller: o or 22?
o
Suppose 2*n + 79 = -3*m, -3*m = 4*n + 111 - 28. Which is greater: -26 or m?
m
Suppose -2*n - 4*v = 14, -5*n - 3*v = -8*n - 12. Suppose 0*w = 2*w. Suppose -3*j + 3*r - 3 = w, -12 = 5*r + 13. Which is smaller: n or j?
j
Let i = 5 - 26. Let a = -22.2 - i. Let l be 2 - ((-1)/(-2) + 49/42). Is a > l?
False
Let q = 34.25 - 0.25. Let r = q - 33. Let m = 2 - 1.8. Do m and r have different values?
True
Suppose 2*p = 3*q + 177, -4*q = -2*p - 3*q + 187. Is 97 > p?
True
Let b = 5897512/279 + -21138. Is b > 1?
False
Suppose -162*i - 124 = -158*i. Which is bigger: -29 or i?
-29
Let v = -113.7 + -21.3. Let l = v - -92. Which is bigger: l or -0.1?
-0.1
Let n be 12*4/16 + -16. Are n and -17 nonequal?
True
Let o = -360 - -324. Are o and -36 equal?
True
Let x be 0/(1/1 - 0). Let h be 13559/10728 + (-38)/(-18) + -2. Is h > x?
True
Suppose 2*r - 22 = -12. Is r <= 3?
False
Let h be (-1 - (-2 + 1))/(-1). Let r be 2 - 0/(2/(1/1)). Which is bigger: h or r?
r
Let o = 8.99 - 0.19. Let x = -8.9 + o. Is 25 less than x?
False
Suppose 8*t - 4*t = -32. Let m = 7 + t. Let j(r) = 8*r - 24. Let z be j(3). Which is smaller: z or m?
m
Let f(m) be the first derivative of -m**2 + 4*m + 1. Let c be f(11). Suppose -68 = 3*k + k. Which is bigger: k or c?
k
Suppose 8 = -4*t - 0, -3*n + 5*t + 10 = 0. Let i = -351 - -4567/13. Which is smaller: n or i?
n
Suppose 25 = t + 4*t. Suppose 0 = 3*p - 11*p + 184. Suppose 5*o = -5*b + t, 2*b + 5 = 2*o + p. Do -5 and o have the same value?
False
Let v = 119 + -178. Let l = v + 54. Let o = -2.1 - -0.1. Which is bigger: l or o?
o
Let o be 50/(-10)*3/(-5). Let n = 1204 + -1204. Do n and o have the same value?
False
Let x = -4158 - -1226609/295. Let a = -1759/3245 + x. Which is greater: 0.3 or a?
0.3
Suppose 88*d + 139 = 51. Is d greater than -2/2411?
False
Let o = 660 - 659. Let i = -4122 - -4144.91. Let s = 23 - i. Which is bigger: o or s?
o
Suppose -6 - 2 = 2*s. Let f be (4/(-82))/((-2)/s). Is -1 >= f?
False
Let n = 336/5 + -67. Let w = 85 + -123. Let b = -36 - w. Which is greater: n or b?
b
Suppose 2*g - 4*i = -2*g + 12, 5*g + 5*i - 35 = 0. Suppose -9 = -g*t + 6. Suppose 2*w + 0 = 2. Which is smaller: t or w?
w
Suppose -48*g + 55 = 7. Which is greater: g or -1/1414?
g
Let x be 0 + 4 + (-5 - 0). Let d be 6270/(-15300) + (2 - (-8)/(-5)). Is x less than or equal to d?
True
Let d = 3.68 - 1.49. Let x = -1.49 - -1.68. Let c = x - d. Which is smaller: c or -4?
-4
Let d be (3/(-2))/((-6)/8). Let q = 1808/25 + -8523/25. Let g = q + 270. Which is smaller: g or d?
g
Suppose 136 - 166 = 2*q. Let j be (-1472)/240 - 2/q. Let g = -12 - -5. Is g less than j?
True
Let l(f) = f**2 - 49*f - 449. Let r be l(-8). Is 111/16 greater than or equal to r?
False
Let d be (-1*(5 + -5)/5)/1. Which is greater: d or -20/29?
d
Suppose 85 + 59 = 16*h. Are h and 8 unequal?
True
Let q = 34 + -60. Let b = q - -25.7. Is b at least 2/19?
False
Let h(o) = 112*o + 2016. Let b be h(-18). Let w be 106/120 + 2/(-6). Let g = w - 1/20. Is g less than or equal to b?
False
Let j(u) = 3*u. Let a be j(2). Suppose -a = 4*l + 4*x + 6, -2*x - 4 = 4*l. Let v = -6173/13871 + -12/1261. Which is smaller: l or v?
v
Let k(z) = 2*z**2 + 5*z + 3. Let w(d) = -6*d - 32. Let x be w(-5). Let o be k(x). Are 10/7 and o equal?
False
Let p be (-1)/(9/4 - 2). Let r(h) = -h**2 + 8*h - 10. Let c be r(7). Let z(g) = 2*g + 2. Let o be z(c). Is p at least o?
True
Let y = -106.9 - -106.921. Which is smaller: y or -4?
-4
Let o be 2/(-4 - (4 - 7)). Let x be 5/(5/o) + 3. Let f be x*3 + (0 - 4). Do -3 and f have the same value?
False
Suppose -q + 5*q = 76. Let v = 18 - q. Which is bigger: v or -5/13?
-5/13
Let v = 1168 + -19862/17. Let t be (2/6)/(-1 - (-134)/132). Suppose 0 = 4*i - c - 8, -2*i - 4 = -4*c - t. Is i less than v?
False
Let h(f) = 9*f + 4. Let j be h(2). Let n be (j/165)/(1/(40/(-6))). Which is greater: 0 or n?
0
Let f be ((-1)/((-20)/(-8)))/((-1)/(-710)). Let p = 5399/19 + f. Which is smaller: p or 0?
0
Let w = -3/34 + 10/17. Which is bigger: -24 or w?
w
Let v be ((-3)/(6/(-82)))/20. Let x = v - 9/20. Do 2 and x have different values?
True
Let u = 302 + -111. Which is smaller: u or 193?
u
Suppose 0 = 3*w - g, 3*g = 8*g + 15. Is -2/427 >= w?
True
Suppose 3*v + 2789 = 4*r, 2*v - 3*r = 3*v + 947. Let z be v/(-350)*-4 - 2/(-5). Is -9 less than z?
False
Let r = 260 - 260. Which is greater: r or 1/187?
1/187
Let i(c) = c**2 + 14*c - 25. Let u be i(-18). Suppose 4*r - 3*v = -0*v - 81, -2*r - 5*v = u. Are r and -21 nonequal?
False
Let k be 1 - ((-1)/(-6) - 348/360). Suppose -2 - 7 = -3*m. Is m at most as big as k?
False
Let z(x) = 2*x**3 + x**2 + 5*x + 7. Let k be z(6). Suppose -2*v + 7*v - k = 0. Let j = 709/7 - v. Which is greater: j or -1/9?
j
Let v(p) = -p**3 - 2*p**2 + 5*p - 1. Let r be v(-5). Let q = r - 197/4. Let g = -3 - -2. Is q greater than g?
True
Suppose 2*g = 4*u + 48, 3*u = 6*g - g - 50. Suppose -33 + 3 = -5*y. Let m be (16/y)/(u/(-6)). Which is smaller: 1 or m?
1
Let g = -7.01 - -6.01. Which is smaller: -473/2 or g?
-473/2
Let o = 0.299 + -0.059. Let l = o - 1.24. Which is bigger: 20 or l?
20
Let j be ((-837)/3)/(2/(-2)). Let x be (-4)/(-7) - j/(-63). Suppose -k = q - 3*k - 7, 4*q - x*k - 19 = 0. Which is smaller: q or 3/8?
3/8
Let r be (6/(-4))/3*-4. Let q be -10*((-56)/10 + 6). Let d be 9/(-10) - r/q. Is 1 not equal to d?
True
Suppose -5*j + 2 = 5*s - 3*s, -3*s + 16 = j. Is 4 <= s?
True
Suppose -48 + 340 = -4*z + 5*x, -250 = 3*z + 4*x. Is -238/3 != z?
True
Let r = 0.361 - 1.451. Are 8 and r nonequal?
True
Let y be (-280)/(-66) + (-82)/(-123). Which is smaller: -0.3 or y?
-0.3
Suppose 4*a = 3*x - 17, a - x = -4 - 0. Let z = -42 - -67. Let t be ((-30)/z)/((-1)/a). Which is smaller: -4 or t?
t
Let v = 464 + -461. Is -67 <= v?
True
Let f = 168 - 120. Let c = f + -97/2. Let y be (4/14)/((-9)/7). Which is smaller: y or c?
c
Suppose g = 4*g + 5*z + 18, g + 3*z = -10. Are g and 5/34 nonequal?
True
Suppose 2*w = -18 - 10. Let o(k) be the third derivative of k**6/120 - k**5/10 - k**4/3 - 7*k**3/6 + 10*k**2. Let u be o(7). Do u and w have the same value?
True
Let m be ((-1)/5)/(5 + 348/(-20)). Do -1 and m have different values?
True
Suppose 2*d + 4 = d, -10 = 3*v + 4*d. Suppose 5*k - k - v*y + 52 = 0, 0 = -2*y + 4. Is k less than -12?
False
Let u = 74 - 51. Which is greater: u or 1?
u
Let k be 0*((-14)/7 + 1). Let a = -2800153/4403408 + -2/16189. Let g = a + 3/272. I