-5*p - 35, -p - 3*p + 8 = 4*w. Suppose o - 5*o + 20 = 0. Suppose -o + 25 = -5*b. Which is smaller: b or p?
b
Suppose 5*s = -4*q + 44, 3*s = -2*q + 41 - 17. Suppose 0 = z - q*z. Suppose -2*a + 5*j + 30 = 3*a, -4*a + j = -9. Is a > z?
True
Suppose 5*h - 3*u = -8313, -h - 8337 = 4*h + 3*u. Let t = -8381/5 - h. Let n = t - -11. Is -1 at least n?
False
Let y(w) = w**3 - 10*w**2 + 2*w - 15. Let r be y(10). Let a(p) = -p**2 + 6*p. Let i be a(r). Suppose 3*t = i - 2. Which is greater: t or 3/4?
t
Let c = 71 + -68. Do c and -4 have the same value?
False
Let a = 0 + -0.2. Let l = 5 - 4. Let m = 0 - l. Which is bigger: m or a?
a
Suppose 5*z + 5*m - 18 - 227 = 0, 0 = -5*m + 20. Let x be -3 + 0 - z/(-20). Which is smaller: x or 0?
x
Suppose 3*p - 5*p = -10. Suppose 0 = 2*v + 3*v - p. Let m be 2 - (-11)/(-9) - v. Which is smaller: m or 0?
m
Let g = -1 - 0. Let c be (-5)/10*(-7 + g). Which is smaller: -0.1 or c?
-0.1
Suppose 3*v - w + 39 = 4, 5*w + 25 = -5*v. Is -10 bigger than v?
False
Let f(i) = i**2 - 2*i + 2. Let w be f(2). Let k(p) = p. Let a(h) = -h**2 - 5*h + 2. Let d be a(-5). Let t be k(d). Are t and w non-equal?
False
Let a be ((-3)/9)/(14/6). Let r be 1/(-2) + (-3)/(-2). Which is smaller: a or r?
a
Let f be (2/4)/(2/4). Let l(y) = y + 11. Let a be l(-8). Let p = 0 + a. Are p and f equal?
False
Let a = -5.97 - -6. Let d = a + -0.63. Let j = d - 0.4. Is 0.1 bigger than j?
True
Let a = 0 - 6. Let v = a + 8. Suppose 5 + 1 = -v*s. Is 1 at most as big as s?
False
Let y be 1 + (99/(-18))/(0 - 5). Is 3 at most y?
False
Let j(o) = -o + 17. Let d be j(13). Suppose 5*p - 17 = -y - 4, 0 = d*y + 8. Which is greater: p or 9/5?
p
Suppose 2*q - 4*k = 32, -2*q = q - 4*k - 42. Let j be 6/(-5) - (-2)/q. Let v be (j*1)/(3/(-18)). Which is bigger: 5 or v?
v
Let j be 0 - ((-52)/18 + 3). Is j equal to -1?
False
Let m = -0.26 + 0.19. Which is smaller: -2 or m?
-2
Let r be (0/4)/(10/5). Is r smaller than 1/4?
True
Suppose 14 = 2*f - 2*k, 0*f = -f - 5*k - 5. Suppose 3*p - f = -2*p. Let l be (1/6)/((-2)/(-4)). Which is greater: p or l?
p
Suppose 0 = 2*m - 8, 2*m + m - 10 = a. Suppose a*w - 6 = 2. Let r = w + -3. Is 2/7 greater than r?
False
Let j = 13 - 3. Does j = 10?
True
Let k = -372/5 - -4816/65. Let l = 9 + -10. Does k = l?
False
Let g(b) = b**3 + 5*b**2 - 8*b - 8. Let u be (-2)/(-8) - 25/4. Let s be g(u). Suppose -2*p + o = 0, 20 - 4 = s*o. Is 3 greater than p?
True
Let l(v) = -v**2 + 6*v - 9. Let u be l(4). Which is bigger: u or -2?
u
Let w = -5/18 - 1/18. Is w <= 1?
True
Let h(q) = -q**2 + q + 3. Let l be h(0). Is 5/3 at most as big as l?
True
Suppose -58*r - 12 = -54*r. Let m = 5 - 1. Let a be (m/6)/(2/(-6)). Is r at least a?
False
Let x = -1 - -4. Let s = -23 - -40. Let g = s + -12. Which is smaller: x or g?
x
Let f be 0 - ((-16)/(-56) - 16/7). Is 15/13 <= f?
True
Let n be ((-10)/15)/((-2)/(-9)). Let d = -91.01 - -92. Let u = d - -0.01. Which is smaller: u or n?
n
Let v = -15 - -27. Let a = 13 - v. Is 9/4 less than a?
False
Let k = -1/9 - 2/9. Suppose 4*y = y. Is y greater than k?
True
Let v = -1.55 - -0.65. Which is bigger: v or -0.4?
-0.4
Suppose s - 8 = 3*r, -5*r + 4*s - 15 = 2*s. Suppose -14 = -p + 3*w, 3*p + 4*w = p + 78. Let f = p - 147/5. Which is smaller: f or r?
r
Let j(m) = m**3 + 5*m**2 - m - 7. Let q be (1/(-2))/(6/60). Let x be j(q). Is x < -4/7?
True
Suppose -r - 4*r + 10 = 0. Let n = 45 + -29. Suppose 2*f = 3*c - n, 2*c + 21 = -3*f - 2*f. Is r not equal to c?
False
Suppose s + 5*q - 3*q - 6 = 0, -s + 4*q = -36. Which is smaller: s or 15?
15
Suppose -2*i = 4*s - 22, -2*i = -s - 0*s - 2. Suppose 4*h - i = h. Is h smaller than 2/35?
False
Let g be ((-3 + 3)/1)/(-1). Suppose 0 = 3*a + 4*u + 7, g = 3*u - u + 2. Which is greater: 0 or a?
0
Let j be 16/(-138)*(-33)/44. Is 0 less than or equal to j?
True
Suppose -5*d + d + 8 = 0. Suppose -2*i = -2*t, -2*i - d*i = 2*t - 18. Let p = i + -3. Is p at least as big as 2/13?
False
Suppose 3*s - 14 = -t, 1 = s - t + 3. Suppose -q = s*q. Which is greater: 2/15 or q?
2/15
Let u(o) = -o + 8. Let s be u(6). Let f be (24/(-45))/((-4)/6). Which is greater: s or f?
s
Let u(b) = 3*b**3 + 7*b**2 + 3*b - 4. Let w(f) = -2*f**3 - 6*f**2 - 2*f + 3. Let a(z) = 3*u(z) + 4*w(z). Let t be a(1). Which is smaller: -2/25 or t?
t
Let b(y) = 2*y. Let t be b(4). Let d(j) = j**3 - 8*j**2 + j - 11. Let w be d(t). Suppose -1 + 5 = -2*m. Which is greater: m or w?
m
Let z = -150 + 143. Is -0.02 bigger than z?
True
Let k = -0.02 + 0.02. Is k > 1?
False
Let k = 6.5 + -7.5. Is 0 greater than k?
True
Let q(g) = -3*g**2 + 3*g + 1. Let b be q(-3). Is b equal to -36?
False
Suppose 5*p - 15 = -0*p. Let g be 4*3/(-6) + p. Which is greater: -4/5 or g?
g
Let t(v) = v**2 - 7*v. Let i be t(7). Suppose g = 2*y + 11, -g + 20 = -5*y - i. Which is bigger: g or 3?
g
Let x be 16/24*(0 - 87/(-2)). Which is bigger: 0.1 or x?
x
Let n = -26 + 236/9. Is 1/5 greater than n?
False
Suppose -2*o - 7 = -q, -o - o - 8 = -2*q. Which is greater: 5/8 or q?
q
Let s(j) = j**3 - 6*j**2 + 2*j - 7. Let z be s(6). Suppose 2*y - 4*u - 6 = -0*u, 0 = -5*y - z*u + 45. Is y at most as big as 7?
True
Let w = -175/12 + 43/3. Which is smaller: -2.4 or w?
-2.4
Suppose -5*c + 5 - 30 = 0, 4*c = -4*k - 20. Suppose 0 = 2*q + 10, g + k*q + 21 = -4*q. Let h = -119 + 1191/10. Is h smaller than g?
False
Let z be -6 + (0 - 2) - 1. Do -9 and z have the same value?
True
Let m be 10/(-16)*6/(-45). Suppose -3*j = -4*q + 20, -3*q + j + 2*j + 18 = 0. Let s = q + -1. Which is smaller: s or m?
m
Let l(z) = z**2 + 0 - 1 - 6 + 6*z - 2. Let d be l(-7). Is d >= -4/5?
False
Suppose 4*g = s - 5*s - 36, -1 = s. Does g = -8?
True
Let j = 0.2 + -0.24. Which is bigger: 2/11 or j?
2/11
Let c(d) = d**3 + 8*d**2 - 2*d - 11. Let u be c(-8). Let j = 2 - 1. Let r = j - u. Which is smaller: -2 or r?
r
Let z(p) = p + 6. Let v be z(-6). Suppose v = 4*t - t. Is 2/13 less than or equal to t?
False
Let x = -0.11 - 0.89. Is 5 less than or equal to x?
False
Let x = 27/76 - 1/4. Which is smaller: x or -1?
-1
Let p = 116 + -117. Is 0.5 at least as big as p?
True
Let c = 372 - 9301/25. Is 1 < c?
False
Let b = -11830/29 + 408. Do 2 and b have the same value?
False
Let u = 12 - 15. Suppose 2 = -5*a - 13. Let d = -5 - a. Is u bigger than d?
False
Let k(m) be the first derivative of -m**3/3 + m**2/2 + 3*m + 3. Let d be k(3). Does d = -2?
False
Let z = -1 + 0.6. Let v = -0.3 - z. Let s = -45/2 + 22. Which is greater: v or s?
v
Let t be 1*0/(-2) - 1. Which is smaller: t or 1/9?
t
Let i = 6 - 6. Let k = 2 + i. Which is smaller: 1 or k?
1
Let c = 77/2 + -38. Which is bigger: 5 or c?
5
Let b(t) = -t**3 + 4*t**2 - 2*t - 1. Let p be b(3). Suppose -p = 5*z - 4*c, -2*z - 5*c - 8 = -3*z. Let k = -2/467 - 1391/2335. Which is smaller: z or k?
z
Suppose -x = -a, -8*a + x + 4 = -3*a. Is -1 bigger than a?
False
Let z = -17 + 37/2. Let x be 8/(-32) + (-9)/(-4). Is x less than z?
False
Suppose v + 1 = -4. Which is smaller: v or -2?
v
Let f = 80 - 34. Do 46 and f have different values?
False
Let y(m) = 3*m**3 + 2*m**2 + m. Let b be y(-1). Let l be (-99)/(-60) - b/(-8). Which is smaller: 1 or l?
1
Let l(o) = o + 1. Let y be -2 - (0/(-3) + 1). Let s be l(y). Let c = -17/2 - -7. Which is smaller: c or s?
s
Suppose -6*m - 4 = -2*m. Is m not equal to -4/13?
True
Let z(i) = -3*i**2 + 3*i - 2. Let w be z(2). Suppose -5*o = 4*f - 90, -2*f = 3*f + 5*o - 110. Let q = f - 29. Which is smaller: w or q?
q
Suppose 5*m = 2 - 12. Let a = m + 2. Suppose -7 = -4*j + 5. Which is greater: a or j?
j
Let z be 3 - 2*(-138)/(-94). Let h = -89/658 + z. Which is smaller: h or -1?
-1
Let w be ((-2 + 1)/(-8))/(3/(-6)). Is w != -4/9?
True
Let o = 842/495 - 8/55. Which is smaller: o or -1?
-1
Suppose 2*k + 3*y - 13 = 0, 5*k + 3 = 3*y - 17. Let c be 38/(-285)*2/k. Which is smaller: 1 or c?
c
Suppose 2*q = -4*r - 607 + 75, 2*q = -r - 136. Let g = -658/5 - r. Is 0.2 <= g?
True
Suppose l = 3*n - 3*l + 14, 4*l - 8 = 0. Let h(x) = -x**3 + 4*x**2 - x + 4. Suppose -2*i = i - 12. Let s be h(i). Which is bigger: n or s?
s
Suppose -5*o = -2*w + 26, -4*w + 1 = -2*o - 3. Which is bigger: -7 or o?
o
Let t = 1087/70 + -108/7. Let j(v) = -v + 2. Suppose h = -3*h + 12. Let d be j(h). Is t at most d?
False
Let m be (-2)/(-4)*9/(-18). Let s = 28 + -29. Which is smaller: s or m?
s
Suppose 3*t = 5*t