ller: a or i?
i
Let t = 43 + -66. Let w = 36 + t. Which is smaller: w or 15?
w
Let m = 522 + -694. Is m greater than or equal to -173?
True
Let v(u) = -56*u - 327. Let a be v(-6). Let j be 1/(10/(-12) + 1). Which is smaller: j or a?
j
Let o = -0.027 + -4.173. Let j = 3 + o. Let l = j - 2.8. Is l greater than -1?
False
Let u be 1075/(-18) + 3/((-54)/(-4)). Let r = u - -1189/20. Which is bigger: 0 or r?
0
Let f = -1469 + 1402. Does -66 = f?
False
Let k = -1219.01 + 1222. Which is bigger: k or -1?
k
Let m be (-116)/(-28) - (-2)/(-14). Suppose 3 = p - 2*t - 4, 5*t = -2*p - m. Is 4 > p?
True
Let t = 1134 + -543187/479. Do 1 and t have different values?
True
Suppose -3*q + 366 + 78 = 0. Let m be q/18 - 4/18. Let d = 5 - m. Is -1 at most d?
False
Let i = 376 - -183. Which is bigger: i or 560?
560
Let w(q) = -5*q**2 + 160*q + 47. Let i be w(33). Which is smaller: i or -119?
-119
Let l = 16 - 7. Let w be -5*(-5)/(-10) + 30/4. Which is greater: l or w?
l
Let s(z) = z - 9. Let g(m) = 3*m - 18. Let b(c) = 2*g(c) - 5*s(c). Let p be b(-7). Let h be p/8 + 6/(-24). Is 6/11 greater than or equal to h?
True
Let o be (7 - (-153)/(-18))*412/3. Which is bigger: o or -205?
-205
Let v be ((-58)/87)/(2/21). Which is smaller: -5 or v?
v
Let w(b) be the second derivative of b**5/20 + 7*b**4/6 + 7*b**3/3 + 15*b**2 + 2*b + 38. Let f be w(-13). Suppose -4 = -q + 12. Do q and f have the same value?
False
Let s = -576073 - -370990877/644. Let w = 1/28 + s. Let q = 82/207 + w. Are 1 and q unequal?
True
Suppose -30 = -4*b - 10. Suppose b*p + v - 15 = 19, 2*p = -v + 13. Let n be (-2)/p - (-108)/(-63). Is n <= -0.1?
True
Let f be (2860/8436)/(-1) - 19/(-57). Are f and 0 unequal?
True
Let c(g) = g**2 - 1. Let v(m) = -m**2 - 12*m - 10. Let k be v(-11). Let a be c(k). Are 1/5 and a equal?
False
Let z(n) = -4*n - 26. Let g be z(-14). Suppose -g - 126 = 12*y. Are y and -35/3 unequal?
True
Let d = -118 - -186. Suppose b + 71 = -5*x, -4*x + 3*b - b = d. Are x and -16 equal?
False
Let l = -44 - -46. Suppose -l*a - 3*h = -36, -3*h + 17 = 3*a - 37. Is a greater than 18?
False
Let y = 144/62549 + -5469974039/625490. Let z = -8691 - y. Let v = z - 54. Are -1 and v equal?
False
Let z be 5/30*6*-17. Do z and -19 have the same value?
False
Let v = 0 - -4. Suppose 4*f = v*t + 24, -2*t = 4*f - 0*t - 6. Suppose -3*s - f + 0 = 0. Do s and 2/25 have the same value?
False
Suppose -11*p + 15 + 40 = 0. Suppose 2*t + 125 = -5*a, -p*t - 6*a - 297 = -9*a. Which is smaller: t or -59?
t
Let m(w) be the first derivative of -w**3/3 - 7*w**2/2 - 5*w - 1. Let a be m(-5). Which is greater: 22/5 or a?
a
Suppose 170 = 3*d + 4*j, 2*d - 2*j - 119 = j. Let l(h) = -57*h**3 + 2*h**2 + 2*h + 1. Let r be l(-1). Is d equal to r?
True
Let h = -18 - -55/3. Is -6 != h?
True
Suppose -91*p = -82*p - 549. Is 63 less than p?
False
Let p = 16.41 + 48.59. Which is smaller: p or 0?
0
Let r = 3.87 + -0.17. Let o = -0.3 - r. Which is smaller: -10/3 or o?
o
Let x be 8/(-2)*-12*15/(-360). Is -13 at least x?
False
Let d = -218180/803 + 2996/11. Are d and 2 unequal?
True
Suppose -l + s - 2 = 0, -l - 5*s + 5 - 1 = 0. Let b be ((-82)/4182)/((-2)/24). Which is greater: b or l?
b
Let j = -374.2 - -374. Is -71 bigger than j?
False
Let j = -582.9 - -654. Let f = j + -71. Which is greater: -0.04 or f?
f
Let x(c) = -c**2 - 9*c + 6. Let o be x(-9). Let t be 8*(4 + -4 - -1). Which is greater: t or o?
t
Let x = 0.01 + 16.99. Let g = x - 17.1. Which is smaller: g or -0.9?
-0.9
Suppose 9*h - 4 = 5*h. Let w be -3 + -28*8/(-72). Is w < h?
True
Let t = 94 + -92. Suppose -225 = 3*f + t*f. Is -47 not equal to f?
True
Let u(r) = 3*r**3 + 4*r**2 - 2*r - 5. Suppose 4*x + 12 = 4*f, -3*f = f + 2*x - 24. Let q be u(f). Let l = 14262/31 - q. Which is greater: l or 1?
1
Suppose 952 = 17*q - 714. Which is smaller: q or 100?
q
Let f(u) = -4 + 2*u - 2 + 4. Let b be f(11). Let g = -12 + b. Which is bigger: -2 or g?
g
Let o = 42 + -125/3. Let s = 44.908 - 31.908. Is s at most as big as o?
False
Let j be (18/12)/(3/10) + -4. Which is greater: 2/1227 or j?
j
Let k be (4 - -22)*((-81)/18)/9. Let f = -2 + -12. Is k bigger than f?
True
Suppose -m - 63 = -4*m. Let u be ((-52)/39)/((-2)/(-30)). Let w = m + u. Which is greater: w or 5/3?
5/3
Suppose -5*y - 3*n + 198 = 0, -2 = 3*n - 5*n. Let o = 39 - y. Let r be ((-1)/(-9))/(1/2). Is o smaller than r?
True
Let a(d) = 25*d**2 + 11. Let h be a(4). Let v = h + -18494/45. Is v >= -1?
True
Let k = -36 - -46. Let s be (60/10)/(3/k). Is s bigger than 19?
True
Let n = -10049 + 10049.3. Let t(c) = -c + 8. Let j be t(4). Is n greater than or equal to j?
False
Suppose 2*h + 17 = -15*h. Is 1/119 at most as big as h?
False
Let l be 3 + (11228/17)/(-4). Let f be (-4)/(-5)*(-810)/(-4). Let p = l + f. Which is smaller: p or -1?
-1
Suppose -k - 16 = 20. Let a be ((-771)/15)/(k/30). Let t = -43 + a. Which is smaller: 1 or t?
t
Suppose 36*y = -1438 - 110. Are y and -44 unequal?
True
Suppose -59*l = -58*l. Suppose l = -2*f - 4, -4*b - 9 - 3 = 4*f. Which is smaller: b or 4/15?
b
Let p = -21 + 66. Let y be ((-5)/p)/(1/(-6)). Which is smaller: y or 2/9?
2/9
Suppose 2*x = d + 3*x - 170, d + 2*x = 170. Let p be (1/12)/(17/d). Suppose 3*y - 8 = j - 2, 3*j + 3*y - 6 = 0. Which is greater: p or j?
p
Let p = 24 + -59. Let x = -54 - p. Do x and -1/4 have the same value?
False
Suppose m - 3 = 3*p, 0 - 2 = -3*m + 2*p. Let r be m*4*1/4. Is r less than -1/11?
False
Let o(b) = b + 14. Let n be o(21). Let x = -35 + n. Which is smaller: x or -2/13?
-2/13
Let y = 21 + -44. Let m = y + 27. Let i = 24 + -26. Does i = m?
False
Suppose -3*x - 260 = -7*x. Let b be x/60 + (-2)/6. Which is bigger: 0 or b?
b
Let a be (14/10)/(4/20). Suppose -f - 3 - a = 0. Let p = f - -10. Is p <= 1?
True
Let i = 15 + -11. Suppose i*k = -1 - 3. Let x = 3652/29 - 126. Is x less than or equal to k?
False
Let i = -26.51 - -26.5. Let a = -2.01 + 0.01. Let d = -2.1 - a. Which is bigger: i or d?
i
Let p = 140 - 198. Are -60 and p non-equal?
True
Let h = 631 + -637. Is -3/10 at most as big as h?
False
Let p be (-3 - -5)*(-3)/22. Let w = -7 - -3. Let q = -3 - w. Is q < p?
False
Let x be ((-3)/9)/(5/40). Let f = -28 + 25. Is f bigger than x?
False
Let k be (-2)/15 + 840/2925. Suppose 10 = 3*y + 13. Is y at least k?
False
Let f be ((-16)/24)/(1*6/63). Let p(q) = -q**2 - 10*q - 19. Let x be p(f). Is 7 at least as big as x?
True
Let y(q) = q**2 + 28*q + 39. Let c be y(-28). Is 35 greater than or equal to c?
False
Let i be 58/7 - 4/14. Let c = i + -1. Let q = 13/2 - c. Is 0 greater than q?
True
Let i be ((-120)/18 - -4)*-75. Which is greater: i or 198?
i
Suppose -19*q - 2 = -21*q. Which is smaller: q or -0.228?
-0.228
Let i be 0/(-1) - (-10)/(-45). Let r(y) = -y**3 - 10*y**2 + 11*y - 1. Let x be r(-11). Do x and i have the same value?
False
Let i = 20.44 + 0.56. Let b = 21.1 - i. Let j = 0.2 - 0.2. Which is bigger: b or j?
b
Let o be 3 - 1 - 22/9. Let n be -26*(2/7 + 66/(-84)). Suppose -4*g - 3*u + n = 5, 5*u - 21 = g. Is g at least o?
False
Let t = -0.53 + 1.53. Let v = 10.8 + -8. Let o = v - 3. Which is smaller: o or t?
o
Let x = 4670 + -14014/3. Let f = -1284/5 - -256. Which is smaller: f or x?
x
Let m be (-564)/(-108) - 2/9. Let j be (-725)/35 + (-15)/m. Let b = j + 23. Which is smaller: -2 or b?
-2
Suppose -5*c - 2*w + 3*w = 1, 2*w = -3*c - 11. Which is bigger: -1/3533 or c?
-1/3533
Let f = -478 + 477. Do f and 16/133 have the same value?
False
Let f be 5/17*(-4)/(-10). Let w = 1576 + -1577. Which is smaller: f or w?
w
Let p = 51 - 54. Let m be (30/(-80))/(p/(-10)). Let o = 0.2 - 0.4. Is o smaller than m?
False
Let r(i) be the third derivative of 0*i**4 + 0*i + 0*i**3 + 0 - 1/12*i**5 - 7*i**2 + 1/120*i**6. Let j be r(5). Is j smaller than -1/18?
False
Let f(s) = s - 5. Let p(i) = -4*i + 20. Let z(r) = -9*f(r) - 2*p(r). Let b be z(7). Which is bigger: -5 or b?
b
Suppose 12*p + 208 = 376. Is p at most 53/4?
False
Let l be (-4)/5*(-3 + (-1)/(-2)). Is l smaller than -5.4?
False
Let d = -492 - -350. Are -141 and d non-equal?
True
Let f be 2/3 - (-1820)/120. Is 15 bigger than f?
False
Let t = -31.006 - -0.006. Let f = 4 - 3.9. Is f greater than t?
True
Let m = -623/9 - -18193/261. Which is smaller: 0 or m?
0
Suppose 49 - 19 = 5*u. Suppose -n - u*n = -1456. Let b be 19/n + (-4)/26. Is b greater t