 1?
d
Let l = -53.5 - -53.9. Which is smaller: l or 25?
l
Let l = 3 + -3.02. Let g = -0.03 - l. Which is bigger: g or -2/3?
g
Let w be (-191)/(-7) + (-2)/7. Let j be (-3)/(3*(-3)/w). Let n = 29 + -21. Is j < n?
False
Suppose -n + 2 = -5*n + g, g - 2 = 2*n. Suppose n*k + 5*k = 3*l + 51, 4*l + 8 = 0. Let v be -3 - -5 - k*-1. Is -0.1 >= v?
False
Suppose -21*r + 1388 = -1741. Is 154 at most r?
False
Suppose -35 = -r - 4*r. Let w(j) = -j**3 + 6*j**2 + j. Let b be w(6). Let l = 14 - b. Are l and r nonequal?
True
Suppose 0 = -3*z + 349*t - 345*t - 4, 14 = -2*z - 3*t. Is -77/29 greater than or equal to z?
True
Suppose 4*u - 9 = u + 4*i, 2*u - 5*i = 6. Suppose 7 = 7*l - 2*l + u*y, 13 = -5*l + 2*y. Let b be (-1 + 0)*l/(-27). Is b less than 0?
True
Let i(o) = -4*o + 6. Let t be i(-2). Let m = t + -13. Is m at least as big as 17/10?
False
Let b = 61 - 61.2. Let x = 0.2 + -0.3. Let l = x + 0.2. Which is smaller: l or b?
b
Let b be (88/(-144)*3)/(2/12). Which is smaller: b or -5.3?
b
Let u be (4/(-258))/(2/(-3)). Let t = 113/688 + u. Is t bigger than 1?
False
Let a = 118 + -116. Let z be (-22)/(-18) - 4/18. Let r be 4/(-3) + (3 - z). Which is smaller: r or a?
r
Let r = -1186 - -1179. Which is greater: r or -41/7?
-41/7
Let h(q) = -13*q - 116. Let k be h(-10). Suppose 4*j - 2*r = -32, -4*r = j - 12 + 2. Let f be k/18 - j/27. Is -15 at least f?
False
Let n(q) = -3*q + 22. Suppose -b - 28 = -5*b. Let k be n(b). Which is bigger: -3/7 or k?
k
Let q = -26.8 + 27.8. Is -205 != q?
True
Suppose -10 = -m + 3. Suppose 2*p + 1 = m. Suppose i = 4*i - 18. Does i = p?
True
Suppose -3*q - q = -24. Suppose -q*n + 10*n - 32 = 0. Which is greater: 6 or n?
n
Let a = 6 + -3. Suppose -a*z - z - 12 = 0. Let r(g) = 2*g**2 - 116*g - 122. Let t be r(59). Which is smaller: z or t?
t
Let h be 2/20*95*(-132)/24. Which is bigger: h or -52?
-52
Suppose -p = 5*o + 10, -2*o + 4*o - p + 4 = 0. Let h be o/(-12)*9/(-48). Which is bigger: h or 1?
1
Suppose 126*s - 91*s = 35. Which is greater: s or 4.4?
4.4
Let i(p) = p**3 + 4*p**2 + p + 4. Let g be i(-4). Suppose 5*h - 10*h - 10 = g. Which is smaller: -5/3 or h?
h
Let f be ((-14)/2 - 144) + -6. Which is bigger: -156 or f?
-156
Let r = -2/63 - 64/1953. Let a be 0/(-3*(-1)/3). Which is greater: a or r?
a
Let k(b) = b**2 - 15*b + 50. Let o be k(10). Let v be (-8)/(-21) - (-3)/(-9). Which is greater: o or v?
v
Suppose -64 = 2*q - 24. Let r be (4/2 + -3)*(-24 - q). Is r bigger than 12/11?
True
Let y(z) be the third derivative of -z**4/24 + 14*z**3/3 + z**2. Let c be y(9). Is 18 at most c?
True
Suppose 26*z - 25*z + 275 = 0. Which is bigger: -273 or z?
-273
Let g be 3/(-20) + (-8)/(-20). Suppose 5*o - 8*o - 3 = 0. Is g at least o?
True
Suppose -2*y + 9 - 3 = 0. Let p be 2*(-2)/12*(-5 + -1). Is p less than or equal to y?
True
Let p = 10 + -4. Let g = p - 10. Let o be g - (-6 - -3 - -3). Which is smaller: -3 or o?
o
Let u(d) = -d**2 - d + 2. Let z be ((-11)/(-33))/((-1)/6). Let q be u(z). Let w = -392 + 12547/32. Is q at least as big as w?
False
Let m(f) be the first derivative of f**3/3 + 6*f**2 + 10*f + 60. Let v = 0 + -11. Let z be m(v). Which is greater: z or 1/13?
1/13
Let a = 25 + -25.19. Let t = 0.39 + a. Which is smaller: t or 1/4?
t
Let j(b) = 137*b**3 - 2*b**2 + 1. Let q be j(1). Is 138 > q?
True
Let i(g) = g**3 + 3*g**2 - 5*g + 3. Let c be i(-4). Let b = -4156 - -4158. Does c = b?
False
Let z = 7.039 - 0.039. Let p = -3 + z. Is -6 smaller than p?
True
Let n = 162 - 87. Are n and 77 equal?
False
Let m(q) = q**3 + 34*q**2 + q + 45. Let d be m(-34). Let s(b) = 13*b**2. Let r be s(-1). Is d at least r?
False
Let b(l) = 5*l**3 - 16*l**2 + 6*l - 5. Let w be b(3). Let p = -20701/348 + -21/116. Let o = -853/15 - p. Which is bigger: w or o?
w
Suppose -40 = -3*x + 4*j, -5*x - 2*j + 0*j = -110. Suppose -154*o = -150*o - x. Is o smaller than 4?
False
Let x(s) = -4*s + 10. Let d be x(5). Let y be 8/(-40) + 18/d. Which is greater: -5 or y?
y
Let x = 43 - 41. Suppose t - 3*n - 24 = 2*t, -3*t = x*n + 51. Which is smaller: -14 or t?
t
Let x be 13844/39*120/(-12). Let h = -3550 - x. Are 0 and h equal?
False
Suppose 0 = 4*j - 27 - 9. Let h = 15 - j. Let l be (3/h)/(1/2). Do -1/16 and l have the same value?
False
Suppose 4 = -3*u - 3*v - 5, 3*u = -v - 1. Which is smaller: -1/295 or u?
-1/295
Let y = -22748/1477 + -66/211. Which is greater: y or -1?
-1
Let u(p) = -p**3 + 7*p**2 - 4*p - 6. Let a be u(6). Suppose -3*f + 3*m = 21, -2*m = -4*f + a - 36. Let i be (12/(-5))/(1/((-20)/(-6))). Does f = i?
True
Let a = -1669/1545 - -22/103. Does a = 2?
False
Let s = -1.5 - -1.84. Let q = s - -14.66. Let d = -15 + q. Is 14 greater than d?
True
Let v be 1*-1 - (9 + -9). Let f(a) = -12*a**3. Let l be f(v). Is l not equal to 12?
False
Let q(g) = -g**3 - 34*g**2 - 30*g + 98. Let m be q(-33). Is 1/482 greater than m?
True
Let x = 5.19 - 0.19. Let y = x + -5.5. Is -0.1 greater than or equal to y?
True
Let p be 8 - (0 + 605/33). Let b be 1 + (1 - -5)*-2. Is b less than p?
True
Let f = -170 + 172. Suppose i - 2*d + 2 = -0*i, d - 13 = -i. Let w be f*-1 - i/(-12). Which is bigger: -1 or w?
-1
Let u = 14.97 - -0.03. Let a = u + -14.9. Let y = -0.01 + -0.02. Is y smaller than a?
True
Let b be ((-4)/(8/(-13)))/((-1)/(-2)). Suppose -5*m = s - 2*s + 13, -m - b = 5*s. Is s at least as big as -4/3?
False
Let x be 4 + 3*(-3 + 2). Let n = 506/21 + -1847/63. Let q = 5 + n. Which is smaller: x or q?
q
Let a(i) = i - 1. Let w be a(-3). Let b(t) be the first derivative of -t**4/4 - 5*t**3/3 - 2*t**2 + t + 124. Let s be b(w). Which is smaller: s or 1/4?
1/4
Let x = -278.9 + 259. Let p = x + 20. Is -12 greater than p?
False
Let g = -3 + 3.03. Let r be (465/(-18) - -1)*(-6)/(-40). Let i = -33/8 - r. Which is smaller: i or g?
i
Let t(p) = p**3 - 4*p**2 - 4*p - 6. Let o = 1 - -1. Suppose -v = -o - 3. Let w be t(v). Which is greater: 8 or w?
8
Let w(b) = b**3 + 2*b**2 - 2*b + 2. Suppose -4*j + 3 = 5*c - 2*c, -5*c = -3*j + 24. Let m be w(c). Which is greater: 1/57 or m?
1/57
Let d = 8 - 3. Let i = 22.845 + -0.045. Let s = i - 23. Which is bigger: s or d?
d
Suppose 2*b + b + j - 7 = 0, -5*b - 15 = -5*j. Which is smaller: b or 6.7?
b
Let g be 4/(-16) - (-197)/4. Suppose -14*w = -7*w - g. Are 7 and w nonequal?
False
Suppose 2*i = -3*s - 1, -6*s + 7*s = -i. Suppose 5*w - 4*k = 21, -w + 4*w - 15 = 3*k. Is w at most s?
False
Let s(b) = -2*b - 29. Let j be s(-17). Suppose -4 = n - j*n. Which is greater: n or -2/67?
n
Let r be ((-15)/9)/((-45)/18). Which is smaller: r or -0.86?
-0.86
Let p = -3.3 + 3.2. Which is smaller: p or 2/217?
p
Let b(f) = -f**3 + f**2 - 10*f - 4. Let p be b(6). Which is smaller: p or -243?
p
Let q be 6/(-30) + (391/5 - 0). Suppose -5*s = -1 - 9, -s = t. Let w be t/q + (-4)/(-12). Is w at least -1?
True
Suppose -4*r = -5 + 65. Let f = r + 11. Let c be -3 + 6 - (f - -6). Does 2 = c?
False
Suppose 2*m - 23*v = -22*v - 235, -4*v + 340 = -3*m. Is -115 greater than or equal to m?
True
Let w(q) = q**3 - 4*q**2 + 5*q - 3. Let r be w(2). Is r at least 2/339?
False
Let q = 18952/5695995 + -2/8831. Which is greater: -1 or q?
q
Let i = -6623/22 + 301. Are i and -0.3 nonequal?
True
Let s = -7 + 38. Suppose 0 = -5*b - 3*k - s, 3*b - 13 = -3*k - 34. Suppose 0*z = -3*z - 15. Is z > b?
False
Let q be -1 - -2 - (4 + -2). Which is smaller: -3/46 or q?
q
Let b = 2 + -8. Let d = -9 - b. Suppose 2*w + 4 = -0. Which is smaller: d or w?
d
Let c be -20 - (10/(-5) + 0). Let s be (c/(-27))/(4/(-42)). Let a be (-1)/4*8/s. Is -0.08 < a?
True
Let s(y) be the first derivative of y**4/4 + 13*y**3/3 + 4*y**2 + 17*y + 9. Let k be s(-13). Let j = k - -603/7. Are j and -1 equal?
False
Let v be ((-403)/65)/(42/(-15)). Is 1 at least v?
False
Let z(t) be the third derivative of -t**5/20 + t**4/24 + 4*t**2. Let m be z(-1). Let f be (-8)/(-6) - (-3 - m). Which is smaller: 6 or f?
f
Suppose 8*u + 56 = 12*u. Suppose -3*q = -3*d + u - 2, -15 = -5*q. Suppose d*b = 6*b. Is 0.12 equal to b?
False
Suppose 120 = 517*c - 523*c. Let a(z) = -2*z**2 + 4*z - 1. Let w be a(4). Which is smaller: c or w?
c
Suppose -15*y + 6*y - 18 = 0. Is y >= 0.16?
False
Suppose 3*n - 17 + 137 = 3*g, -4*g + 120 = 4*n. Is 67/2 bigger than g?
False
Let w = -4 + -4. Let j = 72.3 - 78.3. Let n = j - w. Which is smaller: -5 or n?
-5
Suppose -546 - 2450 = 4