 (-2)/(-10)*82. Which is greater: p or 18?
18
Let d = 664 - 543. Is d < -0.3?
False
Let o(g) = g**3 - 5*g**2 + 2*g. Let i be o(4). Let v = 66 - 97. Let p = v - -32. Is p at least as big as i?
True
Let k = 208 + -213. Is k less than -0.04?
True
Let n = 54.88 + -55. Let b = 3 + -11/4. Which is smaller: n or b?
n
Let s(r) = 3*r**2 - 8 + 0*r**3 - 4*r**3 + 3*r**3 + r + 5*r**2. Let w be s(8). Let u be (-13)/(-10) - (w - -1). Is u at most as big as -1?
False
Let k = -70220/73 + 962. Let t = -8628 + 8627. Are k and t non-equal?
True
Let k = 4 + 2. Suppose -4*z = -k*z - 5*v - 1, 2*z + 2*v = -10. Which is smaller: z or -9?
-9
Let a = -26 + 60. Let n = -2505 - -2506. Which is smaller: n or a?
n
Let u be ((-59)/10 + 5 - -1)*-2. Is 1 > u?
True
Suppose 7 + 9 = -4*i. Let s be (3 - 1) + i + 15. Suppose 5*t - s = r - 3*r, -5*t - r = -9. Is 0 at most t?
True
Let k be ((-203)/(-49))/(6 - (10 + -5)). Which is smaller: 4 or k?
4
Suppose t - 9*t + 488 = 0. Suppose 0 = -4*s - v + t, -4*s - 4*v = v - 81. Is 11 greater than or equal to s?
False
Let o be 0 - 3*-2*-1. Let r = o - -7. Suppose 5*n - r = 4. Which is bigger: n or 0?
n
Let l be (-450)/(-475)*39/(-9). Which is bigger: -3 or l?
-3
Let f(k) = 2*k**3 - 4*k**2 + 2*k - 2. Let j be f(3). Suppose -2*u - 5*d = -0*u + j, -2*u - 2*d = 10. Let i = -50/3 - -148/9. Are i and u non-equal?
True
Let i = -53/23 - -813/253. Which is smaller: 2 or i?
i
Let m = 0.516 - 0.516. Are m and 23 unequal?
True
Let k(y) = 4*y**2 + 9*y + 4. Let n be k(-2). Which is greater: 4 or n?
4
Let u = -455 + 455. Is -0.27 < u?
True
Let r = -121 + 120.9. Which is smaller: 3/16 or r?
r
Let s = 56 - 223/4. Are s and -0.19 unequal?
True
Let w(i) = -4*i**3 + 4*i**2 - 2*i - 5. Let s(g) = -g - 1. Let o(t) = -3*s(t) + w(t). Let a be o(2). Which is greater: -13 or a?
-13
Let u = 17983253/4088 - 30791/7. Let t be (0 + (-2)/(-292))*8. Let w = u + t. Is 1 != w?
True
Suppose 275*k - 5 = 280*k. Is k less than 10/171?
True
Suppose -2*s + 177 + 57 = 0. Let k be 4*(-4 - s/(-30)). Which is smaller: 1 or k?
k
Let u = 220 + -84. Is u less than 136?
False
Suppose -2*h = 6*h - 4*h. Suppose 4*y + 4*f - 12 = h, 4*y = -y - f + 7. Does y = -1/109?
False
Let v = -691 - -692. Let m be ((-1)/(-12))/(2/(-4)). Let z = 1/3 - m. Which is greater: v or z?
v
Let c(t) = -12*t + 40. Let f be c(-5). Let l = -101 + f. Which is smaller: l or -6/11?
l
Let c be (-164)/205 + 22/40. Let g = 4 + -3.8. Let f = g - -0.1. Is c at most f?
True
Let u = 0 + -13. Let g be 5/((-10)/u)*2. Is g less than or equal to 13?
True
Let v be (-15)/2*-6*(-2)/18. Let z be ((-2)/3)/((v - -9)/(-24)). Is 2 bigger than z?
False
Let d = -106 - -109. Is 1/3 at most as big as d?
True
Let p be ((-3)/(-3))/((-161)/(-3)). Is 0 >= p?
False
Let f = 472 + -471.68. Which is greater: f or 19/4?
19/4
Let m be -2 + (-36)/(-15) + 888/30. Suppose 6*y - m = 3*y. Suppose -5*i = -4*j - 11 + 50, -j = 2*i - 13. Which is greater: j or y?
j
Let i(q) = q**3 - 4*q**2 + 2*q + 5. Let c be i(4). Suppose d = -y + 6, -d + 3*y = -3*d + c. Suppose d*j + 25 = -15. Is j greater than -9?
True
Suppose -14 = -d - 12. Suppose -3*t = 10 - 13. Is t at most as big as d?
True
Let c = 638 - 635. Is c at most -32?
False
Let r be (2/6)/(4/48). Suppose -r*c - 13 + 5 = 0. Let d = 2 - 3. Which is greater: d or c?
d
Let y = 86 - 84. Let h = 3 + -2.7. Is h bigger than y?
False
Suppose -3*a + 9 = -0*a. Let z = a + 1. Suppose 4*y + 24 = -4*v, -5 = 5*y - z*y. Which is bigger: -2 or v?
v
Let k = -5641/7 + 809. Do 1/3 and k have different values?
True
Let o = -82 - -88. Suppose -2*g - 3*y = 9, o*y + 9 = 3*y. Is -4/7 less than g?
True
Let g = 25 + -40. Let b = -31 - g. Let y be 214/280 + b/20. Which is greater: -1 or y?
y
Let z = 19.91 - -0.09. Let s = z + -11. Let t be 14 - 9 - (-42)/(-8). Which is smaller: t or s?
t
Let b = 32 - 32.2. Let s = 1703/10 + -17197/90. Let x = 21 + s. Is b > x?
False
Let l(g) = 2*g + 11. Let r = 60 + -65. Let a be l(r). Let u = 1/706 + 1049/7060. Is u at most a?
True
Let p = -246 + 434. Let q be (-1)/(-4) + p/16. Suppose -2*b - q = -4*b. Is 6 greater than b?
False
Suppose -4*v - v = -125. Suppose 6*j = j + v. Suppose -j*b + 0*b = -4*g + 21, 3*b - 2*g + 11 = 0. Is -2 greater than b?
False
Let j be 22/605*-11 + (-39)/15. Let s be 7*-3*4/(-6). Which is greater: s or j?
s
Suppose 11*z = 5*z - 48. Is z equal to -5?
False
Suppose 7*g - 36 = 2*g + 3*k, 0 = 4*g + 3*k - 18. Suppose g + 104 = -11*x. Is x bigger than -6?
False
Let h = -3.1 - 14.9. Is h != 43?
True
Let d = -692 - -692. Is -21/20 greater than d?
False
Let y = 515 + -515. Is y at least as big as 3/643?
False
Let c = 0.2 - 1.2. Let p = -584 + 588. Which is smaller: c or p?
c
Let q(r) = -r**3 - 6*r**2 + 13*r - 31. Let f be q(-9). Is 95 greater than or equal to f?
True
Let s = 0.26 + 11.74. Let j = -2/499 - -1012/3493. Is s less than or equal to j?
False
Let u be (-1*(-20)/(-56))/(-1 - 3/(-4)). Let c(i) = 2*i - i**3 - 7*i - 5*i**2 + 0 - 4. Let v be c(-4). Which is bigger: v or u?
u
Suppose -y - y + 4 = 0. Suppose 2*t + 2*d = 3*t - 10, -3*t = y*d - 30. Let b be (8 + -2)*t/(-15). Which is greater: b or -11/4?
-11/4
Let q be 5/(-4) + 1 - (-202971)/348. Which is smaller: q or 584?
q
Let w be ((-3)/29)/(15/10). Let d = 9 + -8.9. Which is bigger: d or w?
d
Let s(i) = 2*i**2 - 5*i - 6. Let a be s(-3). Suppose a*f = 29*f + 8. Is f >= 3?
False
Let n(x) be the first derivative of -3*x**2/2 - 30*x + 43. Let z be n(23). Is z >= 0.1?
False
Let q(n) = n + 31. Let m be q(-5). Do 20 and m have different values?
True
Let u be ((-2)/((-4)/(-3)))/(27/(-18)). Let j be (2 - 96/47)*-1. Which is smaller: u or j?
j
Let u be 42/56*(-1 - (-632)/6). Let j = u + -78. Is -9/10 bigger than j?
False
Let x(n) = 19*n**2 - n. Let v be x(1). Let t = v + -38. Which is smaller: t or 1?
t
Suppose -2*d - 8 = 4*l, 2*d + 2 + 0 = -l. Let n be (57/(-21) - -2)/1. Is n greater than l?
True
Let h(o) = 2*o**2 - o - 22. Let w(u) = -u**2 + u + 11. Let t(z) = 6*h(z) + 13*w(z). Let b be t(9). Which is smaller: -1 or b?
b
Let d = 7.9318 - -0.0682. Is -21/5 greater than or equal to d?
False
Let f(m) = 15*m - 276. Let l be f(17). Is l bigger than 22?
False
Let m(h) = 17*h**2 - 4*h - 1. Let d be m(-1). Is d at least as big as 145/7?
False
Let m = 4.9146 + 0.0854. Which is bigger: m or 50?
50
Let p = -0.0586 + -454.9414. Is p less than 0?
True
Let t be ((3 + -3)/(-3))/2. Let h be 5/35 - (-6212)/28. Let g = 4439/20 - h. Are t and g equal?
False
Let i(o) = 2*o**3 - 11*o**2 + 7*o + 30. Let n be i(6). Is n < 109?
True
Let f(j) = 53*j + 131. Let y be f(-3). Is -28 at least as big as y?
True
Let a be (-60)/21 - (88/28 - 3). Let c be (0/15)/(0 - a). Let p be 5*1*-2 + 0. Which is smaller: c or p?
p
Let o = 43 - 60. Let m be 150/(-15) + 0 + -7. Is o greater than m?
False
Let j be (216/81)/(12/(-5562)). Is -1234 greater than j?
True
Let k = -5 + -12. Let v = k - -16.9. Suppose 0 = -3*z + 1 + 2. Which is smaller: v or z?
v
Let y be ((-2)/2)/(1/(-4)). Suppose -4*a - 2*r + r = y, a + r = -1. Is -2 at least a?
False
Let t be (12/8)/((-4)/(-16)). Let s be (3/(-136))/(t/(-116)). Let n = s - 20/17. Is n < -1?
False
Let f = 17 + -13. Suppose f*v + 20 = -2*k - 2*k, -15 = 3*k. Suppose z - 6*z + 40 = v. Is 8 <= z?
True
Let z = 6 - 19. Let t = z + 11. Which is greater: -0.12 or t?
-0.12
Let b be 7/(-35) - 4232/(-810) - 5. Is b != 0?
True
Let u = -20 - -23.7. Let k = 1 + u. Let v = k - 4. Is v at least -1/2?
True
Let c be -1 - 2*(-6)/4. Let w(n) = -7*n**2. Let b be w(c). Let t be 78/(-40) - b/14. Is 0 equal to t?
False
Let r be (10 - (-8)/(-2))*(-2)/10. Let q = 6 + -11. Let l = -6 - q. Which is smaller: l or r?
r
Let n = -13/21 + -53/84. Let x = 0.6 - 0.3. Is x smaller than n?
False
Suppose 2*z - 255 = -3*u, -90 = 4*z + 3*u - 585. Is 119 at most z?
True
Suppose 5*r - 39 = k + k, -4*k - 60 = -4*r. Suppose 3*u + 4*x + 32 = 8*x, 0 = 4*u - 4*x + 44. Is k != u?
False
Let v = 30 - 29.955. Let o = -1.955 - v. Are o and 3 equal?
False
Let w be 2/(-220)*-33 + (-273)/(-90). Let b be (-1 - -5) + 0/(-2). Suppose x - 20 = -b*x. Which is bigger: x or w?
x
Let j = 194 - 89. Suppose 4*f - 9 = -j. Is f at most as big as -25?
False
Let j = 0.0108 + -316.0108. Is -1/4 at most as big as j?
False
Let h(w) = -3*w**3 + w**2 + w + 2. Let c be h(2). Let i(g) = -g**3 - 7*g**2 + 11*g + 7. 