- -47. Let w be (-286)/72 + 12/a. Is -5 less than w?
True
Let m be ((-4)/(-15)*6)/(10/25). Suppose m*z = 11 + 25. Is 13 at most as big as z?
False
Let n = -169 - -179. Suppose 2*q = q + 20. Let u be (q*-1)/(2 + -4). Does n = u?
True
Let w = 4.81 - -0.19. Let h = -12 + 14. Is w greater than h?
True
Suppose 72 = -4*c - 2*c. Suppose j - 7 + 4 = -3*y, 0 = -4*y - 2*j + 6. Suppose y = 5*b + 35 + 35. Which is greater: b or c?
c
Let o(v) be the third derivative of v**4/24 - 17*v**3/6 - 2*v**2. Let u be o(-16). Which is smaller: u or -0.1?
u
Suppose 9 = -5*o + 39. Let j be o/(-4)*16/184. Which is smaller: j or 0?
j
Let d(n) = -n**3 + 29*n**2 - 25*n - 47. Let p be d(28). Which is smaller: 151/4 or p?
p
Let o be (80/(-6) - -1)*3. Let i = o - -33. Is -2 != i?
True
Suppose -81 = -2*n - 87. Is n < -167?
False
Suppose -2 = 3*o - 5, -2*r - 2*o - 4 = 0. Let b be 2*(r + 4) + 11. Suppose -g - 3*d - b = 0, 3*g + 5 = -d - 2. Which is smaller: g or -6?
-6
Suppose -2*k + 3*s - 3 + 7 = 0, 4*k - 2*s - 8 = 0. Suppose g + k - 5 = 0. Let w(q) = 5*q**3 - q**2 + q. Let x be w(1). Which is smaller: x or g?
g
Suppose 14*d - 99 + 407 = 0. Is d less than or equal to -18?
True
Let z(n) = 8*n. Let g be z(-1). Let c be (1 - 20/g)*2. Let b = -8 + c. Is 2 greater than b?
True
Let p = -32/11 - -85/33. Is p bigger than -1.5?
True
Let p = -47/24 - -9/8. Let g be (9/(-1620))/(1/(-2)). Let b = g + 7/18. Are b and p unequal?
True
Let x(l) = -l**3 + 2*l**2 + l. Let n be (1/(-2))/((-7)/(-14)). Let w be x(n). Let f be (-24)/(-30)*w/4. Which is smaller: f or -2/3?
-2/3
Let t = -1 + 3. Suppose 2*s - 14 = -0*s. Let h be s + -6 + 2 + 2. Are h and t equal?
False
Let u = 19 + -4. Suppose 23*p - u = 26*p. Let q = -0.1 - -0.1. Is p less than q?
True
Suppose 0 = -4*c + l + 12, 2 = -c - 2*l + l. Suppose 3*x = 3*b + 189, c*b - 249 = 6*b - x. Which is greater: 1 or b?
1
Let d be (16/(-20))/((-4)/(-430)). Let s be (-2)/2*(-2)/d. Are -1 and s equal?
False
Let f be 4/((-65)/15 - -3). Suppose 3*a - 13 = 8. Let y be (-16)/a + 6/21. Which is greater: y or f?
y
Let d = 19732/27 + -731. Is 1 at most as big as d?
False
Let l be 1/(-145)*((-384)/(-36) + -9). Is l at least 0?
False
Let w = 1380 + -1342. Is w at least 30?
True
Let s = 81 + -82. Let n be 1/5 + s/(-20). Suppose -3*b - 4 = 3*t - 19, -4*b = -5*t - 20. Is t less than n?
True
Suppose -14*f + 2*f = -84. Which is greater: -4/7 or f?
f
Let t(b) = b**3 - 4*b**2 + 4*b. Let h be t(3). Suppose 4*a + 5*x - 27 = 0, -13*x + 3 = 5*a - 17*x. Does h = a?
True
Let l = -263.3 - -266. Which is smaller: 3 or l?
l
Let k(j) = j - 1. Let a be k(9). Suppose -a*m - 595 = -155. Which is greater: -54 or m?
-54
Let w(n) = -2*n - 12. Let a be w(-7). Is 7/8 bigger than a?
False
Let l = 0 + 3. Let y be (-3)/(-9)*l*1. Suppose d - 3 = -y. Is d greater than -2/5?
True
Let v be ((-34)/(-12) - 3)/(28/42). Let i = -14 + -29. Which is bigger: v or i?
v
Suppose 5*y = -0*y - n - 369, 3*n + 367 = -5*y. Let b = 42 + y. Is -30 at most b?
False
Let l(x) = x**2 - 21*x + 81. Let n be l(5). Is 3/619 at least as big as n?
False
Let o be 70/9 + -10 + (-12)/(-54). Let y = -1511/195 + -1/780. Let z = -17/2 - y. Is z at least as big as o?
True
Let s = 42 + -58. Let b(u) = -u**2 - 14*u + 13. Let m be b(s). Are -20 and m equal?
False
Let p = -9702 + 106814/11. Which is smaller: p or 8?
8
Let u be 1/((-1)/2*-2). Let r be (3 - 1)*u/(-4). Suppose 0 = -6*m + 2*m. Is m smaller than r?
False
Let p = 739 - 726. Let x be (-40)/(-3) + 3/(-9). Is x greater than or equal to p?
True
Suppose 12*v + 4593 = 4053. Which is greater: -40 or v?
-40
Let d = -1143 - -1146. Is 1 at most as big as d?
True
Let r = -200689 + 3408301/17. Let j = -201 - r. Which is smaller: 1 or j?
j
Let i = 1.171 - -1.827. Let j = i - -0.002. Which is greater: 2 or j?
j
Let m = -9 - -14. Suppose 0 = -2*t + m*t + 909. Let q = t - -6967/23. Is q >= 0?
False
Let m be 41/(-30) + (-8)/60. Suppose 2*u = -u + 12. Suppose u*k + 3 + 5 = 0. Which is greater: k or m?
m
Let s = 332 - 363. Is s greater than -91/3?
False
Suppose 39*k = p + 41*k - 4, 0 = 5*p - 5*k + 10. Which is greater: 3/247 or p?
3/247
Suppose -4 = v + 3*z, -2*v + 32 - 8 = -2*z. Let j = -9 - -2. Let f be (5 + j)*(-7)/2. Which is smaller: v or f?
f
Let p be (-1 + 1 - -3)*1. Suppose 3*z + k = 4*z + p, -2*k = -5*z. Suppose 5*j + z = -13. Which is greater: j or -2?
-2
Let p = 4 - 22. Let o be 0 - (-5)/(15 - -5). Which is smaller: o or p?
p
Let h(w) = -w**3 + 8*w**2 - 4*w - 11. Let u be h(7). Suppose 3*m - 2*m = -u. Let p be ((-8)/(-6))/(3/(-18)). Which is smaller: m or p?
m
Let b = 20.38 + -20. Let c = 172.28 - 172. Let r = b - c. Is r != 32?
True
Let l = -40732207/1880 + 173325/8. Let n = -2/47 - l. Which is smaller: n or -1/13?
-1/13
Let a be ((-2)/12)/(-3*(-16)/(-1656)). Which is greater: 5 or a?
a
Suppose 24*m = -5*k + 27*m - 202, -k = -2*m + 46. Which is smaller: -39 or k?
-39
Let k(f) = -13*f - 1. Let m be k(-1). Let p(i) = i - 8. Let a be p(m). Suppose 4*s - s - 4*c = 3, -c + a = 4*s. Which is smaller: 4/5 or s?
4/5
Let g = 5 + -4. Let w be (-3 - 37/(-13)) + (-200)/52. Let s be 1 + g/2*w. Which is smaller: s or 2/11?
s
Suppose 3*x + 83 - 53 = 0. Let j = -10 - x. Is j >= -2/123?
True
Let j = 13 - -20. Let f = j - 33. Let k = 0.3 - -0.7. Which is smaller: k or f?
f
Suppose 5*x - m = -164 + 44, 0 = 2*x - 3*m + 48. Let w = x + 119/5. Let s = 16/11 - 113/55. Which is bigger: s or w?
w
Let q = -14 + 9. Let s be 2/(4 + -3 - (-15)/(-18)). Let y be 3/(-9) - (-4)/s. Is y less than q?
False
Let i = -279221/209 - -1336. Is 0 equal to i?
False
Let z be (4 + -2)*((-403)/39 - -10). Which is greater: 11.9 or z?
11.9
Let t = 81652658/456214913 + -5828/26059. Let i = -6/287 + t. Which is smaller: i or 0?
i
Let u be 19/3 + (-6)/18. Let t be (-4)/(-8)*u*-4. Let a = -13 - t. Which is greater: a or -2?
a
Suppose -20*k = -0*k + 920. Is k greater than -46?
False
Let p = 17 + -22. Let h be (2 + -2)*p/5. Let d be (-130)/(-45) - (h - -3). Is 0.3 greater than d?
True
Suppose 5*z - 112 = -2*t + 3*t, 0 = 4*z + 3*t - 82. Suppose 3*q + 21 = 2*j - 0*q, -5*q = 3*j - z. Let v = j + -8. Which is bigger: v or -0.01?
v
Suppose x + 48 = -3*x. Suppose 0 = 2*h - 3*z - 24, 3*z = -5*h + 2*z + 60. Let m = x + h. Is -1 greater than m?
False
Let g = 11163/5830 - 3/530. Let q be 4/(-22) - (-280)/88. Is g less than or equal to q?
True
Let s be ((-27)/8)/((-54)/(-72)). Let r = -0.8 + -2.2. Is s greater than r?
False
Let q(p) = 4*p**3 - 7*p**2 - 13*p + 24. Let u(n) = 3*n**3 - 8*n**2 - 13*n + 23. Let s(k) = -2*q(k) + 3*u(k). Let g be s(11). Is -2/15 greater than g?
True
Let r be (-4 + 154)*(-2)/(1 + 3). Let f = r - -677/9. Suppose l - 3*l + 2 = 0. Do l and f have different values?
True
Suppose 2*i + 280 = r, 26*r - 29*r + 140 = -i. Is -141 < i?
True
Let n = 800 + -509. Which is smaller: n or 0?
0
Suppose 4*m - 3*d - 75 = 0, -43 - 33 = -4*m + 4*d. Suppose 3*z = -0*z + m. Are 7 and z unequal?
True
Suppose -3*a + 55 = 2*a - i, 4*i = -20. Let b = -1431 - -1438. Is b > a?
False
Suppose 0 = 5*p - r + 15, p - 4*r + 5*r + 3 = 0. Let a be (p + 2)*(-24)/(-4). Let o = 4 + a. Is -2 at most as big as o?
True
Let u be ((-3)/(-6) - 1)*-5. Let x be 8/(-2) + 4 - 2. Let r be (6/2 - 4)*x. Is r bigger than u?
False
Let c be (-2)/4 - (-1 - (-5414)/380). Let j = -69/5 - c. Is j not equal to -1?
True
Let g(a) = a**3 - 14*a**2 + 9*a + 57. Let r be g(13). Which is smaller: 130/23 or r?
r
Let x = 2/353 - 1091/5648. Suppose 4*w - c - 1 = 0, 4*w - 3*w + 3*c = 10. Which is smaller: w or x?
x
Let p = 1/73004 - 387943277/1533084. Let g = p + 253. Which is greater: 0 or g?
0
Let b = 30 + 10. Let g = -100 + b. Which is bigger: g or -59?
-59
Let g(x) = x**3 + 26*x**2 + 24*x - 12. Let i be g(-25). Which is greater: i or 11?
i
Let q = -1/886 + -441/1772. Which is greater: q or -1077?
q
Let o be 2*(-86*(-5)/(-100) - -4). Which is bigger: o or -5?
o
Let m be (-245)/(-1560) - (-4)/(-24). Let c = -5/13 - m. Is c less than or equal to -1?
False
Let u be 0/(15/6*(2 - 0)). Which is smaller: 2/13 or u?
u
Let h(t) = -t**2 - 9*t - 1. Let j(o) = o - 1. Let n(x) = -h(x) - 4*j(x). Let k = -15 + 11. Let s be n(k). Which is smaller: 3/16 or s?
3/16
Let z = 817 + -874. Is -58 greater than z?
False
Let m = 460 - 527. Which is smaller: -66 or m?
m
Let j = -68 + 60. Let v be (-4)/j*(1 -