*3 + 4*r**2 + r - 3. Let n be l(u). Is v != n?
True
Let h = -1 - -3. Let i = 3 - 0. Let n = h - i. Which is greater: 1/3 or n?
1/3
Let o be (-12)/(-5) + (-6)/(-10). Is o bigger than 3?
False
Let l(u) = -6*u**2 + 3*u + 1. Let q be l(-1). Is q smaller than -13/2?
True
Let l = 4.7 - 3.7. Is l less than -9/7?
False
Let v = -16635/13 + 1281. Which is bigger: 2 or v?
2
Suppose 4*q = -12, 3*q - 2*q = -4*u - 19. Let d be u - (4 + -1)/(-3). Let r be (-2 + (-84)/(-45))*d. Is 2/7 at least as big as r?
False
Suppose -3*y = y + 4*r - 40, 4*y = r + 30. Which is smaller: 7 or y?
7
Let s(u) be the first derivative of -u**2/2 - 7*u + 2. Let c be s(-8). Are 1 and c equal?
True
Let y = -43 - -54. Is y at most 10?
False
Let y be ((-1)/12)/(6 + -6 - 1). Is y not equal to -1?
True
Let h(s) be the second derivative of s**3/6 - 3*s**2 + 5*s. Let d(w) = -w + 5. Let z be d(0). Let n be h(z). Does -5/4 = n?
False
Let u = 4 + -4.1. Let g = -0.1 - u. Let o(f) = -f - 4. Let l be o(-5). Is g at least l?
False
Suppose 4*r = r - 12. Let y be r/3 - 8/12. Let h be (-2)/(-2 - (0 + -4)). Is y at most as big as h?
True
Let y(z) = -z - 5. Let d(j) = -2*j + 2. Let m be d(4). Let q be y(m). Let o be 2 + (-33)/9 + q. Which is smaller: o or 0?
o
Let x = 39/5 - 23/3. Are x and 0 equal?
False
Let g(v) = -4*v - 4. Let x be g(-4). Let d be (-3)/x*48/(-57). Is d <= 1?
True
Suppose 2*z - 2 = 2*b, b + 5 = -3*z - 4*b. Which is smaller: -9/8 or z?
-9/8
Let f = -23/7 + 25/7. Let g be (-5)/20 - (1 + 0). Let k = g - 0. Which is bigger: f or k?
f
Let y(u) = u**2 - 6*u + 1. Let t be y(6). Suppose 0 = -4*b - o + t, -b - 5*o + 2*o = 8. Is b at most as big as 1?
True
Let l = 0 + 2.5. Let v = l - 2.2. Let h be 1 + 8/(-10) - 0. Do h and v have different values?
True
Let x be 30/1 + (-2)/(-1). Let l be 6/15 - x/30. Is l at least 0?
False
Let v = -236 - -1184/5. Suppose 2*o + 2 = 4*o. Are v and o unequal?
True
Let g = 37 + -37. Is g >= 5?
False
Let h be 19922/77 + -1 + 1. Let p = 259 - h. Let w = p + -5/11. Which is greater: 1 or w?
1
Let f(b) = b**2 + b - 3. Let g be (3 - 3)/((-6)/2). Let i be f(g). Let m be 40/(-22) + (i - -5). Which is bigger: m or -1?
m
Let p(w) = -w**3 + 5*w**2 + 10*w - 13. Let s be p(6). Does s = 11?
True
Suppose 3*h = -12 - 0. Let w = h + 19. Is w at least as big as 14?
True
Suppose 4*y + 4*d = -y - 242, 0 = y - 2*d + 54. Which is bigger: y or -51?
y
Let t be (-6)/(-4) - 85/58. Which is bigger: 0 or t?
t
Suppose -2*m + 4 = n, -n + 7*m - 4*m - 16 = 0. Is -3 less than n?
False
Let b be ((-7)/(-3))/(0 - 1). Suppose -6 = 8*g + 10. Is g at least as big as b?
True
Suppose 0 = 4*p + 7 - 95. Suppose 2*v = -p + 78. Let i be (-8)/v + (-46)/(-14). Is i bigger than 4?
False
Let r(a) = 3*a - 3. Let f be r(-3). Which is smaller: -13 or f?
-13
Let k be 2 + 1 + (256/(-20))/(-8). Which is smaller: 4 or k?
4
Let c = 5/8 + 1/24. Is -5/3 at least as big as c?
False
Let s(i) = -i**3 + 5*i**2 + 7. Let g be s(5). Let c = -1420/3 + 466. Let o = g + c. Which is smaller: o or 1?
o
Let k be 0 + -6*(-1 + 0). Let h be (5/(-3))/((-2)/k). Let m be (h - 7) + (-1)/(-2). Which is smaller: m or -1?
m
Let u = -2 - -1. Let n = -60/11 + 398/77. Which is smaller: n or u?
u
Let s(y) = y**2 + y + 1. Let q be s(2). Let c = -12 + 18. Which is bigger: c or q?
q
Let r = 3 - -1. Suppose 3*p + 33 = 3*y, -4*y + 14 = -3*p + r*p. Let n be 3/p*2 + -3. Is -3 less than or equal to n?
False
Let j = -841/10 - -84. Is j greater than -2?
True
Let o be (2/(-8) - 0)*-2. Which is greater: o or 4?
4
Let s(j) be the third derivative of -j**5/60 + j**4/12 + j**3/6 + 7*j**2. Let t be s(2). Are t and 3/2 nonequal?
True
Suppose -4*v + t = -262, v + t - 193 = -2*v. Is v > 64?
True
Suppose 5*s - 6 + 16 = 0. Let z(x) = -x**3 - 3*x**2 - 2*x. Let r be z(s). Suppose 4 = -3*h - 2. Which is greater: h or r?
r
Suppose 0 = 4*d + b + 15, d - 4*b = b - 9. Are d and -5 nonequal?
True
Let r = -1247/14 + 89. Suppose -9 + 27 = 4*q + 5*l, 0 = 5*l - 10. Let h be q + -1 + 1 + -3. Are h and r equal?
False
Let h be 1160/48 - 4/6. Let m = -23 + h. Let s(f) = f**2 - 2*f + 1. Let u be s(2). Which is bigger: u or m?
u
Let c = 2 - 0. Suppose -c*b = -2 - 12. Let m = 11 - b. Is m < 2?
False
Let b = 34 + -33. Let q be (-1)/(-2)*0/(-1). Is q < b?
True
Let w = -29 - -27. Let m be w/(3/(-3) - 0). Let o be (-4)/(-6)*(-54)/(-16). Is o bigger than m?
True
Let k = -257/5 - -51. Let z be 2/6 - 25/93. Which is smaller: z or k?
k
Suppose 31 = -x + 26. Which is smaller: x or -3?
x
Let c(a) be the second derivative of -a**4/12 - a**3/3 - 3*a**2/2 - 2*a. Let p be c(-3). Are -7 and p unequal?
True
Let n be ((-8)/(-2) + -2)*-4. Let f be (10/20)/((-5)/n). Which is greater: f or 0?
f
Let a(m) = -m - 9. Let b be a(-7). Let o be (1/(-2))/(b/4). Let l be o*((0 - -1) + -2). Is l at most -1?
True
Let b = 291/5 - 58. Let x = 4 + -1. Which is greater: x or b?
x
Suppose -p - 2*p = -3. Let s = -60 + 64.9. Let d = s - 5. Which is greater: d or p?
p
Suppose -2*y = -9 + 3. Let w be (y + 0)/1 + -2. Is w less than or equal to 1/5?
False
Let i = -13 + 18. Let w be (i*-2)/(-2) + -2. Let j = 3 - w. Is j greater than 1?
False
Let z be (196/20)/(-7) + 1. Let h = -1 - 1. Let d = 0 + h. Is d at most z?
True
Let g = 0.73 + 0.27. Let q = -0.3 + 0.1. Let z = 0.3 + q. Is z at least g?
False
Let u(k) = 2*k**2 + k - 2. Let v be u(2). Let z = 9 - v. Is z equal to 1/4?
False
Let i = 12.93 - -0.07. Let t = -14 + i. Let y = -0.1 + 0. Is y bigger than t?
True
Let y = -4 + 4.11. Let b = y + 0.09. Is b equal to -0.1?
False
Suppose -4*f + 1 = -3*o + 4, -5*o = 3*f - 5. Suppose -y + m - 4*m - 50 = f, 2*m = 0. Let u = 548/11 + y. Is 1/3 > u?
True
Let k(b) = 6*b - 1. Let l be k(-2). Let u = 7 + l. Let f = u - -5. Which is bigger: f or -6/7?
-6/7
Let s be (-19)/3 + -31 + 34. Which is greater: s or -5?
s
Suppose 7*o - 2*o - 5 = -3*q, -4*q = 0. Let l be (o/2)/((-4)/(-8)). Is l at least 5?
False
Suppose 4*v + 435 = 9*v. Does v = 87?
True
Let i(s) = -5*s**2 - 8*s**2 - 4*s**2 - 1 + s**3 + 5*s**2. Let x be i(12). Is x at most as big as 1/15?
True
Suppose 0*q + 4*q = 4. Which is smaller: q or -1/12?
-1/12
Suppose 3*j = -3*o - 12, 0 = o + 3*j + 2. Is -6 != o?
True
Let c be (-2)/((-1 + 2)*77/11). Is c at least -3/5?
True
Let n = -329/2 - -2291/14. Is n >= 1?
False
Suppose 5*f + 24 = -2*c - c, 9 = -5*c + 2*f. Let s = -4 - c. Let r be s/(-3) + 12/(-9). Which is smaller: r or -3?
-3
Let k = 0.3 + -0.4. Suppose -5*i = 2*i + 7. Which is smaller: k or i?
i
Let r = -7/16 + -3/16. Which is smaller: r or -1?
-1
Let a(z) = 7*z**3 - 18*z**2 - 25*z - 17. Let c(h) = 3*h**3 - 9*h**2 - 12*h - 8. Let l = 5 + -14. Let n(u) = l*c(u) + 4*a(u). Let s be n(-8). Is s less than 4?
False
Suppose -4*q + 2*v = -25 + 3, -4*q + 5*v = -31. Let l = -2 - -5. Which is smaller: l or q?
l
Let q = 5/71 - -188/355. Let a = -0.319 + 0.219. Which is bigger: a or q?
q
Let r = -0.13 - 1.77. Let o = -2 - r. Is o <= 1/2?
True
Let b = -12 + 2. Suppose -4*j = -2*j + 12. Let g = j - b. Which is smaller: 5 or g?
g
Let v be 3 + -4 + 1 + 2. Which is smaller: 0.05 or v?
0.05
Let g(k) = k**3 - 5*k**2 + 4*k + 2. Let z be g(4). Suppose -n + 4*b - 4 = 0, 0 = -n + 4*n - 2*b + z. Are 2 and n non-equal?
True
Let b = 9/14 - 13/14. Are -6 and b non-equal?
True
Let s(x) = -x - 1. Let l be s(-4). Suppose -13 = -4*a + t, 22 + 0 = 4*a + 2*t. Do a and l have different values?
True
Let f = 11 + -11. Is f at least as big as 1/2?
False
Suppose 5*s = 5*p + 15, -5*s + 8 = -12. Is p at least as big as 2/11?
True
Let m = -8 - -11. Suppose -21 = 3*p + 4*t - t, 15 = -3*p + m*t. Are p and -5 equal?
False
Let f(i) = i**2 + i. Let s be f(-2). Suppose 4*l = s - 10. Which is bigger: 0 or l?
0
Let j = -15 - -11. Let y be -2 - 2*(-6)/4. Let w be (4 + -1)*y/(-1). Which is greater: w or j?
w
Let z = 733/108 - 28/27. Which is smaller: -2/5 or z?
-2/5
Let l = 39 - 43. Which is smaller: l or -26/7?
l
Suppose -4*w = -4*c + 12, 25 - 1 = 2*w + 4*c. Let i be (1 - (5 + -2)) + w. Which is greater: -1 or i?
i
Suppose 0 = -v - 4*s, v - 4*v + 5*s = 0. Let m = 7 + -4. Suppose -6 = -2*u + 4*y, v = m*y - 0 + 6. Is u at most -3?
False
Let u be (12/30)/((-3)/30). Let d be 0 - u/(-8)*6. Which is smaller: d or -6?
-6
Let p be (7 - 2) + 3 + -5. Suppose -3 = p*s - 0. Which is smaller: -0.1 or s?
s
Let n be (2 - 2 - -1)*1. Let f be 1/((