 7, -2*z = 3*x - 14. Let v be (-4)/22 - 24/(-33). Let d = 21/22 + v. Does z = d?
False
Let q = 2181/7 + -311. Is 2 >= q?
True
Suppose -3*g + 0*g - 21 = 0. Let j = -0.1 + 0.2. Do j and g have different values?
True
Let n = -330 + 647. Let j = -2533/8 + n. Which is smaller: 0 or j?
0
Suppose -3*b = -4*l + 7 + 6, 2*b = -3*l + 14. Which is greater: -81 or b?
b
Let d be 10/18 - (-9)/3. Is d at least as big as 5?
False
Let u = -19 + 29. Let k = u + -14. Let n = 4.1 + k. Are n and -1 unequal?
True
Let t(g) = -7*g + 1. Let c be t(-1). Let k = -11 + c. Are k and -2 unequal?
True
Let s(o) = o**2 + 2*o + 1. Suppose 0*l = 3*x + l - 11, 21 = 3*x + 3*l. Let g be s(x). Is g at most 9?
True
Let a be ((6*-1)/(-2))/(-1). Let g be a/(2/(-4)*3). Are 2 and g non-equal?
False
Let t be (-70)/(-21)*3/2. Are t and 3 nonequal?
True
Let p(m) = m**3 - 6*m**2 - m. Let x be p(6). Let h be 1/(1 - (-6)/(-5)). Are x and h equal?
False
Let x = 45 - 44. Is x at most 0?
False
Let o be 1 + (-210)/51 + 3. Which is smaller: -1 or o?
-1
Let a be (2/6)/(6/18). Which is bigger: a or 3?
3
Let w(r) = -r**2 + 2*r - 1. Let s be w(2). Let o = 2/45 - 148/1305. Do s and o have the same value?
False
Let t be -2*14*(-2)/8. Is t at most 9?
True
Let y = -10 + 12. Let p be ((-3)/(-9))/(y/10). Is p at least 3?
False
Let h be 1 - (2 - (-459)/(-453)). Let c = h - -288/1057. Is c bigger than -1?
True
Let l be 8*1316/(-6380) - -2. Let y = -2/145 - l. Which is smaller: y or -1?
-1
Let l be 3 + 804/(-231) - 2/22. Let b(t) = -6*t**3 - 2*t**2 + 1. Let o be b(-1). Suppose -4 = -2*k + 3*c - 2*c, o*c + 20 = 0. Are l and k equal?
False
Let s(l) = l - 6. Let p be s(8). Suppose 5*c - 7 = -y, -c - p*y = -3*c - 2. Let v = c - 2. Which is smaller: v or 1?
v
Let u = 0 - -4. Suppose -3*b + 21 = -u*a, 10 = -5*a - 5. Which is smaller: 2 or b?
2
Let u = -2.8 + 0.8. Which is smaller: 1 or u?
u
Let x = -299 - -305. Suppose -2*d = 4*h - 18, -h + 16 = 4*d - 3*h. Which is smaller: d or x?
d
Suppose -16 = p - 5*p. Let q be p/(-6) + 28/6. Let w be (q - 2)*(-4)/(-8). Do -2/17 and w have different values?
True
Let o = 837223/392 + -17115/8. Let z = o - -5/49. Is z greater than -3?
False
Let q = 3.7 - -11.3. Let a = 15 - q. Which is smaller: -4 or a?
-4
Let r(d) = 3*d - 6. Let b be r(0). Which is bigger: b or -8?
b
Let t be 53*4/(-48) + 2 + 2. Which is bigger: -2/5 or t?
-2/5
Let l = 0.07 - -0.21. Which is smaller: l or 2/7?
l
Let n(b) = b - 2. Suppose q = 5*t - 19, 0*t = 3*q - 3*t - 3. Let i be n(q). Which is smaller: i or 2?
2
Let d = -6.5 - -5. Let i = d - 0.5. Is 2/11 equal to i?
False
Suppose -5*r - 4*m + 5 = 0, m = -2*r - r + 3. Suppose -5*l - 3*h = -24, -h + r = 4*l - 14. Suppose 0 = l*p - 6, 0 = u - 3*p - p + 7. Which is smaller: u or -1?
-1
Let j = -29 - -14. Let x = j - -15. Is 2/9 >= x?
True
Let p = 50 + -35. Which is greater: p or 14?
p
Let v = -151 + 751/5. Is -2 at most v?
True
Suppose 8*k - 15 = 5*k. Suppose -k*s + 5 = -0. Which is bigger: -1 or s?
s
Let b = 4.7 + -5. Is b at least as big as 3?
False
Let s be (-8)/(-10)*((-10)/(-28) + 0). Which is bigger: 3 or s?
3
Let r(o) = 2*o + 1. Let w be r(2). Suppose y = -2*x + 2, 5*x - w*y - 29 = -9. Suppose -3 = -5*s + x. Is s < 1?
False
Let k = -0.04 + -2.06. Let x = -2 - k. Which is bigger: x or -5?
x
Let o = 49 + -49. Is 0 <= o?
True
Let f(a) = -a**3 + 3*a**2 + 3*a - 1. Let z be f(4). Let u be (-6)/(-21) - z/7. Suppose 0*l - 1 = -l. Is l > u?
False
Let j = 4 - 0. Let r = 5 - j. Suppose -2*k - 3*y + 14 = -y, 4*k = -5*y + 32. Which is greater: r or k?
k
Let x = -2 - 0. Let c be 14/(-6) + x/3. Let i be ((-3)/c - 1)/2. Is i > 1/4?
False
Let a = -3 + 8. Let z = a + -3. Which is smaller: 1/4 or z?
1/4
Let l(g) = g**2 - 5*g - 11. Let h be l(-2). Which is smaller: h or -3?
-3
Let n be ((-9)/(-1))/(-3)*2. Let u be (n/(-9))/(8/6). Let c(m) = 2*m**2 - 4*m + 2. Let g be c(2). Is u < g?
True
Let j be 1 - (2 + 2 + -3). Suppose -3*c - 3*o = -j*o - 3, 0 = -c - 5*o - 15. Suppose -5*u + 28 = -l, -u - c*l - 30 = -4*u. Is 3 != u?
True
Let s = 15749/63 - 250. Is -1 greater than s?
False
Let k(a) = -a**2 + 7*a + 9. Let b be k(8). Which is smaller: 8/7 or b?
b
Suppose 9*c - 4*c + 5 = 0. Is -6/13 at most c?
False
Let j = 16 - 23. Let u = j - -7.1. Let p = 1/8 + -3/8. Which is greater: u or p?
u
Let p = 9 + -5. Let n(h) = 8 + h + 2 - p. Let c be n(-7). Which is greater: 1/11 or c?
1/11
Let u = -29 - -30. Let w(f) = -1 + 0 - f - 6. Let s be w(-5). Which is greater: u or s?
u
Let b be (-3)/(-12) + 540/16. Is 34 bigger than b?
False
Suppose -2*b - 3*h + 9 = 2, 4*b + 5*h - 17 = 0. Suppose 4*y - 5*q + 4*q = -b, -3*q - 10 = 5*y. Which is bigger: y or -4?
y
Let j = -0.2 + 0.1. Is j < -8?
False
Let p(u) = -u**2 + 17. Let x be p(-6). Which is smaller: x or -24?
-24
Suppose 0 = y, 2*n + 7*y - 2*y + 52 = 0. Which is bigger: n or -184/7?
n
Let r(h) = 3*h - 1. Let z(y) = -y**3 - 6*y**2 + 8*y + 9. Let w be z(-7). Let a be r(w). Suppose -a*f - 1 + 6 = 3*q, -5*f - 2*q = -5. Is 1 at most f?
True
Let p = -2/249 - -56/83. Let f = -58.13 + 59. Let r = f - -0.13. Which is bigger: r or p?
r
Let p(l) = l**3 - 5*l**2 - 6*l + 3. Let n be p(6). Suppose -i = -n*i + 8. Which is smaller: 3 or i?
3
Let f(u) = u**3 - 5*u**2 + 6*u - 1. Let n be f(4). Let o = n + -10. Let g = o + 4. Which is greater: 2 or g?
2
Let r(b) = 4*b**3 - 2*b**2 + 2*b - 1. Let y be r(1). Let z = 4 - y. Which is smaller: -2/7 or z?
-2/7
Let o = -8 - -8. Which is smaller: 1.8 or o?
o
Let g = -6 - 0. Which is smaller: -0.1 or g?
g
Suppose 4*m + 4 = 3*m. Do -6 and m have the same value?
False
Let p be -12*-3*(-4)/24. Let c = p - 1. Are c and -6 unequal?
True
Let m be 2/((-1)/1*2). Suppose 2 = -2*f, -s - s = -f - 1. Let u be ((-2)/4 - s)*4. Is m at most as big as u?
False
Let r(o) = -2*o + 3. Let w be r(4). Which is smaller: 1 or w?
w
Let k = -19 + 20. Let t be 4/(-3 - k - -6). Is t less than or equal to 0.08?
False
Suppose -4*f + 192 = 5*d, -2*d = -4*d + 3*f + 63. Let t = d - 610/17. Which is greater: 0 or t?
t
Let s be (0 - (-2)/4)*4. Suppose -3 = 3*v - y, -2*y = -2*v + s*y - 12. Let n(a) = a**2 + a + 3. Let l be n(v). Is l less than or equal to 3?
True
Let g = -66 - -63. Which is smaller: g or -19/7?
g
Suppose -210 - 240 = 5*y. Which is greater: -91 or y?
y
Suppose 2*w + 5*s - 7 = 4*s, -5*w - 3*s = -19. Suppose -11 = -4*q - w*n + 15, 2*n - 10 = 0. Suppose x - 3 = -1, -4*x = q*p - 8. Is p smaller than 2/5?
True
Let g be (215/(-30) - -6)*(-2)/(-14). Let i = -5 + 5.1. Is g greater than or equal to i?
False
Let k be 2 - ((-4 - -3) + -38). Let d be -1*(k/9 - 4). Do 0 and d have the same value?
False
Let h be (10 + (-1 - -2))*-1. Let a = -7 - h. Let w be a/(-5) - (-2)/(-10). Which is bigger: 0 or w?
0
Let b be 6/4*16/6. Suppose -3*n - 2*m + 15 = 0, 0 = -3*n + 8*n - 3*m - 25. Suppose n*j - 3 = 2*j. Is b < j?
False
Let j = -0.78 - -0.43. Which is smaller: j or 2?
j
Let r be (-11)/(-18) + 2/9. Suppose 5*q = 7 - 2. Which is smaller: r or q?
r
Let y = 9 - 8.93. Let c = y + -2.07. Let s = 2.1 + c. Is -2/3 at most s?
True
Let f be (-3*(-8)/12)/(-6). Is 0.02 >= f?
True
Let s be 6 + -2*1 + 0. Let p be (1 + 75)*2/s. Let l = p + -113/3. Is -0.1 at most l?
True
Let y(n) = -9*n + 53. Let a be y(9). Is a <= -28?
True
Let m(z) = 2*z**3 + 4*z - 7. Let s be m(2). Is s < 14?
False
Let b = 0 + 1. Let i be (-1 - 4/(-8))*0. Is i not equal to b?
True
Let v be (-3)/(-9) + 6/(-18). Is -1/8 less than or equal to v?
True
Let s = -812/9 + 90. Is 0 at least as big as s?
True
Let s(t) = 4*t + 29. Let p be s(-7). Do 4 and p have different values?
True
Let b = 0.14 + 17.86. Let v = -18.1 + b. Do v and -1.3 have different values?
True
Let q(l) = -5*l**2 + 12*l - 12. Let z(g) = -4*g**2 + 11*g - 11. Let a(p) = -5*q(p) + 6*z(p). Let m be a(-7). Let k = -2/321 + 652/1605. Is m at most k?
False
Let a(h) = -h**3 + 2*h**2 + 2*h - 4. Let j be a(3). Which is greater: j or 3?
3
Let q(f) = -f**3 - 6*f**2 + 5*f - 10. Let c be q(-8). Let a be 14/c + (-13)/39. Which is smaller: a or -3?
-3
Suppose -3*q = -25 + 1. Suppose -q = -3*c + 7, c = -v + 5. Let g = -117 + 587/5. Is v equal to g?
False
Suppose 0*x = 4*x - 24. Is 6 at most as big as x?
True
Let n(a) = -a - 1. Let o be n(9). Let u be 12/o*(-3)/(-6). Is u greater than or equal to -2?
True
Let x = 5012/535 + -18/107. Let u = x + -9. Are u and -1 e