 or o?
2
Let u(k) be the third derivative of -1/24*k**4 + 0 - 1/3*k**3 + 0*k + 2*k**2. Let t be u(-7). Which is smaller: t or 4?
4
Suppose 208 = 29*w - 546. Suppose -2*j = -53 - 3. Which is smaller: j or w?
w
Let n(u) = -3*u + 30. Let f(i) = -7*i + 10. Let l(r) = -r - 1. Let h(x) = f(x) - 5*l(x). Let q(z) = 7*h(z) - 4*n(z). Let m be q(-7). Which is bigger: 4/9 or m?
4/9
Suppose 121*n - 30 = 106*n. Let t(h) = h**2 - 6*h - 1. Let p be t(6). Let g = -1 + p. Which is smaller: n or g?
g
Let l = 52.6 - -83.4. Which is smaller: l or -2/3?
-2/3
Suppose -5*f + 12 = -4*y + 31, 5*y + 4 = -3*f. Let z = -2/287 + 1170/3157. Which is smaller: y or z?
z
Let w = 131 + -73. Suppose 7*u - w = -9. Are u and -1 unequal?
True
Suppose v = v + 8*v. Which is greater: v or -1/102?
v
Let p = -29 - -58. Let b = p - 28. Do b and -2 have the same value?
False
Let s = 1108/7 + -158. Let y = s - 11/14. Is 0.1 bigger than y?
True
Suppose 5 - 1 = 2*q. Let r(b) = b**3 - b**2 - b - 1. Let x be r(q). Suppose -2*u + 19 = -j, 0 = -j - 4 - x. Is 5 smaller than u?
True
Suppose -3*b + 27 = -2*o - 4*b, 0 = -o + 2*b - 21. Suppose 4*f = 4*k + 52, k + 2*f = -f - 21. Is k less than o?
False
Let i(m) = 23*m**2 + 3*m - 5. Let q be i(2). Let x be (-14)/35*q/(-6). Let s = 284/45 - x. Which is greater: -3 or s?
s
Let u(j) = -7*j + 113. Let p be u(21). Are -35 and p unequal?
True
Let b = 1159619/861042 - -593/2158. Let j = b + 6/133. Is -2 < j?
True
Let a(j) = j**3 - j**2 + 5*j + 3. Let m be a(-4). Is m < -96?
True
Suppose -10 = 11*j + 1. Do -2/1143 and j have the same value?
False
Let y be (-4)/(-6) - 3/(-9). Let i(h) = 10*h - 6. Let c be i(-9). Let g = 292/3 + c. Which is smaller: y or g?
y
Let j = -347/4 + 86. Let w(v) = -v**3 - 11*v**2 + 11 - 1 - v - 2*v**2 + 24*v**2. Let g be w(11). Which is smaller: j or g?
g
Let h = -1.3 + 0. Let u = 5.21 - 5.91. Let k = h + u. Is -2 at least as big as k?
True
Let h = 840 + -1440. Which is smaller: h or -599?
h
Suppose -3*w - 41 + 636 = -2*p, 0 = 3*p - 3*w + 897. Which is smaller: -304 or p?
-304
Let h = -10 - -11. Let o be (-2)/h + (0 - -23). Suppose -3*j - 2*b = -5*b + o, 0 = -j - 3*b + 5. Is j smaller than -7?
False
Let c(p) = -p**2 - 8*p - 3. Let o be c(-7). Suppose -28 = -2*x + 4*k, x + 3*x = o*k + 36. Suppose 5*a + 3*m + 45 = 0, x*m = -7*a + 4*a - 27. Is a < -8?
True
Let z = -15 - -337. Is z less than 323?
True
Suppose 9*p - 8 = 7*p. Let t be (-192)/30 + p/1. Is -2 < t?
False
Let s be (-180)/330 - 2342/22. Which is smaller: -106 or s?
s
Suppose q = -5*g + 210, 4*g - 5*q = -2*q + 187. Suppose -g - 77 = -5*t. Is t < 24?
False
Let f be (-1)/(-3)*(-5 + 3). Is -36 != f?
True
Let g be (-21)/(-35)*480/1584. Let p = 1 + -5.8. Let u = p - -0.8. Which is bigger: u or g?
g
Let c be 12 + 2048/(-180) + (-2)/9. Does 26.8 = c?
False
Let c = -235 + 138. Let j = -86 - c. Which is smaller: 16 or j?
j
Let r = 520 - 235. Let s be (-4)/220*r/(-12). Let n = 2/11 - s. Which is smaller: n or -1?
-1
Let t be (-3 - 75/(-21))/(-2). Let o = -13 + 17. Suppose -q - 2*w = -3*w - 3, 5*q = -o*w - 21. Which is smaller: t or q?
q
Suppose -4*f + 4*h = -316, 0 = -3*f - 4*h - 76 + 327. Suppose -83*b - 2 = -f*b. Which is bigger: -8 or b?
b
Let y = 659 - 804. Which is smaller: -146 or y?
-146
Let p(k) = k**3 - 5*k**2 + 3*k + 5. Let b be p(4). Let h(v) = v**3 - v**2 - 134. Let x be h(0). Let a be 6/14 - x/(-182). Which is greater: b or a?
b
Let w = 0.28 + -0.6. Let o = w + 0.65. Let s = -0.33 + o. Is 0 bigger than s?
False
Let z = -3016 + 3019. Let b = -1043/10 + 217/2. Is b at most z?
False
Let r = 28 + -33. Let h be 2/r*-1*(-3)/6. Are -24 and h nonequal?
True
Let a = 16.05 - 0.05. Let r = -139.7 - -140.7. Is a greater than r?
True
Let n = -374 - -382. Which is bigger: n or 56?
56
Let u = 3 - 0. Let c(y) = y**3 - 12*y**2 + 27*y - 21. Let g be c(10). Let m be -2 - g/(-7) - (1 + 2). Which is bigger: m or u?
u
Let t be 2/(-11) + 68/(-42823)*-109. Which is greater: t or 1/4?
1/4
Let o be -5 + 7/(21/(-732)). Is -248 equal to o?
False
Suppose 0 = 4*o + 4*j - 32, -5*j = -2*o + o + 14. Let z = o + -35. Is -25 < z?
False
Suppose -7*j = 8*j - 9*j. Which is smaller: j or 8/149?
j
Suppose -3*z + 3*c = 0, -4*c + 5 = 2*z - 1. Let o be (-9 - 0)*z - -2. Which is smaller: o or -5?
o
Let t be (-8)/(-6) + (-812)/(-21). Let i be (-4 - -1) + 3 + 16/t. Let h be (0 - 0)/(2 - 0). Is h <= i?
True
Suppose -140 = -3*o - x, 4*x - 6*x - 200 = -4*o. Suppose -43*f = -o*f - 10. Are -5/2 and f equal?
False
Let u be (-4)/18 - (-17)/(918/66). Which is bigger: -2/21 or u?
u
Let w be 2/5 - (-9)/15. Suppose -3*f + 3*t + w = 7, 2*f + 6 = 4*t. Which is greater: -2/73 or f?
-2/73
Let l = 274 + -274. Does -3/74 = l?
False
Suppose -5*s - 9*s - 217 = -231. Let w be -1 - (186/(-70))/3. Is s < w?
False
Let i = 247 - 246. Is 2/61 smaller than i?
True
Suppose -127*x + 117*x = 0. Let k be 392/606 + 2/(-3). Is k > x?
False
Let n = 13.58 + -8.58. Is -27/5 less than or equal to n?
True
Let b = 0.064 - -50.936. Let o = b - 45. Which is smaller: 4 or o?
4
Let b = 1011 + -605. Which is bigger: 408 or b?
408
Let t be (-46)/432 - 132/352. Do t and 0 have different values?
True
Suppose v = f + 5 + 5, -42 = -4*v + 5*f. Suppose 3*k = -k - v. Let w be -1 - (-1)/1 - k. Is 3/4 not equal to w?
True
Let d = 306 + -82. Is 224 equal to d?
True
Suppose -7 = -2*p + b, -5*b = -4*p - 0*b + 11. Suppose -5*x - 5*t = 20, 2*x - 7 = -3*x + p*t. Is -1/2 at least x?
True
Let s = -0.569 - 0.031. Let p = s - -2.6. Let y = -3 - -7. Is p not equal to y?
True
Let h = 19.25 + -0.25. Let j = h - 33. Which is smaller: j or 1?
j
Let k(m) = -m**2 - 17*m - 41. Let c be k(-14). Let t be (2/6)/((-57)/18). Which is smaller: c or t?
t
Suppose 2*a = 3*a - 23. Suppose 0 = -3*t + o + a, 0 = 4*t + o - 0*o - 33. Suppose 7*r = 5*r + t. Is 4 less than or equal to r?
True
Let d = -88 - -8. Which is greater: -79 or d?
-79
Let k = -18 + 20. Suppose -4*a = -k*a. Which is smaller: -1/44 or a?
-1/44
Let d(p) = p - 3. Suppose 3*b = -0*b + 9. Let a be d(b). Let f = -162 - -1781/11. Is f greater than or equal to a?
False
Suppose 0*x + 2*x - 5*n + 1 = 0, -2*n + 10 = 4*x. Let j = -3 + x. Let l = -1 - j. Are 4/9 and l equal?
False
Let f(b) = -b**3 - 12*b**2 - 8*b + 12. Let t be f(-11). Let d = t + 28. Is 7 equal to d?
True
Let m be 65116/146 + 12/2. Which is greater: m or 454?
454
Let j = 44 - 21. Let s = 28 - j. Suppose l = 4 - s. Is -1/4 <= l?
False
Suppose 0 = 6*p + 28 - 52. Let s(w) = 13*w**2 + 4*w + 3. Let x be s(-3). Let m be (6/x)/(1/p). Which is smaller: m or -1/4?
-1/4
Let r = 168/25 + -311/50. Let i be -4*(-1 - (22 - 3)). Which is bigger: r or i?
i
Let g = -5 + 14. Suppose 7*i - 21 = 42. Does g = i?
True
Let t = 235 - 250. Are 5 and t nonequal?
True
Let o be (-26)/(-91) + (-115)/35 + 4. Is -24/19 less than or equal to o?
True
Let x = 25/468 + -116239/3276. Are -36 and x non-equal?
True
Let u = -42979 + 4512743/105. Let k = 10144/35 + -290. Let d = u + k. Are -1 and d non-equal?
True
Let x = -4.87 - -4.21. Which is smaller: 0 or x?
x
Let i = 46 - 34. Suppose 17*w = i*w. Is -14 bigger than w?
False
Let r = 0.102 + 0.198. Is r less than or equal to -32?
False
Let o = 3 - 2.7. Let t be (20/25)/(2/60). Suppose 3*w = -3*g + t, -g = 5*w - 2*g - 46. Which is smaller: w or o?
o
Suppose 0 = -o - 0*o + 3*r - 12, -2*r = 3*o - 8. Let g(d) = -7*d**3 + 3*d**2 - 3*d + 2. Let q be g(2). Let y be -4 - (-7)/((-98)/q). Is y != o?
True
Let f = 871807/605 + -1441. Let z = f + 1783/9680. Let d be ((-2)/(-10))/(9 - (-572)/(-65))*-1. Which is bigger: d or z?
z
Let s(r) = -r + 4. Let g be s(3). Let z = -352 - -351. Which is smaller: z or g?
z
Let q = -532701/1219 - -437. Which is greater: 0 or q?
q
Let p = -45 + 4. Let t = 1437 - 1477. Is p equal to t?
False
Suppose 2*d = 3*o + 5*d + 9, 13 = 5*o - 2*d. Let m be 1 + ((-2)/11 - o). Which is greater: m or 0.3?
0.3
Let v = 5 - -2. Let a be 20*(70/8)/v. Let n be 4/10*a/65. Do 2 and n have the same value?
False
Let c(y) = y**3 - 13*y**2 + 14*y + 15. Let i be c(12). Is i smaller than -2/13?
False
Let w = 0.833 + 45.067. Let p = w + -46. Which is smaller: p or 5/2?
p
Let m = 500 - 470. Which is bigger: 28 or m?
m
Suppose 4*f - 25 = s, -5*s + 3 = 2*f + 18. Let d(t) = 2*t**2 + t - 1. Let k be d(-2). Suppose -5*j = -0 - k. Which is smaller: f or j?
j
Let p = -7.017 - -7