p >= -1/3?
True
Let m be 0 + 8 + 18/(-6). Let k(d) = d - 9. Let v be k(m). Let g(b) = b + 5. Let f be g(-10). Which is smaller: f or v?
f
Let u = 2.04 + -0.04. Let g = 0.02 - 11.02. Let s = g - -10.96. Is s less than u?
True
Suppose -4*u - 50 = -2*c - 226, -3*u = -c - 133. Suppose 2*i + i - u = 0. Let r = 23 - i. Is r less than 9?
True
Let k = 24.428 + 0.592. Let m = k - 25. Let s be (-7)/(-4) - 18/12. Which is smaller: s or m?
m
Let v = -42 - -53. Suppose 0 = -3*n + v - 74. Is n smaller than 2/7?
True
Suppose 0 = 28*j - 23*j - 20. Let b be (-376)/32 - (-12)/j. Which is smaller: 0.1 or b?
b
Let l = -0.13 + 22.13. Let r = l + -22.1. Suppose -j - 1 = 12. Which is greater: r or j?
r
Let q be (-12)/(-32) + 846/(-464). Which is smaller: -2 or q?
-2
Let z(v) = -4*v - 15. Let q be z(-4). Let f be (1107/(-36))/(1 - (q - -3)). Is f greater than or equal to 9?
True
Suppose -d = -5*a + 8, -a + 2*a = d. Let t be (-94)/(-20) - 33/22. Is t at most d?
False
Suppose -4*d - 4 = 0, -2*d = -v - 0*v + 74. Is v at most 74?
True
Let l = -26.1 + 26. Is l less than -243?
False
Let c = 1659 + -1929. Which is greater: -268 or c?
-268
Let o(z) = z**3 - 3*z**2 - z + 2. Suppose 0 = 6*k - 0*k - 18. Let g be o(k). Let l be (-3 - (-52)/16)*g. Which is greater: 0.1 or l?
0.1
Let a = 2606749/1060 + -9837/4. Which is greater: a or -1?
a
Let s = 8513/11 + -775. Let b = s + 37/44. Which is smaller: b or 11/2?
b
Suppose -i - 112 = -5*c - 32, -2*c - 3*i = -32. Which is smaller: c or 13?
13
Let g be (0 - 14/(-231))*(-2 + 5). Suppose -1 = 3*q - 4*w, -3*q - 2*w = -3 - 2. Is g bigger than q?
False
Let l be 2/(-3) + (-8)/(-12). Suppose 2*u - 4*u + 72 = l. Let b be (u/(-135))/(2/5). Is 0.4 smaller than b?
False
Suppose 2*l = -l. Let p be 4 + ((-2)/(-6) - 12/9). Suppose -5*z - 5 = 0, p*t = -2*z - l*z - 2. Are t and 4/3 unequal?
True
Suppose 3*w = -18 + 15. Let q be (-3*3/18)/w. Which is greater: -1/11 or q?
q
Let j be (-135)/2349*((-6)/(-16))/(-1). Is j < 0?
False
Let n = 39.51 - -0.59. Let v = n - 40. Which is bigger: v or -1?
v
Let v(z) = -z**2 - z + 1. Let f be v(0). Suppose -4 = 5*a + f. Let h be a*2/20*-4. Are h and 1 nonequal?
True
Suppose -2*h + 37 = 5*p, h = 3*p + 4*h - 15. Suppose -15*y + 45 = -10*y. Are y and p equal?
True
Let h(f) = f**3 - 5*f**2 + 2*f - 7. Let c be h(5). Suppose -5*o - 5*y = 0, 2*y = -c*o + 3*y - 4. Suppose 2*i - 2 = 3*i. Is i < o?
True
Suppose 0 = -16*w - 30 - 18. Let v be (-635)/75 + 8 - 2/w. Is 0 < v?
True
Let l = -0.053 + -0.247. Suppose z - 1 = -4*r + 1, 2*z = -4. Let a be (r - 0) + (-30)/26. Which is bigger: l or a?
a
Let o = 0.0001 + -2.0001. Which is bigger: o or -1.2?
-1.2
Suppose 6*k = 4*k - 28. Which is greater: k or -3?
-3
Let g(l) = l**3 + 8*l**2 + 5*l - 9. Let k be g(-7). Suppose 0 = -3*p + k*p + 2. Let c = 5/4 - 23/12. Is c bigger than p?
True
Let x(w) be the third derivative of w**6/60 - 7*w**5/60 + w**4/6 - w**3/6 - 24*w**2. Let t be x(3). Which is smaller: t or -2?
-2
Let f = -250 - -369. Are -2/5 and f equal?
False
Suppose -2 = r - 3. Suppose 0 = v - 2*f, 3*v + 2*f - 7 - 1 = 0. Is r equal to v?
False
Let c be 2 + (-6 + -374)/2. Is -186 less than or equal to c?
False
Let g = 104043/7 - 15011. Let v = 148 + g. Let d be 2*3/(-12)*2. Is v < d?
False
Let z be 9 - (0 + 3 + 5). Is 2/461 < z?
True
Let q = -1.96 + 0.26. Let z = q + 0.1. Let p = 2.1 + z. Which is greater: 0 or p?
p
Let i(j) = 2*j**2 + 8*j - 14. Let w be i(-5). Let v be -2*(-2 + w/(-12)). Which is smaller: v or 2?
2
Let g = 94 - -75. Let x = 74 - g. Is -95 <= x?
True
Let h = 0.223 + -0.023. Let n = -26.9 - -3.9. Let l = n - -15. Is h greater than l?
True
Let j be 30/(-4) - (-6)/4. Let q be (-2)/j*(4 - -11). Suppose q*h = 4*y + 23, 5*h + 7 = 2. Which is smaller: y or -5?
y
Suppose 0 = 2*y - 12*y + 100. Let z be (-3)/6 + 0/1. Which is greater: y or z?
y
Let z(j) = -15*j + 240. Let s be z(20). Is s greater than -57?
False
Suppose 0 = -74*d + 99*d + 8650. Is -347 greater than d?
False
Suppose 5*r + 3*d = 35, 3*r + 5*d = 1 + 36. Let g be 1036/(-228) + r - 1/(-3). Is g at most 0?
True
Let f be 1215/3*40/24. Are 676 and f non-equal?
True
Let v be 12/42 - 24/(-14). Suppose v*f = f + 4. Let s be 1/(-4) + f/48. Is s at most 1?
True
Let r(l) = 2*l + 67. Let s be r(0). Let x = s + -18. Suppose -4*i + 3*p - x = 0, 5*i - 3*i - 4*p = -22. Is i smaller than -13?
False
Let x = 10 + -13. Let p be -2 + 3 + 1 + x. Let w = -2 - p. Which is smaller: w or -4/5?
w
Let r(l) = -l - 3. Let m be r(-6). Suppose -2*i - 5*f + 3 = 1, 5*i - 24 = -3*f. Is i at least as big as m?
True
Let v(y) = -y**2 + 23*y + 33. Let m be v(0). Which is bigger: m or 30?
m
Let y = -33 + 133/4. Which is greater: y or 223?
223
Let n = -7 + 6.91. Let p = -28 + 27. Which is greater: p or n?
n
Let j be (-12)/(-40) + (-93)/10. Are -31/3 and j non-equal?
True
Let f be (14/(-6) - -2)*29520/210. Which is bigger: f or -46?
-46
Let g = 12 + -6. Suppose -3*k - g = -k. Suppose -63 = -s - 61. Which is smaller: s or k?
k
Let s = 169/3100 + 1/100. Suppose -11*b + 14332 = 14343. Which is smaller: s or b?
b
Suppose 0*f + f + 13 = 4*s, -2*f - 3*s = -18. Let x be (-10)/(f - 1) - -5. Is -6/7 greater than or equal to x?
False
Let q be 284/(-14) + 6/21. Suppose -126 = 21*a - 15*a. Which is smaller: a or q?
a
Suppose 0 = -5*l + 4*s + 17, 2*l + 2 - 7 = s. Is l equal to 8/111?
False
Suppose 18 = -11*p + 8*p. Let x be (68/p)/((-2)/(-3)). Let z = -19 - x. Is z not equal to 0?
True
Let f be ((-3)/(-6))/(2/(-64)). Let y be (f/6)/(6/(-27)). Let i = y - 28. Is i != -15?
True
Let j = 0.8441 + -0.0441. Are 17 and j nonequal?
True
Let q = 261 + -3396/13. Is q bigger than 0?
False
Suppose 0 = 6*x + 180 + 126. Let v = -15 - x. Let s be 18/24 - 11/v. Is s smaller than 0?
False
Let z = -18/11 - -104/77. Which is bigger: z or 2/11?
2/11
Suppose -7*q - 94 - 46 = 0. Let h be ((-4073)/(-290))/((-16)/q). Let s = h - 141/8. Which is greater: 1 or s?
1
Let k = 162 - 343. Let u = k - -146. Which is greater: u or 1?
1
Suppose 11 = -4*k + 19. Let n be 19/4 + 1/4. Suppose 3 + 17 = n*l. Which is greater: l or k?
l
Suppose 4*g + s - 41 = 0, -34*g + 32*g - 4*s = -10. Which is bigger: g or 15?
15
Suppose 3*k = 5*q + 198, 2*q + 8*k + 77 = 7*k. Let p = q + 34. Which is bigger: -0.06 or p?
-0.06
Suppose 47 = -4*r - 9. Suppose -50 - 46 = 6*h. Which is smaller: r or h?
h
Let m be 5/2 + (-4)/(-8). Let x(u) = u**3 - 6*u**2 + 3*u + 4. Let h be x(m). Suppose 2*v = 4*q + 92 - 40, q = -5*v - 2. Is h <= q?
True
Let j(p) = -3*p**3 - 2*p**2 - 3*p - 3. Let d be j(-2). Suppose 0 = -5*u - d + 4. Which is greater: u or -16/5?
u
Let p = -101/15 + 32/5. Is p at most -21?
False
Let a = 800 + -466. Is a >= 333?
True
Let l = 0.17 - 0.052. Let x = 0.018 - l. Is x >= 59?
False
Let y(b) = b**2 - 15*b + 18. Let h be y(14). Suppose -3*f - 2 = z, -h*f - z = 1 - 0. Which is smaller: 1/53 or f?
1/53
Let v be 56/(-18)*1422/(-48). Let t = v - 92. Which is smaller: t or -1?
-1
Let q = 878 + -1898. Are -1020 and q nonequal?
False
Let i be (18/(-8))/((-42)/112). Suppose 51 + 15 = i*m. Suppose 2*g - d = m, -g = -4*g - 3*d - 6. Is 21/8 > g?
False
Let j = -140 - -158.1. Let l = -17.74 + -0.26. Let i = j + l. Is i > -0.03?
True
Let m = 521 + -283. Which is greater: m or 239?
239
Suppose 0 = 101*g - 103*g - n - 4, 0 = -2*n - 4. Let q be 2/45*(4 + -1). Are g and q unequal?
True
Let h = -1417/6 + 632/3. Let o(c) = -25*c. Let l be o(1). Let q = l - h. Is q at most 2/9?
False
Let l(b) = -b - 16. Suppose -2 = j, 5*j - 11 = -3*m - 0*m. Suppose 4*o + 49 = -w, o + 31 = 3*w - m*w. Let c be l(o). Does c = -5?
True
Let t(d) = d**2 + 12*d - 4. Let l(n) = n**2 + 12*n - 3. Let q(v) = 4*l(v) - 3*t(v). Let m be q(-12). Let p be (-3 - -1) + m - -2. Is p equal to 1?
False
Let d be -7 + 7 - 338398/294. Let t = -1151 - d. Is t greater than 0?
True
Let g(t) = -t**3 + 9*t**2 - 16*t + 11. Let w be g(7). Which is smaller: w or 21?
w
Suppose 5*h = 7*h + 20. Let a = h + 4. Let r be 2 + a*(-15)/(-42). Is 1 at most r?
False
Let m = -39 - -64. Let x be (-7)/(84/m) - 1/4. Is -2 <= x?
False
Suppose -3*q = k - 0 - 2, -5*q - 4 = -2*k. Let p be ((-4)/12)/(k/4). Let i = 8.12 + -8. Is p equal to i?
False
Suppose -2 = i - 7. Let y(t) = -t**3 + 5*t**2 - 4*t. Let s be y(4). Suppose p = 4*o + 4 - s, -5*o = -i*p + 5. Do -1/3 and p have the same value?
False
Let k b