 Let v(h) = -h - 1. Let b(k) = -k**3 + k**2 + 3*k - 3. Let q be b(2). Let i be v(q). Which is bigger: i or u?
u
Let m = -1 - -0.8. Let x = 3 + -3. Which is smaller: x or m?
m
Let d be 6/9*1/(-2). Let r = 4 - 2. Is d less than r?
True
Suppose 0 = -5*a - 4*i + 25, 3*a + 2*i - 3 = 10. Let c be (a/3)/((-8)/(-384)). Is 15 less than c?
True
Suppose -3*p = -7*p - 32. Is p less than or equal to -8?
True
Let h be 4951/9 + 2/(-2). Let p = 550 - h. Let s = 2/9 - p. Which is smaller: s or -2?
-2
Suppose 0 = 3*w + k - 126, -4*k - 225 = -5*w + 2. Are w and 44 equal?
False
Suppose -111 = 3*w - 0. Is -36 not equal to w?
True
Let v = 5 + -2. Let j = v + -2. Which is smaller: j or 0?
0
Let t(k) = -k**3 + 7*k**2 - 8*k + 8. Let n be t(6). Let b(w) = 3*w**2 + w + 2. Let u be b(-2). Let v be ((-16)/u)/(1/3). Is v greater than n?
False
Suppose 10 = -5*w - 0. Which is smaller: 7 or w?
w
Let j be (729/(-24))/(-3) + 1. Let s = 32 + -21. Let d = s - j. Which is bigger: d or -1?
d
Suppose -396 = -3*z + 5*z. Let l be 8/z - 4/22. Is l < 0?
True
Let s(j) = -j - 7. Let p be s(-6). Which is greater: p or 4/15?
4/15
Let h be -2 + -1 - 0 - -4. Do h and 18 have the same value?
False
Let w(l) be the first derivative of l**2/2 - 12*l - 1. Let o be w(11). Is -2 != o?
True
Let c be 5/(-15) - (-8)/(-12). Let x be (3*c)/((-6)/(-2)). Is x at least as big as 0.1?
False
Let z = 31 + -29. Which is smaller: -6/11 or z?
-6/11
Let c(f) = -f - 4. Let h be c(-5). Let b(k) = k**3 - 8*k**2 + 6*k + 8. Suppose 5*q - 57 + 22 = 0. Let j be b(q). Is h greater than j?
False
Let q be 56 + (4 - (2 - -1)). Let y = 511/9 - q. Is y at least as big as 0?
False
Let t(s) be the second derivative of 1/12*s**4 + 3/2*s**2 - s + 0 + 2/3*s**3. Let b be t(-4). Is 3 smaller than b?
False
Suppose -3*t + 10 = j, -5*j + 14 = -3*j + 3*t. Let i be (7 + 1)/(12/6). Is i >= j?
True
Let b = -80/3 - -27. Let y = 0 + -0.1. Do b and y have the same value?
False
Let r(g) = -g**3 + 5*g**2 + 2*g - 4. Let b be r(5). Let c(v) = v + 12. Let z be c(-7). Which is greater: z or b?
b
Let y = 0 - -2. Suppose -o = -y*o. Which is smaller: 2/3 or o?
o
Suppose 5*i - 40 = -5*w, i + 3*i - 4 = 3*w. Suppose i*z = -1 - 3. Is z less than 1?
True
Let b(s) = s**3 + 12*s**2 + 1. Let x be b(-12). Which is smaller: x or 9/4?
x
Let f be 744/56 + (-4)/14. Is 13 smaller than f?
False
Let n = -1495/3944 - -2/493. Which is bigger: -1 or n?
n
Let y = -10 - -10.1. Let t(r) = -r + 7. Let i be t(6). Is i > y?
True
Suppose 5*i + 1 = -19. Let y = i - -2. Let z = y - 0. Is z at most 1?
True
Let b = -24 - -2. Let s be (-4)/b - 40/(-22). Which is bigger: 4/3 or s?
s
Let u(i) = -i**3 - 5*i**2 + 10*i - 17. Let q be u(-7). Suppose -6*x = -3*x - 27. Let o = q - x. Which is bigger: o or 1?
o
Let f = -9 - -15. Let p = 7 - f. Is p smaller than -1?
False
Let v(j) = -j**2 + 3*j + 4. Let x be v(-5). Let g be (-2)/12*x/(-16). Is g >= 1?
False
Let o(b) = -2*b + 0 - 2 - b**3 - 2*b**2 - 2*b**2. Let n be o(-4). Let t = -7 + n. Which is bigger: t or -2/19?
-2/19
Let b = 0.56 - -2.44. Let p = 7307651/99 - 73814. Let m = -1/99 - p. Which is bigger: b or m?
b
Let c = 0.03 + 0.37. Let z = -2 + 1.4. Let d = c - z. Which is smaller: d or -1?
-1
Let p(y) = 2*y**2 + 16*y + 16. Let z be p(-5). Which is smaller: z or -13?
z
Let j be (18/45)/(1/10). Is j less than or equal to 4?
True
Suppose 23*j = 22*j - 2. Let q be 1/(-3)*(-1 - 2). Let h be (-39)/36 - (j + q). Is 1 >= h?
True
Suppose -16 = 4*o - 2*m - m, 9 = -o + 2*m. Let t(y) = y + 9. Let q be t(8). Suppose -4*c + 8 = -5*s - 8, -3*s - q = 5*c. Is c <= o?
True
Suppose 0*u = u. Suppose u = -2*g - 4. Let a be 2/1 + g*2. Is a less than 2/5?
True
Suppose 0 = -5*h + y + 4, 2*h - y - 4 + 3 = 0. Which is smaller: 5/13 or h?
5/13
Let i be 1 - -7 - (-1 - 2). Which is greater: 12 or i?
12
Let f(r) be the first derivative of r**3/3 - 5*r**2/2 - 4*r - 1. Let s be f(6). Suppose -2 = -4*p - 2*y - 4, -3*p + s*y + 9 = 0. Which is smaller: p or 7/4?
p
Suppose 0 = 2*h + 3*h + 9*h. Does 2/523 = h?
False
Let m = 3 - 2.98. Let l = m + -0.05. Is 0 equal to l?
False
Let k be (-2)/8 - (-52)/16. Suppose -5*u - 15 = -k*m, 2*u - 5 = -m - 0*m. Which is smaller: u or -1/3?
-1/3
Let f = -4 + 6. Which is smaller: f or 7/5?
7/5
Let q(p) = -123*p**3 + p**2 + p. Let h be q(-1). Let x = h - 499/4. Which is bigger: -1 or x?
-1
Let x be (-2)/(2 - 8/3). Let m(v) be the third derivative of v**4/24 - v**3/2 - 4*v**2. Let q be m(4). Which is greater: q or x?
x
Suppose -5 + 1 = -f. Which is greater: 5 or f?
5
Let i be (((-8)/6)/(-2))/(-1). Which is smaller: 17 or i?
i
Suppose 0*h + 5*b = -3*h + 18, -3*b + 13 = 2*h. Suppose 2*d + 2*c + 17 = 5*c, -5*d - h = 3*c. Let j = d + 6. Is 2 less than or equal to j?
True
Let a be -1*(-2)/(4/(-14)). Suppose 6*m - 20 = 3*s + 5*m, -5*s - 38 = 3*m. Is a at least as big as s?
True
Let a = 6 + -4. Is 2 at least as big as a?
True
Let i = -6 + 8. Let u = 2 - 2. Suppose -2*f + u*f - i = 0. Is f at most -1?
True
Let f = 0.025 + -5.025. Is f at least as big as 1/2?
False
Let c(d) = -d**3 + 8*d**2 - 6*d - 10. Let r be c(7). Let g = 48 + -34. Let w = g + -33/2. Which is greater: w or r?
w
Let x be 5*4/(-16) - 0. Let l(v) = -v - 5. Let c be l(-4). Is c < x?
False
Let n be 126/(-25) + 5 + 0. Which is smaller: n or 0?
n
Let j = -41361/9878 - 18/449. Let l = -8/11 - j. Which is greater: l or -0.1?
l
Let r = -5.92 + -0.08. Let m = 32.2 - 38. Let b = r - m. Is -2/3 greater than or equal to b?
False
Let g(z) = -z**2 - 5*z + 8. Let n be g(-6). Suppose 4*o = -2*x + x - 5, 12 = 2*x - 3*o. Is n smaller than x?
True
Suppose 11*j + 16 = 7*j. Which is smaller: -16/5 or j?
j
Let w = 5 + -9. Let z = -2 + -3. Do w and z have the same value?
False
Let v be 2/(-8) - 181/(-84). Let f = v - 11/7. Let u = 16/21 - f. Are u and -1 equal?
False
Let n = 0.5 - 0.2. Is n at most 0.2?
False
Let x = -8.9 - -3.9. Which is greater: x or 0.2?
0.2
Let i(s) = s**3 - 4*s + 3. Let u be i(2). Let g = 3 - u. Is 0 >= g?
True
Let q(c) = c - 7. Let u be q(9). Suppose -8 = 2*k + 2*v, -k - 2*v + 1 = -u*k. Which is bigger: k or -5?
k
Suppose -12 = 5*d + 6*h - 2*h, 0 = -2*d - 3*h - 9. Let b be (-2 - d) + 50/5. Suppose 3*y = b*y + 5. Which is greater: y or 2/5?
2/5
Let i = 180 + -174. Let s be -3*2*(-2)/6. Let d be (0/s)/(-1 + 0). Is d <= i?
True
Let j = 0.02 - 0. Let r = 0.68 + 0.32. Is r != j?
True
Suppose 12 = -4*f + 2*h, f = -h + 5*h - 3. Let y be (-1 + 0)/((-6)/(-12)). Does f = y?
False
Let x(y) = 10 - 3*y - 10. Let s be x(-3). Is 9 at least as big as s?
True
Let m be (0 + -20 - 1) + -1. Let j = m - -42. Let s be (-4)/2 + j/9. Is 0 not equal to s?
True
Let s be (-1)/3 + (-56)/12. Which is bigger: 0.5 or s?
0.5
Let h = 17.1 - 12.1. Is h at least 0.6?
True
Suppose 5*f + 9 = -2*j - 0*j, -3*f + 6 = 5*j. Let a = -1 - -5. Suppose -j*z - 9 = 0, -a*z = -2*p + 4*p + 18. Is -2 equal to p?
False
Let i = -0.02 - -0.04. Let t = i + -0.02. Let k = 0.5 + -2.5. Which is smaller: k or t?
k
Let v be -2 - -3 - -1 - 1. Which is smaller: v or 0?
0
Let b be 820/272 - (4 - 1). Is b at least as big as 0?
True
Let u(k) = -k**2 - 9*k + 3. Let o be u(-9). Is o < 3?
False
Let m be 4/20 - 3/15. Let z be m - (-2 + (-24)/(-9)). Let j(w) = -w**2 + 3*w + 3. Let v be j(4). Do z and v have the same value?
False
Suppose 4*z = 5*u - 4, 0*u = -3*z - 4*u - 3. Is z <= -10/29?
True
Let o be -3*5/2*-2. Suppose 0 = q - 6*q - o. Let s be (-1)/((-1)/q*-1). Which is smaller: s or 2?
2
Suppose 383 = -2*m - 5*n, 0 = 3*m - n - n + 546. Let p = m - -2393/13. Is p <= -1?
False
Let t = 54813/59 + -929. Is 1 equal to t?
False
Suppose -2*r + 18 = 5*q, -2*r = -5*r - 3. Let o = 1.1 - -3. Let f = 4 - o. Is q less than f?
False
Let w be 4/(-18) - (-2)/9. Let g be 3/(-81)*-3 + 121/693. Which is greater: w or g?
g
Let q(y) = -y**3 - 7*y**2 - 4*y + 4. Let u be q(-6). Let l = -113/14 - u. Suppose v = 3*w + 3, 5*v - 6 = 3*v. Which is smaller: l or w?
l
Let o = -46/5 - -9. Let q = -6 - -6. Let s = -0.1 - q. Which is greater: s or o?
s
Let z = 29/4 - 12. Let g = z + 5. Which is smaller: g or -1/2?
-1/2
Let o = 5 - 6. Let i = 1 - 0. Let x = -2 + i. Is o at least as big as x?
True
Suppose 78 = 10*q - 13*q. Do q and -26 have the same value?
True
Let t = -2/15 - -52/165. Suppose -3*m + 1 + 2 = 0. Are t and m equal?
False
Suppose 0 = -t + 4*y - 9, 4*t - 18 = -2*