+ 0.2. Suppose 57*q + 12 = 59*q - 4*u, 0 = -q - 4*u. Is q > f?
True
Suppose -2*x + 6 + 4 = 0. Suppose 0*b = 2*b - 10, -x*b = -m - 23. Let a be (0 - m/8)*2. Which is smaller: a or 3?
a
Let h = -0.163 - 0.037. Suppose 0 + 2 = -r. Which is bigger: h or r?
h
Let z(n) = -2*n + n + 4 - 1. Let l be z(3). Suppose l*h = 4*h. Which is bigger: h or -1?
h
Let m = -0.1 - 0.1. Let d = 1.89 - -0.11. Is d >= m?
True
Suppose -x = -5*x + 2*q - 60, 5*x = -3*q - 75. Let u be 1 + -3 + (-24)/x. Suppose 2*w - 2 = 2*p, 3*p + 5*w + 3 = 8. Which is smaller: p or u?
u
Let v = 114 + -165. Which is bigger: -52 or v?
v
Suppose 0 = -q - 3 + 6. Suppose 24 = 4*x - 2*x. Suppose 3*g - 3*m - x = 0, g - m - 12 = -4*g. Is q greater than g?
True
Suppose 2*b - 7*b = -15. Which is smaller: -13 or b?
-13
Let t = -17 - 0. Is t <= -17?
True
Let d be 10/(-8) - (-15)/10. Is d < -1/4?
False
Let p = -6 - -21. Suppose -15 = 3*y + p. Is -10 bigger than y?
False
Let w = 4 + -2. Let z be (-2)/5 - (-56)/(-210). Which is smaller: w or z?
z
Let f be 15/(-20)*-4 + -4. Which is smaller: -2/31 or f?
f
Let v be (-2)/(-17) - 0 - 0. Let h be 1*(-10)/(-2) - 3. Suppose -3 - h = -5*j. Which is smaller: j or v?
v
Let p(z) = z**2 + 27*z + 110. Let y be p(-22). Let u = 209 - 1675/8. Is y less than u?
False
Let y = -0.2 + 0.8. Let k be (-33)/22 + (-5)/(-2). Which is smaller: k or y?
y
Let r(n) = -n**2 - 6*n - 9. Let m be r(-6). Let j(a) = -a**3 - 8*a**2 + 10*a + 7. Let i be j(m). Is 0 smaller than i?
False
Let r = -3 - -3.04. Let v = -317.9 - -318. Is v < r?
False
Let x = 78 + -61. Which is smaller: 3 or x?
3
Suppose 4*s - s = 5*w - 17, 0 = 3*w + 3*s + 9. Let r = 11/10 + -1. Let b = 7/10 - r. Which is greater: b or w?
w
Let t = -2.2 + 4.2. Let z = 1 + -2. Let k = t - z. Are 1/3 and k non-equal?
True
Suppose 5*h - 127 + 422 = 0. Which is bigger: h or -58?
-58
Let v(s) = s + 7. Let x be v(-5). Let a be -1*x/2 + 0. Let b be (1 - a) + 0 + -6. Do b and -4 have the same value?
True
Let n = 10.14 - 10.1. Is 0.4 smaller than n?
False
Let y = 10 - 6. Let x = -10 - -15. Let c = x - 0. Is c at most y?
False
Let s(n) = 2*n**2 - n. Suppose 3 = 3*q - 0. Let i be s(q). Which is smaller: i or 3/4?
3/4
Let a = -16 + 8. Let z(g) = g**2 + 7*g - 8. Let s be z(a). Let q be (1 - (2 - 2))*1. Which is greater: q or s?
q
Let l(m) = 3*m - 14. Let t be l(6). Which is smaller: t or 14?
t
Let o = -21 - -22. Let u(k) = k**3 - 7*k**2 + k - 5. Let x be u(7). Is o greater than or equal to x?
False
Suppose 3*s + 12 = 5*s + f, -29 = -5*s - 3*f. Suppose -3*h = -s*h. Suppose 8*p = 11*p - 3. Is h equal to p?
False
Let l = -1.1 - -1. Let c = 0.1 - 0. Let g = c + l. Which is smaller: -2 or g?
-2
Let h = -2.8 + 2.6. Is -0.07 bigger than h?
True
Let d = -743/201 - -2/67. Is d greater than or equal to -5?
True
Let l = 1 + -1. Suppose -24 - 21 = 5*a. Let p be 0 + -3 + (-30)/a. Which is smaller: p or l?
l
Let j(n) = -3*n. Let w be j(-4). Suppose -12 = -3*q - x - x, 0 = 3*q - 2*x - w. Which is bigger: q or 3?
q
Let n be 1/(-1) - (-102)/14. Let y = 6 - n. Let a = 10 - 9. Is a less than or equal to y?
False
Let q be (-59)/116 + 30/60. Is 0 less than or equal to q?
False
Let f = 0.02 + -1.42. Let d = -1.4 - f. Are d and -3 equal?
False
Let l(z) = z - 2. Let f be l(6). Suppose 2*k + 5*x - 28 = 0, -4*x + 32 = f*k - 0*x. Let q be ((-2)/4)/((-3)/k). Which is smaller: 0 or q?
0
Suppose -g - 2*g - 12 = 0. Suppose 90 = 4*m - m. Suppose -m - 15 = 5*f + 5*p, 5*p = 4*f. Is g less than f?
False
Let m be -1*0/(-1) - -1. Let d(u) = -u**3 - 2*u**2 + 6*u - 6. Let h be d(-4). Which is greater: m or h?
h
Let h = 62 - 49. Is h equal to 14?
False
Let z(p) = -p. Let v be z(-3). Suppose 0*n = 5*n - 35. Let i be (v/(-14))/(2/n). Which is smaller: i or 1?
i
Suppose 0 - 4 = 2*d. Does d = -1?
False
Let t be 237/28 + (-42)/(-147). Is t > 9?
False
Let n = -29 - -40. Let y = n - 19. Let m = y + 11. Which is smaller: 1 or m?
1
Suppose 0 = -2*d - 4 + 8. Suppose 0 = 4*b + 2*q + 2 - 6, 3*b = -d*q + 3. Let j be (-2)/6 + (-4)/(-6). Is j greater than or equal to b?
False
Let i = 8 + -9. Let d = i + -2. Let g = -37/2 - -17. Is d != g?
True
Let z = -0.2 + 0.26. Let l = -0.46 + z. Let p = l - -0.5. Which is bigger: p or -5?
p
Let i = -1/68 - 4/17. Suppose 0 = -8*g + 3*g - 5*c + 30, -g + 2*c = 0. Suppose -g*u + n - 3 = 0, -3 = -0*u + u - n. Is i equal to u?
False
Let j(g) = g**2 - 15*g + 32. Let i be j(13). Let l = 1 - 1. Which is greater: l or i?
i
Let w = -5.05 + 5. Which is greater: w or 4?
4
Suppose 4*z + 21 + 16 = -5*x, -4*x - 20 = 0. Are z and 0 non-equal?
True
Let t be (-20)/(-5) - 4*-4. Let x be (-12)/t - 85/(-100). Is x bigger than -4?
True
Let h(y) be the second derivative of y**4/12 - y**3/2 - y**2/2 + 3*y. Let c be h(5). Let p = c - 4. Is 6 greater than p?
True
Suppose -34*a + 33*a + 3 = 0. Which is bigger: 1 or a?
a
Suppose -2*j + 7*j - g = -30, -j - 22 = 3*g. Which is greater: j or 0.4?
0.4
Let m be (-1)/(-3)*0/(4 - 6). Let k = 55/3 - 211/12. Is m bigger than k?
False
Suppose -5 - 7 = 4*g. Let n be g/18 + 67/6. Is 12 less than n?
False
Let v be (-3 - -5 - -1) + -2. Let n be v/((-9)/(-8) + -1). Is n greater than 9?
False
Let d be (-642)/1050 + (-54)/(-15) + -3. Which is smaller: -1 or d?
-1
Let z be ((-36)/(-81))/(2/9). Let i = 225 - 437/2. Let c = -6 + i. Is z less than c?
False
Let k = -0.06 - 2.64. Let p = k + 3. Let d be -2*(-2)/(-8)*-2. Which is greater: d or p?
d
Suppose w + 5*q + 17 = -0*q, w - 4*q = 10. Is -2 at most w?
True
Let d(j) = j**3 - 3*j**2 - j + 3. Let q be d(3). Which is greater: 1/2 or q?
1/2
Let b = -3 - -9. Suppose -k - 3*y = -b, 4*k - 11 = y - 0*y. Let c = -9 + 12. Is k not equal to c?
False
Let r = 11 + -8. Let i be 3/((-5)/((-20)/3)). Which is smaller: i or r?
r
Let m be 4/14 + (-20)/(-28). Suppose i + 0 = -m. Which is smaller: i or -3?
-3
Suppose -9*r + 0*r = 27. Suppose -5*j - 4*t = 20, 4*j + 12 = j - t. Which is smaller: r or j?
j
Let b be (-7)/8 - (-12)/32. Which is smaller: 11 or b?
b
Let o = 2.7 - 0.3. Let n = o + -1.4. Which is smaller: n or 8?
n
Let f = -4.1 - -0.1. Let i = f + 5. Is 2 smaller than i?
False
Let l = 22 - 18. Which is smaller: 10/3 or l?
10/3
Let k(c) = -c. Let v be k(0). Is v smaller than -2/33?
False
Suppose 3*n - 5 = 5*o - 0*o, -4*o - 4*n - 4 = 0. Are -11/5 and o equal?
False
Suppose 0 = -2*i - 4*q - 30 + 2, -3*q + 6 = -3*i. Is i greater than or equal to 0?
False
Let a(w) = -8*w + 4. Let h be a(3). Is h at most -20?
True
Suppose 20 = 5*x - 5*s, 3*x - s + 5 = 17. Suppose 3*y + 180 = p + y, -668 = -x*p - 5*y. Let d = -521/3 + p. Which is smaller: d or -1?
d
Let q be 6/(-5)*55/22. Which is smaller: -1 or q?
q
Let s = -0.12 + 0.12. Is 0.2 at most s?
False
Let m = -250 - -2252/9. Does m = -0.1?
False
Suppose -2*v = 2*p - 2 + 8, 2*v + 11 = 3*p. Let l be 1/(-1)*(p - 1). Suppose n = d - 5, l = 2*d + 5*n - n + 14. Is d greater than or equal to 2/5?
True
Suppose 0 = -4*s - 2*q - 8, 0*s - 3*q = -s + 5. Let v(y) = 2*y + 10. Let o be v(-7). Is o >= s?
False
Let o be ((-10)/(-15))/(2/3). Suppose b - 2*i - o = -3, -5*i = -3*b - 4. Is 1/2 at least as big as b?
False
Suppose 1 = f + s, -f - 5*s - 19 = -2*f. Suppose f = 2*p, p + 0*p = 2*w + 4. Is -2/7 smaller than w?
False
Let u(x) = x**3 + 9*x**2 + 14*x. Let d be u(-7). Which is bigger: d or 3?
3
Suppose o = a + 4, 0 = -4*o - 2*a + 15 + 13. Let j(r) = r**2 - 5*r - 3. Let s be j(o). Is s greater than -2?
True
Let x = -11 - -7. Let h = -1.6 - 0.4. Let s = h - x. Which is greater: 2/5 or s?
s
Suppose -2*a + 7*a = 0. Suppose 10*v - 14*v = a. Is 1 > v?
True
Let y = 197/84 - 44/21. Let q = -2 - -1.8. Let v = 0 - q. Which is greater: v or y?
y
Let f = 2/101 + -2125/202. Let i = -193/18 - f. Let w(j) = j - 6. Let q be w(6). Which is smaller: q or i?
i
Let m(a) = 4*a - 38. Let q be m(9). Which is smaller: q or -2/25?
q
Let v be (-34)/(-102) - 8/(-3). Let n(j) = j**3 + 6*j**2 + 4*j - 2. Let i be n(-5). Is i less than v?
False
Let q be 14/6 - (-4)/6. Suppose 0 = 3*o - x + 1, 4*x = q*o - 1 + 5. Let t = 264/35 + -42/5. Which is bigger: t or o?
o
Let o(m) = -2*m**3 + 11*m + 6. Let i be o(-7). Let r be 4 + (i/31)/(-5). Which is smaller: 0 or r?
0
Let w = 11 + -10.9. Is -71 at least w?
False
Let y be -2 - ((1 - -1) + -4). Is y at most 1/11?
True
Suppose g + 8 = 3*f - 0*f, -12 = -4*f. Which is smaller: 4/15 or g