3 + 13*l**2 + 12*l - 3. Let x be v(-12). Let f be (-2)/(12/2)*x. Are -2/5 and f non-equal?
True
Suppose 4*j + 3*r - 2*r + 18 = 0, -3*j + 4*r = 23. Is -7 >= j?
False
Let s be 105/33 + (-6)/33. Which is bigger: -5 or s?
s
Let z = 52 + -10. Suppose 0 = -5*q + 8*q + z. Is -15 <= q?
True
Suppose 0 = 15*q - 21 - 189. Is q bigger than 19?
False
Let x = 5 - 3. Let u = -18 - -14. Let b = u + x. Is b > 1?
False
Let d = 0.19 - -0.81. Let s(x) = x - 4. Let z(w) = 1. Let b(h) = s(h) - 2*z(h). Let t be b(6). Is d > t?
True
Suppose -2*n = -3*r + 2*n + 4, 0 = 3*r - 5*n + 1. Let v be ((-24)/(-4))/(6/r). Which is smaller: v or 7?
7
Let v = 0 - -0.1. Let l = 16 + -10. Let p = l + -6.1. Is v bigger than p?
True
Suppose -4*w + 30 = -6*w. Let g be w/63 - 2/6. Are g and -2 equal?
False
Suppose -r - 2 + 4 = 0. Suppose l = -2*w - r*w - 1, -w = l - 2. Let k = 3 - 2. Which is bigger: w or k?
k
Let d be (-16)/(-48) - 7/3. Let x = 142 + -713/5. Do x and d have the same value?
False
Let l be (-8)/(-4) + (-1 - 2). Is l bigger than -2/9?
False
Let b(c) = c - 5. Let u be b(3). Let m be u/(-11) + 2/(-11). Let d = 4448/11 + -404. Is d equal to m?
False
Let h = -3.3 + -1.7. Let x = -5.1 - h. Is x not equal to 4/11?
True
Suppose -w = 1 - 4. Let m be w*((-44)/(-28) - 2). Which is smaller: m or 0.1?
m
Let u(o) = -3*o. Let a be u(-1). Let g = -1644/5 + 332. Is a less than or equal to g?
True
Let g be -6*(10/3 - 3). Is -6/11 bigger than g?
True
Let o(u) = -u**2 + 7*u + 6. Suppose -2*y + 8 = -6. Let a be o(y). Which is bigger: 5 or a?
a
Let o = 31 - 99. Let u = o - -71.1. Let a = u - 0.1. Is 0 at most as big as a?
True
Suppose -s - 9 = -z, 7 = 4*z - s - 14. Let q be 28/(-24) - z/(-6). Which is bigger: -2 or q?
q
Suppose 0*m - 6 = -2*m. Suppose m*t - 2*t + 6 = 0. Is -6 less than t?
False
Let i = -10 + 10. Suppose i*o + 4*o = 2*t + 6, 11 = 5*t + 3*o. Is t at least as big as 2?
False
Let p = 3260 + -466182/143. Let t = -280/429 + p. Suppose -2*v - v = 0. Which is greater: v or t?
v
Let j = -1/34 + 37/102. Is j > 0?
True
Let y = 0 - -4. Suppose 7*l = 3*l + y. Does 0 = l?
False
Let i = 501 + -355. Is i < 146?
False
Suppose 2*m = -2*m + 8. Suppose m*k = -4*x + 5 + 1, -x - 9 = -3*k. Let z(v) = v + 7. Let u be z(-6). Which is bigger: x or u?
u
Let b be (6/(-5))/((-2)/5). Suppose f + z = 5*f - 11, b*f = -4*z + 13. Which is smaller: f or -2/9?
-2/9
Suppose -2*s = 5*k - 0*s - 15, 10 = 5*k + s. Suppose 0*g - 49 = -3*g + 5*d, -4*g + 3*d + 47 = 0. Which is greater: g or k?
g
Let m(i) = -14*i + 2. Let w be m(-2). Let s be (-20)/w*2/(-4). Is s > 6?
False
Let t(u) = -3*u + 11. Let l be t(0). Which is greater: 13 or l?
13
Let w be (7 - 6/2)*14. Let x be 4/(-14) + 128/w. Which is greater: 1 or x?
x
Let j = 92 + -37. Let n be (-6)/(-30) - 1/j. Is n bigger than -1?
True
Let u(h) = 6*h - 2. Let v be u(1). Let m be 2/(-7)*(-11 + v). Which is bigger: 0.01 or m?
m
Let m(c) = -c**2 + 3*c - 25. Let i be m(6). Is i greater than -43?
False
Let i = 84/13 + -317/39. Let y be -4*(9/(-4))/(-3). Is y < i?
True
Suppose -9 = -4*j + 11, 0 = -4*o + 4*j - 44. Let i be 1/(-3) + o/63. Let t = 0 - 0. Is t at least as big as i?
True
Let l(b) = -2*b - 3. Let h be l(-2). Let s be (-2 - 1) + (-230)/(-78). Is h greater than or equal to s?
True
Suppose -3*m + o = -4, 2*m = 3*m + o. Let q = m + 1. Suppose -q*f - l = -5*l, 5*f = 5*l. Which is greater: 1/3 or f?
1/3
Let c = -82048 + 573200/7. Let t = 162 + c. Suppose 0*k + 3*k = -3. Which is bigger: k or t?
t
Let z be (108/(-50) + 2)/10. Let v = z - -133/500. Let r = 0.2 + 0. Is v >= r?
True
Let j = 14 - 19. Is j >= -6?
True
Suppose 0 = -3*l - 3 + 6. Suppose 5*j - 4 = l. Which is smaller: j or -3/8?
-3/8
Suppose 9*t + 109 = 10*t. Is t at most as big as 109?
True
Let x = -3 - -9. Suppose -m = m + x. Let z be m/(-1)*2/3. Which is smaller: z or 1/2?
1/2
Suppose 0*n + 2*n - 10 = -4*r, -11 = -2*r - 3*n. Is -3 bigger than r?
False
Let v be -1*(5 - 2/2). Let d(r) = r**2 + 11*r + 23. Let u be d(-7). Is v >= u?
True
Let g = -22 + 32. Is g >= 1/3?
True
Suppose i - 1 = 5*m, i + 8 = -i. Which is smaller: m or 2/5?
m
Let f be 20/(-4) + (-7 - -16). Suppose 0 = -m - 2 + 5. Which is bigger: m or f?
f
Let m = -8.1 - -0.1. Is m < 2/15?
True
Suppose 0 = -c - 3 + 1. Let l be (10*(0 + 1))/c. Are -5 and l equal?
True
Let k be (-21)/(-168) + 49/(-360). Is -1 less than or equal to k?
True
Suppose 4 = -5*v + 2*h, 2*v = 3*v + 4*h + 14. Let t = -1 + 2. Which is smaller: t or v?
v
Let j be ((-6)/21)/((-1)/7). Suppose -t - 3 = -4*t. Let g = t - 0. Which is bigger: g or j?
j
Let b = 6 - 4. Let t = b + -1.9. Which is smaller: -1/3 or t?
-1/3
Suppose -77 = -2*m - 3*u, -23 = 4*m - 3*u - 150. Is m >= 34?
True
Suppose -y = 5*y - 24. Is y at least as big as 0.1?
True
Let s be (-4)/(-18) + (-544)/(-198) + -3. Is 0 bigger than s?
True
Suppose 0 = -5*x + 12 + 33. Let s = -9 + x. Is s smaller than -1/7?
False
Suppose -p - 5*g = 87, -4*g = 4*p + 9 + 307. Let q be 2/(-4) - p/126. Suppose 2*l - 1 = -3. Is q at most as big as l?
False
Let t(i) = i**2 - 3*i - 11. Let x be t(8). Which is smaller: x or 32?
x
Let v be (4/(-10))/(3/15). Let h = 1 - v. Suppose 3*k - 5 = -h*c - c, -3*c + 4 = 2*k. Is 1 at most as big as c?
True
Let p = -3 - -2.7. Let j = -38.7 - -39. Let a = p + j. Is a greater than -2?
True
Let u(n) = -24*n**2 - n + 1. Let w be u(-2). Let i be (-2)/9 + w/(-54). Are 1 and i nonequal?
True
Let l = 29.1 + -13.5. Let t = -10.9 + l. Let q = t + -5. Does 0 = q?
False
Let d = -0.91 + 0.61. Is d greater than or equal to 1/40?
False
Let c = 2059/11 + -187. Suppose 8 = b - 0. Suppose 8*a - 10 = 3*a + 5*l, -b = -2*a + 4*l. Which is greater: a or c?
c
Let i = -47 + 281/6. Is 2/5 bigger than i?
True
Let g = 8 + -3. Let i be -2 + (-2 - (1 - g)). Let k = 32/7 - 29/7. Which is greater: k or i?
k
Suppose 2*f + 5 = -1. Let p = f + 4. Let v = p + -1. Which is greater: -3/4 or v?
v
Let b be 534/(-30) + 0 + -1. Which is smaller: -20 or b?
-20
Let g(p) = p**3 - p**2 - 1. Let t be g(0). Let j be -1 - t*(-2 + 3). Which is greater: 3/4 or j?
3/4
Suppose 0 = 5*r - w - 15, -3*r + 31 = -10*w + 5*w. Let q be -2 - (2 + (-28)/r). Suppose q = o + 4*o. Which is greater: 0 or o?
o
Let n be 44/(-957)*(-6)/(-4). Suppose -u = 1, 4 = -4*p + 3*u + 27. Let l be p/(-3) + 6/9. Which is smaller: n or l?
l
Let r = -864/5 + 172. Let q = 11 - -2. Suppose 7*y = -1 - q. Is y at least r?
False
Let c be -6 - (-2 + 9/3). Suppose -l - 21 = 4*h, -5*l + 2*h = -2*h + 9. Is l <= c?
False
Suppose 0 = -0*j + j - 9. Which is greater: j or -2?
j
Let h = 5 - 3. Let m be 20/35*h/8. Which is greater: 1 or m?
1
Suppose 3 = 3*t - 5*d, t - 3*t + 2 = -5*d. Let z = t + -1. Which is greater: z or 1/2?
1/2
Let k = -1948/5 - -391. Which is smaller: k or 1?
1
Let w(s) = 2*s - 1. Let l be w(2). Let p = -5 - -5.6. Let i = p + -0.6. Are i and l equal?
False
Suppose 0 = 3*w + 2*w + 360. Let f = w - -357/5. Let q = -1 + 1. Is q != f?
True
Let d = -26 - -14. Is -11 less than d?
False
Suppose -13 = -d - 11. Suppose -d*k = 3*q - 2*q - 14, 3*q = -k + 7. Is k at most as big as 6?
False
Let q = 63/5 + -199/15. Which is smaller: q or 3.5?
q
Let w be 6/3 - 10/4. Let g = 3 - 11. Is g > w?
False
Suppose 0*s - s - 3*k - 5 = 0, 4*s - k = -7. Suppose -4*t - 12 = -0*t. Let x = s - t. Which is greater: x or -1/4?
x
Suppose 2*w - r = 7*w + 35, 0 = r. Is w greater than -4?
False
Let q = 21/10 - 18/5. Is -1 <= q?
False
Let n be 4/(-2)*3/(-1). Let t be 2*(-2 + 10/n). Suppose -4*u - 9 + 1 = 0. Is t <= u?
False
Let s = 4 - 7. Let j be 5/(-1)*(-2 - s). Let u be (-1*(-2)/j)/(-1). Which is smaller: 0 or u?
0
Let n(v) = v**3 - 5*v**2 + 6*v - 1. Let h be n(4). Let x = h - 7. Is 0 greater than x?
False
Let i(k) be the second derivative of -k**5/20 - k**4/12 + 2*k**3/3 + k. Let s be i(-3). Which is bigger: s or 7?
7
Let x be 1 + -3 - 0/2. Let t = x + 2. Suppose p = -2*c + 7, 0 = 4*c - 2*c - 8. Is t at least as big as p?
True
Let c(u) = u**2 - 2*u - 6. Let q be c(5). Let m = -19/2 + q. Which is smaller: -4 or m?
-4
Let k(z) be the third derivative of -z**4/8 - z**3/6 + 3*z**2. Let t be k(-1). Which is greater: t or -1?
t
Let i be ((-8)/5)/((-2)/10). Suppose 6 - 30 = -4*a. Is i at most as big as a?
False
Let f = -0.57 + 0.67. Which is greater: f or -9/2?
f
Let d be 2/(1/(-1)*2). Let v = -1.6 + 2.7. Let b = v + -0.1. W