p - z + 5 = -p. Let c be p/(-4)*(-1 - -13). Let d be ((-1)/2)/(3/(-30)). Is d less than c?
True
Let x = 17 + -16. Let a = 8 + -31/4. Which is smaller: a or x?
a
Suppose 4 = 4*q + 16. Are q and -6 nonequal?
True
Let h be (-2)/(-2) + 0 - 1. Let o = -38 + 112/3. Is h less than o?
False
Let g = -723/11 + 66. Is -1 at most g?
True
Suppose 0 = p + 31 - 30. Which is smaller: p or 4/37?
p
Let t = -9 + 5. Let u be 2/t + 1/2. Is -2/19 greater than u?
False
Let q = 0.07 - 0.35. Let s = -0.02 + q. Let u = 0.4 + s. Is 0.1 greater than or equal to u?
True
Let y = 2 - 1. Let k = 0.9 - 0.6. Let p = -0.5 + k. Which is smaller: p or y?
p
Let t = 4 + 1. Which is greater: t or -1/3?
t
Let v be (6*11/4)/3. Which is bigger: -2/7 or v?
v
Let l = -28 - -26. Let g = 0.24 + -0.2. Let i = g - 0.34. Which is greater: i or l?
i
Suppose -3*s + 0*s - 3 = 0. Let n = -7 + -3. Let h be (5*(-4)/n)/10. Which is smaller: h or s?
s
Suppose -8 = -11*n + 15*n. Let i = 8 - 6. Which is smaller: n or i?
n
Suppose 2*t - 4*t = 0. Let d be (t - 2 - -2)/2. Is d > 2/3?
False
Let s = -10 - -4. Let y = -39 + 34. Let l = y - s. Which is greater: 4 or l?
4
Suppose 0 = -3*t - 97 + 85. Suppose 0 = -4*h - 4*v - 16, 5*h + 3*v + 11 = -9. Let n = h - -1. Is t >= n?
False
Let g = -16337/24 - -681. Which is smaller: -1 or g?
-1
Let q(u) = u**2 + u - 1. Let i be q(3). Suppose 5*j + i + 19 = 0. Is j smaller than -6?
False
Let b = 1250/2163 - 2/309. Are 2 and b non-equal?
True
Let i(d) = d**3 - 8*d**2 - d. Let j be i(8). Let v = 5 + j. Does -12/7 = v?
False
Let j(b) = -b + 1. Let v(u) = -u. Let i(x) = 2*j(x) - 3*v(x). Suppose 0 = -3*m + 7*m. Let n be i(m). Is n greater than or equal to 1?
True
Let r be -4 + (-278)/(-38) - 3. Which is smaller: 1 or r?
r
Suppose 2*g + 14 = 4*r + 32, 15 = g - 5*r. Let a = -9 + g. Is -4 >= a?
True
Let h be (0 - 2/(-3))*6. Suppose 17 = 5*b - 2*l, 3*l + h + 14 = 5*b. Suppose b*c = -2*c. Which is bigger: c or -1/6?
c
Suppose 4*b + 4*n = -4, 4*b + 0 - 2 = -n. Is b at most 5.4?
True
Let t be -20*(-2 - 8/(-5)). Is 9 at least as big as t?
True
Let d = 93/154 - 7/22. Let i be 4/24 - 375/(-18). Let c = 21 - i. Which is greater: c or d?
d
Let s = 0.01 + 0.08. Let a = s - -0.11. Which is bigger: 2/33 or a?
a
Let p(z) = -z**2 - 2*z + 4. Let b be p(-3). Suppose b - 4 = -3*o. Is 1/4 at most o?
True
Let s be ((-10)/4)/(1/2). Let f = s - -10. Suppose 0 = 3*j + 5*u - 14, -f*u + 10 = 7*j - 2*j. Is j <= -2?
True
Suppose 5*l + 24 = 4*s - 29, -5*s - 8 = 2*l. Let d = -7 - -15. Let c be 2/l + d/36. Is 2/13 greater than or equal to c?
True
Let o = -508/1729 + 2/247. Let v = -121 + 127. Is o less than v?
True
Let d = 2.97 + 0.03. Is -1.4 bigger than d?
False
Let b = -2.01 + 1.9. Let c = 1.89 - b. Which is smaller: c or 2/7?
2/7
Suppose -d - 2*n = -0*d + 4, -3 = 2*d - n. Let m = -32 - -33. Is d > m?
False
Let h(a) = -2*a**2 - 8*a + 10. Let v be h(8). Which is greater: v or -181?
-181
Let k = 18 + -14. Suppose 5*w + 4*t = -t + 25, -4*w - 20 = -k*t. Let l = -32 + 65/2. Which is smaller: w or l?
w
Suppose -2 = -3*l + 1. Is -3 smaller than l?
True
Suppose 0 = -4*v + 4 - 8. Let p be 6/(-2)*(-2)/(-3). Is v not equal to p?
True
Let p = 0 + -2. Let r(l) = -l**2 + 8*l - 7. Let c be r(6). Suppose 5*y + 2*h + 0 = 3, 17 = 3*y + c*h. Is y at least p?
True
Let k(s) = -2*s**3 + 5*s - 1. Let h be k(2). Is h greater than -20/3?
False
Let o = -223/56 + 27/7. Let y = 60 + -60. Which is bigger: y or o?
y
Let w(h) = -2*h + 15. Let d be w(7). Which is greater: d or -31?
d
Suppose 2*r - 3 = -3*s, -10 = 5*r + 4*s - 0*s. Are r and -6 nonequal?
False
Let q(v) = -v**3 - 13*v**2 - 11*v + 17. Let t be q(-12). Let p be t/2*52/(-65). Which is smaller: p or -1/2?
p
Let m be -1 + 0 + (1 - -3). Suppose -5*y + 13 - m = 0. Suppose 2 + 0 = -y*w. Which is smaller: -2 or w?
-2
Suppose 0 = -4*l - q - 23, -1 - 9 = 5*l - 5*q. Suppose 24 = -12*k - 24. Is l != k?
True
Suppose 6 = 3*a - a. Suppose -3*x - 3*l = x - 105, 3*l = 9. Suppose 5*p + 4 = x. Which is smaller: a or p?
a
Suppose 5*z - r - 15 + 0 = 0, -3*z = -3*r + 3. Suppose -z*k + 13 = -7. Suppose -k*y + 0*y - 5 = 0. Is y bigger than -1?
False
Let s = 8.7 - 1.7. Let d = 6 - s. Which is smaller: -2/5 or d?
d
Let k(z) = z**2 + 2*z. Let m be k(-2). Let b be m + (-2 - 2)/(-2). Suppose -6 = -b*d - d. Is 1 at least d?
False
Let r = -21 - -12. Is -9 at least r?
True
Let c(r) = r**2 + 2*r - 3. Suppose 5*k - 6 + 16 = 0. Let m(t) = t - 1. Let s be m(k). Let f be c(s). Are 0 and f unequal?
False
Suppose -9 = -2*h + 5*h, 0 = 4*q - 2*h + 2. Is 0 less than q?
False
Suppose 6*d - 2*d = 3*v, -d - 2*v + 11 = 0. Let c(q) = q**2 + 4*q - 2. Let r be c(-5). Suppose -l = 4*n - 0*l - 12, -3*l - r = -n. Is n > d?
False
Let q = -48/17 - -347/153. Is -2 smaller than q?
True
Let l = 2.3 + -2.75. Let a = l + -0.05. Which is greater: a or -1/3?
-1/3
Let h = 17 + -26. Let l = 5 + h. Let k = l - -4.4. Is -1/3 != k?
True
Let h be 123/(-2)*12/9. Let t be -3 + h*(-4)/56. Which is smaller: 3 or t?
t
Suppose -3*s - 9 = 3*d + d, 4*s = -d + 1. Suppose 4*j - 69 = j. Suppose c + 4*i = -0*i + 22, -c + 5*i - j = 0. Are s and c non-equal?
True
Let p be ((-2026)/26 - 0)*-1. Let o = -78 + p. Let f = -4 - -4. Which is bigger: o or f?
f
Let g(r) = r - 13. Let x be g(12). Which is smaller: -1/3 or x?
x
Let v = -2.2 + 2. Let k = -0.5 - v. Let w = -0.286 + -0.014. Is k <= w?
True
Let i = -3 + 3. Let t be 1 - (1 - (i + 1)). Let y be ((-4)/6)/((-4)/(-6)). Which is smaller: y or t?
y
Let x(j) = -j. Let l be x(5). Let y be l*2/(-6)*3. Do y and 5 have the same value?
True
Let m(l) = -l**3 - 2*l**2 + 2*l - 4. Let r be m(-3). Let g = 3 + r. Suppose -4*p + 3*w - 16 = -w, g*p = 4*w - 14. Which is smaller: p or -2?
-2
Suppose p + 2 = 4. Is p bigger than 5/3?
True
Let n = 8 + -30. Is -23 at most as big as n?
True
Let j(k) = -12*k + 1. Let c be j(1). Let y = c - -6. Is -5 at least as big as y?
True
Let y be (1 + 1)*21/6. Let j be 2/11 - (-1720)/220. Do j and y have different values?
True
Let f = 4 - 1. Suppose -l - 10 = l, f*l + 24 = -y. Is -8 at least y?
True
Let g = 245/366 - -10/61. Which is smaller: g or 2?
g
Let a = 19/1812 + 1611755/1812. Let p = 872 - a. Let w = p - -20. Is 4 > w?
True
Let u be 1 - (4/6 - 545/(-285)). Is -1 at least u?
True
Let o = -18.4 - -17.3. Is o at least as big as -2/9?
False
Let a = -70/11 - -468/77. Is a != 1?
True
Let k be (-42)/(-9)*8/28. Is k > 2?
False
Suppose d - 2*d + 10 = 4*h, 0 = 3*d + 3*h - 12. Suppose -4*a = -6 - 6. Suppose -2*s = -4*w - 5 - 7, -a*s = -4*w - 14. Is d at most s?
True
Let h be 46/63 + 2/(-7). Let b = -10/9 + h. Which is smaller: -2 or b?
-2
Let g = 6 - 0. Suppose u - 4*u + g = 0. Which is smaller: u or 6/7?
6/7
Let z be (15/3)/((-4)/(-28)). Is 35 at least z?
True
Suppose 0 = -2*v + 5*o + 45, -3*v + 0*v = 2*o - 20. Let n be (-48)/510*v/4. Which is smaller: 1 or n?
n
Suppose -2*t = -t. Which is bigger: -1/2 or t?
t
Let v = -2 + -1. Let a(h) = h**2 - 11*h - 7. Let c be a(12). Suppose -6 = c*d + 14. Which is bigger: v or d?
v
Let m = -13415/9 + 1489. Is -2 not equal to m?
True
Let c = 100 - 498/5. Which is greater: 1/4 or c?
c
Suppose 3 = y + x - 4, 0 = -3*y + 2*x + 1. Suppose 0 = s + 3, 0 = -y*i + 5*s + 658 - 157. Let c be 2/5 - i/30. Is -1 < c?
False
Let c = 218 - 2400/11. Let v(b) = -b**3 + 13*b**2 - 10*b - 25. Let g be v(12). Which is bigger: c or g?
c
Let x = -0.4 - -0.4. Is x less than or equal to 27?
True
Suppose -5*p - 3*f - 37 = 0, -19 - 17 = 4*p + 4*f. Let r be 40/100*(-6 + 1). Which is smaller: p or r?
p
Suppose -2*z = -2*n + 2*z + 20, -4*n - 25 = 5*z. Which is smaller: n or 3/28?
n
Let r = -140/3 - -46. Let y = -1.1 - -0.6. Let p = y + 0.6. Is p smaller than r?
False
Let i be (-2)/2 + 1 + -4. Suppose -9*k = -5*k + 20. Which is smaller: i or k?
k
Suppose 0 = -7*x + x. Which is smaller: 4/9 or x?
x
Let p(d) = 3*d**2. Let r be p(1). Let w = r + -2. Suppose -t + 3*q = -6*t - 10, -10 = 2*q. Is w not equal to t?
False
Let o be ((-4)/(-8))/(1/(-4)). Let j be -3 + (1 + 0)/o. Which is bigger: j or -5?
j
Let p = 5 - -42. Do 46 and p have the same value?
False
Suppose -40 + 11 = h. Is -29 bigger than h?
False
Let l(h) = h**2 + 9*h - 9. Let a be l(-9). Is a less than or equal to -9?
True
Suppose o = -k, -2*o - 5*k - 16 = -o. Suppose -2*f + f = o*a - 4, -2*f = -a + 1. Suppose -y - 2 = y. Which 