s -29 smaller than m?
False
Suppose 5*b - d - 4*d = -30, b = -2*d. Let o be 0 - (-1)/2 - (-14)/b. Which is greater: 0.09 or o?
0.09
Let d = -33 - -46. Suppose -d - 11 = 2*p. Let x be 10*1*6/p. Which is bigger: -3 or x?
-3
Let d be ((-15)/(-75))/((-1)/5). Which is bigger: d or 26?
26
Let d(z) = -5*z - 6. Let w be d(-1). Let x(j) = 2*j + 3. Let p be x(-2). Is p < w?
False
Let o be 461/(-133) + 4 - 4/(-7). Which is greater: 0 or o?
o
Let p(v) = v**2 + 10*v + 12. Let y be p(-9). Suppose 5*n = -c - y - 2, 0 = -2*n + 5*c - 2. Let i be (-9)/(7425/(-305)) + (-2)/5. Which is greater: n or i?
i
Let y = -10001/2 + 4902. Is -100 equal to y?
False
Let x = -396 + 395.9. Suppose 0 = 6*l - 123 - 93. Is l bigger than x?
True
Let w be 35/546*(0 + (-6)/20). Are -1 and w nonequal?
True
Let v be 2/(-8) - (-531)/(-36). Let o = v - -15. Let n be 1/(-3) + 9/27. Is n greater than or equal to o?
True
Let d = 10 - 14. Let j be (-3822)/(-396) + d/(-22). Let u = 245/24 - j. Which is greater: -2 or u?
u
Let p = -66 + 134. Let q = 32 - p. Let o be (-7)/(-2)*q/(-81). Which is greater: 1 or o?
o
Let x be (2/8)/(((-42)/(-6))/140). Suppose 0 = -2*y - x + 3. Which is bigger: -2/5 or y?
-2/5
Let t = 702 + -1101. Which is smaller: -398 or t?
t
Let z = 1660/439 - -861235/9658. Let c(w) = 48*w + 3. Let b be c(-2). Let o = z + b. Is 0 <= o?
False
Let h(f) = -f**3 + 6*f**2 + 6*f + 3. Let n = 16 + -9. Let c be h(n). Let j be (-2*4/(-8))/c. Is 3 at most as big as j?
False
Let j = 3.06 - 0.56. Let b = j - -18.5. Let s = 2.1 + -2. Is s bigger than b?
False
Let q(f) = f**3 - 2*f**2 - f. Suppose 5*j + 0*l = -l + 17, -4*j + 20 = 4*l. Let t be q(j). Let p(r) = 177*r - 2120. Let z be p(12). Which is bigger: t or z?
t
Let f be 1/(((-1)/2)/((-9)/18)). Which is bigger: -4/235 or f?
f
Let x = -57 - -55. Let y = -1 + 1. Suppose v + 2*v = y. Which is greater: x or v?
v
Let u = 3 - -4. Let i = 5 - u. Suppose -44 = -7*g - 30. Does i = g?
False
Let x = 967 + -951. Are -0.04 and x equal?
False
Let t = -196 + 193. Let k = -5 - -1. Which is greater: k or t?
t
Let f be 63/(-6)*(-92)/(-3) - -2. Which is smaller: f or -319?
f
Suppose 5 = 3*u + 65. Suppose -60 = -a + 4*a. Let i = u - a. Is 22 bigger than i?
True
Let r(m) = -m - 3. Let k be r(-3). Suppose -5*j + 2*j = k. Suppose j*f + 20 = 4*f. Is f less than 4?
False
Let i = -170 + 188. Are 16 and i unequal?
True
Let u = 1.015 + -0.915. Is u at most -854?
False
Let t = -0.51 + 27.51. Suppose -5*s - 22 = -7. Is t smaller than s?
False
Let z(s) be the first derivative of -5*s**2 + 4*s + 3. Let u be z(2). Is -14 at most u?
False
Let m(k) = 93*k**3 - 2*k**2. Let l be m(2). Suppose 0 = j - 5*j - l. Let y be -4*(0 + (-4)/j). Which is greater: -1 or y?
y
Let y = 452 + -453.958. Let g = y + -0.042. Is g less than -19?
False
Let i = -8 + 10. Suppose g - 6 = -i*y, -3*g + 23 = 2*g + 3*y. Which is smaller: 3 or g?
3
Let x = -1803/4 - -452. Which is smaller: 9 or x?
x
Let l(p) = -p**2 + 2*p + 15. Let v be l(7). Let q = -27 - v. Is -6 < q?
False
Let u = 0.06 + 9.94. Let o = -6.11 + 7.11. Are u and o non-equal?
True
Let k(c) = 2*c**2 - 3*c + 3. Let x be k(2). Suppose -21 + 91 = x*a. Suppose -3 - 3 = -3*t, -2*n - a = 2*t. Is -9 bigger than n?
False
Let s be ((-4)/2)/((-2)/63). Let c be (3 - (-8 + -5))*4. Do c and s have the same value?
False
Let m(y) = y + 7. Let a be m(-9). Let z = 5049 + -328158/65. Let t = z - 21/13. Is t < a?
False
Let d be 630/(-3726) + 75/27 + -3. Is 0 less than d?
False
Suppose 6 = -3*z + 3*w, -3*z - w + 0*w = -10. Suppose 0 = z*t + 23 - 21. Which is bigger: 0.2 or t?
0.2
Let u = -12707/12 - -1059. Is u greater than or equal to 10?
False
Let o(z) = -z**2 - 14*z + 16. Let s be o(-15). Let d be ((-3)/7)/(s/(-7)). Let m be 3 - d - (0 + 1). Which is bigger: m or -1/8?
-1/8
Let w = 111.5 - 111.5. Let r be (-78)/(-70) + 2/7. Is r < w?
False
Suppose 3*u - 8*q + 3*q + 3684 = 0, 4*u - q = -4895. Which is greater: -1224 or u?
u
Let c = -0.008 + 0.06. Let p = -14.448 - c. Let j = p - -14. Do 0 and j have the same value?
False
Suppose -6*w + 16 = -2*d - 2*w, 17 = -2*d + 5*w. Let b be (-2)/6 + (-14)/d. Suppose 2*s - 2*f = 12, 2*s = 3*s + b*f. Which is greater: 0.1 or s?
s
Let i be 1 - -6*1/(-10). Let o = -12 + 5. Is i greater than or equal to o?
True
Let q = -31 - -52. Let m be 14/q - 73/(-3). Let t be (m/(-15) + 0)*-6. Is t smaller than 12?
True
Let d = 13 - 5. Let w(m) = -5*m**2 + 13*m - 12. Let g(i) = -11*i**2 + 27*i - 24. Let v(y) = -4*g(y) + 9*w(y). Let c be v(d). Which is bigger: -1 or c?
-1
Let s(b) = -3*b - 40. Let l be (2 - 3)*(-26)/(-2). Let y be s(l). Is y >= 1/38?
False
Let w be 4/(-7) - (-62)/(-14). Let p(l) = -l. Let i be p(5). Let m = i - w. Is 1/6 bigger than m?
True
Let f = 213 - 242. Which is greater: f or -11/5?
-11/5
Let x(h) = h**2 + 14*h - 6. Let c be x(-14). Let b be (-2)/(c/51) + -1. Is b less than or equal to 15?
False
Suppose 7841 = 17*m - 2852. Which is smaller: 630 or m?
m
Suppose -7*r = -2*r - 120. Suppose -2*b - m = r, 2*b + 3*m + 13 + 3 = 0. Let s = -41/3 - b. Which is smaller: s or -3?
-3
Let i = 208 + -3118/15. Let f(m) = 3*m**2 - 18*m - 1. Let j(b) = b**2 - 15*b + 42. Let o be j(12). Let x be f(o). Is x equal to i?
False
Suppose -4*r + 2*g - g + 20 = 0, 0 = r - 5*g - 5. Suppose 3*o = 4*k - 27, -r*o - 25 = -0. Is k greater than or equal to 7?
False
Let j = -8452 + 2400363/284. Which is greater: j or 1?
1
Let x(p) be the first derivative of 3*p**2/2 - p - 1. Let k be x(2). Suppose 0 = -2*z - g - 2, -k*g - 10 = -z. Which is greater: 1 or z?
1
Let n = 8 - -2. Let c = 5 - n. Let x be (-4)/10 + 9/(-15). Is x != c?
True
Let g = -31.6 + 11.6. Let o = 19.8 + g. Is 1.5 smaller than o?
False
Let f = -717 + 716. Do f and -25 have different values?
True
Suppose 0 = -2*c - 41 - 13. Let q be 3*2/12*-82 - -3. Let n = c - q. Is n at most 11?
True
Let c(m) = -2*m + 45. Let p be c(0). Let t = 48 - p. Suppose 3*b = 2*h - 1, 0 = -b - 2*h + 5. Which is smaller: t or b?
b
Suppose -2*n + 39 = n. Let i = -16 + n. Let d = 4 + i. Is d equal to 2/3?
False
Let v = 2.1 + -2. Let h = 203 + -355. Let n = -148 - h. Which is smaller: v or n?
v
Suppose 52 = 5*b - 33. Is b smaller than 17?
False
Let m = 61 + -32. Let y = -28 + m. Which is smaller: 2/3 or y?
2/3
Let y be 10 - (20830/1570 - 3). Is y greater than 1?
False
Let p be 1/(0 - (-2)/(-4)). Suppose 4*g + q = -4*q + 63, 2*q - 66 = -4*g. Suppose -5*f = -2 + g. Which is smaller: f or p?
f
Suppose 0 = -f + 3*h - 11, 5*f = h + 18 - 3. Suppose f*n + 33 = n. Are -2/9 and n nonequal?
True
Suppose 4*y - 3*j + 0*j = 10, 0 = 4*j - 8. Let i be 3 + (1*-16)/y. Is 3 != i?
True
Let n = 47319/7 - 6773. Is -13 less than n?
False
Let z(u) be the third derivative of -u**6/120 + 11*u**5/60 - 3*u**2 + 3*u. Let j be (6/(-9))/(4/(-66)). Let t be z(j). Is 3 >= t?
True
Let y = 1168/13 - 13602/143. Which is smaller: y or 4?
y
Let b = 17/6 + -3. Suppose -3*d = -m - 92, -6*d = -2*d + 3*m - 140. Let v = d - 31. Is b at most as big as v?
True
Let f be (-28)/(-20) + (-3)/(-5). Let q(v) = v - 2. Let a be q(f). Suppose 7*b - 3*b = 0. Is b greater than or equal to a?
True
Let x be 3/((-9)/(-7)) + 3/(-9). Suppose -15 = -j + x. Is 16 <= j?
True
Suppose 9*c + 48 = 11*c. Suppose 8*y = -h + 3*y + c, y - 7 = 2*h. Do -2/35 and h have different values?
True
Suppose -4*s = -0*s + 32. Let j be 8*(1 + 3)/s. Let m = 3 + j. Is m bigger than -1?
False
Let f = 2305988635353/40579 + -56827143. Let x = 2/341 - f. Which is greater: -1 or x?
x
Let d = 327 + -328. Let z be (-2)/22*1*-3. Which is bigger: d or z?
z
Let g be 1/((2 - 1)*(-10)/10). Which is greater: g or -16/41?
-16/41
Suppose -1423 = 5*u - 3*z, -5*u + 0*z = 2*z + 1443. Which is bigger: u or -286?
-286
Suppose -n = 3*w + w - 1, -2*n = -5*w - 28. Suppose -5*l + 43 = 3. Let v = l - n. Are 0 and v nonequal?
True
Let i = -461.85 + 462. Let s = -43 + 41. Which is greater: s or i?
i
Let a(i) = 2*i - 10. Let s be a(3). Let c be 28/6 - (-12)/s. Which is smaller: c or 3?
c
Let y be (520/(-3))/5 - -3. Let r = y + 32. Which is bigger: 1 or r?
1
Suppose -c + 4*b = -14, -c + 3*c + 2*b + 2 = 0. Suppose -7 = -c*l + 5. Which is greater: l or 29/5?
l
Let t(n) be the second derivative of n**5/20 - 5*n**4/4 + 4*n**3 + 15*n**2 - 22*n + 2. Let p be t(13). Do 5 and p have the same value?
False
Let k = 0.41164 - -76.536