 p be (-1 - -1)/(8 + -6). Is 2/9 < p?
False
Let a be (-8)/3*-1*(-1)/20. Which is smaller: 0 or a?
a
Suppose -o - 2 + 6 = 0. Suppose -o*a + 12 = 5*s + 28, a + 19 = -5*s. Suppose 5*l - 2*f = -6, -4*f + 18 = -5*l + 6. Which is greater: l or a?
a
Let m(p) = p - 6. Let a be ((-2)/(-3))/(24/252). Let c be m(a). Do 2/5 and c have different values?
True
Let w = 0 + 5. Suppose 0*c = 3*l - c - 13, -11 = -4*l - w*c. Let f = -5 + l. Is f >= -1/2?
False
Let x(t) = -t. Let v be x(0). Suppose -3*h + 21 = -5*n, -n - 17 = -h + 4*n. Let s be (h/9)/1*-3. Which is smaller: s or v?
s
Let q be 1*(3 + 0/1). Which is bigger: q or 5?
5
Let b(n) = -n - 5. Let t = -15 + 9. Let c be b(t). Let v be (3/14)/((-4)/(-14)). Is v at least c?
False
Suppose 0 = -3*o + 41 - 5. Let q = o - 25/2. Which is smaller: q or -1?
-1
Suppose -k - 4*k + 175 = 0. Suppose -y - k = -11. Let v be ((-1)/(-3))/(4/y). Is v smaller than 0?
True
Let u = -9 - -7. Which is bigger: -4 or u?
u
Let g be (-1)/(4/104) - 2. Let n be 0 - (32/g)/1. Do 1 and n have the same value?
False
Let j be 0/(-2*(0 - 1)). Suppose j*r + 6 = -3*r. Let y = -12 - -11. Is r >= y?
False
Suppose -10 = 2*a - 3*i + 17, 2*i = -5*a - 96. Let g be 6/a + 1/21. Which is greater: g or 1?
1
Let s = 109/2 - 54. Which is smaller: s or 0.1?
0.1
Let h = 15 - 3. Suppose -2*z = 2*z + h. Let r be 2 + (z/3 - -1). Are r and 2 equal?
True
Let y(x) = x - 2. Let q be y(4). Suppose -2*o = 3*b - 4, -6 = 5*b - o - q*o. Let c(g) = -g**3 + 7*g**2 - 6*g + 1. Let d be c(6). Which is smaller: d or b?
b
Let v = -1477 + 305737/207. Are 1 and v equal?
False
Let n(o) = -o. Let a be n(1). Let h = -4 + 55/14. Is a at most as big as h?
True
Let z = 294333484/303 + -971399. Let i = z + 3/101. Let l(n) = -n**2 + 4*n - 3. Let t be l(3). Is i >= t?
False
Suppose 12*f - 7*f + 145 = 0. Is -28 >= f?
True
Let j(n) = n**3 + 6*n**2 + 5*n - 5. Let f be j(-5). Let s = 13 - 17. Is s <= f?
False
Let s = -3 + 0. Let w be s*((-4)/6)/(-1). Which is smaller: w or -4?
-4
Let d = -1 - -1. Let w = -0.8 - -0.95. Let g = w - 0.55. Which is bigger: d or g?
d
Suppose -10*j = -14*j + 12. Suppose 2*b - q - j*q + 28 = 0, -b - 10 = -q. Are -5 and b unequal?
True
Suppose -4*y - 1 = -5*s - 11, -6 = -2*y + 2*s. Which is smaller: y or 6?
y
Let a(g) = 119*g**3 + 2*g**2 - 2*g + 1. Let j be a(1). Suppose -2*w + 5*w = j. Let h be 2/(-6)*15/w. Which is bigger: h or 0?
0
Let b(k) = 8*k + 15. Let u be b(-2). Are u and 2/293 equal?
False
Let k = 0 + 4. Let o = 13/22 + -12/11. Is k > o?
True
Let w(p) = -p - 11. Let i be w(-12). Let a be 3 - (-87)/(-42) - 1. Which is greater: a or i?
i
Let o be -1 + 2/(-2) - -2. Is 2/17 smaller than o?
False
Suppose -3*v + 4*v = -h + 3, -4*h = -v - 7. Which is smaller: 1/8 or v?
1/8
Let v be 3 + 3/(-3)*19. Let t = v + 13. Which is bigger: t or -5?
t
Suppose -3*s = -2*m - 333, 0 = -8*m + 3*m. Let p be (-4)/(-10) - s/15. Which is bigger: p or -6?
-6
Let t = -7 - -6. Let h be -4 + 0*(-2 - t). Are -11/3 and h unequal?
True
Let w = -67 - -199/3. Let l = 0.02 + 5.98. Which is greater: w or l?
l
Let t = -4 + 5. Let j = 0 + t. Is -0.1 < j?
True
Suppose -3 = 4*i - 19. Suppose 2*a + 2 = 6. Suppose -q + a*f + 12 = 3*q, 5*q - i*f = 12. Which is bigger: 3 or q?
q
Let y = -1 - -4. Suppose 0 = o + 3*x + 10, x + x = y*o + 19. Which is bigger: -5 or o?
-5
Suppose 3*g + 2*q + 34 = 0, q + 40 = -3*g - 4*q. Suppose 4*u + 26 = -2. Let r = u - g. Is 4 at most as big as r?
False
Let x = 0.9 - -0.1. Let f be (-5)/(30/(-8))*12/(-8). Are x and f non-equal?
True
Suppose -2*v - v + 6 = 0. Suppose -v*n - 4*l - 12 = -l, 5*l = -2*n - 20. Is n at least 5/4?
False
Let l(c) = -3*c - 1. Let v be l(1). Which is smaller: 3/2 or v?
v
Let v(m) = m**3 - m**2 + m - 90. Let t be v(0). Let o be 3/t*4*3. Which is smaller: 1 or o?
o
Let o = 19 + -59/3. Are 4/21 and o equal?
False
Let w be 13/5 - (-4)/10. Suppose -p + 6*p + 10 = 0. Let q be ((-2)/p)/(4/16). Which is smaller: q or w?
w
Let l = 193 - 1349/7. Which is smaller: l or 0?
0
Let l(p) = p**3 - 7*p**2 + 6*p + 1. Let c(h) = h + 1. Let f be c(5). Let s be l(f). Are s and 3/10 equal?
False
Let s(l) = 4*l + 3. Let n be s(3). Let u be ((-4)/(-3))/(10/n). Let z be 12/18 + u/(-4). Are -1 and z equal?
False
Suppose -2*z + 8 = -4*y, 3*y + 32 = 3*z + 2*y. Suppose 0*x - 3*x = -z. Is x bigger than 3?
True
Let d = 3 - -4. Let n = d - 6. Which is bigger: 0 or n?
n
Let m = -0.9 + 1. Let j = -67/5 - -459/35. Is m smaller than j?
False
Let v = -4/233 - -11425/466. Let r = 101/4 - v. Which is smaller: -0.2 or r?
-0.2
Let r = -121/3 + 40. Let o = -0.1 - -0.11. Let v = 1.01 - o. Are v and r non-equal?
True
Let b = -1.5 - -0.5. Let i = 0 + -0.1. Let k = i - -0.2. Which is smaller: k or b?
b
Let r = 0 - -2. Let u = r - 3. Let a = 109 - 108.8. Is a != u?
True
Suppose -3*n = 4*z - 8*n - 317, n - 77 = -z. Let f be (-2)/3 + z/9. Is 8 equal to f?
True
Let p(k) = -36*k - 28. Let n be p(-4). Is 116 at least n?
True
Let k(u) be the first derivative of u**3/3 - u**2 + u - 2. Let v be k(1). Suppose v = -p + 2*p + 2. Which is greater: -1 or p?
-1
Let n = 10.8 - 5.8. Which is bigger: n or -0.03?
n
Let f = -1.31 + 6.31. Which is smaller: f or -3?
-3
Suppose u + 1 = 2*u. Does u = 3/44?
False
Let w = 2 + -2.04. Let o = 3.04 + w. Which is bigger: o or -0.1?
o
Let z = 7 + -8. Let k = 4 - 4.1. Is k != z?
True
Let u be 4/(-10) - (-58)/130. Let w = u - -97/715. Suppose 0 = 5*m + 2*p - 9, 2*m - 2 = -p + 2. Do m and w have the same value?
False
Let m = -17 - -16.91. Let v = 0.19 + m. Are 1/2 and v equal?
False
Let y = 0.116 + 4.884. Is y equal to -12?
False
Let o = 14 - 9. Let c = o + -4. Let n be (-2 - -2 - 2) + 3. Is c greater than n?
False
Let o = 0.05 + -0.07. Let h = o + -7.78. Let n = -8 - h. Which is smaller: 1 or n?
n
Let k be 3/(3/(-4)) - -1. Let u = 3 - k. Is u at least 6?
True
Suppose -3*l + 2 = -t - 1, -2*l = 4*t - 2. Is 1/6 greater than t?
True
Suppose 45 = z + 2*z. Let m be z/(-2)*3/(-10). Do 3 and m have different values?
True
Let x = -1 + 1. Suppose x = -2*b - 5 - 61. Let f be 6/(-8)*24/b. Which is smaller: 2 or f?
f
Suppose x = -5*c - 0*x + 19, 4*c = x + 17. Let u(l) = -l**2 - 4*l + 7. Let v be u(-5). Is v < c?
True
Let r be -2 - 1 - (-148)/4. Suppose -r + 9 = -5*a. Which is greater: 4 or a?
a
Let t = -2 + 1.98. Let g = t - -2.02. Let n = -10/39 + -1/13. Is g >= n?
True
Let i be (-3)/5 + (-3)/45. Let q = 0.2 - -2.8. Let j = q - 5. Which is greater: i or j?
i
Let a = 7 + -8. Let z be ((-4)/(-12))/(a/(-6)). Suppose -2*h + 2 = 3*y, -1 = -5*y - z*h + 1. Is 3/7 at most y?
False
Let o be 62/(-30)*2/(-4). Let i = -6/5 + o. Which is smaller: i or -1?
-1
Let y = 473/388 - -3/97. Is 2 greater than y?
True
Let s = -4.9 + -0.1. Is s greater than 7?
False
Let s = -95/2 - -51. Let b = 5 - s. Let i(u) = -u**2 - 7*u - 5. Let x be i(-6). Which is bigger: x or b?
b
Suppose 0 = 3*n - 0*n - 6. Is n not equal to 2?
False
Let w be 2 + (-1 - (-18)/(-3)). Is w less than or equal to -3?
True
Let h = 177/2 - 88. Let r be (-4)/(-10) - (-4)/15. Which is smaller: h or r?
h
Let y = -2 - -18. Suppose -a - y = 3*a. Let p(t) = -t - 5. Let m be p(a). Which is smaller: m or -1/14?
m
Let a(x) = x**3 - 3*x**2 - 3*x - 4. Let y be a(4). Suppose y*u = -5*u + 30. Suppose -2*b + 2*m = 10, 2*b - m = -16 + u. Is b less than or equal to -5?
True
Let v = 4 - 6. Suppose 18 = 14*k - 20*k. Which is greater: k or v?
v
Let x = -116 + 118. Is x less than -0.21?
False
Let p be 1 + -4 - 6/(-2). Suppose -3*r + 5 = -w, p*w + 9 = 3*w + 3*r. Let q = -2.8 - -3. Which is smaller: w or q?
q
Let y(o) = -o**3 - 7*o**2 - 5*o - 6. Let a be y(-6). Which is smaller: a or -1/2?
a
Let c(x) = -x**2 - 3*x - 24. Let q be c(0). Is q at least -25?
True
Suppose 0 = -3*i + 2*i + 2. Let r = 1 - i. Let s(f) = f**3 + 6*f + 17. Let y be s(-2). Are y and r equal?
False
Let q = 7/19 + 29/76. Is q < 1?
True
Let w be (-1)/(4*5/90). Which is smaller: -6 or w?
-6
Suppose 5 = -5*c - 0*c. Are c and 2/71 equal?
False
Suppose -2*n + 3*z - 3 = 2, 2*z - 7 = 5*n. Which is bigger: n or -18?
n
Suppose 59*n - 50*n = 72. Let m(i) = 10*i**2 - 1. Let q be m(1). Is q greater than n?
True
Let c(d) = -d**2 + 7*d + 13. Let g be (-36)/10*(-10)/4. Let f be c(g). Is f <= -6?
False
Let t be (3/(-12))/((-12)/(-32)). Suppose 20 = c + c. Let i = c + -21/2. Is t < i?
True
Suppose -2*o + 25 = 