ler: 16/3 or s?
16/3
Let g(d) = -d**3 + 4*d**2 - 3*d + 1. Let a = 22 - 20. Suppose -a*s = -0*s - 6. Let u be g(s). Which is smaller: 1/14 or u?
1/14
Suppose -3*z = 3*v - 13 + 10, 0 = z - 1. Is v at most as big as 29/30?
True
Let w = -3612 + 3609. Let v(q) = -q**2 + 3*q + 3. Let o be -3*(1/(-3) - 1). Let i be v(o). Is i at least w?
True
Let s = -0.0721 + 0.1721. Which is greater: 427 or s?
427
Let v = 0.7356 + -0.1356. Are 24 and v non-equal?
True
Let t = -0.2 - -0.3. Let f = -0.1 + t. Let v(x) = -x**3 + 22*x**2 - 80*x + 1264. Let r be v(21). Which is smaller: f or r?
f
Suppose 15*u = -43*u - 29522. Is -510 at least u?
False
Let t be ((-1404)/128 + 11)/(6/(-56)). Are -1 and t nonequal?
True
Let m be (23 - 24)*10*-2. Which is smaller: m or -5?
-5
Let s = -21 - -136. Let o = -114.984 + s. Does -0.2 = o?
False
Let j = 5 + -10. Let o be (-4 + (-354)/(-12))/(1/6). Suppose q - o = -157. Which is greater: j or q?
q
Let q = 0.008 - 26.008. Let f = q + -6. Is f < -0.1?
True
Suppose 3*k - 2*l = 2 + 1, -3*k + 12 = -5*l. Suppose 0 = -3*f + 5*x + 1142, -3*f + 374 = -2*f - 3*x. Let y = f - 2339/6. Which is greater: k or y?
y
Let x be 165/(-9) - 4 - (-2)/(-3). Which is greater: -22 or x?
-22
Suppose -4*u - 26*r + 25*r = -4205, -r - 4195 = -4*u. Which is bigger: 1052 or u?
1052
Let w = -1577 + 11076/7. Is 4 < w?
True
Let o(z) be the third derivative of 13*z**6/40 - z**5/20 + z**4/12 - z**3/6 - 3*z**2. Let q be o(1). Which is bigger: 38 or q?
38
Let i be ((-1 - 40) + 1)*135/(-324). Suppose -a - 2*u = 2*a - 40, 2*a + 2*u - 24 = 0. Are a and i equal?
False
Let j(y) = -6*y**2 - 4*y - 8. Let q(f) = -1 + 3*f**2 - f**2 - 3*f**2. Let p(k) = j(k) - 5*q(k). Let r be p(-4). Which is smaller: r or -4?
-4
Let q be 3/9*-3 - 2/(-5). Which is bigger: -2 or q?
q
Let m(l) be the third derivative of -l**6/40 + l**4/12 - l**3/6 - l**2. Let j = 1 + 0. Let u be m(j). Which is smaller: -1 or u?
u
Let o = 329 - 328.7. Which is smaller: 10 or o?
o
Let t(i) = -i - 7. Let p(l) = -l**3 + 6*l**2 - 9*l. Let m be p(3). Let b be t(m). Is -1 <= b?
False
Let q = 145 + -159.8. Let t = q - 1.2. Let x = -16.1 - t. Which is smaller: x or -3/8?
-3/8
Suppose -8 = -7*p - p. Let q be 14/18 - p - 1915/90. Which is greater: -23 or q?
q
Suppose 6*f - 2*f - 24 = -d, 0 = -4*d - f + 66. Suppose 13*m + 23 + d = 0. Which is smaller: -33/8 or m?
-33/8
Let r(w) = -w**3 - 4*w**2 - 6*w - 2. Let g be r(-3). Suppose 4*x - 2*x = 16. Which is bigger: x or g?
x
Let a be (-4)/6 - (-10)/6. Suppose 6 = -5*z + a. Let h = -1/55 + 119/495. Is z smaller than h?
True
Let d(w) = -2*w**2 + 42*w - 79. Let j be d(19). Which is greater: j or -92/45?
-92/45
Let i = 273 + -294.1. Let m = 21 + i. Is -3 bigger than m?
False
Let j be (-149 - -144) + (-1 - 3*-2). Which is smaller: 1/19 or j?
j
Let g = 258 + -223. Which is greater: 106/3 or g?
106/3
Let d be ((-14)/5 + 1)*(-840)/35028. Is 0 less than d?
True
Let b be (-2 - (15/(-12) - 2))*88. Let o = b + -108. Which is smaller: o or 7/6?
7/6
Let a(y) = 12*y - 4. Let u be a(1). Suppose u + 13 = 7*q. Suppose 2*s + 4 = -4*k, -5*k = -3*s + 1 + 15. Which is bigger: q or s?
q
Let b be (3/112)/((-10)/(-525)*3). Which is bigger: 1 or b?
1
Let t = -53/5 + 57/5. Let r = -2 - -1. Let z = r + t. Does 1 = z?
False
Let w(x) = -2*x**3 - 18*x**2 - 28*x - 1. Let v be w(-7). Is v > 6/125?
False
Let q = 17.9 + 2.1. Let w = -19.9 + q. Which is greater: 7 or w?
7
Suppose 2*b - 2 = 8. Let h(u) = u**2 + 8*u - 9. Let p be h(b). Let k = 243/4 - p. Is 5 greater than k?
True
Suppose -41*o - 5520 = -49*o. Do o and 689 have the same value?
False
Let b = 93.12 - -1.88. Which is bigger: b or 2/3?
b
Let q(s) = s**2 - 10*s - 35. Let a be q(12). Is -9 greater than a?
True
Suppose -4*w - 14 = -n + 15, 2*n + 14 = -w. Let t = -10 - w. Let m = t + 9. Which is smaller: 9 or m?
m
Let f(p) be the third derivative of 0*p + 0*p**4 - 1/15*p**5 + 0*p**3 - 11*p**2 + 1/120*p**6 + 0. Let c be f(4). Which is smaller: -6/11 or c?
-6/11
Let b be 220/(-819) + 16/56 - 0. Let s = -256/1287 + b. Is -1/12 bigger than s?
True
Let q(i) be the first derivative of i**4/4 + i**3 - 5*i**2/2 - 4*i + 4. Let h be q(-4). Let d be -3*(16/(-54))/(-2). Is d equal to h?
False
Let c = 144028/175 + -823. Is c less than or equal to -1?
False
Let l be 6 + (-5)/(15/(-6)). Let k(d) = -d**3 - 9*d**2 + 24*d + 13. Let w be k(-11). Let h = w + l. Which is smaller: 2 or h?
h
Let w be 3 - -1 - (-10)/(-5). Suppose k = -w*k. Is k equal to -5/4?
False
Let t = 0.081 + -0.102. Let w = t + 0.021. Which is smaller: w or 2/11?
w
Let g = 478 - 478. Is g > -2.9?
True
Let i = 25 + -24. Let g be i/((-69)/(-18) - 4). Is g >= -4?
False
Suppose 3*a - 4*c = 100, -30 = -5*a + 4*a + 3*c. Which is bigger: 38 or a?
38
Let w(m) = 3*m + 12. Let d be w(-6). Let i = -5 - d. Which is smaller: 16/9 or i?
i
Let j be 15 + -3 + (-4)/1. Suppose -j*w + 3*w = 2*g - 12, 5*g - 9 = -2*w. Which is bigger: g or 4?
4
Suppose 121*t - 5*t + 42108 = 0. Which is bigger: -364 or t?
t
Suppose -3*i - 12 = -p, p = -2*i - p - 16. Let l be i/(-2)*-1*(-18)/(-15). Is l equal to 5?
False
Let c(f) = f - 1. Let i be c(-4). Let r(n) = -3*n + 2. Let a be r(i). Which is smaller: a or 16?
16
Suppose -4*u + 37 = 4*d - 9*d, u - 4 = -4*d. Suppose -2*m = -6*m + u. Suppose -m*s - 47 = 9. Which is smaller: s or -29?
-29
Let w = 90 + -268. Is w less than -177?
True
Let x(r) = 9*r**2 + 13*r - 8. Let w be x(4). Is 192 <= w?
False
Suppose 0 = 5*o + 195 - 190. Which is bigger: -1/32 or o?
-1/32
Suppose -8*j = 3*j - 220. Let a = -19 + j. Which is smaller: -2 or a?
-2
Let w = 1006 + -13075/13. Which is smaller: 7 or w?
w
Let u = -0.9 - 0.1. Let h be (-1463)/(-950)*-5 + 10 + -2. Do h and u have the same value?
False
Let a = 531 + -615.3. Let i = a - -88. Let u = i + -3.4. Which is smaller: 5 or u?
u
Let r be 0 + (-2)/(-22)*9. Let s = r + -29/22. Let p = 60 + -55. Are p and s unequal?
True
Suppose -25 = -2*q - 3*m, -3*q + 3*m + 19 = -q. Which is smaller: q or 27?
q
Let v(p) = 2*p - 7*p + 13 + 19 + 14. Let l be v(13). Which is smaller: l or -20?
-20
Suppose -m = m. Suppose 3*o + m*o = -2*v - 1, -5*v = 3*o + 16. Suppose 2 = -i - o. Is -5 <= i?
True
Suppose -5*d + 107 = 3*n, -n = 3*n - 4*d - 132. Let i = -33 + n. Which is smaller: 9/10 or i?
9/10
Let f(g) = -g - 17. Let b be f(-16). Let h be (3 + -3)/(b + -1). Let k = -169/20 - -33/4. Which is bigger: h or k?
h
Let n = 332 + -563. Is n at least 1/2?
False
Let p = 70 + -68. Is p at most -2/15?
False
Let b be (-264)/33 - (-446)/38. Is 4 bigger than b?
True
Let t be (276/2070)/((-1)/6). Which is greater: t or -7/48?
-7/48
Suppose r + 4 = -2*s + 23, 23 = 4*s - 3*r. Which is smaller: s or 23?
s
Suppose 3*b + l - 31 = 0, 0 = 3*b - 4*l - 45 + 19. Let t = b + -7. Let s(p) = -p - 7. Let g be s(-7). Which is greater: t or g?
t
Suppose 10 = -0*u + u + 5*z, 5*u - 2*z = -4. Is u less than or equal to -1?
False
Let k = 0 + 0. Let n = -574.9 + 575. Let h = k + n. Which is smaller: h or 14?
h
Let p = -56576/63 - -898. Let g be -2 + 8/12*6. Let r(n) = n - 3. Let d be r(g). Is d at least as big as p?
False
Let h(n) = n**2 + 3*n - 6. Let w be h(-5). Suppose -w + 0 = r. Let x be 4 - (16/36 - r). Is 0 less than x?
False
Let y = 92 + -51. Let n = y - 121/3. Are n and -3/4 equal?
False
Suppose -10*t + 639 = -t. Let r = 109 - t. Which is smaller: 36 or r?
36
Suppose 110 - 1254 = -4*b. Let v = -41 + b. Let r be v/756 + 1/(-4). Is 1 equal to r?
False
Let i be 5740/(-1442) - (-4)/1. Let x(b) = -6*b - 17. Let g(n) = n + 1. Let u(m) = 5*g(m) + x(m). Let h be u(-11). Which is smaller: h or i?
h
Let f = 2 - 4. Let y be 16/(-55)*5/f. Is y greater than or equal to -1?
True
Let x(v) be the third derivative of -v**5/60 - v**4/6 + 2*v**3/3 + 2*v**2. Let a be x(-5). Let d be (-26)/(-40) + (-2)/8. Which is bigger: a or d?
d
Let v be (2 - 2)/(-2) + 19. Suppose o = 9 - v. Which is smaller: -7 or o?
o
Let b = -34 - -59. Let g = b - 27. Which is greater: g or 4?
4
Let t = -3779 - -3781. Let r be 4*(0 - (-9)/30). Are t and r non-equal?
True
Let j(y) be the first derivative of y**4/4 + y**3 + y**2/2 + y + 3. Let a be j(-3). Let n = -1 - a. Are 12/5 and n unequal?
True
Let i(o) = -o**3 + 6*o**2 - 3*o - 7. Let j be i(5). Suppose -27 - 9 = -j*r. Let y be (-1 - 11) + (-12)/r. Which is bigger: -12 or y?
-12
Let h = -820 + 2486. Is h a