 Let d = 3 - n. Which is greater: r or d?
r
Let w(z) = 3*z**3 + 4*z**2 + 12*z + 28. Let l(y) = -y**3 + y**2 + y - 1. Let s(u) = 4*l(u) + w(u). Let i be s(10). Is i at most as big as -17?
False
Let o be 2 + -3 + (-12)/(-2). Suppose -o = h, 7*i + 4*h + 24 = 3*i. Let l = -667/40125 + 1/1605. Which is greater: l or i?
l
Let w(n) = n**2 + 8*n - 4. Let g be w(-8). Let s be (-1)/(-2)*(9 - 1). Suppose -d = 5*m + 8 + 7, -d = -s*m - 21. Is g greater than or equal to m?
True
Let i be (-16)/(-18) + -1 + 40994/1854. Is i greater than 0?
True
Suppose y - t + 19 - 6 = 0, -3*y + 5*t - 41 = 0. Let i be y*-4*3/(-36). Which is smaller: -5 or i?
-5
Let o = -7.03 + 7.5. Let u = o + -0.27. Does u = 1?
False
Let y = 15 + -12. Suppose -4*c + y*c = -3*w + 5, -3*w = -9. Which is bigger: c or 17/6?
c
Let d = 5/144 + -1633/38736. Which is greater: -1 or d?
d
Let n be (38/(-95))/(1/15). Which is smaller: -28/5 or n?
n
Let t = -0.06 + 0.04. Let d = -0.14 + 0.02. Let y = d - t. Is y less than or equal to -1/3?
False
Let s = 49 + -31. Suppose 0 = 4*j + 6 + s. Let z be 0/(3/((-9)/j)). Which is smaller: 3 or z?
z
Let v = -47.2 + 47. Let u = 0.2 - 1.2. Let o = u + -1. Which is smaller: v or o?
o
Let x = -1.8 - -1.83. Let g = x + -0.01. Is 0 at least g?
False
Let n = -18.2 - -2.2. Let q = -15 - n. Suppose -a = 3*a - 8, -3*k - 3*a - 12 = 0. Is k > q?
False
Let b = -28 + 45. Let a = b + -7. Is a at most as big as 0?
False
Let c = -6 - -10. Suppose i = 3*n + 25, 5*n + c*i + 26 = 3*n. Let f = -0.7 - -0.7. Which is smaller: n or f?
n
Let l(k) = k + 10. Suppose -8*q = -7*q. Let z be l(q). Let c = 6 - z. Does c = -2?
False
Let z = -25.7 + 25.8. Which is greater: z or 0.124?
0.124
Let v = 175.2 - 175.4. Which is smaller: -71 or v?
-71
Let a be ((-4)/5 + 5633/5160)/3. Is a <= -2?
False
Let p be 59/118*(-6)/(-233). Which is bigger: 0 or p?
p
Suppose 5*w + 116 = w. Let p = w - -30. Which is smaller: p or -2/39?
-2/39
Let s = -2354950/477 - -4937. Do 1 and s have the same value?
False
Suppose -q - 4 = -3*d - 1, 7 = -4*d + 5*q. Let a be 69/5 - d/(-10). Let v = a - 10. Which is greater: 3 or v?
v
Let n = -11 + 34. Let z = -27 + n. Let u = -3 - -2. Do u and z have the same value?
False
Let a = 27 + -27. Suppose -2*s - f = 1 + 6, -5*f + 25 = a. Is -6 equal to s?
True
Let b(k) = 122*k - 558. Let x be b(5). Is 53 greater than x?
True
Let w be 10/(-30)*8/(-28). Is 3 greater than or equal to w?
True
Let r(b) = b. Let n be r(-5). Let z = -13 - n. Let d be (26 - 21) + 1 + -13. Is z smaller than d?
True
Let k = 419/3321 - 14/123. Is k less than 0?
False
Let i be (-2)/(-4) + 15*28/24. Let y = i - 69. Which is smaller: y or 0?
y
Let v be -7 + 9 - 105/(-3). Which is smaller: 0 or v?
0
Let y = -1901 + 1868. Which is bigger: y or -42?
y
Suppose 0 = o + 2*p - 14, -7*o + 3*o = -5*p + 9. Suppose -2*m + 9 = 5*s, m + 1 = 18*s - 15*s. Let n be -6*(o - 3/s). Is -5 bigger than n?
True
Let p = -22/49 + 24/49. Let v be 0/4 - (-9)/(-3) - -2. Are p and v equal?
False
Suppose 2*t = -2*o + 8 - 20, 10 = 5*t. Let z = o - 15. Let w = 23 + z. Which is smaller: -2 or w?
-2
Let g = -132 - -132. Is g bigger than 9/35?
False
Suppose 4*q = -2*q + 12. Suppose q*a + 2*x = x + 6, -8 = -4*a - x. Which is smaller: a or -2/7?
-2/7
Suppose -5*g - 1498 = 4232. Let w = 2341/2 + g. Are w and 26 equal?
False
Suppose -10*p + 9*p = 3*a + 1, 0 = 2*a + 8. Is p smaller than 14?
True
Let g = -22653/26 + 871. Let q = g + 1/52. Let m = 1 + -2. Is q less than m?
False
Let d(i) = 11*i + 134. Let c be d(-11). Let v = -12 - -7. Let p = 8 - v. Is c greater than p?
False
Let d = -1084 - -1089. Let r be -3*1*4/30. Which is smaller: d or r?
r
Let i = 52 - 54. Let u be ((-2)/20)/(i + 49/24). Which is smaller: -1 or u?
u
Suppose 30 = v - 5*g, g - 10 = 3*g. Suppose v*s = -215 - 80. Is s smaller than -59?
False
Suppose 4 = a - 2*d, a = d - 4*d + 24. Suppose -91 = -13*s - 0. Suppose -a*j = -s*j. Is j <= -3/10?
False
Let n(v) = v + 7. Let i(t) = t**2 - 7*t + 9. Suppose x - 3*x = -6. Let q be i(x). Let j be n(q). Is 4 < j?
False
Suppose 0 = 19*w + 5*w - 648. Which is bigger: w or 5?
w
Let w = 0.17 - -0.03. Let p = 3175 + -28613/9. Let j = p - -44/9. Which is bigger: w or j?
j
Let w(h) = 8*h + 22. Let y be w(-3). Suppose 0*x - 2*x = 0. Suppose x = 8*i - 4*i + 4. Is y bigger than i?
False
Let t = 23/33434910 - 1886142061/523813590. Let g = t - -1/1269. Is -5 > g?
False
Let g = 372 + -391. Which is smaller: g or -98/5?
-98/5
Let b be ((-2)/((-8)/(-3)))/(36/1452). Is b bigger than -31?
True
Let l = -64/23 + 172/161. Let u be 7/3 - (-2)/3. Suppose -u*o + 2 = 8. Which is bigger: o or l?
l
Let q be -7 - -5 - (2 - 29)/3. Is q not equal to 0?
True
Let k(d) = -6*d**3 - 5*d**2 + 7*d - 5. Let f be k(1). Is -11 not equal to f?
True
Let o = -3.4 + 22.4. Let g = -14 - o. Let u = g - -32. Is 1.3 at most u?
False
Suppose 4*t + 20 = 0, 0 = -o - 2*t - 0 - 8. Suppose 4*h + d - 9 - 5 = 0, 5*h + o*d - 16 = 0. Is h bigger than 0?
True
Let s be (-6 - -4)*19/(-73074). Is -1 >= s?
False
Suppose -13 = a + 4*q, -3*q = 2*a - 0*q + 6. Let b = 585.2 - 585. Which is smaller: a or b?
b
Suppose 2*q = -0*q - 4. Let u(d) = d**3 + d**2 - 2*d - 1. Let f be u(q). Let y(l) = 2*l**3 - 2*l**2 - l. Let x be y(f). Which is greater: x or -2?
-2
Let g = 39 - 125. Does g = 0.1?
False
Suppose 6*q + q = -70. Let l be q/(-25) - (-8)/(-20). Let o = -8 - -5. Is o less than or equal to l?
True
Suppose 3*f = -3*p, -3*p - 5 = 4. Let u be (48/(-20))/(2/(-10)). Which is smaller: f or u?
f
Let t = 5.22 - 5.12. Is 9.88 less than t?
False
Suppose 0*w = 2*w. Suppose 3*j - 9 = 0, -4*v - j + 14 + 13 = 0. Let n be v/(-21) + (-150)/(-378). Which is smaller: w or n?
w
Let w be (-4)/14 - (-2 + 4180/2422). Does w = -1?
False
Let t = -14 + 6. Let g = -8 - t. Suppose 5*q - q = g. Is q != -2/21?
True
Let q be (18/4 + -5)/((-3)/(-2)). Is q at least -4?
True
Let k(f) be the second derivative of f**4/4 + 5*f**3/3 + f**2 + 4*f. Let l be k(-3). Which is smaller: l or 5/38?
l
Let p(g) = g**3 + 24*g**2 + 8*g - 15. Let y be p(-24). Is -208 <= y?
True
Let k = -2/24171 + -18365/70168413. Do 1 and k have different values?
True
Let r(x) = x**2 + 5*x + 3. Let v be r(-8). Suppose v = w - 21. Which is smaller: 47 or w?
47
Let f = -467859/377 + 1241. Is f at most as big as -1?
False
Let t = -382 + 413. Is t at most 28?
False
Suppose -3*d - 65 = 5*u, 15*d - 2*u = 13*d - 22. Let c = 4 - 18. Which is bigger: c or d?
c
Suppose -4*c = 3*a - 239, 4*c + a = -c + 285. Let o be c/(-42) - (-26)/24. Let j(l) = -l**2 + l + 1. Let u be j(-1). Which is bigger: o or u?
o
Suppose 0 = l - 36 + 34. Suppose 0 = -3*s + 3*n + n - 38, -3*s + l*n = 46. Which is greater: s or -19?
s
Let k(d) = d**3 - 15*d**2 - 13*d + 8. Let w be k(16). Let b be (3*2/(-21))/((-64)/w). Is -2/5 != b?
True
Let q = -32/288809 - -25351078866/22238293. Let l = q + -1140. Which is smaller: l or -1?
-1
Let w(l) = 2*l - 5. Let z be w(4). Let d(c) = 12*c - 12. Let v be d(6). Suppose 2*o - 4*o - 3*m = -41, z*o - v = -4*m. Is o less than 0?
False
Let d = 132/137 + -929/822. Suppose -5*n + 5*o = 9 + 11, 4*o - 15 = 5*n. Is n less than d?
False
Let k be 0 - (-1)/(-2)*3. Suppose -i - 71 = 4*c + 5, 3*c = -i - 72. Let h be 10/(-8) + (-15)/i. Which is greater: h or k?
h
Let t = -6.97 - -6.77. Which is greater: -75 or t?
t
Suppose 7*s - 3*s - 3*f = -120, 30 = -s - 3*f. Let w be -1*(-9)/((-27)/s). Suppose 3*r + 15 = -3*n, -5*r + n = -n - w. Which is bigger: 1/19 or r?
1/19
Suppose 2*o - 1 = 4*o + n, 0 = o + n + 3. Let b be 2/(-4)*o + 160/16. Which is greater: b or -1/6?
b
Let z = -3 + -18.1. Let n = 21 + z. Is n at least as big as 1?
False
Let c = 1044 - 993. Let t = 0.2 - 0.3. Is c at most as big as t?
False
Suppose -d - 95 = 4*d. Let f = 19 + d. Which is smaller: f or -2/31?
-2/31
Let b = -6186 + 1701152/275. Is b at most 0?
False
Let q = -6 - -10. Let v be (5/(-3))/(1 + 92/(-72)). Suppose -3*d = -q*d - v. Are -6 and d equal?
True
Let g = 262/3975 - 4/75. Which is smaller: 0 or g?
0
Let m be (0 + (-1796)/(-4))*(-16)/(-16). Is m > 448?
True
Let q = -22 + 156/7. Let a = 2 - 2. Suppose -3*i - 3*m - 3 = 0, 3*i - 2*m = -3 - a. Is i at least q?
False
Let f(v) = v**2 + 11*v + 13. Let o be f(-6). Let r = -155/9 - o. Which is smaller: r or 0.1?
r
Suppose 3*v - 12 + 15 = 0. Let s = v + 5/2. Is -3 less than s?
Tr