d = m - 31, -4*d = 4*l + 132. Is l < -37?
False
Suppose 9*y = 4*y + 280. Let d = y - 394/7. Let j = 0 - 0. Is d at most as big as j?
True
Suppose -d + 2 = -3*b + 3, 0 = 3*d - b - 21. Suppose h - 3*i - 1 = -d*i, 5*h + 3*i - 27 = 0. Are h and 3 unequal?
True
Let i be (-3)/(0 + 108/8). Is i greater than or equal to 14?
False
Let n = 22 + 8. Let v = n + -30. Is -1/34 at most v?
True
Let s = -357 - -306. Which is greater: -262/5 or s?
s
Let r = 38/907 + -84176/60769. Do r and -1 have different values?
True
Let v = 28 + -388. Which is smaller: v or -361?
-361
Let k be (60/(-21) + 3)/(0 + 1). Is k not equal to -5?
True
Let c(x) = 125*x - 9. Let p be c(-4). Let j = p + 7129/14. Are j and -2/5 non-equal?
True
Let m be (-55)/(-6) - 3*(-4)/(-72). Suppose c + 7 = -q, -3*q - m = -2*c - c. Which is greater: c or -9/16?
-9/16
Let a = 0.195 - 0.595. Is a at most as big as -6/5?
False
Let z(q) = 3*q + 13. Let h be z(-15). Let v = h + 27. Is v at most -8?
False
Suppose -4*k + 40 = 3*c + 2*c, 0 = -4*c - 4*k + 28. Suppose 3*w - 12 = 3*u + c, 0 = -2*w + u + 12. Suppose g + 3*g = -w. Is -1/7 <= g?
False
Let u = 93 - 85. Is u <= 6?
False
Let g(a) = -a**2 + 10*a + 12. Suppose -7 = -4*n + 9. Suppose z - 18 = -z + v, z + n*v - 27 = 0. Let t be g(z). Is 1/2 at least t?
False
Let o = -1160 - -1177. Is 1/11 less than o?
True
Let f(s) be the first derivative of s**2 + 2*s - 6. Let t be f(-4). Let d = 6 - t. Is 12 != d?
False
Suppose 0 = 4*w - 12*i + 16*i, -5*i = 4*w - 1. Which is smaller: -13/102 or w?
w
Suppose -33*p + 20 = -53*p. Are p and -3/209 non-equal?
True
Suppose 4*j = m - 4 - 1, 6 = 3*m - 3*j. Let z be ((-6)/(-2))/(-2 + m). Is -1 at most z?
False
Let f = 4 + 7. Let r(j) = j**3 - 11*j**2 + j - 15. Let b be r(f). Which is smaller: b or -3?
b
Suppose g - 3*m + 33 = m, 2*g = -5*m - 1. Which is smaller: -96/7 or g?
-96/7
Suppose -2*h - 4 = 4*i - 3*i, 0 = i + 4*h + 10. Suppose 3*d + 345 + 347 = -5*b, i*d = b + 128. Let j be 4/(b/30) + 1. Is j at least -1?
True
Let f be ((-10)/4)/((-20)/16). Let c be (-4 - 92/(-20))/((-3)/f). Is 20 at most as big as c?
False
Let p(w) = -w. Let d be p(-4). Let x = d - 7/2. Suppose -29*i - 25*i = -19*i. Is i smaller than x?
True
Let n = -3.37 + 3.17. Let c = 28 - 32.6. Let u = -1.4 + c. Is u bigger than n?
False
Suppose -2*d - 3*d = 0. Suppose x = -s - 4*s + 24, -4*x - s + 20 = 0. Suppose -2*u - 10 = -v, 3*v + x*u = 9*u + 25. Is v equal to d?
True
Let w be (14/6)/(9/(-27)). Let n(o) = o**2 - 12*o + 14. Let u be n(12). Suppose -q = -3*q - u. Is q at most w?
True
Let f = 156 - 63. Let t = f + -138. Is -45 >= t?
True
Suppose 4*z - 2*t = -0*t + 448, 2*z - 5*t - 216 = 0. Let n = 501/25 - -20866/225. Let m = n - z. Is m <= 1?
True
Suppose -322 = -24*y + 10*y. Is 23 != y?
False
Let l = -0.53 - -70.53. Let d = -70.08 + l. Are 4 and d nonequal?
True
Let m = 815/2439 - 2/2439. Is m at least as big as 116?
False
Let h = -0.088 + 36.088. Let w = 28 - h. Let c = 8 + w. Are c and -0.3 nonequal?
True
Let n(k) = -k + 1. Let c be n(2). Let l = -15104 + 15101. Which is smaller: c or l?
l
Let u(d) = -21 + 12*d - 5*d - 3*d - 5*d. Let a be u(7). Which is smaller: -26 or a?
a
Suppose -4*m = 5*h + m - 25, h + 2*m - 4 = 0. Let c be (40/12)/(4/h). Is c < -1/5?
False
Let f(u) = -u**3 + 7*u**2 + 3. Let t be f(7). Let v(x) = -3*x - 9. Let s be v(-6). Suppose -10 = 2*b - 3*q, -3*q + s = -t*b - 0*q. Which is smaller: 5/7 or b?
5/7
Let l = -27 - -25. Let c be l/(-6) + 408/18. Is 23 >= c?
True
Let w = -28 - -29. Let q = w + -0.9. Is q at most as big as -0.2?
False
Let g = 280042239 + -31644986801/113. Let r = g - -1892. Is r < 0?
False
Suppose 4*q + 4 = 0, 42 + 5 = -3*w - 5*q. Is -14 < w?
False
Let f = -144 - -200. Which is bigger: 2 or f?
f
Let k = -10 - 7. Let x = 21 + k. Which is smaller: 3 or x?
3
Let d(a) be the first derivative of -a**4/4 - a**3 + 2*a**2 + 6*a + 36. Let t be d(-4). Is 7 <= t?
False
Let v = -5 + 4. Which is bigger: v or -1/4?
-1/4
Let q = -42424/15 + 2848. Is q >= 19?
True
Let y(j) = j**3 - 9*j**2 - 9*j - 10. Let p be y(10). Let x(l) = p*l + 3 + 10 - 5 + l. Let m be x(7). Which is greater: 16 or m?
16
Suppose -2*a - x = 4, -a + 0*x - 2*x = 5. Let w(z) = -19*z**2 - 3*z - 2. Let v be w(a). Let p be 1015/(-56) + (-1)/(-8). Is p bigger than v?
False
Let n = -37 - -37. Suppose r + 2*t + 4 = -2*t, 3*r + 3*t + 3 = n. Is r smaller than -2/69?
False
Let d = -19 + 21. Suppose d*k + 9 = -k. Let z be ((-12)/(-8))/(k/(-8)). Which is bigger: z or 5/2?
z
Let d = -1316/583 + 24/11. Which is smaller: d or 0?
d
Let v = -29 + 20. Let k be 2 - v/((-27)/6). Is -1 at least as big as k?
False
Let y = -197 + 134. Is y > 0?
False
Let x = 3 - 2.7. Let y = x + -0.1. Let b = -65/3 + 458/21. Is b at most as big as y?
True
Let x be (39/6 + -1)*4. Suppose -g - 2 = 0, 3*n - 2*g - 67 = -0*g. Which is smaller: x or n?
n
Let r = 1.75 + -15.75. Is r bigger than -0.06?
False
Suppose 2*l + 2*s - 6*s = -12, -4*l = 2*s + 74. Let t be (l/(-6) - 2)*72/48. Is t greater than 2/143?
True
Let u = 19 - 1. Let r = u - 14. Suppose 11 = 4*w + f - 1, 4*w = r*f - 8. Is -2 at least w?
False
Let p(r) = -80*r - 981. Let g be p(-15). Which is greater: 1101/5 or g?
1101/5
Let r = -0.05 - 1.95. Let v = 11 - 12. Let x = v + r. Is 0.2 less than or equal to x?
False
Let g = -4.63 + 3.63. Is 8 at most g?
False
Suppose 35 = -40*h + 45*h. Let w(g) = -3*g**2 + 20*g - 2. Let s be w(h). Are s and -10 non-equal?
True
Let u = 500.9 + -501. Do -1/16 and u have the same value?
False
Suppose 4*a = -11*a + 2*a. Which is smaller: -432 or a?
-432
Let h = 12 + -74. Let c = h + 62. Suppose -4 = t + 3*x, 4*t = -3*x + x + 4. Is t > c?
True
Let u = -1 + 9.4. Let w = -2.4 + u. Let a be 2 + (-5 - (3 + -6)). Is a less than w?
True
Suppose -l + 2*d = 7*d, 2*l = d + 11. Suppose 4*u - l = -17. Which is bigger: u or -1?
-1
Let c(r) = -53*r - 159. Let o be c(-3). Are 6/263 and o non-equal?
True
Let w be ((-26)/(-845))/((-279)/(-15)). Is w smaller than 1?
True
Let c be (-12)/(-18)*(-24)/(-2). Let d be (1/c)/(-1)*-7. Let i(y) = -y - 2. Let s be i(-2). Is d bigger than s?
True
Let q be (-5*17/(-2040))/(4/(-6)). Which is smaller: q or 2?
q
Let l = 4 + -9. Let z = -9 - -9. Suppose -4*w = -4*i + 16, z*w + w - 5*i = -12. Which is bigger: l or w?
w
Let q = 2436 + -124228/51. Does q = 0?
False
Suppose -2*o + 0*o - 2 = 0, -3*f + 95 = o. Let v = f - 12. Is 21 at most v?
False
Let d = -36 - -36. Let m be d + 20/(-30)*6/22. Which is smaller: 4 or m?
m
Let b = 6/521 + -1060/1563. Let j = 23.89 - -0.11. Is j at least as big as b?
True
Let a(t) = -t - 6. Let f be a(-10). Let i = 4 - f. Is 0 less than i?
False
Let b = -3.54 + 3.57. Which is smaller: b or -3/4?
-3/4
Suppose 28 + 72 = 4*v. Suppose 5*a + 4*o - 2*o - v = 0, 0 = 4*o. Suppose -5*r - 2*n + 15 = 3*n, 5*r = 5*n + a. Is 3 at most r?
False
Let d be 36/54 + 1/(6/(-4)). Which is smaller: d or -16/17?
-16/17
Let b(v) = -4*v - 3. Let a be b(-2). Suppose a*g - 30 = 4*r, 4*r + 23 = -r - g. Let u = -121/15 - -17/5. Which is smaller: u or r?
r
Let d = 25887/11 - 2353. Suppose 0 = -2*u - 3*u + 20. Suppose u = -y - 3*y. Is d less than y?
False
Let u be (36/(-18) - -1*1)/1. Are -5/26 and u unequal?
True
Suppose -7 = a - 2*n, 0*n + 8 = -5*a + n. Is a > 6/133?
False
Let i = -3 + 2. Suppose v - 37 + 1 = 0. Let q = 325/9 - v. Which is smaller: i or q?
i
Suppose 5*x = 3*s + 154, 5*s = x + 5 - 27. Let y = -33 + x. Is -11 smaller than y?
True
Let d = 488 - 466. Do d and 33 have the same value?
False
Let r(z) be the second derivative of z**5/20 - 5*z**4/12 - 5*z**3/3 + 9*z**2/2 - 3*z. Let g be r(6). Let b = g - -16. Which is greater: b or 3/4?
b
Suppose -2*h - 6 = -h. Let s(f) = f**3 + 9*f**2 + 7*f + 11. Let y be s(h). Let c = -384/5 + y. Which is bigger: 0 or c?
c
Let w be (8 - 7)/(2 + -1)*-33. Are w and 1/14 non-equal?
True
Let b = -4 - 3. Let y = -17 - b. Let k = -7 - y. Is k equal to -2/5?
False
Let d be 104/156 + 2*(-2)/(-3). Which is greater: 9/11 or d?
d
Let v = 0.0208 + 2.9792. Let p = 7 + -29. Is p < v?
True
Let y be ((-2)/(-7))/((-12)/(-1)). Which is greater: y or 0?
y
Suppose 0 = 3*h + 4*z + 48, 2*h - 75 = 7*h + 5*z. Let a = h + 23/2. Suppose -5*g = -6 + 11. Is g > a?
False
Let c = -2.8 + 6.8. Which is smaller: 0.7 or c?
0.7
Suppose -3*c + 540 = k, -8*c + 3*c + 4*k + 900 = 0. Which is bigger: 181 o