uppose 0*k - 12 = 2*k. Suppose 57*y - 53*y + 16 = 4*v, -4*v = -y - 4. Is y <= k?
False
Let c = 18 - 16. Suppose c*j = -0*j + 4. Let p be (-3)/(-2)*(-4 + j). Are -3 and p non-equal?
False
Let b = -191 - -94. Let n = b - -53. Which is smaller: -2 or n?
n
Let v be (3332/(-168))/(2/4 + 1). Which is greater: v or -13?
-13
Let s = 0.849 + -45.749. Let x = -45 - s. Which is smaller: 19 or x?
x
Let w = -59 - -61. Suppose -1 = -3*z - g, 6 = -2*z - w*z - 5*g. Which is smaller: 1/41 or z?
1/41
Let g(i) = i**3 - i**2 - i - 5. Let u be g(3). Suppose -5*z + 42 = -0*z - 3*m, -4*z = -3*m - 33. Which is smaller: u or z?
z
Let y be -2 - 1 - (-12)/(-2). Let p = -10 - y. Suppose 0 = -5*v - 6 - 4. Which is smaller: p or v?
v
Let l be 2/(-2)*17/(119/(-231)). Which is smaller: 25 or l?
25
Let z be 1/(-4) + (-34)/(-24). Which is smaller: 1 or z?
1
Suppose 0 = 35*x + 15 + 55. Let g = 54 + -26. Let r be (g/(-8))/(3/2). Is r <= x?
True
Let s = 88 + -3. Suppose -89 = -6*a + s. Suppose -2*y + a + 1 = 0. Which is greater: 16 or y?
16
Let o(p) = -p**3 - p**2 + p + 1. Let b be o(-1). Suppose 5*f - f + 5*a - 16 = 0, b = -5*a. Suppose 1 = -3*v + f. Is 0.2 <= v?
True
Let q = -3/10 - -7/10. Which is smaller: q or 240?
q
Suppose 0*s + 3 = -s. Let g(p) = -p**3 - 5*p**2 + 12*p. Let b be g(2). Is s less than or equal to b?
False
Let w = -616053/233 + 2644. Let s = w - -475/2097. Is s at most -7/5?
False
Let m(y) = -y**2 - 2*y + 2. Suppose d - 3*b = -4*d, 0 = 3*d - 4*b. Let q = d - 3. Let o be m(q). Is o >= -1/8?
False
Let f be 66/(-14)*1*2/(-12). Let n = f - 5/14. Let g be 4/2*2/4. Is g at most as big as n?
False
Let k(t) = 7*t - 14. Let n(x) = 4*x - 7. Let g(z) = 6*k(z) - 11*n(z). Let y be g(3). Which is smaller: 2/9 or y?
y
Let c(q) = -3*q**3 + 69*q**2 - 3*q + 51. Let r be c(23). Is -9 at most as big as r?
False
Let i(a) = a + 38. Let w be i(5). Let l = -22 - -66. Is w > l?
False
Let q = -76 + 100. Suppose 2*w - 74 = -26. Is w less than or equal to q?
True
Suppose 0 = -s + 4 - 16. Let w be ((-44)/s)/(2/(-12)*2). Is -12 at most as big as w?
True
Let t(q) = -4*q + 18. Let j be t(6). Let c = 5/2 + j. Which is smaller: c or -4?
-4
Suppose 0 = -7*t + 8*t - 4. Suppose -t*x - 4*v = 56, -5*x = 3*v - 7*v + 34. Which is bigger: -11 or x?
x
Let d = 25 + -39. Let h = d + 12. Is 1 >= h?
True
Let n(k) = -10*k**3 + 27*k**2 + k - 2. Let c be n(3). Let v be 26/(2/(-2) + 0). Do v and c have the same value?
True
Suppose 4*x = 5*k + 297, 45 = -k - 0*k - 4*x. Is -58 equal to k?
False
Let d = 0.348 - -15.352. Let a = d + -6.7. Is a greater than -2?
True
Let j be 26/2 - (-33 + 38). Let u be 52/6 + 4/12. Which is smaller: j or u?
j
Let j be 22983/223851 + 0/(-1). Let b = -2/2573 - j. Is b >= 0?
False
Suppose -13*f - 252 = f. Let j be (f/20)/((-6)/10*-2). Which is bigger: -2 or j?
j
Let z = 29.26 + -29. Let o = z + -0.1. Which is smaller: 1 or o?
o
Suppose 150*t - 4*v = 146*t + 2256, 1697 = 3*t + 2*v. Is t greater than 567?
False
Let y be 64/22 - 5/(10/4). Are y and 1/6 unequal?
True
Let p = -919 - -918. Which is smaller: p or 20.7?
p
Let s(z) = -z**2 + 7*z - 10. Let h be s(9). Let m be 36/(-84) - 26/h. Let w = 3 + -1. Is w greater than m?
True
Let k be -22 + 0 - (-5 - -8). Let q = -140 + 117. Is k not equal to q?
True
Suppose z = -4 + 6. Let w = 2 - 7. Let s = z + w. Which is bigger: s or -9/4?
-9/4
Suppose -17 + 122 = 5*q. Suppose 12*r - 9 + q = 0. Let m = -2244 - -204202/91. Which is bigger: m or r?
m
Let c(r) = -r**3 + r**2 - r - 1. Let m be c(-1). Suppose 2*n - m = 2. Let h = 13/6 + -5/3. Is h < n?
True
Suppose 2*v = 3*b + 2, 3*v + 4*b + 4 = 5*v. Let r be (-6*4/(-9))/(v/(-3)). Which is greater: 21/5 or r?
21/5
Let y be (-96)/(-48)*(-2)/4. Which is smaller: -474 or y?
-474
Let s be (2 + (-5)/2)*-6. Suppose 0 = s*l - 2*l - 1. Suppose 2*r - 6 = 4*w, -7*w = -4*r - 9*w + 22. Which is bigger: l or r?
r
Let v be -2*((-10)/(-4))/5. Let t be (-4 - v) + (-4 - -6). Is 2/59 at least as big as t?
True
Let k be (-2)/2 - 82712/21. Let x = 3872 + k. Let f = x + 3433/51. Which is bigger: -1 or f?
f
Let k = -13 - -12.89. Let x = 0.01 + k. Let b = x + 0. Which is smaller: -9 or b?
-9
Let j = -6 - -8. Let d be j - 4/((-32)/42). Suppose -4*t + 47 = 4*m - 7*t, 3*m = -4*t + 4. Which is bigger: d or m?
m
Let j(b) = 23*b**3 + b**2 + 2*b + 2. Let h be j(-1). Let a = h + 65/3. Which is smaller: a or -2?
-2
Suppose 0 = 2*p, 0*h = -4*h + p + 24. Let d be (-3)/(-9) + (-2)/h. Suppose -r - 3*k = d, 5*r + 2*k + 21 = 2*r. Is -9 at most r?
True
Let z = -10 + 10. Let u be 2 + (-2 - -35) + z. Suppose 5*n + 1 = -4*o, 5*n = o + 4*o + u. Are -10/3 and o non-equal?
True
Let v = -0.136 - -0.806. Let s = 0.03 + v. Let t = 0.6 + -0.4. Which is bigger: t or s?
s
Suppose 4*w - 2*r + 80 = 0, 0*w + 71 = -3*w - 4*r. Let g be (-8)/w + (-10)/(-35). Suppose 0 = 3*j - x + 3, j - x + 6 = x. Which is smaller: g or j?
j
Let y be (-2)/14*1*-3. Let u(j) = -j + 1. Let h(t) = -4*t + 2. Let m(b) = h(b) - 3*u(b). Let a be m(0). Which is smaller: a or y?
a
Let z = -0.93 + -0.07. Let p = 2 + z. Let x be (-9)/3*(-2)/(-21). Do x and p have different values?
True
Let b = 992 - 6896/7. Which is smaller: b or 7?
b
Suppose -5*t = -3*t + 4*x + 24, 5*t + 42 = -4*x. Let u be -4 + 4/t*9. Let p be (-4 + 26)*(-1)/2. Is u equal to p?
False
Let a = -9/94 + 627/658. Let p(i) = 5*i**2 + 35*i + 6. Let t(l) = -2*l**2 - 12*l - 2. Let b(y) = 3*p(y) + 8*t(y). Let x be b(9). Is x <= a?
False
Let k be (-88)/56*(-2)/6. Let z = 18/701 - 12295/14721. Let l = z + k. Is l greater than -2?
True
Let i(z) = -5*z - 4. Let x be i(-4). Let q(k) = 203*k - 4856. Let b be q(24). Is x at least b?
True
Let p(r) be the second derivative of 7*r**3/6 + r**2 + 11*r. Let h be p(1). Let k be (-51)/34 - h/(-10). Which is smaller: k or 1/3?
k
Let m = -8.12 + -7.81. Let n = m + -0.07. Which is smaller: n or -0.1?
n
Suppose 4*i + f + 7 = 2*f, 2*i + 11 = 3*f. Let r be ((-2)/3)/(-2)*i. Let q = -0.843 - 0.057. Which is greater: q or r?
r
Suppose 13*u + 237 = 42. Let s(z) = -14 - z - z + z. Let k be s(u). Are k and 2 unequal?
True
Let d = -757 + 32554/43. Let y = -131426 + 16954049/129. Let u = d - y. Is u equal to 0.2?
False
Suppose 3*x + 2 = 8. Suppose -5*w + 8 = -4*j + j, -5*w + 2 = -x*j. Let a be ((-15)/j)/(2/(-6)). Which is smaller: -7 or a?
a
Let f(x) = 3*x + 21. Let o be f(-7). Let j = 1 - o. Suppose 4 = -n - j. Which is smaller: 2/11 or n?
n
Let u be 4 - 9 - -1 - -4. Let v be (-3)/(-6)*(-2 - u). Are v and 0 equal?
False
Let t(l) = l + 5. Suppose 0 = -i - 2*i - 5*o - 4, -3*i + 14 = -4*o. Let g be ((-5)/i)/((-1)/(-2)). Let p be t(g). Is p smaller than -2/3?
False
Suppose 0 = -34*r + 35*r + 139. Let o = -144 - r. Is o at most -15/4?
True
Let n = 169 + -158. Suppose -9 = 2*x + x - 3*h, 4*h - 2 = -x. Let u = x - -13. Is n at most u?
True
Let y = -19 + 30. Let q = y + -12. Which is greater: q or 0.1?
0.1
Let s be 3*1*((-819)/18 + 5). Which is smaller: s or -123?
-123
Let j be ((-2)/(-10))/((-1054)/155). Suppose 5*q - 5*l = 20, 4*q - l = -q + 8. Which is bigger: q or j?
q
Let w be (-3)/((-4)/32*-6). Let c be 2*w/(-8)*-6. Let m = 2 + c. Which is smaller: -5 or m?
-5
Let j(p) = p**2 - 2*p + 5. Let w be j(-3). Suppose 3*n + 2*c = -24, 5*c - w + 5 = 5*n. Let b(z) = -2*z + 1. Let x be b(3). Is x > n?
True
Suppose 5*u - 5*z + 820 = 0, -19*u = -16*u + 4*z + 471. Which is smaller: -2 or u?
u
Let s be (3 + 13/(-3))*(-2)/(-3). Is s bigger than -2/17?
False
Let k be (0 + 316/(-6))*(-18)/36. Which is bigger: -0.1 or k?
k
Suppose -25 = 5*n, 4*n = 3*a - 0*n - 794. Let r be (-2)/10 + a/1590. Are -1 and r non-equal?
True
Let a = -3 - -3.14. Let y = a - 0.13. Let m = 4 - 3.9. Is y greater than m?
False
Let m = 14 + -11. Suppose m*i = -76 - 5. Let b be ((-120)/i)/(-4) - 0. Which is smaller: -1 or b?
b
Let s(y) = y**2 + 6*y. Let f be s(-6). Let x be 45306/(-18)*(-2)/22. Let z = x - 229. Is f greater than z?
True
Let q = -25.91 + 26. Let w = -77 + 77. Which is bigger: w or q?
q
Let d(j) = 28*j**3 - 5*j**2 - 5*j. Let b be d(-1). Are b and -7 non-equal?
True
Let k = 11533140596/5973 + -5792638/3. Let b be (-7 + 10120/1448)/(-2). Let f = k + b. Which is smaller: f or 1?
f
Let y be 9 - (-2 - (-237)/21). Which is smaller: y or -152?
-152
Let w = 13.2 + -13. Let o = 1.8 - 1.8. Let a = o + -2. Which is smaller: w or a?
a
Let s = 0.83 -