4*p = 1 + 4. Is j not equal to 3?
True
Suppose z + 3 + 1 = 0. Let r = -5 - 0. Let h = z - r. Is 2/5 smaller than h?
True
Let t be 253/(-405) + (-1)/(-15)*9. Which is bigger: t or 0?
0
Let a(d) = d**2 + 8*d - 17. Let u be a(3). Let h(z) = -z**2 - 10*z - 6. Let q be h(-7). Are q and u unequal?
True
Suppose 0 = 16*z - 10*z - 30. Is z smaller than 6?
True
Let w = 7 - 3. Let f = -9 + 12. Suppose 2*s = s + f. Is w bigger than s?
True
Let n be 0/2 + (-3)/(-5). Suppose -4*g = -5*z + 16 - 5, -3*z - g = -10. Suppose q = -2 + z. Which is greater: n or q?
q
Let c be -5 + -3 + 222/27. Let z = 0.29 - 0.3. Let r = 4.01 + z. Is r bigger than c?
True
Let w = -107 - -75. Let o = -26 - w. Which is greater: o or -2?
o
Suppose -6*g = 12 - 6. Which is greater: g or -4/51?
-4/51
Let z be 4/((-40)/75)*(-40)/18. Which is bigger: 18 or z?
18
Let v be (8/(-20))/(1/60). Let t = v - -47. Suppose -4*u - 7 = -t. Do u and 3 have the same value?
False
Let p be ((-8)/10)/(4/(-10)). Let i = 9 - 6. Suppose -p*z - 2*z = 2*s + 8, -6 = -3*s + i*z. Which is smaller: 2 or s?
s
Let z be 945/(-70)*(-2)/(-12). Is z at least as big as -3/5?
False
Let p = 89/21 - 18/7. Is p greater than 3?
False
Suppose 3*u - 15 - 12 = 0. Let f be (u/6)/((-6)/16). Let w be (0 - -2) + f/6. Which is smaller: 1 or w?
1
Let j(n) = -57*n**2 + 3*n - 3. Let r be j(3). Let v = 1591/3 + r. Let p = -23 + v. Are p and 1 nonequal?
True
Suppose -t - 2 = -4*b - 6, 2*b + 2 = 5*t. Let d = 9776/27 + -362. Which is smaller: d or b?
b
Suppose 6*g = 7*g - 9. Let t = g + -11. Are 1 and t equal?
False
Let n = -52 + 52. Let q = -5 + 29/6. Which is greater: n or q?
n
Suppose d = -4*a + 1 - 18, -d = -a - 8. Let h = 5 - d. Which is greater: 1/2 or h?
h
Suppose 9 = -0*r + 3*r. Suppose r*d - 7 = -13. Which is greater: d or 0?
0
Suppose 52 = 4*d + 12. Suppose 0 = 5*y - d*y - 50. Let u be 0/(-3) - 2/y. Is 0 bigger than u?
False
Let m be 0*(-3)/6 - -3. Let r be (-1)/m + 85/165. Let w = 2 - 3. Is r > w?
True
Let o = -1 + 1. Let d = -985/2 - -6841/14. Let l = 4 + d. Is o bigger than l?
False
Let l(u) = -u**2 + u. Let f(o) = o - 5. Let i be f(6). Let h be l(i). Is h bigger than 2/15?
False
Let l = -6 - -11. Let o be l/(-5)*(0 + -1). Which is smaller: 2/15 or o?
2/15
Let m be (12 + -3)*(-2)/(-6). Let i be (-3)/(-1*m) - -2. Is i at most as big as 3?
True
Let k = -47/12 - -13/4. Is 0 at least as big as k?
True
Let h = 0.19 + 5.81. Is h bigger than 0.3?
True
Suppose 0*b - 4*i = b + 1, 5*b + 5 = i. Is b <= -3?
False
Let t be (8 - 8)/(-4 + 2). Which is greater: t or -4/19?
t
Let n be ((-18)/2 - -2)*-1. Suppose s + 13 = -2*s + 4*w, s = 4*w - n. Suppose 2 = -x - 5*b + 25, 5*b = x + 27. Which is bigger: x or s?
x
Let m be 5 - (4 - 2) - (-5)/(-2). Which is smaller: m or -11/2?
-11/2
Let i = 34/95 - 3/19. Which is smaller: i or -1/3?
-1/3
Let k = -1 + 65/67. Which is smaller: k or 2/7?
k
Let d = -0.21 + -0.79. Is d less than -1/11?
True
Suppose 5*q + 24 = -2*b, 0 = -0*q + 3*q + 12. Let x = 3.4 - 3.4. Which is bigger: x or b?
x
Let s(w) = w**3 + 3*w**2. Let x be s(-3). Which is smaller: 1 or x?
x
Let m = 1 - 1. Let k = -30110/39 - -772. Which is smaller: m or k?
k
Let r be (4 + -9 - -6)/((-1)/1). Let a(v) = -v - 3. Let z be a(-2). Is r smaller than z?
False
Let z = 125 - 124. Is 2/71 at most as big as z?
True
Let m = -1 + 2. Suppose 0 = 5*b - 21 + m. Let x(p) = -3*p. Let c be x(-1). Which is greater: b or c?
b
Let x be (-11)/9 + (-4)/(-18). Suppose 3*m - 9 = 2*p + 15, -4*m + 2*p = -30. Let t be 30/(-24) + m/(-8). Which is greater: x or t?
x
Suppose d + 3*z = -2, -2*z = d - z + 2. Let q(m) = m - 5. Let k be q(7). Suppose 3*t + 4 = k*t - 2*a, 2*a + 4 = t. Is d smaller than t?
True
Let p(y) be the first derivative of y**3/3 - y**2 + y - 2. Let n be p(1). Which is smaller: n or -1?
-1
Let g be 4/(-12)*-9 + 1. Are g and 6 non-equal?
True
Let p = 14 + -15. Let y = -230 + 913/4. Which is smaller: p or y?
y
Let i be 4 + (-81)/15 - -1. Are 0.2 and i equal?
False
Let d be (1*-3)/(-3)*(-3)/21. Which is smaller: d or 1?
d
Let u = -5/4 - -1. Are -1 and u nonequal?
True
Let l = 8 + -5. Suppose 12 = -5*x - l. Let z be 3 - (0/(-2))/x. Does 3 = z?
True
Let h = -5 + -2. Let o(w) = w**2 + 8*w + 1. Let v be o(h). Is -1 less than or equal to v?
False
Let b(j) = j**3 + 8*j**2 - j - 6. Let h be b(-7). Let f = -199/4 + h. Which is smaller: f or -1?
-1
Let s = -17 + 2. Which is smaller: s or 2?
s
Let u be ((-4)/6)/((-16)/(-6)). Is u less than 0.13?
True
Let z be 8/(-22)*(-16)/(-224). Which is smaller: 0 or z?
z
Let o = -0.47 - -1.48. Let t = o - 0.01. Is t smaller than 5?
True
Let h(t) = -t**3 - 4*t**2 - 3*t. Let a be h(-2). Let y = -1/58 + -72/29. Is a > y?
True
Let k = 1784/17 - 105. Is 0.2 at least as big as k?
True
Let j be 1 + 0 + 3/3. Suppose j*p + 12 = -p. Let u = 8 - 12. Does u = p?
True
Let a = 26 - 44. Let b = a - -32. Suppose -5*r - b = 6. Is r >= -3?
False
Suppose 0 = -6*q + 4*q. Let k = q - 1. Let c be (1 - 0) + 5*k. Is -4 != c?
False
Suppose 4*r = -a + 9, 2*r + 0*a = -2*a. Let w be r - 7/(42/16). Which is bigger: 2 or w?
2
Let p(s) = -s**2 - 8*s + 8. Let g(b) = 10*b + 1. Let c be g(-1). Let y be p(c). Is y greater than -4/3?
True
Suppose -14*n - 285 = -19*n. Which is smaller: n or -0.1?
-0.1
Let i = -963/5 - -192. Suppose f - 2 - 6 = 0. Let t be (-2)/f + 3/(-4). Which is smaller: t or i?
t
Let a = -3 + 6. Suppose 0 = -7*g + a*g + 12. Suppose -2*l = -g*b - 5, 0 = -l + 4. Are b and 2/7 unequal?
True
Let b = -11103/20 - -555. Let y = 3 - 4. Which is greater: b or y?
b
Let h(f) = f + 1. Let t be h(-5). Let n = 3 + t. Let q be 52/(-72) - 2/(-9). Which is bigger: q or n?
q
Let w = -5 - -4.8. Is -2 >= w?
False
Suppose -2*u + 12 = -16. Let w be (-36)/21 - 4/u. Let q(g) = g**2 - 2*g - 4. Let l be q(3). Which is bigger: w or l?
l
Let s = 1/17 - 21/68. Is -1.7 smaller than s?
True
Let o be 7 - ((-1 - 1) + -1). Let s be (-5)/25 - (-62)/o. Is 6 greater than s?
False
Let s = -15 + 13. Suppose 2*u - 3*y + 4 = -8, -4*u - 3*y = -12. Let j = 0 - u. Which is smaller: s or j?
s
Let q(n) = -3*n**2 - 2*n - 2. Let i be q(-2). Let c = 19 - 10. Let r = i + c. Which is bigger: r or -4/5?
-4/5
Let i(n) = -n**3 + 2*n**2 + 3*n + 1. Let u be i(3). Suppose -2*f = -f - 7. Let a be -6 + f + (1 - 2). Are a and u unequal?
True
Suppose 3*l - 3 = -0*o + 3*o, 0 = -3*o + 5*l - 5. Which is smaller: -8/7 or o?
-8/7
Let n = 0.31 + -0.41. Is -0.34 >= n?
False
Let n = 1 + -1. Suppose -3*y = 2*y - 5. Does n = y?
False
Let c = 0 - -19. Suppose -4*k - 32 = 3*z, 4*k = -z - c - 13. Is -9 greater than k?
False
Let d = 8.1 - 8. Are 19 and d nonequal?
True
Let q be (-2 + -1)/(27/(-16)). Let d = q + -322/171. Let i be 5/4 + 2/(-8). Is d not equal to i?
True
Let j = 45 + -43. Which is smaller: -2 or j?
-2
Let l = -15 + 39. Let w = l + -12. Let m be (-3)/5 + w/70. Which is smaller: 0 or m?
m
Suppose 0 = m - 3*q + 15, -5*q = -3*m + 5*m - 3. Which is greater: m or -10?
m
Let o be (-7)/9 - (-2)/(-9). Let f = -17 + 16.6. Does o = f?
False
Let w be (3 + 7 - 1) + (1 - 2). Which is bigger: 10 or w?
10
Let j(s) = 2*s - 7. Let n be j(5). Suppose -n*m = -m. Is m > -3/5?
True
Let s be 2/9 + (-172)/(-36). Let f = s + 4. Let b be (-1 - f/(-15))*-1. Which is greater: 1 or b?
1
Let y be ((-6)/9)/((-1)/(-213)). Let l be 1 + 1 + (y - 0). Let s = l - -1818/13. Which is greater: s or 0?
0
Let x = -0.25 - -0.2. Let n = -0.05 + x. Is n not equal to -4?
True
Suppose 5*y = 3*s + 98, -2*s - 3*s - y = 154. Which is bigger: s or -32?
s
Let r(a) = a**2 - 8*a + 1. Let i be r(7). Suppose 0 = -5*x - 35 + 10. Is i smaller than x?
True
Let k(b) = b**2 + 8*b - 8. Let u be k(-8). Let z = u - -3. Is -5 >= z?
True
Let s = 3 + -3.5. Suppose 3*n = 8*n - 3*f - 12, 5*f = 5*n - 20. Which is smaller: s or n?
s
Suppose -8*p = -3*p + u - 201, 0 = p + 2*u - 33. Suppose 2*c + p + 1 = 3*f, c + 8 = -5*f. Let i be 2/9 - 2/c. Do 1 and i have the same value?
False
Suppose 5*j - 285 = -5*p, 5*j + 4*p + 67 - 349 = 0. Let u be (62/(-16))/((-2)/(-28)). Let b = u + j. Is -1 <= b?
True
Let m = -32846/51 - -644. Do m and 1 have the same value?
False
Let v = -4 - -9. Suppose -1 = 4*a - v, 0 = -3*y - 4*a + 1. Let l be ((-2)/(-4))/(1/(-4)). Which is smaller: y or l?
l
Let a(b) = -b**2 + 6*b + 5. Let t be a(6). Suppose 2*z - 40 = 5*u, t*z - 19 = -u - 0. Suppose 2*j + 5*k