?
a
Let b be -1*6 - (-5 - (-90)/(-70)). Are 83 and b equal?
False
Let d(w) be the second derivative of -w**4/12 + 5*w**3/6 + 2*w**2 - w. Let m be -6 + -1 + 6 + 9. Let o be d(m). Which is bigger: -21 or o?
o
Let f(q) be the first derivative of q**2 + 8*q + 6. Let g be f(-9). Which is smaller: g or -2?
g
Let w = -9.4 + -15.6. Is 5 smaller than w?
False
Let p(b) = b**2 + 65*b - 106. Let i be p(-63). Which is smaller: i or -1?
i
Let o be -9 - 1 - (-30)/10. Let b = -2 + 7. Let v = b + -8. Does o = v?
False
Let m be (8/2260)/(5*(-3)/75). Let o(u) = -u**3 - 3*u**2 - 3*u - 1. Let d be o(-2). Is m < d?
True
Suppose 60 = 7*f + 25. Let v = 1 + 1. Suppose -2*x - k + 10 = -5*k, -v*x - 3*k = -10. Is f <= x?
True
Let j = 74.6 + -52.3. Let v = 21 - j. Let b = v - -3.3. Which is smaller: b or 1?
1
Let q = 187 - 171. Suppose 3*z + 2*z - 75 = 0. Which is bigger: q or z?
q
Let a be 0 - (2/(-16))/((-1)/(-274)). Does 35 = a?
False
Let k be 22591/(-6) + 2/(-6). Let y = k - -48765/13. Let s = -29/2 - y. Is s smaller than 2/7?
True
Let y = -12 + 15. Suppose y*i + 5*i = 0. Is 5/7 equal to i?
False
Let g = -17245/27403 - -42/67. Which is smaller: g or 0?
g
Let a = 47 + -40. Suppose a*n = 3*n. Let d(t) = -t**2 + 10*t + 10. Let l be d(11). Is n greater than or equal to l?
True
Suppose -t + 6*t = -120. Let m = t + 28. Let u be -2 + (-1 - (-8 + m)). Which is bigger: 1/15 or u?
u
Suppose w + 1 = -9. Let i be (w/(-14) - 1) + 306/(-7). Which is smaller: -43 or i?
i
Suppose 20*f + 140 = -100. Let p be 61/3 - 10/(-15). Suppose -r + 8 - p = 0. Is r > f?
False
Let u = -29 + 29. Let r be 0 + u - 56/(-32). Is r less than 3?
True
Let q be ((-15)/10)/((-1)/156 - 0). Let n be 3 - (q/15)/6. Is 0.024 bigger than n?
False
Let i = 979 - 4862/5. Is i equal to 0?
False
Let n = -356 + 2497/7. Which is greater: 0.13 or n?
n
Let q(l) be the third derivative of 0 + 1/24*l**4 + 6*l**2 - 1/6*l**3 + 0*l. Let v be q(-7). Is v > 2?
False
Let i(n) = 2*n**2 - 2*n. Let k be i(2). Let a = -14 + 23. Suppose k*y = a - 1. Which is bigger: 1 or y?
y
Suppose a = 3*k - 12, -4*k + 7*k = -2*a + 21. Suppose 3*w + 29 = -5*c, c - 31 = 5*w + k*c. Let s = -1 - 0. Which is bigger: s or w?
s
Let l be 3/7*(-945)/60. Let i = -83/12 - l. Let p = -0.2 - -0.2. Which is smaller: i or p?
i
Let u = -63/832 + -5/64. Let x(t) = t**2 + 18*t - 46. Let i be x(-20). Let a be i/4 - (1/2 + -1). Is u >= a?
True
Let w = 37/119 + -3/119. Let o be 1/(((-2)/3)/(6/9)). Which is bigger: w or o?
w
Let r be (9 + -5)/(0 - -1). Suppose 5*z + 5 = o, -r*o = z - 4*z - 3. Suppose -3*k + 9 + 9 = o. Does k = 5?
False
Let h be 7/(-5) - ((-76)/(-10) + -8). Are h and 3/7 equal?
False
Let u be (4/3)/(88/12). Let b(d) = -d**2 - 10*d - 11. Let n be b(-9). Let m be (-3)/n + (-2)/4. Which is greater: u or m?
m
Suppose p + 2*g + 4 = -0*p, 3*g = 15. Suppose -3*s = 3*f - 33, 0*s + 10 = 2*s - f. Let r = p + s. Is -8 <= r?
True
Let i(g) = 6*g + 23*g**3 - 9*g**3 - 6*g**3 - 9*g**3 + 4*g**2 - 5. Let w be i(5). Is -4.1 at most w?
True
Let x(w) = 7*w**2 + 23*w - 25. Let m be x(-4). Is m greater than 2?
False
Let r be (3/9)/(188/24). Let v = 68/611 + r. Which is smaller: 1 or v?
v
Let k = -80775.01 + 81185. Let i = -412 + k. Let v = i + 0.01. Which is smaller: 8 or v?
v
Suppose 9 = -3*k - 24. Let b(a) = a**2 - 9*a + 16. Let n be b(3). Let z be (7 + -4 + -1 + 20)/n. Is k smaller than z?
False
Suppose p + 52 = w, -3*w - 2*p + 21*p + 268 = 0. Suppose -5*h = -4*c - 241, -3*h + 147 + 8 = -5*c. Is w less than or equal to h?
True
Suppose -5*v = 466 - 76. Let m = v - -159/2. Which is greater: 1 or m?
m
Let j be (-15)/(-7) + 0 + -1. Let x(k) = -k**3 + 6*k**2. Let u be x(6). Suppose u = 7*t - 4*t. Do j and t have the same value?
False
Let i = -1 - 3. Let y = i + 11. Let j be 2/(-4) + (-34)/(-4). Do y and j have different values?
True
Let t be 182/(-65) + (1 - (-2)/(-10)). Is -17 at least t?
False
Let c be (-21)/(-12) + 3/12. Suppose 5*h - 2*m - 8 = -m, h + 8 = 5*m. Let j = h - c. Which is smaller: j or 1?
j
Let m be (-1 - 2)*(-1)/3. Let r = -189 + 381/2. Do m and r have different values?
True
Let k = 4 - 23. Suppose -3*t - 49 = -2*b, -3*t + 16 = -5*b + 53. Are t and k non-equal?
False
Let h = 25.8 - 30. Let v = -117 - -115. Which is smaller: h or v?
h
Let z be ((-8)/(-20))/(2/10). Let f = 63/44 - 15/22. Is z >= f?
True
Suppose 0 = -15*k + 52 + 98. Let s(q) = -q**2 + 7*q + 2. Let a be s(5). Suppose -5*y - a = -57. Which is smaller: k or y?
y
Let s = 5092897011/578 - 8811246. Let n be (2/6)/((-2023)/(-21)). Let o = s - n. Is -6 equal to o?
False
Let j be (-42)/(-15) + (-8)/10. Let t be 2/4 - 7/j. Is t at most as big as -2?
True
Let c be 70 - (2 + -4 + -2). Is c > 74?
False
Let j = 256 + -252. Is -0.22 < j?
True
Let n be (-4)/(-22) - (-1169)/(-77). Let j = n + 28. Let k = -12 + j. Which is bigger: -2/7 or k?
k
Let d be 2/(-8) - 7/4. Let m be 3*(-5)/(20/(-28)). Let b be (9/m)/((-12)/21). Which is bigger: d or b?
b
Suppose j = -3*i + 10, -5*j - i + 28 = 3*i. Suppose n - 72 = 2*k - n, 0 = -j*k - 5*n - 108. Is k equal to -33?
False
Let a = 8 - 7.949. Let l = 15.051 - a. Is l > -2?
True
Let w = 1045 - 1047. Is -223 greater than w?
False
Let k = -829214/9 + 91936. Let n = -142 + -56. Let l = k - n. Which is smaller: -1 or l?
-1
Let h = 8.957 - 9. Let y = -0.257 + h. Let d = -0.8 - -1. Is y less than or equal to d?
True
Let h be (-16)/10*155/(-558). Do h and 3 have the same value?
False
Suppose -m = -4*m + 54. Let c be (-15)/m + 1 + 0. Let n be (3 - 39/9)/(32/(-24)). Are c and n unequal?
True
Let k = 10618/10919 + -60/61. Is 1 greater than or equal to k?
True
Let n = -21 + 46. Suppose -22 = -3*v - n. Which is smaller: v or -3?
-3
Let n = 868 - 868. Which is smaller: n or 17?
n
Suppose -3*p + 2*p = 0. Suppose y + p*y = 4. Is 5 at most y?
False
Let p be (-3)/((-51)/(-185)) - 2/17. Which is smaller: -0.83 or p?
p
Let t = 1/8 - -97/56. Do t and 3 have the same value?
False
Let r be (-1)/3 - 4/6. Let a = -251 + 124. Let v be a/329 - (-15)/35. Which is smaller: v or r?
r
Let i = 239/88660 - -7/620. Which is bigger: -1 or i?
i
Let h be (40/140)/((-8)/(-118)). Which is smaller: h or 5?
h
Let h = -0.67 + -13.33. Which is greater: -0.2 or h?
-0.2
Suppose -2*l - 1096 = 3*l - 3*s, 433 = -2*l + 3*s. Which is greater: -220 or l?
-220
Suppose 0 = -2*y + 5*o + 98 - 3, -4*o = y - 54. Is 50 > y?
False
Let r be 25*(-8 - (9 - 5)). Which is smaller: -301 or r?
-301
Suppose 5*g = -2 - 3. Let u be (-2 - g)*(-1 + -293). Let q = -1189/4 + u. Are q and -2 nonequal?
True
Let n be (-2)/(-21) + (-106)/159. Is -100 smaller than n?
True
Let h = 566 + -844. Which is bigger: h or -279?
h
Let i(l) = l**3 + 8*l**2 - 8*l + 26. Let g be i(4). Is 186 at most as big as g?
True
Let x = 1/8 - -1/8. Let j(c) = -c**3 - 7*c**2 + 7*c - 9. Let q be j(-8). Let l be q/(-2)*(-10 - -7). Are l and x non-equal?
True
Let y = 2/239 + -9809/1195. Which is smaller: y or -8?
y
Let x = 6254 - 869314/139. Which is smaller: -1 or x?
-1
Let s(d) = 41*d + 493. Let x be s(-12). Which is bigger: -5/157 or x?
x
Let a = 43.7 + -43. Let o = a - -0.2. Is 0.3 less than o?
True
Let n = 15 - 17. Let j(l) = -4*l + 6. Let x be j(n). Which is smaller: 17 or x?
x
Let z be 3 + -2 - (-1 + 1). Suppose -91 = -5*n - z. Suppose 0 = -22*d + n*d. Is -5/8 greater than or equal to d?
False
Let p(l) = l**2 + 12*l - 12. Let u be p(-10). Let z = 34 + u. Which is bigger: -5 or z?
z
Let r = -13 - -18. Suppose 0 = -d + 4, -r*u - 2 = -2*u - 5*d. Let q(j) = 3*j + 1. Let s be q(2). Is s at most as big as u?
False
Suppose 0 = 2*o + 4*r + 52, -3*o + 26*r - 25*r - 113 = 0. Are o and -255/7 non-equal?
True
Let k(b) = 2*b**2 - 2*b - 1. Let t be k(-1). Suppose t*c + 3*r = 8 + 16, -5*c + 28 = 2*r. Suppose o - 2*q + c = 2*q, 0 = -3*q - 3. Is o smaller than -7?
True
Let w = 6614.012 + -6627. Let c = w + -0.012. Is -1/8 greater than c?
True
Let y = -0.238 + 0.3. Let x = 0.162 - y. Is x != 33?
True
Let s = 18 - -33. Let n = s - 53. Which is greater: -8/13 or n?
-8/13
Suppose 7 = 4*v + 11. Let n be 2 + (-4 - (-7 - v)). Let z = n + -2. Which is bigger: 0.04 or z?
z
Let b = 0.133 + -0.113. Is -3/16 less than b?
True
Suppose 11 = 2*t - 3*a, 0*t + 3*t - 33 = -a. Let k(p) = -11*p - 1. Suppose -2*f - 5*u = 22, 0 = 2*f - 0*f + 2*u + 10. Let h be k(f). Is t bigger than h?
False
Let p = 15 - 14. L