 = -2*p - 7, -l*p + f = 0. Which is smaller: -2 or p?
-2
Let b(c) = c**3 - 2*c**2 - 3*c + 2. Let y be b(3). Suppose -y*k + 4*r + 1050 = -0*r, 5*k - 2597 = -4*r. Let v = 10943/21 - k. Which is bigger: 1 or v?
1
Let g(o) = o + 16. Let n be g(-9). Let c = n - 12. Let l = 15 + -19. Is l bigger than c?
True
Let t = 1282 + -34618/27. Which is smaller: -2 or t?
-2
Let w = -2 + 12. Suppose -3*c + 4*z - 5 = 0, -4*z - z + w = 0. Let m = 12/11 + -86/99. Which is smaller: m or c?
m
Let w(o) = -2*o + 13. Let n be w(6). Let t = -31 - -92/3. Is t < n?
True
Let y = -92 - -110. Which is bigger: y or -0.1?
y
Let l = 21 - 19.4. Let y = 0.4 + l. Let k = -9 + 9. Which is bigger: k or y?
y
Let q = 5 + -8. Let y be q*(2 + (-3)/2). Let m = -2 - -3. Are y and m non-equal?
True
Let z(o) = 2*o + 3. Let a be 1*(-3 - -3 - 3). Let u be z(a). Are -3 and u unequal?
False
Let q = 2/31 - -56/93. Let i = 12 - -9. Let m be (-1)/(-3) - 7/i. Which is smaller: m or q?
m
Let g = -11.1 + 10. Let n = g - -1. Which is greater: n or 0.4?
0.4
Let b = 22 - 52. Let q be (-4)/6 + (-5)/b. Which is greater: q or 2/7?
2/7
Let d = -0.1 + 0. Let o = 181/260 + -17/20. Let a = o - -36/65. Is a less than d?
False
Let s be (-2)/4*(11 - 17). Suppose 38 = -s*j - 2*c, 0*j = 4*j - c + 47. Which is bigger: -13 or j?
j
Let t(o) = 4*o - 9. Let d(c) = -5*c + 10. Let w(q) = 3*d(q) + 4*t(q). Let y be w(6). Suppose 2*j - j - 6 = y. Is 7 at least as big as j?
True
Let i be -2*(-5)/4*11/55. Let y = 7 - -1. Which is smaller: i or y?
i
Let s be (-3)/(-9)*3*-7. Which is smaller: s or -4?
s
Let o be (-4)/18 + (-19)/36. Is o less than or equal to 0?
True
Let b = -2/4329 - -4490/1443. Which is smaller: 3 or b?
3
Let y = 17/33 - 41/33. Is y >= 2/3?
False
Suppose 5*s = 4*m - 0*m + 2, 0 = -3*m - s + 8. Suppose 12 = -2*v - m*v. Which is smaller: -6 or v?
-6
Suppose 0*g - 4*g = 32. Let a = g - -4. Are 0 and a equal?
False
Let a be (-28)/(-3)*(-3)/(-6). Suppose 2*d = 3*v - 7*v + 22, -2*d = -2*v + 2. Is v less than or equal to a?
True
Let u = -150 + 256. Let q = u + -182. Let p = -377/5 - q. Is p at least 2?
False
Let u be 16/(-6) + 5/(-15). Let g(h) = -4*h + 2. Let r be g(-2). Let y be 1 - u/(-12)*r. Is -1 greater than y?
True
Let j be 1/(4/((-4)/1)). Which is smaller: j or -0.1?
j
Suppose l - 42 = -2*l. Let n = 149 + -144. Suppose 5*g = -2*o, g = -n*o + l + 9. Is -8/7 greater than g?
True
Let j be ((-16)/3)/((-8)/300). Suppose 2*g - 11 = -3, 3*u = 4*g + j. Let r be 1/3*u/20. Which is smaller: r or 2?
r
Let v = 3 - 1. Let k = 5 - v. Do k and 1 have the same value?
False
Let o = 3 + -4. Suppose j + 4*j = 0. Is j bigger than o?
True
Let g be (-9)/2 + 2/4. Let a = 3 + g. Let h = 0 + a. Which is greater: h or -3/5?
-3/5
Let p = -7/20 + 3/4. Let c = 7.2 + -7. Is p greater than c?
True
Let l = -3 - -3. Suppose 0*u + 5*w - 2 = 3*u, 3*u + 5*w - 8 = 0. Which is smaller: l or u?
l
Let f be 33/(-15) - (-7)/35. Do -8/3 and f have the same value?
False
Let i be ((4 + -6)*(-6)/(-2))/(-1). Is i != 36/5?
True
Let u = 0 - 4. Let x = -139 - -133. Which is smaller: x or u?
x
Suppose -5*o - 3*b = -5*b + 184, 4*o + 140 = 4*b. Is -75/2 less than or equal to o?
False
Suppose -2*t + t = -4. Suppose 2 - t = l. Is -2 greater than l?
False
Let z = -0.24 - -0.2. Let r = 22 - 22.26. Let c = r + z. Which is smaller: c or 0.1?
c
Let m be 1*((-376)/(-2))/(-4). Let s be m/(-30)*-2 + 3. Is -1 smaller than s?
True
Suppose 6*u = 3*u. Let c = -5 + -1. Let a be (c/4)/((-45)/12). Is u at least as big as a?
False
Suppose 2*g = 3*n + 39, -2*n = -g + 4*g - 52. Is 18 != g?
False
Let r(n) = 8 + 2 + 0*n + 11*n**2 + 11*n + n**3. Let v be r(-10). Is v >= 2/3?
False
Let n = -0.4 + -1.6. Let a = n - 0. Let u = -2 - a. Is u less than or equal to 5?
True
Let p = 86 + -131. Is p at most as big as -45?
True
Let k be (-2)/(-4)*30 - 1. Let y(v) = 4*v**2 + v. Let n be y(-2). Is k greater than or equal to n?
True
Let q = 41 + -20. Which is smaller: q or 23?
q
Suppose 4*u - 3*n + 9 = 0, 6 - 3 = n. Which is greater: -12 or u?
u
Let m(p) = p**3 - 3*p**2 - p + 4. Let w be m(2). Does w = -1?
False
Let v be 0 - -2 - (-1 - 0). Suppose 0 = 11*b + 3*b - 42. Is v bigger than b?
False
Let z(v) = 6*v - 40. Let m be z(6). Is -14 at most m?
True
Let k = 89 - 88. Does k = -6/49?
False
Let a = -34 + 49. Suppose -3*n + 8 = -5*z - a, -3*n = 4*z + 13. Which is smaller: -3 or z?
z
Suppose -5*t + 12 = 2*o - 4*t, 4*o - 3*t = 4. Let x(r) = -r**3 + 3*r**2 + 5*r - 5. Let n be x(o). Which is greater: n or 1/10?
1/10
Let q = -136 + 1226/9. Suppose 4*y - 2 = -2*s, 0 = y - s - 2*s + 3. Which is smaller: q or y?
y
Let r be (-20)/(-15) - (-2)/3. Which is smaller: 0 or r?
0
Let j be 99 + (0 - (-2 + 3)). Suppose -j = -5*x + 4*w - 33, 0 = -x + 3*w + 24. Let s be x/56 - (-4)/(-14). Do s and 1 have different values?
True
Let h = 117 + -116.53. Let q = -0.07 + h. Let a = q + -0.3. Does 0.5 = a?
False
Let u(c) = 2*c + 31. Let h(a) = a + 16. Let n(y) = -11*h(y) + 6*u(y). Let g be n(-11). Which is greater: g or -2/7?
-2/7
Let m = 0.7 - -0.3. Let x be -6*2/(-4)*1. Let p be (2 + -1)/(x - 4). Is m greater than p?
True
Suppose -2*t = -0 - 20. Which is smaller: t or 9?
9
Let l = -37.8 - -38. Is 13 greater than l?
True
Suppose 6 = 2*b - 2. Let a be (-21)/(-2) - b/8. Which is bigger: a or 0.1?
a
Suppose -5*l - 50 = 3*m, 4*l - 4*m - 6 = 6*l. Which is bigger: -17 or l?
l
Let h = 4 + 1. Suppose -h*j + 80 - 28 = 2*u, -4*j = 3*u - 36. Suppose 5*v + 20 = -3*r - 0*r, 3*v = r - j. Which is smaller: r or -1?
-1
Suppose -3*z + 28 = 4*w, 0 = 3*z - 0*z + 2*w - 26. Suppose -3*h = h + z. Let p be ((-2)/h)/(3/(-15)). Is -5 greater than p?
False
Suppose 13*w + 48 = 7*w. Are -13/2 and w non-equal?
True
Suppose -29 = -l - 11. Let i = l - 13. Which is greater: 6 or i?
6
Let b(x) = -2*x + 1. Let z be b(-8). Suppose 2*q = 4*i + 23 + z, -4*q = i + 28. Which is bigger: -11 or i?
-11
Let d = -71 - 4. Let u be (8/(-5))/(6/d). Let x be ((-1)/(-5))/(6/u). Which is smaller: x or 2?
x
Let c be 3*(24857/(-156))/(-7). Let k = 275/4 - c. Which is greater: 0 or k?
k
Let z(y) = -y - 4. Let j be z(0). Let h = 6 + j. Let k(i) = i - 2. Let g be k(3). Are h and g non-equal?
True
Suppose -3*s - 60 = -5*z - 0*z, -24 = -2*z + 2*s. Which is smaller: 11 or z?
11
Let o(l) = l**3 - 2*l**2. Let x be o(2). Let t(v) = v**3 + v**2 + v + 3. Let r be t(x). Suppose -r*q = -0*q. Is -3/4 less than or equal to q?
True
Let w = -8 + 6. Let y = w - -7. Suppose -4*t = t - y. Do 1 and t have different values?
False
Suppose -n + 2*w + 7 = 2, 0 = -2*w - 6. Is 3/32 at least as big as n?
True
Suppose 1 = -w, x - 5*w - 6 = 2*x. Let a = -13 - -12.1. Let v = a + -0.1. Is x < v?
False
Let v be (-910)/39 + 2/(-3). Are v and -24 equal?
True
Let j be (2 + -3)/(159/(-54) - -2). Is j bigger than 0?
True
Let r = 1180/11 - 107. Suppose 0 = -s + 4*s. Is r less than s?
False
Let w(i) = -i**3 - 2*i**2 - 3*i - 2. Let l = -4 - -2. Let j be w(l). Are j and 3 non-equal?
True
Let n = 2.2 - 2.49. Let k = -0.01 + n. Let p = 0.1 + k. Is p bigger than -0.2?
False
Let q(m) = -4*m + 1. Let g be q(-1). Let y be 1*14/4*-2. Let p = 11 + y. Which is smaller: p or g?
p
Let a be 943/315 + (7 - 10). Is a at most 0?
True
Let n = 4.5 - -3.1. Let j = n + -8. Let q = 0.3 + j. Is -2/9 at least q?
False
Suppose 0 = -z - 0*z. Let f = 29 + -85/3. Which is bigger: z or f?
f
Let d(x) = -x + 6. Let q(j) = j. Let b(p) = d(p) + 2*q(p). Let g(c) = -c + 1. Let f(a) = -b(a) - 2*g(a). Let n be f(8). Which is bigger: 1 or n?
1
Let k = -37/150 + 2/25. Which is smaller: k or 0?
k
Suppose 2*v - 2 + 4 = 0. Is 1/7 <= v?
False
Let j = 0 - 1. Let i = 71 - 69.9. Let h = i + j. Which is greater: h or 7?
7
Suppose 14*u - 95 = 9*u. Which is greater: u or 17?
u
Let t be -3 - (32/6)/(-2). Is t at least -4/3?
True
Let v = 64/55 + -15/11. Suppose -n + 3 = -4*s + 6*s, s + 4 = 5*n. Is s at least as big as v?
True
Suppose 39 = -5*d + 34. Let h be (-22)/(-4) + 1/(-2). Suppose -2*u - 3*g = -0*g + 5, -u = 4*g + h. Is d greater than u?
False
Let b(k) = -k + 10. Suppose v = 7 + 2. Let d be b(v). Which is smaller: d or 2?
d
Let s = -2/567 - 4526/2835. Do -2 and s have the same value?
False
Let w(n) = n**3 - 3*n**2 - 5*n + 2. Suppose 5*u - 4*g - 36 = 0, -u - 5*g - 12 = -g. Let x be w(u). Let p be (3/6)/((-1)/x). Which is bigger: p or -2?
p
Let r = 0 - 14. L