 1. Let m be 2 + x*(3 + -2). Let c = 73 + -71. Which is smaller: c or m?
c
Let v be ((-20)/(-50))/(2/60). Suppose -2*p = -s - 3*s + 14, v = 3*p + 5*s. Which is bigger: -5/8 or p?
-5/8
Suppose -4*n = n + 40. Is -7 at least n?
True
Let h = 427 + -617. Is -190 equal to h?
True
Suppose -5*r + 1 - 6 = 0. Which is smaller: -2 or r?
-2
Let d be ((-22)/(-33))/((-22)/6). Is -0.2 not equal to d?
True
Suppose -4*c + 2 - 11 = 5*g, -4*g = -4*c. Let u = g - 0. Let v = u + 2. Are v and 2 non-equal?
True
Let b = 11 + 2. Let u = 9 - b. Let a = -3.9 + 4. Is u at most a?
True
Suppose 8 = p - 5*p. Let d = -70 + 68. Is d at most p?
True
Let u(p) = -p + 10. Let g be u(11). Are 2 and g equal?
False
Suppose -h + 1 = -1. Let k(a) = -3*a**3 + a + 4*a**2 + a**h - a**2 + 2*a**3 - 4. Let t be k(4). Is -2/5 smaller than t?
True
Suppose 2*w - w = 1. Let u = -17 + 52/3. Which is smaller: w or u?
u
Let d = 7 - 3. Which is smaller: d or 2?
2
Let c = -7 + -3. Let n = 11 + c. Let w(q) = -q**2 + 5*q - 3. Let b be w(5). Is n greater than or equal to b?
True
Let j = 1/2 - 3/10. Is j less than -1/3?
False
Suppose -4*n + 7*n = -15. Let g(f) = f + 4. Let s be g(-4). Suppose -5*v + 14 - 44 = s. Are v and n non-equal?
True
Suppose 0 = -3*s - 0*s - 36. Let r be (-2)/s + (-38)/12. Suppose 0*k + 6 = -3*k. Which is bigger: k or r?
k
Let i be 1/4*(2 - 3). Are i and 4/7 non-equal?
True
Let t be (-48)/990 - 4/30. Is 0.5 != t?
True
Let r be ((-39)/30)/(8/10). Which is smaller: r or -2?
-2
Let n be (-10 + 5)*2/(-5) - 0. Which is smaller: n or -0.11?
-0.11
Let g = 9 - 8. Which is bigger: g or 0?
g
Let s(z) = 33*z**3 + 3*z**2 - 2*z + 1. Let v be s(3). Let g = v - 6375/7. Is -1/3 < g?
True
Let p be (-1)/((3/(-63))/(-1)). Let a = -22 - p. Which is greater: a or 4?
4
Let s = 5/11 - 4/33. Is -2/9 >= s?
False
Let n be -2 + (0 - 24/(-14)). Which is smaller: 2/9 or n?
n
Let a = 37 - 37. Let y = 169 + -842/5. Are a and y nonequal?
True
Let r = 0.39 + -0.49. Are -0.01 and r equal?
False
Let l = -14 + 9. Which is smaller: l or -3?
l
Let q(h) = 51*h + 1. Let b be q(1). Suppose m + 5*p = b, -5*m - 3*p + 41 = -241. Let j = m - 229/4. Are 1 and j unequal?
True
Suppose -4*g + 15 = g - 4*b, -3*g + 5*b + 22 = 0. Are g and 5 nonequal?
True
Let g = 457/3 - 154. Let r = 0 + -1. Is r != g?
True
Let h = 0.3 + 8.7. Let n = -5 + h. Which is smaller: n or -0.1?
-0.1
Suppose 5*s = -g - 0*g + 25, -15 = -3*s + 5*g. Suppose -1 - s = -2*u. Which is smaller: u or 1?
1
Let i(o) = o**2 + 4*o. Let r(l) = 3*l**2 + 9*l. Let w(z) = -7*i(z) + 3*r(z). Let f be w(-2). Is 9 at least f?
False
Let u be 30/(-63) + 0 + 5/35. Which is smaller: -34 or u?
-34
Suppose -6*g + 4 = -8. Is g < 8/3?
True
Let u(l) = l**3 - 5*l**2 + 4*l + 4. Let t be u(4). Suppose 9*x - t*x = 5. Which is bigger: -1/3 or x?
x
Let i = 3 + 0. Suppose 0 = -3*c + 6 + 3. Let h be 2/(-1 - c/(-2)). Which is bigger: h or i?
h
Let g be (1425/(-76))/(((-3)/(-4))/(-3)). Is 74 at most g?
True
Suppose 2*f = 2*o - 13 - 5, -2*o + 33 = -5*f. Suppose o*k = -9 - 23. Is k > -7?
False
Let x(w) = -w**3 - 6*w**2 - 5*w - 1. Let m be x(-5). Let o be m*5*(-8)/(-100). Is -4 greater than o?
False
Suppose 6*m - 2*m = -8. Suppose n = 3*d + 23, 5 + 38 = 2*n - 5*d. Let q = -16 + n. Is q greater than or equal to m?
True
Let h(f) = -f**2 - 7*f - 1. Let l be h(-7). Let w = -2 - l. Let i be 3/(-6)*(-1)/2. Which is bigger: i or w?
i
Let v be -1 + 10*(-4)/(-8). Is v > 3?
True
Suppose 0 = -5*a + 326 + 199. Let j be (a/56)/(6/4). Which is bigger: 2 or j?
2
Let v be (-4)/(-8) - (-11)/(-30). Which is smaller: 1 or v?
v
Let s(a) = -a**2 + 4*a + 3. Let z be s(4). Suppose -3*p + 21 = -z*r, p + 5*r = -3*p + 28. Let o be (-11)/(-14) - 2/p. Which is smaller: o or 2?
o
Let k be (29/(-35) + 1)*-10. Which is smaller: -1 or k?
k
Let l(x) = x**3 - 7*x**2 + 3*x + 17. Let h be l(6). Which is smaller: h or -1/3?
h
Let o be (-1)/(-4) - 194/(-56). Is o bigger than 3?
True
Let v = -352 - -28510/81. Which is smaller: v or -1?
-1
Let r(x) = x**3 + 10*x**2 + 13*x - 15. Let a be r(-8). Is 6 greater than or equal to a?
False
Suppose -3*k + 24 = k. Suppose g = -2*g - k. Let s = g + 0. Is s less than or equal to -2?
True
Suppose -3*d + 3 = -0. Which is bigger: 4/3 or d?
4/3
Let i = -0.952 - 0.048. Which is smaller: i or 2/55?
i
Let p(a) = -5*a - 7. Let m be p(-5). Suppose 5*b = -4*o - 27, 0 = -7*o + 4*o - 3*b - m. Do -3 and o have different values?
False
Let y be (-3)/(-2) + (-9)/(-6). Let v(z) = z**2 - 3*z - 2. Let o be v(y). Is -1 <= o?
False
Suppose 7*r + 4 = 9*r. Suppose -6 = s + s. Let d = s - -7. Is r at least as big as d?
False
Let g = 1 - 10. Let m = 8 + g. Which is smaller: m or 6?
m
Suppose 4*z - 1 = 3. Let y be (3/(-54))/(z/(-3)). Which is smaller: y or -2?
-2
Let a = 10.6 + -4.6. Which is greater: 1 or a?
a
Suppose 0 = 4*u + t - 4, 5*t - 3*t = -8. Let a = -3 + u. Let j be (-2)/5 + (-2)/(-5). Which is smaller: a or j?
a
Let q(t) = t**2 - t + 3. Let g be q(0). Let z be g/(-108)*(-8)/(-3). Is z at most as big as 0?
True
Suppose 2*j - j = -4*u - 1, -2*j = 5*u + 2. Let g = -62 + 1613/26. Let x = -19/182 - g. Which is bigger: u or x?
u
Let o = 12 + -11. Let d = 15.7 + -7.6. Let t = -8 + d. Which is smaller: t or o?
t
Let a = -38 + 37. Are a and -2/5 non-equal?
True
Suppose -4*f + 5*m + 21 = 0, -5*f - 5*m = -3*m - 18. Suppose 9*g - 5*g = -f. Is 0 >= g?
True
Suppose -3*m = 4*a + 28, 0 = 5*a - 10*a - 3*m - 32. Let v be ((-64)/28)/((-1)/a). Let b = 334/35 + v. Which is smaller: b or -2?
-2
Suppose -3*r - 25 = a, -2*r + 29 = -5*r - 2*a. Let i be (-1)/r + (-250)/35. Which is bigger: -5 or i?
-5
Let f = 17 - 45. Let z = f - -30. Which is smaller: z or 1/3?
1/3
Let n = -0.5 - 5.5. Let h = n + 10. Let t = h - 5. Is 3/4 at most as big as t?
False
Let o = -54/13 - -851/208. Let s(f) = f**2 + 5*f - 7. Let i be s(-6). Which is smaller: o or i?
i
Let r(a) be the third derivative of a**6/120 - a**5/10 + a**4/24 - 7*a**3/6 - a**2. Let s be r(6). Suppose -9*m - 22 = 5. Which is smaller: m or s?
m
Let h(r) = -r**3 + 6*r**2 - 9*r + 3. Let j be h(4). Is j at least -1/24?
False
Let n be (-1)/(-7) + 164/28. Suppose -2*j = -3*d + 3*j + 15, 2*d + 2*j + n = 0. Which is greater: -0.1 or d?
d
Let k = 3 - -3. Does 6 = k?
True
Suppose -5*i + l - 968 = 0, 4*l + 593 - 197 = -2*i. Let n = -2132/11 - i. Let f = 0 + -1. Which is greater: f or n?
n
Let g be (-287)/21*(-3)/(-2). Let o = -21 - g. Is 0 at least as big as o?
True
Let l = 1.2 + -1.2. Let m = -0.8 - 0.2. Let t = l - m. Which is smaller: t or -3?
-3
Let i(d) = -d**3 - 6*d**2 - 4*d + 6. Let y be i(-5). Let u(k) = -k**3 + 6*k**2 - 2*k + 5. Let o be u(4). Let t = o + -86/3. Which is greater: t or y?
y
Let d = -3 + 3. Let t = 8.2 - 0.2. Let l = t + -6. Which is smaller: l or d?
d
Let q = -0.17 - -0.27. Which is bigger: -1/6 or q?
q
Let s = 65 - 15. Which is smaller: s or 51?
s
Let u be -6*(-32)/108 - 2. Which is smaller: 1 or u?
u
Suppose -3*v = -27 + 285. Let n = v - -256/3. Let i = 3/11 - 31/33. Is n at most i?
True
Let z be (0/(-3) - -3) + -14. Let j(o) = o**3 + 3*o**2 + 2*o - 4. Let v be j(-3). Is z at most as big as v?
True
Let q = 0.9 - -0.1. Let s = q + -1.2. Is s greater than 2?
False
Let c be 18/30 - 13/5. Which is bigger: c or 0?
0
Suppose 5 = 2*a - a. Suppose a*u + 0*u = -15. Let l = u + 2. Which is bigger: -2/19 or l?
-2/19
Let s = -1.14 - -0.14. Is s at least as big as 14?
False
Let z = 0.481 - 0.081. Is z at most as big as 1?
True
Suppose -m + 5*o - 12 = 3*m, -4*m = 2*o - 16. Suppose m*u = u - 1. Let v = -1 + 2. Which is smaller: v or u?
u
Let d be (54/(-39))/1 + -2. Let w = d - -810/247. Which is smaller: w or 0?
w
Let h be -7 + 7 + 1/(-16). Which is bigger: 0 or h?
0
Let u = 6 + 0. Let p = u - 23/4. Is -1 greater than p?
False
Let v(r) = r - 1. Let o be v(5). Is 1 <= o?
True
Suppose 3*c - 28 = 2*k + 1, 3*k + 33 = 3*c. Let o = c - 6. Let f be (-4)/(-10)*10/(-18). Is o at most as big as f?
False
Let d = -3.7 - 4.3. Are d and 1 nonequal?
True
Let n(x) = -x**3 - 7*x**2 + 8*x + 4. Let b be n(-8). Suppose -w + 5 = b*w. Let a be w*2/(-3) - -2. Which is smaller: a or 1?
1
Let s = -14 - -10. Let p = -3 - -3. Which is greater: s or p?
p
Suppose 0 = 3*l + 10 + 8. Let z = -12 + 6. Is l equal to z?
True
Let m(j) be the third derivative of j**4/24 - 5*j**3/6 + 5*j**2. Let w be (-2)/(-4) - (-11)/2. L