 to -4/5?
True
Suppose -2*u = -u + 1. Let j(i) = -i**3 - 8*i**2 + 6*i - 11. Let g be j(-9). Let l be (-5)/2*g/(-340). Which is smaller: l or u?
u
Let n(j) be the first derivative of j**3/3 + j**2/2 - 5*j + 2. Let o be n(0). Let q be (o/5)/((-1)/(-1)). Which is smaller: q or 3?
q
Suppose -l + 4*s - 38 = -16, 5*s - 21 = -2*l. Let q = l + 0. Is q != 0?
True
Let r be ((-3)/((-12)/52))/(-2). Which is bigger: -7 or r?
r
Suppose -2*z - 12 = -2*x, 2*x - 3*x - 24 = 5*z. Let q = -7 - z. Suppose -2*b = -b + 1. Which is bigger: b or q?
b
Let w = -0.067 + 1.067. Is w greater than -41?
True
Let p = 17 - 6. Suppose d = -0*n - 3*n + 8, -31 = -3*d - 2*n. Is p bigger than d?
False
Let m be 5 - (-84)/(-15) - 8/(-5). Is 3/7 greater than or equal to m?
False
Let p = 430 - 413.99. Let h = p - 0.01. Let z = 10 - h. Is -1 < z?
False
Let l be (-1)/2*(-1 + (1 - 2)). Let r be (-1)/1 + 4 + -2. Is l >= r?
True
Let w(r) = -r - 8. Suppose 6*i = i. Suppose 3*u + f + 4 = 2*u, u + 4*f - 5 = i. Let d be w(u). Which is bigger: d or 1/7?
1/7
Let m = 42 + -291/7. Let l(o) = -o**3 - 6*o**2 + 8*o + 6. Let p = -24 + 17. Let b be l(p). Which is greater: b or m?
m
Suppose 4*f - 5*h = 27, 0 = -5*f + h + 3*h + 27. Which is smaller: f or 4?
f
Suppose -y + o - 6*o - 12 = 0, -o = -y. Suppose -6*c - 10 = -c. Is y at least c?
True
Let x = -2.2 + -11.8. Which is smaller: 1/2 or x?
x
Let y = -0.13 + -15.07. Let v = y + 15. Is v < -0.06?
True
Let k(d) = d**3 - 18*d**2 - 20*d + 28. Let l be k(19). Is l at most 8?
False
Let a = 3.1 + -3.3. Let k be 1/(-2)*0 + 2. Is k > a?
True
Let q be (-271)/5 - 10/(-50). Let g be (-1)/(-2)*q/(-9). Is 2 >= g?
False
Let y = -1 - -1. Let p = 1349/490726 - -2/1873. Let h = 779/1834 + p. Which is bigger: h or y?
h
Let h = -24.4 + 27.34. Let l = h - 3. Let k = -0.16 - l. Is 0.03 < k?
False
Let d = -0.9 + 0.6. Let a = -0.2 - d. Let i = -2 + 1.8. Which is smaller: i or a?
i
Let j be ((-6)/(-14))/((-20)/460). Are -9 and j equal?
False
Let u(s) = s**2 - 8*s + 5. Let f be u(6). Let t = f - -4. Let a be 0 + 4*t/(-15). Which is smaller: 1 or a?
a
Suppose 2*l = 6, l = -4*u + 6*l - 15. Which is bigger: u or 14/11?
14/11
Let k = -5.76 - 0.24. Which is bigger: 7 or k?
7
Let f(a) = -a**3 - 2*a**2 + 3*a + 6. Let t be f(-2). Which is bigger: t or 21?
21
Let s be 6/(-56)*(-8)/2. Let w = 6 - 6. Which is bigger: w or s?
s
Let v be (-6)/(-21) + (-5)/(-7). Which is bigger: -7/5 or v?
v
Let s = -2 - 0. Let f = s + 0. Which is smaller: -3 or f?
-3
Let x(r) = r**3 + 2*r**2 + 4*r + 2. Let a be x(-2). Let s = a + 7. Let u be (3 - 3)/s + 2. Are -1 and u nonequal?
True
Let i be -2 + 24/15*1. Which is smaller: 3 or i?
i
Let j be 22/38*2/5. Let h = j - -7/19. Suppose 0 = -2*d - 2*d - 4, -2*d = 4*b - 6. Which is bigger: h or b?
b
Let m = 4.91 + -4.8. Is m <= -1?
False
Suppose -3*m - 28 - 126 = -2*s, m + s = -43. Is m greater than or equal to -48?
True
Let s(y) = -y - 14. Let z be s(-7). Which is smaller: -8 or z?
-8
Let h(u) = u + 2. Let n be h(0). Suppose n*w + 18 = 5*w. Suppose -4*k + 21 = -3. Is k less than w?
False
Let y = -15 - -13. Which is smaller: y or -5/2?
-5/2
Let h be ((-10)/2)/((-4)/(-2)). Does 2/15 = h?
False
Let j be 0/((-4)/(-2)) + 30 + -30. Is j equal to 1/6?
False
Let r = -24 - -32. Which is bigger: r or 9?
9
Let h be (-3)/9 + (-2183)/21. Let f = h - -104. Let y = -6 - -5. Which is bigger: f or y?
f
Let g(m) = -2*m - 7. Let z be g(-5). Suppose -z*f + 9 = -0*f. Suppose 2*o - 1 = 3. Is o bigger than f?
False
Let u(z) = -z - 12. Let n be u(0). Let y be 1/(-3) - 10/n. Let t be 0 + 1 - (0 - -4). Which is smaller: y or t?
t
Suppose -3*d - 2 = -11. Let i(m) = -m**3 - 4*m**2 - 4*m - 1. Let o(x) = -2*x + 5. Let k be o(4). Let z be i(k). Which is bigger: z or d?
d
Let q = 0.1 - 0. Let i = 0.1 - q. Let r be 3 + 4/32*-34 + 1. Is i at least r?
True
Let s(d) = 2*d**2 + 4*d + 2. Let h be s(-2). Let r = 2 - h. Let w be (-4 - -4) + r/(-1). Which is greater: w or -4/3?
w
Let q = 5 + 0. Suppose 4*n = t, q*n - 2*t = 3*n + 6. Let l = n + 1. Which is smaller: l or -8?
-8
Let h = -6 + 26. Suppose -4*n = -4*c + 24, -8*n = -4*n + h. Are 3 and c nonequal?
True
Let u = 10 - 2. Let m = -11 + u. Which is smaller: -5 or m?
-5
Let v be ((-10)/35)/(2/(-14)). Let r(q) = q - 3. Let o(l) = -l**3 - 6*l**2 + 3. Let g be o(-6). Let z be r(g). Is v greater than z?
True
Let o = -3 + 3. Which is greater: 4/15 or o?
4/15
Let q be (-4 - (-216)/30) + -3. Let m = -10/17 + 23/68. Which is bigger: q or m?
q
Let n = 13 + -19/2. Let s = 3 - n. Let d = -7.7 - -8. Do d and s have different values?
True
Suppose 0 = 4*q - 3 + 23. Let d = -189 - -183. Are q and d equal?
False
Let j be 0 + (-3)/((-12)/(-112)). Is j < -28?
False
Suppose 2*f + 25 = -t + 6*t, 3*t - 3*f = 15. Suppose -4*j = 2*l - 9*j - 28, 3*l - 2*j - 20 = 0. Which is greater: t or l?
t
Let q be ((-3)/3)/(1 - -2). Suppose -1 - 3 = 4*t. Which is smaller: q or t?
t
Suppose t - 8 = -t. Suppose g + 10 = -t*r - 15, -3*g + 10 = -5*r. Is -6 less than g?
True
Let f be (-381)/12 + (18/8)/(-9). Do -32 and f have different values?
False
Let o(a) = 0*a + 3*a + 6 - a**2 + 3*a. Let r be o(7). Let v be 4*(36/(-32))/3. Is r < v?
False
Let f = 57 - 30. Let p = f + -25. Is p equal to 0.4?
False
Let x = -8/17 - 1/34. Which is smaller: x or -1/15?
x
Let c be (14/(-10) - -1)*-55. Suppose 0 = 5*z - c + 7. Suppose -z*x - 2*x - 30 = 0. Which is greater: -7 or x?
x
Let y = 0 - 1. Suppose -5*w = -2*f - 36, 0 = 4*w - 5*f - 26 - 13. Suppose -w = -4*h - 2, 0 = 3*c + 2*h - 8. Is c at most as big as y?
False
Let j(l) = l**2 - 11*l + 12. Let h be j(10). Suppose 0 = 3*s - h - 19. Which is bigger: 8 or s?
8
Suppose -3*x - x + 24 = 0. Which is greater: 9 or x?
9
Let i(k) = 3*k**2 - 2*k - 8. Let t(r) = r**2 - r - 3. Let o(a) = -4*i(a) + 11*t(a). Let j = -6 - -4. Let c be o(j). Which is bigger: c or -1?
c
Suppose -7*s = -5*s - 4. Suppose -u = 2*u + 3. Let k be (1/s)/(u/1). Is 2/5 greater than k?
True
Let z = -1 - -1. Let o = 2 + z. Let w = o - 1. Which is greater: w or 3?
3
Let g be 2 - (-15 - (0 - 1)). Suppose -4*v = g - 48. Suppose o - v = 5*o. Which is greater: o or -3?
o
Let p be 36/(-28) - 2 - -4. Are p and 0 equal?
False
Let v be 2655/(-36) + 3/4. Which is bigger: v or -75?
v
Let h be (-18)/40*(-8138)/(-39). Let v = 94 + h. Which is smaller: v or -1?
-1
Let a(f) = f**3 + 8*f**2 - 9*f + 5. Let j be a(-9). Suppose 0 = 4*o - j*x - 33, o - 3*x - 8 = 9. Are o and -1 unequal?
True
Let m = -128 - -129. Is m not equal to -1/96?
True
Suppose -10 = g + 5*w, 3*w - w - 18 = 4*g. Let t be 2/g - (-8)/(-5). Is t < -2?
False
Let g be (-2)/8 - 14/8. Let o = -317 + 2531/8. Which is smaller: o or g?
g
Suppose 0*x - 2*v + 13 = 3*x, -2*x - 5*v = -16. Let z be x*(-2 - 0)/78. Which is smaller: z or -1?
-1
Suppose 5*n - k = 3*k, -2*n = 5*k. Which is smaller: -2/123 or n?
-2/123
Let x be -1 + (-18)/(-10) + -1. Let p(z) = z**2 - 2*z. Let y be p(2). Which is greater: x or y?
y
Let f = 11 - 7. Suppose f*q = -q + 15. Which is smaller: q or 2?
2
Suppose 3*t - 6 = -0*t. Let x = -3.9 - -1.9. Are t and x unequal?
True
Let i be 1/(-3) - 57/72. Which is smaller: i or -1?
i
Let t be 14/(-49)*(-7)/39. Are 1 and t unequal?
True
Suppose -22*b = -23*b - u + 2, 3*b - 8 = -5*u. Let y be (2/6)/(-1) - 1. Which is smaller: b or y?
y
Suppose 2*p - 22 = 3*f - 0*p, 0 = 5*f + 2*p + 10. Let r = -33 + 33. Which is bigger: r or f?
r
Let o be 6/(-12) + (2 - 1) - -21. Which is greater: o or 21?
o
Suppose g - 8 = -2*g + 2*o, -o = -4*g + 4. Which is greater: 12/11 or g?
12/11
Suppose -s - q - 3 = 0, 4*q = -3*s + 3*q - 19. Let x be (-5 + 0)*(-32)/(-20). Let f = x - s. Which is bigger: f or 1?
1
Let n = 4 - 1. Let k = n + 1. Suppose 15 = -3*w + 2*r, -5 = w - k*r + 10. Which is bigger: 0 or w?
0
Let c = -20 - -33. Suppose -n = -2*n + c. Suppose -o = 2*x + n, 2*o - 2*x + x = -1. Is o at most -2?
True
Let o = -34 + 29. Which is bigger: -3 or o?
-3
Let k = 10/17 - -113/68. Let l = 2 - k. Let j = -3 - -2. Which is bigger: j or l?
l
Let y = 10/13 - 79/52. Do 0 and y have the same value?
False
Let d be 2 + 4 + (-34)/6. Are d and 0 nonequal?
True
Let w = 0 - 1. Let u = -0.14 - 0.06. Which is greater: w or u?
u
Suppose -23 = -4*i + 101. Which is greater: i or 30?
i
Suppose 5*l = -15, 2*u + 9 = -5*l + 2. Which is bigger: 3 or u?
u
Let u = 1 + 0. Let j = -84 + 72