-y = 3*n + n. Let v be 4/(-99) + (-4)/22. Which is smaller: v or n?
n
Let a = -39.9 - -40. Is a at least 1?
False
Let z = 0.609 + -0.009. Let b(l) = l + 5. Let j be b(-4). Which is smaller: j or z?
z
Suppose 0 = 3*p + 2*s - 4, 4 = 2*p + 2*s - 0. Suppose -5*n + 3*n + 12 = 0. Suppose p*l = -2*l + n. Which is bigger: l or 3/2?
l
Let a = -19 + 15. Is a smaller than -3?
True
Let q = -11.16 - -11. Let y = -3 - -2.96. Let t = y + q. Are t and -1/3 nonequal?
True
Suppose 2*f + f = -3. Let l = -164/759 + 10/33. Is f at least l?
False
Let g be (-4)/6*(-3)/2. Let x = 40 + -24. Let w = x + -49/3. Is g bigger than w?
True
Let f(o) = -o**3 - 7*o**2 + 9*o + 6. Suppose -5*x - 43 = k, -3*x = -2*x + k + 11. Let q be f(x). Do q and 0.2 have the same value?
False
Let d = -26 - -26. Which is smaller: -29 or d?
-29
Suppose 2*a - 1 - 1 = 0. Is a > 8/11?
True
Suppose -3*l + 4*p = -5, -4*l - 2*p + 7 = -7*p. Let f(a) = a**3 - 3*a**2. Let s be f(l). Let c be (-3)/(-3)*(0 + s). Is c >= -1/7?
True
Let z be (-4)/2 + (4 - -12). Suppose -2*m = -2*j - z, -3 = j - 3*m + 6. Let x = j - -7. Is 2 > x?
True
Suppose -2*g - 5*m + 2*m + 6 = 0, 16 = 4*m. Suppose 0 = 2*d - 3*u + 12, -2*u - 20 = 4*d - 7*u. Is d at least g?
True
Let l(m) = -m + 10. Let v be l(10). Let j be (-2 - v)*(-4)/(-8). Is -3/7 < j?
False
Let i be (-2)/(-6)*(0 + 0). Are i and 2/11 non-equal?
True
Let k be (-2)/(-7) - 19/(-7). Suppose -2*l + 5 = k. Let b(t) = t**2 - 1. Let r be b(l). Which is bigger: 2/9 or r?
2/9
Let u be ((-9)/(-10)*-1)/(24/(-10)). Suppose 3*f = -0*q + 3*q, 3*q = -2*f. Is f less than u?
True
Suppose -5*r = 5*c - 416 - 224, 4*c + 685 = 5*r. Let g = r + -1993/15. Which is greater: g or -1?
g
Let s = 24 + -18. Let j(x) = x**3 - 8*x**2 + 10*x - 8. Let n be j(s). Which is smaller: n or -21?
-21
Let i = -874/105 - -112/15. Let p = -4 + 2. Is p greater than or equal to i?
False
Let k = 884/105 + -58/7. Which is smaller: 0 or k?
0
Let j = 12 - 17. Which is smaller: -2 or j?
j
Let a be (-14)/(-21) - (-92)/6. Let v = a + -13. Suppose 0 = 7*o - 3*o. Is v greater than o?
True
Let r = 7 + -8. Is r smaller than -5/7?
True
Let d(q) = -q**2 - 5*q + 8. Let p be d(-6). Suppose -12 = -4*t + 4*u, -3*u - p + 1 = t. Which is smaller: t or 3?
t
Suppose -5 = -0*a - 5*a. Do a and 1 have the same value?
True
Let n(k) = 3*k**2 - k + 1. Let j be n(-1). Suppose 0 = -w - 4*w + j. Which is smaller: w or 6/7?
6/7
Let w be 0 - -2 - 1*(10 + -3). Which is greater: w or -4?
-4
Let g be 399/(-204) + (-2)/(-1). Is g != 1?
True
Suppose 0 = 2*k + 4*l - 33 + 7, k + l = 8. Suppose -5*w - 20 = 0, w = -k*b + 5*w - 773. Let t = b + 5525/21. Which is greater: -1 or t?
t
Let u = -1.7 - -1.64. Which is greater: 0.2 or u?
0.2
Let k be 4 - 1 - (1 + 3 + 59). Let f be 2/7 - 1280/21. Let l = k - f. Is l greater than 2?
False
Suppose 0*d = d + 4, 5*d = -2*n - 18. Which is smaller: n or -2/13?
-2/13
Let i be (4/(-70))/((-3)/(-7)). Let h = 153 - 154. Is h >= i?
False
Suppose -1 = -t + 4*p, -t + 6 - 45 = 4*p. Let c be (-4)/(-18) + t/(-36). Which is smaller: c or 0?
0
Suppose -5*n - 20 = 0, 2*s + 0*n + 32 = -2*n. Let k be (6/(-44))/(9/s). Suppose 2*g - 2 = -0*g. Is g less than or equal to k?
False
Let p be -2*(2 + -3) - 9. Which is smaller: p or -6?
p
Suppose 4*m = 5*r - m + 425, 3*r - 2*m = -258. Is r > -89?
True
Let r = -645/7 - -92. Let o be (-16)/10 - (-6)/10. Are r and o unequal?
True
Let q(k) = 2*k + 6. Let a be q(5). Suppose 2*s = 4*s - a. Suppose m + d - 3*d = 8, 2*m - 2*d = s. Which is smaller: 2/13 or m?
m
Let z(u) = -u**2 + 6*u - 7. Let b be z(5). Let l = 8 + b. Let h(y) = -9*y + 50. Let d be h(5). Which is bigger: d or l?
l
Suppose 2*d = -2*d + 4564. Let z = d + -12561/11. Is z at most as big as 0?
True
Let x be 24/36 - 47/12. Is -2 at most x?
False
Let t = 1456/9 + -162. Is t less than 1?
True
Let a = -3736/46075 - -2/1843. Let f(z) = z**3 + 3*z**2 - 4. Let h be f(-2). Which is greater: a or h?
h
Let k(n) = 1 - n**3 + 3 + 2 - 3 + 3*n. Let x be k(3). Let b = -11 - x. Which is bigger: -0.1 or b?
b
Let x be (1 - -2)*(-1)/(-3). Let z be (-18)/3 + 0 + x. Is -4 >= z?
True
Let i be (-2)/(-6) + 175/(-21). Suppose 28 = -j - 4*y, -y = j - 0*y + 13. Is i less than j?
False
Let l = -2 - -11. Let i = -9 + l. Suppose i = s - 5*s. Do 3/10 and s have different values?
True
Suppose -8*t - 236 = -4*t. Let m = 414/7 + t. Which is smaller: -1 or m?
-1
Let g = 0.3 + -0.3. Let j = -0.03 + g. Let n = 0.03 + j. Which is smaller: 2/5 or n?
n
Let s be (-4 - 1)*6/(-15). Let f be 1 + (16/6 - s). Let w be ((-2)/4)/(5/(-10)). Which is bigger: f or w?
f
Let b = -53 + 56. Which is smaller: b or 20/11?
20/11
Let n be 3 - (4 - (3 + -3)/(-3)). Let y = 0.1 - 0.1. Which is smaller: y or n?
n
Let v be -3 - -3*(-200)/(-12). Is v not equal to 46?
True
Let z = 0.2 - 0.2. Let s = -14 + 15. Which is greater: s or z?
s
Let y be (-2)/(-4)*4/9. Let a = 3 - 2.8. Which is smaller: y or a?
a
Let f = 60 - 65. Which is smaller: f or 2?
f
Suppose 3 = -0*u + 3*u. Let b = -1/249 + 1009/3237. Is b greater than u?
False
Let u = 0.75 - 0.05. Let p = 1 - u. Is -0.1 <= p?
True
Suppose -5*u = -60 + 15. Suppose 0 = w + u + 2. Does -11 = w?
True
Suppose d = -0*z - 3*z - 2, 5 = -d. Is 1 at least as big as z?
True
Let m be 0 - 3*(-12)/99. Which is bigger: m or 1?
1
Let i = -23 - -25. Which is smaller: i or 3?
i
Suppose -9 = -5*p + 2*o, -3*o - 2 = 3*p + 1. Let u = 0.97 - -0.33. Let b = 1.5 - u. Do p and b have different values?
True
Let y = -9.9 + 10. Is -1/4 > y?
False
Let d = -226976236 + 2952325504/13. Let b = 125588 - d. Let r = -138 - b. Which is greater: 1 or r?
1
Let d be 55*-1 + 2 - (-1 + -1). Which is bigger: d or -50?
-50
Let n = 12 - 10. Suppose t = -3 - n. Which is smaller: -4 or t?
t
Suppose -11*g + 2*g = -45. Let f = 47/2 + -23. Is f greater than or equal to g?
False
Suppose -5*n + 3*t = -4, 11 + 3 = -5*n - 3*t. Let u(r) = r**3 - 3*r**2 + 3*r - 3. Let z be u(2). Let w be ((-1)/(z - 0))/1. Which is smaller: w or n?
n
Let w(n) = -n**2 - 7*n - 4. Let z be w(-6). Let v be (-4 + z)*2/(-4). Which is greater: v or 2?
2
Let l = -3 - -8. Suppose 5*t + 30 = -l*u, 3*u + 2*t = -u - 16. Is u greater than -2?
False
Suppose -2*i - 8*x = -4*x + 16, 26 = -4*i - 5*x. Is i at most -4?
True
Let b be -1 + 3 - (-126)/(-15). Let z = -219/35 - b. Which is bigger: 1 or z?
1
Let q(o) = o**2 + 2*o. Let f be q(-2). Suppose f = i + 3*i. Are i and -0.1 equal?
False
Let t be ((3 - 3) + 0)/2. Let x = -209/9 - -23. Is x > t?
False
Suppose 2*r = r + 3. Suppose r*g - 7*g + 4 = 0. Let t be (-8)/(-6)*6/28. Which is bigger: t or g?
g
Let b = -5464/13 - -420. Is b bigger than 0?
False
Let f be -13 - -14 - 19/21. Which is smaller: f or -1?
-1
Let k = 134 - 159. Which is bigger: k or -97/4?
-97/4
Let d = 102 - 101. Is -1/66 equal to d?
False
Let x = 0.923 + 0.077. Is 23 not equal to x?
True
Let y(z) = z + 5. Let j be y(-5). Is -5/4 smaller than j?
True
Let i = 1 + -8. Let o = i + 7.2. Let b = o - 0.3. Which is smaller: b or -1/2?
-1/2
Suppose 23 = -4*g - 9. Let x = -9 - g. Is 2/11 != x?
True
Let w = 10 - 27. Let u = 17 + w. Let l = -5 - -3. Are l and u equal?
False
Suppose -7*a + 8*a = -5. Suppose -3*m + 11 = 29. Which is greater: a or m?
a
Let m = 16 + -14. Suppose 0 = -2*v - 3*v + 15. Which is bigger: v or m?
v
Let o(u) = 2*u + 1. Let n be o(4). Which is bigger: n or 6?
n
Let d = -108 + 106. Is -11/17 at most as big as d?
False
Suppose r + 0*a + 5*a = 49, 86 = 4*r - 2*a. Let x be (-12)/(-27)*45/r. Is x greater than or equal to 0?
True
Let x = -71 + 50. Let r = -45 - x. Let k be 4/r*(-8)/14. Which is greater: k or 0?
k
Let u = -9 + 6. Suppose -40 = -5*h - 15. Suppose h*k + 6 = 2*k. Which is smaller: k or u?
u
Let l = 4 + -13. Let s be 3*(-2 - 15/l). Is s greater than -2?
True
Suppose 3*f + 9 - 27 = 0. Let z be 3/f - (-10)/4. Suppose -o = z*o. Is o less than or equal to 0?
True
Let p be 9/(-6)*4/(-6). Are 0.4 and p equal?
False
Let n = 212/3 - 72. Let u be ((-6)/4)/(12/16). Is n at least as big as u?
True
Let g be 1/(-2 - -1*3). Let f be ((-3)/(-9))/(g/(-3)). Let x be (-4)/30 - 2/(-6). Are x and f nonequal?
True
Suppose 0 = -2*v - u + 4, -7*v + 2*v = 2*u - 11. Suppose -5*p + 1 = -v*o, -11 = 5*o - 1. Which is smaller: p or -2/23?
p
Suppose 2*o + 2*o - 16 = 0, 60 = -4*x - 5*o. Let s be 36/(-15) + (-8)/x. Is s != -2/3?
True
Let m