/(42/16). Suppose 5*d - 2 = 13. Suppose 0 = -z - d, 3*p - 4*p + z = -2. Which is greater: p or u?
p
Let d = 4 - 113. Let j = 231/2 + d. Which is greater: j or 3?
j
Suppose -10 = 3*g + 2*y, 5*y + 15 = 2*g - 10. Which is bigger: g or 188/201?
188/201
Let m be 12/78 - (-541184)/884. Let b = m - 612. Which is smaller: b or 0?
0
Let r = 7484 + -7568. Which is smaller: r or -22?
r
Let w be 712/(-10)*(-75)/(-30). Let v = w - -179. Is v <= 9/17?
False
Let u = -131 + 116. Suppose 0 = 5*r - 5*x + 100, 3*r + 0*x = -2*x - 45. Do r and u have the same value?
False
Let n(z) = z**3 - 26*z**2 - 26*z - 26. Let g be n(27). Let m = -278 + 464. Let f = -4646/25 + m. Which is smaller: f or g?
f
Let n = -3.2 + 3. Let y = 0 + n. Let b = -2.725 + 2.725. Which is bigger: y or b?
b
Let z = -562 - -578. Suppose 17*o + 11 = z*o. Which is greater: o or 2?
2
Let t = -7737862/717 - -10792. Suppose -4*m = -387*i + 383*i + 24, 5*i = 3*m + 28. Are m and t equal?
False
Let c = 3122 + -3058. Is c at most 62?
False
Let m = -20 + 20. Let l(g) = 6*g + 45. Let a be l(-7). Suppose -5*i + 2*i - 5*b + 85 = m, -3*i + a*b = -93. Which is greater: 32 or i?
32
Let j = 12309 + -161333/13. Which is smaller: -101 or j?
j
Let p(h) = 5*h + 37. Let m be p(-6). Suppose -i - 61 = -3*r + i, -2*i = r - m. Let n = r + -17. Is -2/159 < n?
True
Let l be (-4)/1924*10/(-280)*8. Is 1 at most l?
False
Suppose 11*d = 12*d - 92. Let y be (0 - -1)*(10 - d). Let p be (-2)/(-11) + (-8235)/99. Which is smaller: p or y?
p
Let a(u) = 1394*u + 2789. Let b be a(-2). Is -4/25277 greater than or equal to b?
False
Suppose -811*h + 315 = -820*h. Is h smaller than 3?
True
Let g = 4 + -256. Let w be -1 + 92/g*-3. Suppose 1762*f - 1765*f = -6. Is w at most f?
True
Let f = -7034 + 752618/107. Which is greater: f or 4?
4
Let q(b) = 29*b**2 + 25*b - 3. Let r be q(-1). Is 2/7589 at least as big as r?
False
Let i = 141732 - 2692914/19. Suppose 0 = 2*m - 4*l + 2, 2*l = 3*m + 7*l - 8. Which is smaller: m or i?
i
Let m be 56/9 - 122/549. Suppose 4*t = 2*w + 6, 3*w - 21 = t + 7*w. Let v be (m/(-4) - t)/1*0. Are 7/6 and v equal?
False
Let p = 0.123 + 88.877. Let m = -713 - -623.8. Let z = p + m. Which is smaller: -5/11 or z?
-5/11
Let x be -5*4/10*-2. Suppose 3*m = x*m + 2. Let t be (100/(-28) - m) + (2 - 1). Which is smaller: -0.1 or t?
t
Let n = -425.573 - 0.427. Let d = n + 425.9. Is -0.109 != d?
True
Let j be (2/216)/((-2)/(-20)). Suppose -1117*z + 1131*z = 14. Is z != j?
True
Let z = -284 - -296. Suppose 8 = -5*a - h + 3*h, 0 = -3*h + z. Is a less than -1/221?
False
Let k = 0.18 - 0.2. Let t = -2184 + 2184.58. Let g = k - t. Is 0.1 at least as big as g?
True
Let u = -16857 + 16857.28. Let h = -10.18 - -10. Let c = h + u. Do c and 0 have the same value?
False
Let u = 5407 + -5405. Which is smaller: 10/541 or u?
10/541
Let t = 51 + -59. Let s be 1*(-4 - 20/t). Let f = -2 + 0. Which is smaller: f or s?
f
Let m = 62729/6919 - 3/407. Are m and 9 non-equal?
True
Let w be (-5)/(-5 + 4) - 5. Let s be 10 + (-5 - w/1). Suppose -2*b - b + 24 = 0. Which is bigger: s or b?
b
Let v = 32 - 22. Suppose v = 5*n - 10. Suppose 5*k + 20 = -4*r, -n*k + 5*k + 4 = -4*r. Is r at least as big as 1/59?
False
Let v = 12678271051631/5735 - 2210683726. Let c = 3/1147 - v. Which is bigger: 19 or c?
c
Suppose 6*a - 18 = -0. Suppose 5*i = 3*g - 6, i + 1 + a = 2*g. Suppose -2*c + 17 = 5*q - c, -q - 3*c + 9 = i. Which is bigger: q or 20/7?
q
Let k(u) = u**2 + 5*u - 8. Let b be k(-8). Let p be b/(-30)*6/8. Let z = -102184.9 + 102186. Are p and z equal?
False
Suppose 0 = 209*l - 15826 - 113460 + 31683. Which is greater: l or 470?
470
Let t = 21 - 10. Suppose 3*p + 4*r + t = 0, p + p + r = -4. Let h be 1 + (22/6)/(-9 + 12). Which is greater: p or h?
h
Let p(s) = 107*s + 2354. Let l be p(-22). Is -10070 at least as big as l?
False
Suppose i + 2 = -i - 4*a, -3*i + 4*a + 17 = 0. Suppose i*o = 4*c - 9, 3*c = -o + 4*o + 9. Let j = 20/7 + -67/21. Which is smaller: j or c?
j
Suppose -2*z = -4*k - 100, -k = 3*z - 3*k - 162. Let s = 44 - z. Let g be (s/3 + 0)/7. Are -2 and g non-equal?
True
Let r(t) = -2*t**2 + t - 2. Let v(k) = -5*k**2 + k - 5. Let o(j) = 7*r(j) - 3*v(j). Let y be o(-5). Suppose z = 61 - y. Is 55 < z?
False
Let h be (10/40)/(602/(-16)). Suppose -97 = 4*g - 3*r - 416, -5*g + 422 = 4*r. Suppose 2*l + g = 80. Is l less than h?
True
Let c = 3/59405 + -3564609/6118715. Are 0 and c equal?
False
Let c(j) = j**2 + 21*j + 80. Let u be c(-13). Which is smaller: u or -197/8?
-197/8
Let d(m) = 463*m + 50. Let n be d(1). Let q = 579 - n. Which is smaller: q or 4?
4
Let t be (-5050)/(-261) + (1 - 1). Let z be 15113/765 + (-2)/10. Let q = z - t. Which is bigger: -1 or q?
q
Let b be (-9430906)/3360 + (48/126)/(-4). Let q = -2807 - b. Which is smaller: q or 0?
q
Let u(v) = 8*v - 12. Let g be u(7). Suppose 2*y + g = -q - 2, 0 = q - 5*y + 11. Let a be (-21)/q*(-10)/(-35). Is a > 0.3?
False
Let q = -3.22 + 3.1. Let m = 0 + q. Let v = 0.96 - m. Is -0.1 at least as big as v?
False
Let h = 76.967 - 77. Let m = -572.6 + 548. Let u = -24.7 - m. Which is greater: h or u?
h
Let l be 2 - (-2 + -3 + 0). Let t(g) = -7*g + 89. Let d be t(10). Suppose -d*n = -30 - 122. Which is smaller: n or l?
l
Suppose 553*i + 24 = 557*i + 4*c, 0 = -2*i + 4*c - 24. Which is smaller: i or 3/919?
i
Let q be 6/(-30)*4/22. Let i = -7238 + 7238. Which is smaller: q or i?
q
Let m = -35755 - -14157. Is -21599 smaller than m?
True
Let n = -0.0476 + -15409.9524. Which is smaller: 0.1 or n?
n
Let x = 602 - 601.8. Let n = -266 - -263.73. Is x smaller than n?
False
Let s = 0.6378 + -14.6378. Let a = -6 + 5.9. Which is smaller: s or a?
s
Let p(w) = 38*w**2 + 155*w + 21. Let o be p(-4). Is 250 less than o?
False
Let k = -44.788 + 44.542. Is -0.02 greater than k?
True
Let c = 18.97 + -17. Let k = -0.03 - c. Let b = 3638 - 3638.19. Is b at most as big as k?
False
Let r be (-5580)/(-21) + 26/91. Let s = 269 - r. Let l = -2 - -1. Which is greater: l or s?
s
Let b = 179 + -5190/29. Suppose -27 = -3*q - 130*a + 127*a, 18 = 5*q + 2*a. Which is greater: b or q?
b
Let t = 1.1 - 1. Let i = 38 - 38.197. Let b = -0.227 - i. Is b at most as big as t?
True
Let n(y) = 12*y**2 + 32*y + 27. Let s be n(-4). Let g be (-3)/((-6)/178) - -1. Let h = g - s. Which is bigger: -5/18 or h?
-5/18
Let f(w) be the third derivative of w**5/20 + w**4/8 - 7*w**3/3 + w**2. Let j be f(-6). Suppose 70 - j = y. Is -5 at least as big as y?
True
Let l(g) be the second derivative of g**3/6 - g**2/2 + g. Let x be l(7). Suppose -4*n = 27*n - c - 472, 3*c = -21. Which is bigger: n or x?
n
Let q(j) = -2628*j - 54 - 2590*j + 5406*j. Let c be q(3). Is 510 at least c?
True
Let s = 106 + -19. Let w = 87/2 - s. Let n = 275/6 + w. Is n >= 1?
True
Let v = 9115 + -9117. Which is greater: -447 or v?
v
Let b = -1.2 + 0.2. Let i = -0.6 - b. Let u = -3958 - -15831/4. Which is smaller: u or i?
u
Let w(p) = -p**3 - 44*p**2 + 104*p + 41. Let t be w(-46). Is -510 greater than t?
True
Let n = -978.3 - -978.4. Which is smaller: n or 264.9?
n
Let i = 1.976 - 1.81. Let d = i - 0.346. Which is greater: 2/3 or d?
2/3
Suppose -12*b = 4*b - 48. Let v = -3/95 - -18/95. Is v < b?
True
Let g(c) = 24*c**2 + 8*c + 14. Let l(j) = -11*j**2 - 4*j - 7. Let x(w) = 4*g(w) + 9*l(w). Let b be x(-2). Which is greater: b or -2?
-2
Let y = -559/2 - -1775/6. Suppose 75 = -0*l + l. Suppose 0 = 3*t - l + 27. Which is greater: y or t?
y
Let n = -565/39 + 4448/351. Which is smaller: n or -3?
-3
Let u(o) = -21*o + 1. Let t be u(-2). Suppose 42*a = 57*a - 60. Suppose 4*d = -4*s + 8*d + 148, 0 = -a*s + 5*d + 143. Which is greater: t or s?
t
Let a(l) = -l**3 - 2*l**2 + 6*l + 3. Let t(q) be the first derivative of q**2/2 + 2*q + 48. Let k(g) = -a(g) + t(g). Let p be k(-4). Is p >= -15?
True
Suppose o = 4*k + 2, -2*o = 5*k - 8*k - 4. Suppose k*v + 3*u = v - 38, 0 = 5*v + u - 174. Which is smaller: v or -2/9?
-2/9
Suppose 2*r = 31 + 21. Suppose r + 104 = 10*l. Is l greater than or equal to 13?
True
Let w = 1260 - 1213. Suppose 0 = -3*b, 188 = -2*t + 6*t + 2*b. Are w and t non-equal?
False
Let l = -4746 + 4747. Do l and -28/353 have the same value?
False
Let l(q) = q**2 + 12*q + 5. Let b be l(-7). Let x be ((-76)/(-114))/(b/(-4) - 0). Is 1 != x?
True
Let r be -14 + 22 + (10 - 19). Is -13/784 less than r?
