b = i + 15, -4*i - 5*b + b = -20. Suppose q + 3*j = 18, 2*q - 1 - 30 = -5*j. Which is smaller: q or i?
i
Let a(m) = -m**3 + m**2 - 2*m - 1. Let i(w) = 2*w**3 + w + 1. Let t(z) = -3*a(z) - 2*i(z). Let q be t(-4). Which is smaller: -1/4 or q?
-1/4
Let h be 1/3 + 25/15. Suppose -2*p + h = -3*p. Let i(l) = l**2 - 5*l + 4. Let j be i(3). Are j and p non-equal?
False
Suppose 0 = 3*k - k. Let r = 11/16 - 97/48. Is k > r?
True
Let k(q) = -q**3 + 9*q**2 + 8*q - 4. Let y be k(10). Is y bigger than -24?
False
Let n = -43247744/273 + 158417. Let d = n + -2/91. Let j = -0.04 + -0.26. Which is greater: j or d?
d
Let n = 20 + -141/7. Suppose -c + 4*a + a = -19, 5*c - 2*a = 3. Is n smaller than c?
False
Let s be 2 + -5 - 16375/(-5236). Let t = 3/308 - s. Let i be 2/(-6) - 6/(-18). Which is bigger: t or i?
i
Let v = 1 - -3. Suppose v*k - 3*k = -3. Which is greater: k or -2?
-2
Let i(g) = 1 - 2 - 2*g + 4. Let u be i(4). Are -5 and u equal?
True
Suppose -b + g = b - 2, -5*b + 23 = 2*g. Suppose 0*i = 3*i - b. Let m = -61 - -365/6. Which is smaller: i or m?
m
Let f(y) = y**2 - 6*y + 5. Let j = 3 - -1. Let r be f(j). Is r <= -3?
True
Let h be 0 - (-8)/(-28) - (-18)/14. Is 7/10 at most as big as h?
True
Suppose 4*c - 12 = -4*s + 16, 4*s = -c + 13. Let g be s/(12/20 + -1). Which is bigger: g or -6?
g
Let h = -4.5 + 3.3. Is h less than -1?
True
Let x be (4 - -2) + -3 + -53. Let l be x/186 - (-10)/30. Does l = -1?
False
Suppose 4*b - 10 = 2*k, -3*k + 1 + 0 = 2*b. Let r = 1/3 + 0. Which is smaller: k or r?
k
Let p(y) = 8*y**3 + 2*y**2 - 2*y + 1. Let g be p(1). Which is smaller: 1 or g?
1
Let c be 180/(-54)*6/(-68). Is 1 != c?
True
Let q = 3 - 2. Let k = 25 + -18.84. Let p = 0.16 - k. Do q and p have different values?
True
Let c(h) = -h**3 - h**2 - h + 2. Let s be c(0). Which is greater: 0 or s?
s
Let y = -0.26 - -0.33. Which is smaller: y or 0.2?
y
Let o be (-11 + 7)*(0 + -1). Let k be o/(-10) + (-16)/(-20). Is k < -0.5?
False
Suppose 2 = -w - 5. Let t be (-4)/14 - 16/w. Let p = t + -1. Are p and 1/2 equal?
False
Let u(v) = 5*v - 11. Let s be u(3). Suppose x - 5*x + 20 = 0. Which is greater: x or s?
x
Let v(s) = s**2 - 8*s - 27. Let t be v(11). Suppose 4*g - 36 = 2*o + 2*o, 4*o = -2*g - 6. Is g not equal to t?
True
Let z = 69 - 70. Which is smaller: z or -5/6?
z
Let l = -26 + 27. Which is smaller: -1 or l?
-1
Let f = 173 - 572. Let h be 6/(-10) - f/(-35). Which is greater: h or -11?
-11
Let z = -26 - -54. Suppose -3*t = -z - 26. Let q be (4/(-12))/((-1)/t). Do 7 and q have different values?
True
Let b = -595 + 48196/81. Is 1 at most as big as b?
False
Let o be 15/(-35)*147/12. Are -6 and o unequal?
True
Let p be 22/10 - 2/10. Which is bigger: 11/5 or p?
11/5
Let m = -5 - -11. Let p = m + -10. Let u = 1.9 - 2. Is p bigger than u?
False
Let q = -122 + 117. Is q >= 5?
False
Suppose 0*v - 5*v = -25. Suppose 10 = 4*r - 2*r. Is r >= v?
True
Let g be (-80)/(-36) + 6/(-27). Suppose i + g = -0. Let z be 6/(-8)*(5 + -1). Is z > i?
False
Let r be 2*1 - (3 - 6). Let d = -4 + 1. Let o = d + r. Which is smaller: o or 1?
1
Let d = -33/19 + 35/19. Is d smaller than 0?
False
Let f = 0 - -0.03. Let t = f - -1.97. Let j = t + -1. Which is smaller: -1/2 or j?
-1/2
Let k(t) = -t + 3. Let a be k(-4). Let n = a - 6. Does 2 = n?
False
Suppose 10 - 70 = -5*k. Suppose -3*u - 17 = -4*p + 3*p, -p + 2*u + k = 0. Which is smaller: p or -3?
-3
Suppose -3*p - 8 = 31. Let a = 6 + p. Let w(u) = u**3 + 6*u**2 - 7*u - 1. Let y be w(a). Are y and 0 nonequal?
True
Let c(l) = l**3 - 10*l**2 + l - 11. Let b be 39/3 + -6 + 3. Let f be c(b). Let n = 466 + -10720/23. Is f at most n?
True
Let j = -1.91 + 0.11. Let o = 2 + j. Which is bigger: o or -2/5?
o
Let m = -8 + -1. Let w = m - -10. Is w != -12?
True
Suppose -21 = 6*q + 21. Is -9 at most as big as q?
True
Let w = -18 - -10. Let f be (3/15)/(w/(-5)). Which is bigger: f or 0?
f
Let m = 0 + -0.1. Let p = -84.07 + 83. Let u = -0.07 - p. Which is smaller: u or m?
m
Let f(w) = -w**2 + w + 6. Let o be f(-2). Let y be (0 + o)/(-1)*-1. Do y and 1 have different values?
True
Let n = 7 + -8. Is n smaller than -1/7?
True
Suppose 0 = 7*o + 264 - 5. Is -36 at least o?
True
Let i(x) = -x + 20. Let z be i(12). Let u(m) = -3*m - 7 + 0*m + 4*m. Let y be u(z). Are y and 2 non-equal?
True
Let b = -0.03 - -2.03. Let z = -0.1 - 0.03. Let j = z + 0.03. Is b greater than or equal to j?
True
Let z = 42 - 57. Is z < -17?
False
Let a be 1 + (2/4)/(-1)*1. Which is greater: a or -0.13?
a
Let g(q) = q**2 + 17*q - 35. Let o be g(-19). Which is greater: 8/3 or o?
o
Let x be ((-18)/15)/((-2)/5). Let n be -2 - (x - 4)*2. Is 0 not equal to n?
False
Let f = 1.3 - -0.7. Let r = -0.6 - 1.4. Let j = f + r. Is j at least as big as -3?
True
Let w(z) = -z + 8. Let m be w(6). Suppose 1 - 5 = -2*s. Is s smaller than m?
False
Let z = -2.97 + 3. Let a = z - 0.33. Let u = a - -0.26. Which is smaller: -0.1 or u?
-0.1
Let y be 789*(-2)/(-390) - (-4)/(-1). Which is greater: 1 or y?
1
Let j(k) = k + 1. Let x(c) = 3*c - 5. Let t(h) = 2*j(h) - x(h). Let p be t(6). Let n be -2*(-2)/4*p. Which is smaller: 2/13 or n?
2/13
Let q(b) = b**2 - 2*b - 4. Let u be q(4). Let l be 0 + (-6)/(12/u). Which is greater: -4 or l?
l
Let f be 0/((4/2)/2). Suppose 6*i + 11 = 3*i - 4*l, l + 7 = -5*i. Is i at most f?
True
Let p be 42/(6 + -3) - 2. Let q be (-82)/(-348) - 2/p. Which is smaller: q or 1?
q
Suppose d = 1 - 5. Let o be -4*(-4)/((-32)/6). Is o greater than or equal to d?
True
Let x be (-1)/2*28/(-182). Is x > 1?
False
Suppose -3*y + 3*g + 27 = 0, 7 = -y + 2*y - 3*g. Let v = y - 16. Which is greater: v or -7?
v
Let q(k) = -k - 5. Let f be q(-5). Suppose m + 4*c - 12 = 60, c - 1 = 0. Let w be (-2)/5 + m/70. Is w greater than or equal to f?
True
Let c = 1 + 1. Suppose -3*m - c*m = -10. Which is greater: m or 4?
4
Let p(y) = 8*y + 5 - 3*y - 1 + y**2. Let u be p(-3). Which is smaller: -4 or u?
-4
Let u = -9 - -4. Let r = u + 5. Is 2 less than or equal to r?
False
Let f be ((-2)/(-5))/(28/(-20)). Is -13 < f?
True
Let p = -38 - -21. Does -17 = p?
True
Let w be 3 + (-60)/16 + -2 + 3. Which is bigger: 0.08 or w?
w
Suppose 0 = -2*d + 4*p + 8, -d + 4*d = -5*p + 12. Suppose d*m = -0*m + 40. Suppose 0 = -w + 3*w - m. Which is smaller: 6 or w?
w
Let u = 8 + -8. Let t be ((-16)/(-10))/((-4)/424). Let j = t - -169. Which is smaller: u or j?
j
Let w = -0.6 + 0.6. Which is greater: -2 or w?
w
Suppose 4*r - 5 = 3. Let h = -5 + r. Which is smaller: -1 or h?
h
Suppose 2*j + 6 - 2 = 0. Let q(m) = m**3 + 11*m**2 + m + 16. Let r be q(-11). Suppose r*f + 4*a + 24 = 3*f, -3*a - 17 = f. Is f > j?
False
Suppose -w - 11 = 4*a, w + w = -4*a - 10. Suppose 2*r = 5*q - 2 - w, 3 = 3*r. Are -1 and q unequal?
True
Let j be 0/1 + -2 + 4. Let a be (-501)/18 - 1/(-3). Let m = a - -28. Is j <= m?
False
Suppose 0*v - 4*v = -12. Suppose -j + v*x = -2, -4*j - x = -3*j - 2. Let p = 24 + -20. Which is greater: j or p?
p
Let g be (-2)/(-1) + 1 + -4. Let b(z) = z**2 + 6*z + 5. Let v be b(-5). Let n = -1/3 + v. Does n = g?
False
Let x be -94*1/(-24)*-3. Let v = x + 12. Let d(b) = -b + 6. Let o be d(7). Which is greater: v or o?
v
Let p = -88 - -78. Let s(l) = l**2 - 10. Let r be s(0). Is p greater than r?
False
Let g = -61 + 57. Are g and -8 unequal?
True
Let p be 108/(-8)*4/(-3). Is 17 at least p?
False
Let d(t) = -t**2 + 7*t - 5. Let u be d(7). Which is greater: -1 or u?
-1
Suppose -2*f = 2*x - 4*x + 26, 0 = 4*f + 20. Does 7 = x?
False
Suppose 4*k = -v + 7, 3*k = -2*k - v + 10. Suppose k*j - 12 = -2*g, -g + j = -0*g + 4. Which is smaller: 1 or g?
g
Let f = -0.4 + 0.2. Let g = 6.4 - 6. Let x = g - 0.5. Which is smaller: x or f?
f
Let j be 1146/3129 + 4/(-14). Let w = -618/3427 - j. Let i = 41/69 + w. Do i and 0 have the same value?
False
Let x = -50 - -49.83. Is x <= -2/3?
False
Let h = -0.25 + -0.05. Are h and 3 non-equal?
True
Suppose 0 = -4*l + 7*l. Which is smaller: l or 6?
l
Suppose 2*k - 2 - 8 = 0. Suppose 0 = -d + k*d - 12. Suppose -7 - 5 = -d*a. Which is smaller: 5 or a?
a
Let j = -5 + -12. Which is smaller: -15 or j?
j
Let q(t) = t - 5. Let v be q(8). Let c be (v/(-12))/(5/4). Is 1 less than c?
False
Let j = -304 + 12468/41. Which is smaller: -1 or j?
-1
Let j(c) = -3*c - 1. Let s be j(1). Let d = -23 + 39. Suppose d = -x - 3*x. Is s at least as big as x