 k smaller than 3?
True
Let j be 1 + (26/52)/(1/(-4)). Let g be 2 + 50/(-36)*2. Is j at most g?
True
Let b = 926/3 + -314. Let k = 6 + b. Which is greater: k or 144?
144
Let j = 17233/39 - 442. Let p = 179 + -179. Which is smaller: j or p?
j
Let q = -2/82629 - 82079/22722975. Which is greater: 1 or q?
1
Let a(o) = o**3 + 7*o**2 + 6*o - 1. Let m be a(-6). Let s be 75/27 - 40/(-180). Let k be (0 - m)*s - (-288)/(-80). Which is smaller: -1 or k?
-1
Suppose 7*b = -9*b. Suppose -3*i + 149 = -o, -16 = -b*i + 4*i. Is -162 at most o?
True
Let s(l) = -l**2 - 11*l + 5. Suppose -4*g - 23 = 17. Let p be s(g). Let r = 11302/717 + -23/239. Is p != r?
True
Suppose -y = -5*f + 21, -2*f + 0*y + 14 = y. Suppose 0 = -9*c + f*c + 240. Let g = 179/3 - c. Which is smaller: g or 2?
g
Let u(f) = 4*f - 8*f + 7 + 13 - 8. Let b be u(4). Let m be (b + 0)*4*21/112. Which is bigger: m or 1/4?
1/4
Let u be (0 - 2/16)/((-44)/352). Which is smaller: u or 1/1060?
1/1060
Let o = -27 + 28. Let h be 1 - (o/2 - (-718)/140). Let z = 52/7 + h. Is 2 at most as big as z?
True
Suppose -5*n + 5 = 2*t + 4, 0 = -t + n - 3. Let i = t + 2. Is i >= 1/12?
False
Let m(h) = h**2 + 3*h + 7. Suppose 68 = -9*c + 41. Let k be m(c). Which is smaller: k or 6?
6
Suppose -q + 15 = -50. Suppose -q = -5*h + 10. Suppose 2*s + 17 = h. Is s greater than -2/7?
False
Let n be 4519/33 + 6/18. Is 138 < n?
False
Let d be (-2)/(3241/(-3248) - -1). Let y = d - -602. Is -325 smaller than y?
False
Let i = 2003 - 2002.079. Let w = 1.921 - i. Is 9/13 smaller than w?
True
Suppose -4*m = 12, 6*m - m = -5*a - 15. Suppose 9*x - 11*x = a. Which is smaller: x or -3?
-3
Let j = 620 - 584. Let c be j/66*4 - 2. Which is smaller: c or -6?
-6
Let z be (0 - -2) + 3 + -16. Let p(o) = -o**2 + 8*o + 208. Let u be p(z). Which is smaller: 2/47 or u?
u
Let v(j) = j**3 + 33*j**2 - 162*j + 145. Let y be v(-37). Is 663 bigger than y?
False
Let s = 8993 + -8993. Is s at least as big as 8/73?
False
Let u = -13174 + 13355. Which is smaller: u or 41?
41
Let n(o) = -302*o**2 - 11*o - 17. Let z be n(-1). Is -308 bigger than z?
False
Let q = -1.792 + -0.208. Let z be (-126)/8 - (0 - (-4)/16). Which is smaller: z or q?
z
Suppose b + 3*j = -873, -j - 4351 = 2*b + 3*b. Let g be (3/b*-8)/(16/(-40)). Is 1/3 at most as big as g?
False
Let b = 0.27 + 2.13. Let i = 391.6 - 394.5. Let x = i + b. Which is smaller: x or -0.02?
x
Let i be (-4)/(-3 + 2) - 24. Let h = -91 - -94. Which is smaller: i or h?
i
Suppose -2*y + 4 = -a, -4*a + 1 = 9. Let q be ((-5)/((-75)/10))/(341/(-12)). Let u = -7/62 + q. Which is bigger: u or y?
y
Suppose 8*h + 3*h = 2178. Let p = h + -198. Which is greater: -11/19 or p?
p
Let t be ((-10)/(-6))/(1/(-6)). Let s(u) be the first derivative of u**3/3 - 23*u**2/2 + 116*u + 95. Let j be s(14). Is t < j?
False
Let q(l) = l**2 + 24. Let w be q(0). Suppose -w - 21 = 5*n. Let u be (-6)/(-9) - (-6)/n. Which is smaller: 2 or u?
u
Suppose 0 = -3*n + 2*s - 5*s + 21, -2*n = -5*s + 7. Suppose 0 = -n*k + 5*b - 29, 2*k + 5*b + 0*b = 23. Is -1/459 > k?
True
Let d(p) = p**2 + 6. Let v be d(0). Suppose -q - v*q = -112. Suppose -5*g + 3*g - 14 = 4*h, -4*g - q = -4*h. Which is bigger: h or -2/97?
-2/97
Let c(p) = -p - 1. Let h be c(7). Suppose -15 = 5*d + 5, s + 2*d - 252 = 0. Let x be h/3*(-105)/s. Is 2 >= x?
True
Let l be (-6)/(-3) - (6 - (0 - (-115)/30)). Are l and -0.015 nonequal?
True
Let r(b) = 36*b**2 + 2 - 19*b**2 - b**3 - 34*b + 0*b**3 + 2*b**2. Let k be r(16). Which is bigger: k or 227?
227
Suppose 20*o - 10*o - 30 = 0. Let t be 5 + (2388/(-158))/o. Which is smaller: t or -1?
-1
Let g(j) = 2*j**2 + 26*j + 15. Let n be g(-19). Suppose -10*w + 13 = n. Suppose -114 = 3*r - 48. Is r less than w?
False
Suppose -314*b + 182*b - 75 = -157*b. Which is greater: 983 or b?
983
Let q(j) = -j**3 - 7*j**2 + 13*j + 6. Let g be (-2)/(-6) - 28/3. Let s be q(g). Let n = 51 - s. Which is smaller: n or -2?
-2
Let j be 4 + ((-70)/(-5) - -1). Suppose -j*u + 16*u - 6 = 0. Let d be (-7)/182*(u - -3). Which is greater: 1 or d?
1
Suppose -4*t - 55 + 255 = 0. Which is bigger: t or 0?
t
Let j(i) = -29*i - 328. Let s be j(-11). Let w(n) = n**2 + 6. Let p be w(0). Let o be p/18 + 21/s. Is -1 < o?
False
Let v(f) = f - 6. Let p be v(-4). Let i be 28 - p/5 - 3. Let x = 27 - i. Is x at most as big as -3?
False
Let r(f) = 2*f**3 + 287*f**2 + 142*f + 677. Let b be r(-143). Is -1 > b?
False
Let z = -342391 + 89363537/261. Let t = 22/87 - z. Let b be (6/16)/((-3)/2). Which is smaller: t or b?
b
Let k(l) = 3*l**3 - 2*l**2 - 90*l - 641. Let z be k(-7). Which is greater: 1 or z?
1
Let s = 3.2 - 1.5. Let g = s + -0.2. Let b = 14 + -13. Is g at most b?
False
Let l = -10444.1 - -10605. Is l at most as big as 3?
False
Let f be (-1577 - -1) + (-210)/(-700) + (-26)/20. Is -1579 greater than or equal to f?
False
Suppose -3*c = 15, 0 = -3*n + 3*c + 2*c - 2933. Is n != -987?
True
Let j be (-8)/14 + (-13271)/161. Let x = j + 84. Which is smaller: 4/93 or x?
4/93
Let k be 5*(2 + 4 + (2 - -9)). Which is bigger: 105 or k?
105
Let q = -82 + 94. Let w(s) = -6 + 17 + 29 - q*s - 10*s + s**2. Let c be w(18). Which is bigger: c or -30?
-30
Suppose -2*b - 2*c + 170 = 168, 0 = b + 4*c - 4. Which is smaller: -1324 or b?
-1324
Let u(n) = 72*n**3 + 7*n**2 - 12*n - 9. Let r be u(-4). Which is greater: r or -4454?
-4454
Suppose 3*j + 268 - 865 = -5*g, -j - 464 = -4*g. Which is greater: 231/2 or g?
g
Suppose f = -2*t + 20, -2*t + 6*t - 38 = -f. Suppose -8 = -t*g + g. Let l = -61491/49 + 1255. Which is smaller: l or g?
l
Suppose 119291 = -115*u - 56*u - 751. Is u less than or equal to -702?
True
Let s(y) = -y**2 - y**2 + 15 + y**2. Let h(q) = q**3 + 39*q**2 - 79*q + 127. Let x be h(-41). Let w be s(x). Is w at most -5?
False
Let j be (-2 - (-3 + 2))/(2/(-146)). Let n = 37 - j. Let y be n + 7/(28/16). Does y = -33?
False
Let r be ((-16)/(-3)*(-362)/(-8))/((-52)/312). Is r >= -1446?
False
Suppose 170 = 8*n - 7*n - 4*d, 5*n = -d + 829. Which is bigger: n or 171?
171
Let z = -13386/5 + 2669. Let r(d) be the second derivative of -5*d**3/3 - 159*d**2 - 121*d. Let t be r(-31). Is t <= z?
False
Let u(s) = -160*s**3 + 7*s**2 + s - 6. Let j be u(-1). Is j at most 155?
False
Suppose 0 = -4*n + 4*y + 2 - 818, -207 = n - 4*y. Is -204 >= n?
False
Suppose 2*d - 14*d - 43584 = 0. Let a be d/3432 - (24/(-13) + 2). Let b = 6/11 + a. Is 22 smaller than b?
False
Suppose 0*v + 59 = -v. Let k = -1382 - -1308. Let s = k - v. Is -13 at least as big as s?
True
Let u = -42.2 + -235.8. Are u and -2/15 nonequal?
True
Suppose -2*c + 2*m + 3605 = 449, -4*m + 1563 = c. Is 1575 > c?
False
Let z be (-4)/7 - (-5 - 82960/(-252)). Let a = -325 - z. Which is greater: -11 or a?
a
Let z(k) = 19*k + 116. Let g be z(-6). Let t be -4 - (g + -4)*(71 + 2). Which is greater: t or 144?
144
Let r = 0.1014 - 5.9914. Let n = r - -1.89. Does n = 5?
False
Let c = 40014.01 + -40014. Is 15/4 at least as big as c?
True
Let h(v) = -5*v**3 - 1. Let q be h(-1). Suppose -4*u + 0 = q. Let t = -103899 + 1558484/15. Which is smaller: t or u?
u
Suppose -146 - 130 = 4*k. Suppose 55*y = 21*y - 5*y - 2769. Which is greater: y or k?
k
Let g be (32/(-20))/(6/(-45)). Let c = 23 - g. Suppose -110 = -3*y - c. Which is smaller: 32 or y?
32
Let h be 23/4 - (-1)/4. Let o(x) = 1756 + x + 15*x + 6*x**2 - 1771. Let q be o(1). Which is greater: h or q?
q
Suppose -134 = 4*g + 58. Let y be 6*3/g*4/(-30). Let o = -2/85 + 12/85. Is y less than or equal to o?
True
Suppose 4*z + 5*k = 9716, -8*z - 3*k = -7*z - 2429. Are z and 2429 non-equal?
False
Let h = 32.408 - -6.19. Let b = h - 38.1. Let s = 0.002 + b. Is s != -0.5?
True
Let g = -1222 + 1362.94. Let b = g + -141. Which is smaller: 1 or b?
b
Let y(o) = -119*o + 25. Let i(r) = -4*r**2 + r. Let u be i(-1). Let z be y(u). Let f be ((-576)/z)/2 + 6/15. Is 2/7 at most f?
False
Let x be ((-10)/(-30))/((-2)/(-18)). Let k be x*1*8/1092*14. Is k < 1?
True
Let w = 9239/645 + -43/3. Let q = -631/1505 + w. Is -33/4 bigger than q?
False
Let w be 3 + (-4 - (-6280)/(-11)). Let v = 573 + w. Let n = 10 - 8. Does n = v?
False
Suppose -5*u + 4*u + 3*u = 0. Suppose u = -2*j - 78 - 1714. Let d = -11656/13 - j. Which is greater: d or -2?
d
Let z = -144 + 154. Suppose 0 = 3*j + 6, 0 = -2*o + 2*j - 7*j - z. Which is smaller: o or -5?
-5
Let x(l) = -67*l - 