 + 1 = 0. Let w be (p/(-4))/((-1)/2). Which is smaller: w or 2?
w
Let n = -124 + 77. Is n greater than -44?
False
Let v = 2 - 0. Suppose -3*m - 20 = v*m. Let h be ((-5)/(-60))/(m/(-6)). Is h bigger than -1?
True
Let w = -2.9 + -0.1. Let v = w - -3.4. Is 1/3 bigger than v?
False
Let r(i) = -i**2 - 4*i + 2. Suppose 0 = -4*o - 8 - 4. Let p be r(o). Which is smaller: p or 4?
4
Suppose -2*a = -7*a + 40. Which is bigger: a or 7?
a
Suppose 3*o - 30 = m - 3, 5*o - m = 45. Suppose 29 = -4*x + o. Which is smaller: x or -6?
-6
Let q = -0.005 - 2.895. Let n = -0.9 - q. Which is smaller: n or 1?
1
Let z(a) = a - 3. Let s be z(3). Let v be 0 + (-4)/2 - s. Let c be ((-3)/18)/(20/90). Is v less than or equal to c?
True
Let m = -8.88 + 9. Let u = m + -0.22. Suppose n - 1 = 3. Which is smaller: n or u?
u
Let o = -5318/4641 + 2/663. Which is smaller: -1 or o?
o
Let g = 0.8 + -1. Let h = 0 - g. Let b = 0 + -0.2. Is h less than or equal to b?
False
Let k = 1.2 + -1.2. Let y = -43 + 40.9. Let l = y - -2. Which is greater: k or l?
k
Let a be (-18)/12 - 62/4. Let y be 6/(-24) - a/4. Which is smaller: 3 or y?
3
Let w = -856/5 - -172. Do 2 and w have the same value?
False
Let w be -4 - -3 - 9/(-8). Let d(l) = l + 3. Let j be d(-3). Are j and w equal?
False
Suppose 0 = -4*o + 3*p + 5 + 6, 3*o + p - 5 = 0. Suppose w = o*w - 2. Suppose -15 = -3*l - w*l. Is l smaller than 3?
False
Let p be (-4 + 1)/(-45)*(-70)/(-4). Let k = -135/28 + 32/7. Which is bigger: p or k?
p
Let f(p) = -2*p - 7. Let t(y) = y + 4. Let g(n) = -2*f(n) - 5*t(n). Let z be g(-6). Which is greater: -2/13 or z?
z
Suppose 0 = -3*z + 8*z. Which is smaller: z or -1?
-1
Let u = 33/4 + -95/12. Which is greater: u or -2/9?
u
Let x(n) = n**3 - 15*n**2 - 2*n + 33. Let s be x(15). Let m = 1 + 3. Which is greater: s or m?
m
Let m = 4/15 - -7/30. Let t = 10 + -7. Is t greater than or equal to m?
True
Let t = 123.95 + -121. Let j = t - -0.05. Let i be 2/(-3) + (-10)/(-6). Is i less than or equal to j?
True
Let r = 47 + -45.1. Let s = 2 - r. Is -4 != s?
True
Let s = -0.21 + 0.35. Let g = 2.86 + s. Let d = -268/9 - -30. Which is smaller: d or g?
d
Let m be 2/50*25/10*2. Which is greater: 20 or m?
20
Let t = -1/47 + -91/141. Which is smaller: t or -1?
-1
Let y = 17 - 17. Is 0 > y?
False
Let n = -3 + 2. Is n at least -31?
True
Let w be 1*6*2/4. Let i be (-2 - (-18)/w)/2. Which is greater: 5 or i?
5
Let s = -4 - -4.02. Let j = s + 0.58. Let n = -0.4 + j. Is n at least as big as 0?
True
Suppose -m - 11 = -5*i, m = -2*i - 1 + 4. Suppose -2*o + 8 = 0, -3*l + 2*o - 5 = -2*l. Let r = l - i. Is -1 at most as big as r?
True
Let l = 9 + -17. Let p be (-6)/8 + (-6)/l. Suppose 0 = -4*h - 3*x - 1, 3*h = 4*x - 2 - 5. Is p at least as big as h?
True
Suppose -o + 15 + 8 = 0. Let c = -33 + o. Let m be 2/c - 4/10. Is m >= 0?
False
Suppose -2*i = i + 5*m - 73, 5*i - 163 = 2*m. Is i not equal to 31?
False
Suppose 0 = 3*d - 21 - 24. Suppose 5*c + 3*q + 18 = 2*c, -d = c + 4*q. Let b be ((-4)/18)/(1/c). Are 1 and b nonequal?
True
Let d = -6 - -5. Let q = 0.11 - 4.11. Let v = q + 5. Which is bigger: v or d?
v
Suppose -1 = -2*n + 5. Suppose -2*j + 0*v - 7 = -3*v, 3*v = -4*j + 31. Suppose -2*o = -0*o - j. Do o and n have different values?
True
Let v be 28/(-6)*(-24)/16. Suppose -4*w = -13 - v. Does 5 = w?
True
Suppose 3*u = -b - 15, 3*b + 2*u + 12 = 2. Which is smaller: -8/21 or b?
-8/21
Let t(v) = -v + 9. Let r be t(9). Suppose r*j = -2*j + 8. Is j at least 2?
True
Let y = -6.36 - -6.56. Let f be -1*(2 + -1 + 5). Is y less than or equal to f?
False
Let u = -0.056 - 0.044. Is u not equal to 24?
True
Suppose 0 = -4*g + 3 - 11. Which is smaller: g or -3?
-3
Suppose 0*j + 3366 = 18*j. Are 188 and j nonequal?
True
Let m = -5 - -6. Suppose 2 + m = 3*q. Which is bigger: q or -2?
q
Let f be ((-1)/(-13))/(380/(-64) + 6). Is f at least as big as 2?
False
Let l(w) = -w**3 - 5*w**2 - 2*w + 2. Let k be l(-3). Let b = 10 + k. Let x = -1 - -2. Are b and x equal?
False
Let z be (9/(-6))/(3/6). Let a be 34 + z*(-3)/9. Let t = a + -104/3. Is t greater than or equal to -2?
True
Let x = 0 - 1. Let u be (x/6)/((-4)/(-3)). Which is greater: 0.1 or u?
0.1
Suppose 2 = w + 8. Let m be (-26)/w + 2/(-6). Is m > 5?
False
Let d(m) = -m**3 + 2*m - 4 + 0*m**3 - 6 + 10*m**2 - m. Let y be d(10). Which is greater: y or 2/51?
2/51
Suppose -4*f + y + 2*y = -22, f = 4*y + 12. Suppose 23 = f*o + 4*b - b, b = -o + 6. Let r(j) = j**2 - 4*j - 4. Let a be r(o). Which is bigger: a or 1/3?
a
Let m be 2/((-28)/3)*(-3)/9. Are m and -0.2 equal?
False
Suppose -w + 2*t + 40 = -3*w, -5*t = 0. Are w and -21 nonequal?
True
Suppose -4 = -5*r + w, -2*r - 3*r = 4*w + 16. Let n(o) = -o**2 + 2. Let l be n(r). Let t be (8/20)/(l/5). Which is greater: 0.1 or t?
t
Suppose -3*i = -5*i - 2. Let m = 25 + -34. Let s = m + 11. Which is smaller: s or i?
i
Let n be 3*(-8)/(-108)*(-3)/(-2). Which is smaller: 26 or n?
n
Suppose u + 5 = -9. Which is bigger: -3 or u?
-3
Let z(a) = -a**2. Let m be z(-6). Let d be m/21 - (-2)/(-7). Which is smaller: d or 0?
d
Let l = -4 - -1. Let y = l - -1. Which is bigger: 0 or y?
0
Suppose 2*h - w = w + 98, -3*h + 126 = 4*w. Is 46 at most h?
True
Let o be 2 - (555/(-18) - 5/30). Is o bigger than 33?
False
Let u be (6/28)/((-6)/8). Let d = -3 + 2. Is d less than u?
True
Let n = 2.7 + 0.3. Let d = n + -3.3. Is -0.1 greater than d?
True
Let d = 41/45 - 10/9. Which is bigger: d or 0?
0
Suppose 0 = 13*b - 7*b + 192. Is b > -31?
False
Suppose 0 = 4*v - 11 - 1. Suppose -v = -m - 0. Is 2 less than or equal to m?
True
Suppose 4*i + 1 + 11 = 0. Let s(p) be the third derivative of -p**5/60 - p**4/8 + p**3/6 + p**2. Let a be s(i). Are a and -3/8 equal?
False
Suppose o = 2*m - 4, -5*m = 5*o - 0 + 20. Suppose 5*l - 2*x + 8 = 0, -3*l + 0*x + 8 = 2*x. Let y be (-40)/18 - (l - 2). Which is greater: y or m?
m
Let p be (-12)/76*(-4)/(-6). Let y be (-1)/((-3)/(3 - -3)). Suppose -1 = 3*h + y. Which is smaller: p or h?
h
Let p be ((-4)/(-3))/(3/(-9)). Let m be p/14*18/12. Are m and 0 unequal?
True
Let a = 0 + 0. Let n = 3.4 + -0.4. Is a at most as big as n?
True
Suppose -3*v = -2*w - 51, -63 = -6*v + 2*v + w. Suppose 0 = 2*m - 4 - 26. Does v = m?
True
Suppose -3*d + d - l - 14 = 0, 5*d + 5*l = -35. Let a be (3/9)/((-2)/(-30)). Let h = a + d. Is -2 != h?
False
Let h = 193/3 - 826/13. Let x = -6/13 + h. Let z = 0.134 + -0.234. Is z at least x?
False
Let b = -523/36 + 142/9. Let m be (-6)/30 + 22/10. Suppose 0 = -0*p - m*p + 4. Which is bigger: b or p?
p
Let s(h) = -17*h**2 + 1. Let u be s(-1). Let b = -28 - u. Is -11 at most b?
False
Suppose -55 = 2*r + 5*p, -3*p - 5 = 2*p. Let l be (-2)/8*(-20)/r. Which is smaller: l or -0.1?
l
Suppose -2*n = 4*a - 7*a + 45, 4*a - 77 = -3*n. Suppose 0 = 3*y - 5*k + 12, -4*y + a = -2*y + 5*k. Let o = 67/96 - 1/32. Which is smaller: y or o?
o
Let n be -1*((-4 - -1) + 4). Suppose 0*u = 6*u + 24. Are u and n non-equal?
True
Let t(u) = -2*u. Let n be t(0). Let l = -7 + n. Which is smaller: -15/2 or l?
-15/2
Let k(t) = 10*t - 11. Let q be k(-2). Which is greater: q or -30?
-30
Suppose -21 = -5*q - 66. Let l be 1 + (-5)/((-60)/q). Which is smaller: l or -1?
-1
Suppose 3*k = -3*k - 42. Which is smaller: k or -6?
k
Suppose 0 = -5*s + 4*f + 30, 4*s - 8 - 22 = 2*f. Are -0.1 and s unequal?
True
Let z be 0 - -10 - (-6)/(-3). Is 6 < z?
True
Let o = -18.02 + 18. Let w = o - 0.08. Is w < 1.1?
True
Let l = 1 - 1. Let n = 0.1 - l. Let a = -36 + 36. Which is smaller: a or n?
a
Let z = 42 + -40. Which is bigger: 0 or z?
z
Let i be -4 + 1 - (-1 + (-8)/14). Which is greater: i or 0?
0
Let k be 14/5 + (-1)/(-5). Suppose 4 = k*c + c. Is c greater than 0?
True
Let k = 237/4 - 59. Is 1 less than or equal to k?
False
Suppose 1638 - 438 = -4*n. Let b be (-20717)/(-69) + 2/(-6). Let i = b + n. Which is smaller: i or -1?
-1
Let t be 3/(81/123) + (2 - 3). Are 3 and t equal?
False
Let i(j) = 8*j**2 - 3*j. Let o = -11 - -5. Let g(r) = -7*r**2 + 2*r + 1. Let d(h) = o*i(h) - 7*g(h). Let u be d(-6). Which is smaller: 4 or u?
4
Let n = -203/286 - -9/26. Which is smaller: -2 or n?
-2
Let h = 0.29 - -0.11. Let m = -0.1 + -0.9. Let j = -0.8 - m. Which is bigger: h or j?
h
Let o be 1/(1 - 29/30). Let y = -18 + o. Let u(l) = l - 13. Let d be u(y). Which is smaller: d or -2/7?
d
Suppose -5*y + d = 248 + 184