 2 - 3. Let s be (4 + -3)*1*-3. Let i be g - 6/s - 3. Which is bigger: -4/7 or i?
-4/7
Let o(u) = -5*u - 13. Let p(y) = 3*y + 9. Let z(j) = -5*o(j) - 8*p(j). Suppose 1 = -5*h + 26. Let b be z(h). Is b at most -3/2?
True
Suppose -4*r + 12 = -16. Which is bigger: r or 8?
8
Let n = 18825/8239 + 1/1177. Which is bigger: 2 or n?
n
Suppose 2*v + 129 = -5*g, -6*v + 5*v - 2*g - 65 = 0. Is -67 less than or equal to v?
True
Let r(p) = -p**3 - 9*p**2. Let v be r(-9). Suppose -5*h - 2 - 23 = v. Is h bigger than -6?
True
Suppose -9*c + 1 = -8. Is -4/15 >= c?
False
Let t be (-40)/(-60)*12/1. Let b be (21/6)/((-1)/(-2)). Which is bigger: b or t?
t
Suppose -4*n + 5 = n. Let l be (-147)/(-70) + ((-8)/2 - -2). Which is smaller: n or l?
l
Suppose 2*s - 20 = -5*j, 4*s = 7*s + 2*j - 8. Which is bigger: s or 3?
3
Let m be -2 + (2 + -3 - -6). Let t be (-28)/12 - 2/m. Which is smaller: 0 or t?
t
Suppose -5*c + 19 = -2*u, -u + 6 = 5*c - 7. Let s = -1 + -2. Is u smaller than s?
False
Let z = 3.8 - -20.2. Is z smaller than 0?
False
Let p = 2 - 14. Let g = 5 + p. Which is greater: -8 or g?
g
Suppose 8*d = 4*d. Which is greater: d or 2/17?
2/17
Let f = -3.3 - -1.3. Which is smaller: 2 or f?
f
Let g = -10.1 + 14.34. Let k = -4 + g. Which is smaller: -1 or k?
-1
Let a = -2 + 1. Suppose 3*t - w = 3*w - 76, 0 = -5*w + 5. Let f be (4/t)/(0 + -1). Which is bigger: a or f?
f
Let w = 989/208 - 81/16. Which is smaller: w or 1?
w
Let d = 2/313 + 1864/2191. Suppose 3*u - 9 - 12 = 0. Suppose -3 = -5*y + u. Is d bigger than y?
False
Let m(b) = -2*b**2 - b + 2. Suppose -4*l = a + 18, 0 = -4*a + l - 6 + 2. Let s be m(a). Is -1 < s?
False
Let m = 9 - -9. Suppose 3*t + m + 8 = -s, 4*s = -2*t - 4. Which is smaller: t or -11?
-11
Let p = 1.97 - -0.03. Let u = p + -1.8. Let r = u + -0.1. Which is smaller: 0 or r?
0
Let n be 2 - -1 - (-1536)/(-520). Let k = n + -11/13. Is -2 > k?
False
Let p be (-3)/(-18) + 214/12. Let a be (-2)/p*(-3 + -3). Does a = 0.1?
False
Let d(w) = -6*w**3 - w - 1. Let g be d(-1). Let o = -8 + g. Is -2 bigger than o?
False
Let b = 0 - 2. Let g be b + 4 + -1 - 0. Let h = -139/3 + 47. Is g at most h?
False
Let o be -12*(-2 + 3)*(-2)/(-3). Is o bigger than -36/5?
False
Let u(h) = h + 2. Let f be u(0). Suppose k = -t - 5, -t + 3*k = -f - 1. Which is greater: -2 or t?
-2
Suppose 5*u - u - 16 = -4*t, u - 1 = 0. Let c be -3 + (-3)/(-27) + t. Let n = -2 + 1. Is n at least c?
False
Let y be (-1 - -2094)*1/(-2). Let z = 1078 + y. Let d = z - 32. Do -2 and d have different values?
True
Suppose p + 5 - 4 = 0. Let s be (1/(-2))/(p/2). Let i be ((-4)/70)/((-12)/60). Is i < s?
True
Let u = -11/2 + 6. Suppose 3 = 5*p + w, -2*p + p = -2*w - 5. Is p at most u?
False
Let q be (-88)/(-14) + 2/(-7). Let v be 2/(-70) + q/10. Which is bigger: v or 1?
1
Let n(s) = 13. Let r(x) = -x - 1. Let v(k) = n(k) - r(k). Let b be v(0). Suppose 3*c + 5*t - 2*t + 6 = 0, 5*t + b = -c. Are c and 3 non-equal?
True
Suppose -5*o + 2*o + 9 = 0. Is o not equal to 11/6?
True
Suppose -19 = 2*y - 3*j, 2*j = -5*y + 3*j - 15. Does -2 = y?
True
Let g = -24 + 44. Which is bigger: g or 18?
g
Let j = -3 - 1. Let k = j + -1. Let l = k - -6. Which is greater: 0 or l?
l
Suppose 2*a + 9 = 1. Let z be 1/(1 - 3 - -3). Which is greater: z or a?
z
Let p = 78 + -238/3. Suppose 2*i = -2*i. Is p smaller than i?
True
Let c be (-44)/(-8) + (-2)/4. Suppose 4*g - 14 = -3*r + r, 26 = g + c*r. Let i = -142 - -1564/11. Are g and i equal?
False
Let l = -23 - -17. Let c be (0 - -1)*6/l. Is -2 less than or equal to c?
True
Let c = 56678 - 227869/4. Let k = -286 - c. Is k greater than or equal to 3?
True
Let o = 29/2 + -15. Suppose -4*y + 20 = -9*y - 4*b, 5*b = -5*y - 25. Let x be -1 - 0 - y/(-3). Which is smaller: o or x?
x
Let l(w) = 9 + 11 + 10*w**2 - 3*w**3 - 8*w + 2*w**3 - 28. Let i be l(9). Let o be -2 + 2 - (0 + 1). Is i at most as big as o?
False
Let a be 3 - (-33)/(-18) - 1. Is 0 > a?
False
Let r = -0.01 + -0.29. Let o = -0.7 + r. Is o > 0?
False
Let n(t) = t**3 + 4*t**2 + 3*t + 2. Let l be n(-4). Let f = 15 + l. Is 4 >= f?
False
Let v = -161 - -178. Which is smaller: 19 or v?
v
Let i = -163 - -164. Which is smaller: 3.6 or i?
i
Suppose 5*b + 9 = -n + 2*b, 2*b + 1 = n. Let m be (2 - (-2)/n)/(-18). Suppose i = -2*i - 4*i. Is m less than i?
True
Let p = 3 + -5. Let l be p/(-1 + (-2)/(-4)). Suppose -o + l*o = -3. Is o at most -1?
True
Let k(y) = y**3 - 7*y**2 + 8*y - 9. Let s be k(6). Suppose 9 = -2*u + s. Let l be 18/(-10) + (-1 - u). Is l bigger than -1?
True
Let g be 4/10 - (-77)/(-5). Suppose y - 3*d + 10 = 0, -2*d = -2*y - 9 - 19. Which is smaller: y or g?
y
Suppose -g + 0*x - x - 3 = 0, 5*g - 3 = 4*x. Which is smaller: g or 1/17?
g
Let s be 3/(-18) + (-2)/(-12). Is 4/55 < s?
False
Let i = -1.2 + 1.3. Which is bigger: 0.06 or i?
i
Let i be ((-12)/10)/((-4)/10). Let u = -33 + 38. Is u > i?
True
Suppose 0 = 3*y - 2 - 4. Suppose 5*b = 20, y*p - 3*p - b = -5. Is p equal to -1?
False
Suppose 0 = -4*f - 5*s + 26 + 55, -f + 20 = s. Let p be (6 - 4)*(-1)/f. Is p not equal to 0?
True
Let a(z) = -z - 10. Let x be a(-15). Suppose 0 = 2*m - 1 - 7, x*n + 5*m = 70. Is n not equal to 11?
True
Let q = 24/985 - 26306/28565. Let g = q - -95/203. Is 0 greater than or equal to g?
True
Let y be 1*(-3 + (-450)/(-155)). Which is smaller: 0 or y?
y
Let p = -17.02 - -17. Let s(f) = -f**2. Let h(l) = l**2 - 6*l - 1. Let y be h(6). Let x be s(y). Do x and p have the same value?
False
Let t be 54/30 + (-2)/(-10). Let r = t - 1. Which is smaller: r or 3?
r
Suppose n - 6 = 3*n + a, -5*n = -4*a + 28. Let h be (n/6)/((-6)/126). Is h equal to 14?
True
Let u(w) = -w + 9. Let x be u(10). Which is smaller: x or 0?
x
Let l = 4.06 + -0.06. Let t = l - 3.7. Let c = t - 0.3. Which is smaller: c or 1/4?
c
Suppose 3*d + 5*q + 7 = -0*d, -4*q - 11 = -3*d. Let w be (25/10)/(d/2). Suppose -w*c + c = 0. Which is greater: c or 2/15?
2/15
Suppose -3*k - z + 266 = 0, -z - 82 = -k - 0*z. Suppose -2*x + k = 3*v, -v + 2*v = -5. Let g be -1 - 3/((-171)/x). Which is smaller: g or -1?
-1
Let w be (-5)/(-4) - 1/4. Let i be ((-9)/15)/((-9)/12). Which is smaller: i or w?
i
Suppose -3*g = 4*m + 88 + 136, 98 = -2*m - 5*g. Are m and -59 equal?
True
Suppose 4*k - 2 = -5*j + 21, 0 = k + 5*j - 17. Suppose -2*g - 16 = 2*x, 5*g + 44 = -x - 0*x. Let l be (g/(-3))/(-3)*0. Is l <= k?
True
Let c be (-65)/7 + (-14)/(-49). Let x be (-13)/(-12) - c/(-12). Let s be 3*((-4)/42)/(-2). Does x = s?
False
Let w = -3.7 - -4. Let l = w + -0.5. Is l greater than -3?
True
Let g be 0/(-1) - 54/3. Let s be 4/g + 40/18. Is 2 less than or equal to s?
True
Let a = 24252303/275 + -88190. Let s = 2/25 + a. Which is bigger: s or 0?
s
Suppose 2*k + 3 = k. Suppose -2*j - 2*v = 6, 5*j - 4*v - 9 = -v. Let r = k - j. Does -2 = r?
False
Suppose -2*y - 5*s = 74, 0 = 2*s - 1 - 3. Is y less than -40?
True
Let b = -7 - 0. Let v = 10 + b. Is v bigger than 2?
True
Let x(n) = n**3 - n - 1. Let t be x(-1). Which is smaller: t or -4/5?
t
Let o(p) = -11*p - 17. Let q be o(-3). Is q at most as big as 16?
True
Suppose 0 = -0*y + y. Which is greater: y or -2?
y
Suppose 4*p - 3 = 1. Let i = p - -3. Is -1/2 bigger than i?
False
Let j = -0.3 + 0.48. Let n = j + -0.08. Which is smaller: -0.04 or n?
-0.04
Let m = -176.74 + 134.7. Let c = 40 + m. Let j = 0.04 + c. Which is smaller: -0.2 or j?
j
Suppose 0 = h + b + 2, 2 = 5*b - 3*b. Which is smaller: h or -4?
-4
Let f = 13.1 + -13. Let z = 13.22 + -0.22. Is f at most z?
True
Let x = -156.3 - -157. Which is smaller: 2/11 or x?
2/11
Let r = 1/275 + 541/2475. Is -1 at least as big as r?
False
Let w = 24 + -23.9. Which is bigger: 2.9 or w?
2.9
Let i(s) = -s**2 + 2 - 6 + 15*s - 17*s. Let a be i(-3). Which is bigger: 0.1 or a?
0.1
Let s = 0.76 + 0.24. Is s <= -4/7?
False
Let v = 4 - 3.9. Is 2/33 greater than or equal to v?
False
Let f be (-2)/6 + (-144)/(-27). Suppose 1 - f = -4*t. Which is bigger: 3/10 or t?
t
Let q be 1/(-4 + 5 + -2). Let a = -3/5 + 4/15. Which is smaller: a or q?
q
Let x = -0.017 - 33.983. Which is greater: x or -2?
-2
Suppose -3*b - 6 = y, 3*y + 0*b - 2*b - 15 = 0. Let j be (-1*y/51)/(-1). Is j > -1?
True
Suppose 4*j + 2*j = 12. Suppose 0 = -3*r + 6, -5*f + 5*r = -2*f - j. Which is greater: 7 or f?
7
Let b be ((-12)/4)/((-12)/(-176)). Does b = -45?
False
Suppose 0*n - 4*n = 60.