or l?
d
Let p = -22 - -23. Is 2/43 not equal to p?
True
Let m = 12 - 20. Let i = -12 - m. Let c = i + 4. Which is smaller: 4/7 or c?
c
Suppose 7 = -2*o + 3*o. Let n = 11 - o. Is n > 5?
False
Let h = 9 + -4. Let s be (-14)/(-21) + (-16)/(-3). Is h greater than s?
False
Let l be -104*(-4)/140 + -3. Let m = 31/140 - l. Let z(y) = y - 6. Let k be z(5). Do k and m have different values?
True
Let n(s) = -s**3 + 7*s**2 + 10*s - 17. Let l be n(8). Which is smaller: 1/8 or l?
l
Let v = 90 + -88. Are v and -1 non-equal?
True
Suppose 2*a - 10 = 6*j - j, 4*a = 20. Are j and -2/21 nonequal?
True
Suppose i = -i. Suppose 0 = 2*x - i*x. Is -2/7 smaller than x?
True
Let l = -8 - -8.13. Let u = l + -0.07. Which is bigger: u or -1?
u
Let g(j) = j**2 + 6*j - 2. Let f be g(-7). Let a(l) = 5 - f - 5*l + 3 + l**2. Let o be a(4). Which is greater: -3 or o?
o
Let y be 9/(-15) + 17/(-5). Is y equal to -5?
False
Let z be (7 - 15)*3/(-8). Let g = -3/25 - 69/50. Is g equal to z?
False
Let o be (-1)/3*(-63)/(-294). Suppose -4*h + 3*h - 4*q - 3 = 0, 3*q + 4 = h. Which is smaller: h or o?
o
Let b be -2 - (-2)/(2/9). Suppose -3*v = 5*c - 13, -3*v - 4*c + 4 + b = 0. Let u = 0.2 + -0.3. Is v > u?
True
Suppose 0 = 6*p - 11*p - 90. Let q be (-9)/p*6/(-5). Suppose 4*v + 6 = -2. Which is smaller: v or q?
v
Let c = -0.12 - -0.92. Is 3 at most c?
False
Let d = 4 - 3. Let r = 119/3 - 39. Are r and d nonequal?
True
Let n(d) = d**3 + 11*d**2. Let a be n(-11). Let m = 136 - 948/7. Which is bigger: m or a?
m
Let m = -65 + 65. Let k = 0.05 + 0.03. Which is greater: m or k?
k
Let p = -2.1 - -1.1. Is p greater than or equal to -0.008?
False
Suppose 0*v = 4*v - 8. Let h be v/(-13) - (-166)/(-104). Is 1 < h?
False
Suppose 0 = 3*x + v - 13, 2*v = -5*x + 3*v + 27. Suppose 0 = -4*l + 12, -4*l = 5*d + l - 25. Which is bigger: d or x?
x
Let n be (-1 + 3 - -3)*1. Suppose n*v - 2*u = -26, -5*v + 2*u - 29 = -u. Let z be v/(-14) - 26/(-7). Is 5 less than or equal to z?
False
Let b be 10/7 + 4/(-4). Suppose -3*u - 15 = 3*w, u + 2 = -4*w + 3*u. Which is bigger: w or b?
b
Let x = 12 + -6. Suppose -7*t + x*t - 1 = 0. Is 0.03 at least t?
True
Suppose -16 = 4*u - 3*s, 4*u + 3*s - 10 = 2*u. Let o be 2/(-21)*3/(-1). Which is bigger: u or o?
o
Let c be 375/7 - (-9)/21. Suppose -5*o - 7 = -3*j + c, -21 = o - 5*j. Is -11 > o?
False
Let j be (222/20)/(-3) - (-12)/3. Is j greater than or equal to -1?
True
Let d = -0.3 - -0.2. Let f = 360.6 + -360. Is f > d?
True
Let n = -2 + 4. Suppose -2*b = 4*u + 14, 0*b - 13 = -n*u + 3*b. Let y be (u/2)/(3/(-9)). Which is greater: y or 3?
3
Suppose 2*n + 20 = -3*t, -n - 3*n - 28 = 3*t. Let l = n + 8. Are l and 2 non-equal?
True
Let v = -53031/20 - -2651. Let i = -214 + 2137/10. Let n = i - v. Which is greater: 0 or n?
n
Suppose -6 = -4*b + 10. Suppose 0*q - q = -b*h - 6, -5*q + 12 = -2*h. Let f be q/(-20)*(-4)/(-2). Which is greater: 1 or f?
1
Suppose 0*v = -v + 3. Let t be 0 + 0 + 6/v. Suppose 1 + t = n. Which is bigger: n or 4?
4
Let l(n) = n**3 + 2*n**2 - 3*n - 2. Let a(v) be the first derivative of v**4 + v**3/3 - 3. Let g be a(-1). Let x be l(g). Which is greater: -3 or x?
x
Suppose -3*f - 5*n - 37 = 0, -2*f + 3*n + 7 = -0*n. Let w = f + 3. Let p be ((-2)/5)/(w/(-5)). Is p less than or equal to 0?
True
Let p = 6 - 4. Suppose 2 = p*c - 0. Let f = 2 - c. Which is smaller: 1/3 or f?
1/3
Suppose 5*c = -0 - 5. Is c bigger than -19?
True
Let g be (-2 + -3 + 3)*2. Let v(p) = -2*p**2 + 2*p + 2. Let d be v(2). Let s be (d/g)/((-10)/16). Is s greater than or equal to -2?
True
Let a(u) = 2*u - 12. Suppose -2*g = -5*g - 2*d + 17, 0 = -3*g + 5*d + 52. Let q be a(g). Suppose -q = -3*x + x. Is x != 3?
False
Let u = -3.8 - -1.9. Let d = 2 + u. Let s = d + -0.1. Is 4 at most s?
False
Let b = 0 + -1. Let r = -2.9 - -3. Let f = r + -0.2. Are b and f non-equal?
True
Let w = -99 - -493/5. Which is smaller: 1 or w?
w
Let o = 18 - 17. Which is bigger: 0 or o?
o
Suppose -3*o - 1 = -2*o. Let a(i) = -i**2 + 3*i - 1. Let y be a(4). Let k be 4/(-4)*(-1)/y. Do o and k have different values?
True
Let d = -50 - -14. Is d less than or equal to -38?
False
Let n = 5/18 + -29/72. Is 1 greater than or equal to n?
True
Let l = 0.38 - -0.02. Let a = 4 + -3. Let u = a + -1.1. Which is smaller: l or u?
u
Let k(u) = -u - 2. Let b be k(2). Let a(p) = p**3 + 3*p**2 - 3*p + 5. Let n be a(b). Let s be 5/25 + (-17)/35. Which is greater: n or s?
n
Let s = -16 - -29. Suppose 2*v = 3*v - s. Is 13 less than or equal to v?
True
Let q = -2 + -4. Let s(c) = -2*c - 30. Let n be s(-13). Is q at most n?
True
Suppose -3 + 3 = 6*r. Which is smaller: r or -6/7?
-6/7
Let i = 2 - -150. Which is smaller: 153 or i?
i
Let y be -1*-2*4/16. Which is smaller: 0.9 or y?
y
Let y = 297/14 + -43/2. Let q be (-4 - -4)*(-2)/4. Suppose q = -4*t + t. Which is bigger: y or t?
t
Suppose 0 = -q - 3*q + 20. Suppose 3*g = q*g. Does g = 1/9?
False
Let r = 0.07 + -4.07. Let w be (-4)/(-6) + (-11)/3. Let b = w + 13/4. Which is smaller: r or b?
r
Let x = -2 - -4. Let t = 64 + -64.4. Is x > t?
True
Let o(z) = z**3 - z + 20. Let p be o(0). Suppose 4*h = 2*s + p, 2*s - 2*h + 2 = -8. Suppose s*v + 4 = -4*v. Which is greater: v or -2/3?
-2/3
Let f(b) = -2*b - 8. Let d be f(-6). Let t = -4 + d. Let x be (8/6)/((-2)/(-3)). Is t > x?
False
Let y be 1/7 + (-531)/2835. Is y greater than 1?
False
Let i = -13 - -12. Which is greater: 1/5 or i?
1/5
Let f(b) = -5 - 4*b + 0 + 3*b. Let a be f(-5). Suppose a = -0*m + m. Which is smaller: m or -2?
-2
Suppose -11 = 2*l + 1. Let g(w) = w**2 - w. Let u(p) = 7*p**2 - 18*p + 10. Let s(y) = l*g(y) + u(y). Let f be s(11). Which is bigger: f or -2/5?
-2/5
Suppose -13 + 49 = 4*k. Let f be -2*(k/6)/(-3). Which is smaller: f or -1/4?
-1/4
Let o = -14 - -14. Which is bigger: 2/35 or o?
2/35
Let y = -10 + 0. Let i = y + 21. Is 12 at least as big as i?
True
Let u(i) = -i**3 - 2*i**2 + i. Let v = -6 + 4. Let b be u(v). Let m(a) = -3*a - 24. Let w be m(-8). Is b bigger than w?
False
Let f = 61.1 + -61. Is f smaller than 8?
True
Let i = -13 - -16. Which is bigger: i or -2/5?
i
Let l = -235 - -2117/9. Suppose 3*y = 6*y + 3. Is y at most l?
True
Suppose -2*w - 5 = 4*y + 3, -5*y = 4*w + 16. Let j be 1 + y - (2 - 0). Let o = -73 + 805/11. Which is smaller: o or j?
j
Let v(b) = b**3 - 7*b**2 - b + 2. Let n be v(7). Let l = -1 + n. Which is greater: l or 0?
0
Let t = -0.1 - -0.08. Let q = t - 0.28. Which is greater: 1 or q?
1
Let g(l) = l**2 - 6*l + 5. Let v be g(5). Let j(p) be the second derivative of -p**4/12 - p**2 + p. Let q be j(v). Which is smaller: q or 0?
q
Let u = -843 + 4248/5. Which is greater: u or 8?
8
Let v be (-9)/(-3)*8/444. Is 0 smaller than v?
True
Let x = -125/4 - -2113/68. Is x greater than or equal to 1?
False
Suppose 0 = -5*l - 3 - 17. Let a = l + 5. Which is smaller: 0 or a?
0
Suppose 5*p + 1 = -4. Let r be -2 + 0 - (p - 0). Which is smaller: r or 1?
r
Let f = -1.13 - -1.2. Let v = 0.081 - 0.011. Let j = v - f. Are j and 0 non-equal?
False
Let a = 1466/45 - 164/5. Which is bigger: a or 1?
1
Let g be 3 + 36/(-10) - 56/15. Do g and -3 have the same value?
False
Let i(g) = -g**3 - 5*g**2 + 4*g - 8. Let c(b) = -6*b. Let n be c(1). Let x be i(n). Which is smaller: x or 5?
x
Suppose 2*o + 4*o = -1734. Let s = -3177/11 - o. Is s bigger than 0?
True
Let u be 17/51*1*-1. Is -2/3 at most u?
True
Let h = -24/5 + 101/20. Is -7 < h?
True
Let d be (-15)/22*4/(-6). Is d > 0?
True
Let n = -0.2 - -0.2. Let w = -9.6 + 0.6. Let p = w + 6. Is n at least p?
True
Let x(q) be the first derivative of q**3/3 + q**2/2 - q + 2. Let z = -1 - -2. Let w be x(z). Which is bigger: 4/5 or w?
w
Let d be 44/20 - 1/5. Suppose 0 = 5*y + d + 13. Is y at most 2/3?
True
Suppose -3*k - 4*i - 9 = 0, 4*k - 2*i = -0*k + 10. Suppose 2 = t + 1. Suppose t = -2*b - 1. Is k >= b?
True
Let w = -1296 + 1298. Let a be (-2)/(-5) - (-1234)/(-210). Let f = a + 19/3. Which is bigger: f or w?
w
Suppose -5*a - 5 = 0, -v + 9 = 2*v - 3*a. Suppose -o + v = 4. Let d = 0 + -1. Which is smaller: o or d?
o
Suppose 2*m + 5 = -3*m. Suppose 0 = -4*v - n + 4, 2*n + 0 + 6 = -v. Let r be ((-1)/v)/(20/32). Is m <= r?
True
Suppose 3*x = 2*a - 5 - 2, -2*a + 4 = 0. Which is smaller: x or 2?
x
Suppose 0 = 3*u - 0*u. Suppose u = -4*s + 5*s. Suppose a + s = -2. Is a <= -2?
True
Let w be (-2)/6*