15/2 + -59. Let a be 14/10 - (-21)/35. Suppose -a*p - 5 = 3*p. Which is greater: p or w?
p
Let v = -49 + 47. Is v smaller than -3?
False
Let n = -9793/36 + 272. Is n >= 0?
False
Let y = 127 - 123. Is 19 < y?
False
Let r = 27 + -28.1. Let d = 1.03 + r. Which is smaller: 1/5 or d?
d
Suppose -8 + 2 = -3*d. Which is bigger: d or -3?
d
Suppose 0 = -3*i + 2 - 5. Let w = 3 + i. Suppose -15 = -7*a + w*a. Are 3 and a unequal?
False
Suppose 18 = s + 4*h, -2*s - 3*h + 10 = -1. Does s = -2?
True
Let j = 575/3 - 192. Is j at most -1?
False
Let b be 2*3/(-12)*0. Suppose -2*g + b*g = -2. Which is smaller: 1/3 or g?
1/3
Suppose 0 = h - 4*h - 3*o + 6, -6 = -3*h + o. Let b be (-12)/(-18)*(-12)/(-8). Which is bigger: h or b?
h
Let w = -4.151 + 0.051. Let j = 4 + w. Does j = 1/2?
False
Let l = 3 - 9. Let n = -2.1 + 2. Is n > l?
True
Let u(d) = d**3 - d**2 + d. Let o be u(1). Let n be 46/8*-1*2. Let s = -10 - n. Which is smaller: o or s?
o
Let s be (-116)/(-240)*-2 - -1. Are s and -1 equal?
False
Suppose -f - w = -8, -6 + 26 = 4*w. Let g = 5 - f. Is 0 less than or equal to g?
True
Let b be 1 + -1 + 1 + -3. Which is greater: -3 or b?
b
Let v(x) = x**2 - 6*x + 6. Let y be v(6). Let s(d) = -d**2 + 5*d + 3. Let z be s(y). Are -8/3 and z non-equal?
True
Let i be (2 - 6)*2/4. Let a(j) = -10*j**3 - j**2 + 1. Let v be a(-1). Suppose 0 = -4*y - y - v. Is i smaller than y?
False
Let c be ((-48)/(-30))/((-2)/(-10)). Suppose -c = 4*i + 8. Is -9/2 smaller than i?
True
Suppose 4*u - 102 = -2*a, 5*a + 0*a = -4*u + 105. Let v = -51/2 + u. Which is bigger: v or -4/5?
v
Let q(s) = s**3 + 10*s**2 + s + 12. Let b be q(-10). Suppose -2 - 2 = -2*x. Do x and b have the same value?
True
Let v(y) = y**3 + 7*y**2 - 2*y + 6. Let o be v(-7). Suppose -3*n - o = 2*n. Which is smaller: -6 or n?
-6
Let q(h) = -h**2 + 4*h + 1. Let p be q(3). Let u be -5 - -5 - p/(-18). Let l = 3 + -4. Which is greater: l or u?
u
Let n = 232 + -1403/6. Which is smaller: -0.1 or n?
n
Let l = -9 + 13. Suppose 3*s - l = 8. Is s less than or equal to 2?
False
Let s(w) = -w**2 - 9*w - 20. Let r be s(-9). Let p = r + 26. Which is smaller: 13/2 or p?
p
Suppose -o + b + 1 = 0, o - 5*b + 0 = 1. Suppose -6 = -4*z + 2. Suppose -5*c = -u - 3 + 4, 3*c + z*u - 2 = 0. Is o >= c?
True
Suppose -3*p - p = 0. Suppose p = -o - 3 + 5. Suppose -o = -g - g. Is g at least 0?
True
Let u = 170 - 339/2. Let d = 0 + 1. Do d and u have the same value?
False
Suppose 59*p = 56*p - 18. Is -7 bigger than p?
False
Let t = -4 + 0. Let p be t/(-5)*12/(-24). Is p >= -0.5?
True
Let n = -1 - -8. Suppose 0 = 5*z + 2 - n. Is 1 at most z?
True
Let c be ((-72)/10)/((-16)/(-200)). Let r = 173/2 + c. Which is greater: -5 or r?
r
Let m be -3 + (32/18 - -1). Let i(t) = -t**2 + 5*t + 6. Let y(j) = j**2 + j. Let w(f) = i(f) + 2*y(f). Let n be w(-6). Which is bigger: m or n?
n
Let d = 60 - 63. Is -0.2 at least d?
True
Suppose 9 = 3*u, -2*u - 3*u + 39 = -4*a. Suppose 0 = k + 3*k + 28. Which is smaller: a or k?
k
Let k = 2 - 2. Let u be -2 - (-1 + (4 - 3)). Let d be 5 + u/(-4)*-6. Which is smaller: k or d?
k
Let b = 277 - 1931/7. Which is smaller: 2 or b?
b
Let f = -7.2 - -0.2. Let h = 6.99 + f. Let j = h - -0.01. Which is bigger: -3 or j?
j
Let t(b) = b**3 + 3*b**2 - b - 2. Let x(f) = -f + 3. Let v be x(6). Let a be t(v). Which is smaller: -2/17 or a?
-2/17
Let v = -8/33 - 149/66. Let t = 5 + -4. Let r be (2/4)/(t/(-8)). Which is smaller: v or r?
r
Let z = 41/2 + -20. Is z greater than 9?
False
Suppose 4*r + 8 = 2*r. Do -2 and r have different values?
True
Let s = 22 + -32. Is -1/2 greater than or equal to s?
True
Suppose 42 = -5*q - 3. Let h = q + 6. Is h at least as big as -2?
False
Let i(c) = -18*c + 4 + 19*c - 1. Let d be i(-7). Is -5 less than d?
True
Let t = -1416193/91 + 15563. Let c = t + -2/13. Let y = 0.13 - 0.03. Which is smaller: c or y?
y
Let q = -143.03 - -142. Let k = 0.03 + q. Is -4 at least as big as k?
False
Let b be (-6)/28 - (-1)/2. Let f = -286.93 + 285. Let k = f + -0.07. Is k at most as big as b?
True
Let v be ((-4)/10)/((-1)/5). Let i = -88 - -87. Is v at least i?
True
Suppose -5*j = -j. Suppose j = -3*r + 10 - 1. Is r < 3?
False
Let b be ((-54)/72)/((-3)/4). Let c be (-121)/42 - (-2)/(-7). Let i = c + 7/2. Which is smaller: b or i?
i
Let p be (-2)/((-30)/(-7)) + (-6)/(-10). Suppose k = 3*k. Are k and p equal?
False
Suppose 26 = g + 15. Which is greater: 2 or g?
g
Suppose -5*t + 0*t + 5 = 0. Let k be (-13)/11 + t - 0. Which is smaller: k or 0?
k
Let x = 13.6 + -13. Which is greater: 3 or x?
3
Let k = 600775751263/7271 + -82626289. Let m = 2/661 + k. Which is smaller: m or 1?
m
Let t be ((-4)/(-10))/(1/(-5)). Suppose -9*g = -7*g + 6. Are t and g non-equal?
True
Suppose 3*d + 0*d + 3*v - 3 = 0, -4*d = 5*v - 3. Suppose -d*f + f = 0. Suppose 4*z + 2*l = 4, 5*z - 14 = 2*l - 0. Is z smaller than f?
False
Let a be -4*(-3 - 2/6*-10). Let o be (3 + 0)/(6/(-4)). Is a at least o?
True
Let t be (0 - 0) + (8 - 4). Suppose 3*n - 6 = 0, -2*r - t = -r - 4*n. Let a be r + (-6)/3 + -7. Is -4 != a?
True
Let v(d) = 3*d + 6. Let q be v(5). Suppose -10 = -3*u + 2. Suppose -q = g - u*g. Which is smaller: 8 or g?
g
Let l(m) = m**2 - m - 16. Let j be l(0). Let p be -2*(-4)/(j/6). Let a be 2*p/(-9)*-6. Which is smaller: a or -6?
-6
Let r(n) = -n**2 + 6*n + 2. Let w be r(6). Let j be 1/(-7*2) - -2. Let m = j + 4/7. Are m and w non-equal?
True
Let t be 2/(-8)*(-2)/2. Suppose 5*g - 21 = -2*g. Which is bigger: t or g?
g
Let j = 247 + -2221/9. Let s(t) = -t**3 - t**2 + t + 1. Let q be s(-2). Suppose -q*r = 5*x + 4, -4*r - 10 = -4*x - 2*r. Is x at most as big as j?
False
Suppose -3*j - 2*j - 20 = 4*q, -5*j - 25 = 5*q. Let z be (-2)/(1*-2)*2. Let c = z + j. Which is smaller: c or -0.1?
-0.1
Suppose y + 1 = -2. Which is bigger: -1 or y?
-1
Suppose -6 = 3*b, -4*a - 5*b = -3*b + 4. Suppose 4*w - 20 = a, -m - w - w = -9. Which is smaller: -2/17 or m?
m
Let h(l) = -4*l**3 - 2 - 4*l**3 + 7*l**3 + l**2. Let a be h(2). Is a > -6?
False
Let f = 3.2 + -3. Is f > -18?
True
Let z(g) = g**3 + 7*g**2 + 6*g + 1. Let k be z(-6). Let l = 1201/1652 - 3/236. Let p = l - 13/28. Is k != p?
True
Let f = -18/11 - -148/77. Is 45 less than or equal to f?
False
Let i = 62975 + -2645921/42. Let g = i - -156/7. Is g != -1?
True
Let s = 17422/285 - -574/57. Let b = 72 - s. Is -1 not equal to b?
True
Let d = -0.264 + 0.034. Let c = 0.03 + d. Which is smaller: c or -1?
-1
Suppose -3*q = -2*q - 60. Suppose 5*t = t - q. Let i be ((-9)/(-30))/((-18)/t). Which is smaller: i or 1?
i
Let n(h) be the first derivative of h**2 + h - 3. Let f = 2 + -1. Let u be n(f). Is 0.2 <= u?
True
Let x = 3.1 + -3. Let a = 23 - 17. Is x at least as big as a?
False
Let i be 4 + 0 - (-1 - -10). Which is smaller: i or -6?
-6
Suppose 4*a + 3 + 25 = 0. Do 4/3 and a have the same value?
False
Let c be (1 - 0)/((-4)/(-8)). Is -7 at most c?
True
Let x be (-114)/18 - (-1)/3. Do x and 2/7 have the same value?
False
Suppose 8 = 4*p - 20. Which is greater: 8 or p?
8
Let g(a) = 2*a**3 + 17*a**2 - 5*a + 22. Let n be g(-9). Which is smaller: -15 or n?
-15
Let l = 2371/270 + -44/5. Is l at least as big as 1?
False
Let t = 7 + -7.3. Let y = -0.2 - t. Let b = -6 - -5.8. Which is greater: y or b?
y
Let m = 18/13 - 80/39. Do -0.06 and m have different values?
True
Let o be ((-12)/(-8))/((-3)/(-4)). Suppose 0 = -5*b - 3*c, -c = o*b + 2*c. Which is greater: -1 or b?
b
Let z = -0.93 - -0.8. Let n = -0.13 - z. Is n < -1?
False
Let i = -13 + 9. Let m be (-2)/8*3*i. Suppose -m*a - 7 = -4. Is a greater than or equal to -0.1?
False
Let v = -375/496 + 9/16. Is 1 greater than or equal to v?
True
Let j = -7 - -6. Let x be j/2*(-14 - -2). Let g be x/(-9) + 2/(-6). Which is smaller: -1/9 or g?
g
Let i(u) = 4*u + 1. Suppose 0*y = 4*y - 8. Let w be i(y). Which is smaller: 10 or w?
w
Let o = 0.2 - 3.2. Let l = 0 - 0.2. Is o >= l?
False
Let y(w) = w - 8. Let m be y(8). Which is smaller: m or 4/31?
m
Let h = -97/4 - -24. Are 0 and h equal?
False
Let x be -8 + 8 - (-1)/5. Let y(v) = -v**3 + v**2 - v + 2. Let d be y(0). Let m = 2 - d. Which is smaller: m or x?
m
Let v = 82 - 81. Which is smaller: v or 1/4?
1/4
Let g = -27 + 461/17. Let b = -4 + 4. Is g >= b?
True
Let f = -35447/759 + 9/253. Let g = -47 - f. Do 2/9 and g have the same value?
False
Let v = -0.4 