0 or d?
0
Suppose 16303 = 17*j + 2924. Is 786 < j?
True
Let f = 11 + 11. Suppose 3*v = v + f. Let x = -17 + v. Is x at least -7?
True
Let x be 4 - 20/((-12)/(-3)). Let t be (10/25)/(x/10). Is 1 equal to t?
False
Let c be (-224)/98*(-7)/2. Suppose -c*g + 27 = 3. Is g >= 9/5?
True
Suppose 6*x = 3*x + 6. Suppose -g + 2*k + 9 - 1 = 0, -k - 5 = -g. Suppose g*j = -0*j + 6. Is j > x?
True
Suppose 0 = -f + u + 11, 4*u = -2*f - 52 + 44. Are f and -2 non-equal?
True
Let d(m) = m**3 - m**2 + m - 5. Suppose -4*k + a = -5, 2*k + 0*a = a + 5. Let g be d(k). Let n be (13/39)/((-2)/12). Which is bigger: n or g?
n
Let u = -329575/5931 + 25/1977. Which is bigger: -56 or u?
u
Let j = -23 - -17. Let d be j/9 + 36/(-27). Let i = -0.08 - -4.08. Which is greater: d or i?
i
Let k = -29 + 36. Suppose 2*f + 2*u = k*u + 34, 3*u - 23 = -5*f. Which is smaller: f or 5?
5
Suppose -7 = 3*j + 2. Suppose 3*a - 3 = -5*m + 2, 5 = 5*m - 4*a. Suppose -d + m = -0*d. Are j and d equal?
False
Let s = -214 + 1501/7. Which is smaller: s or 13?
s
Let f(j) = 5*j + 27. Let m be f(-6). Let p = -24 + -6. Let o be 62/p + (-2)/(-5). Does m = o?
False
Let t = -4629/89 + 52. Are t and 0.3 unequal?
True
Let u = 37 - 34. Suppose -u*o + 0*n = 3*n + 159, -16 = 4*n. Which is greater: -48 or o?
-48
Let r(v) = v**2 + 4*v. Let n(d) = d**2 - 9*d - 4. Let y be n(9). Let g be r(y). Suppose 4*p + 4 = -g*p. Which is bigger: -3/23 or p?
-3/23
Let p(w) = 10*w**3 - w - 2. Let n be p(-1). Let l(q) = q**2 + 10*q - 14. Let g be l(n). Let o(s) = s**2 - 2. Let k be o(0). Are k and g non-equal?
True
Suppose 30*c - 35 = -5. Which is bigger: 1/3312 or c?
c
Let b be (-57)/38 + (1/(-2))/1. Let n be (-4)/(-8)*(0/b)/(-2). Which is smaller: -10 or n?
-10
Suppose -b = -3*p + 154, 5*p = -6*b + 3*b + 252. Let y be -1 - (p/(-13) - -3). Let i = -159 - -158. Which is greater: i or y?
y
Let d be 6542/(-13068) - (-8)/16. Which is smaller: 1 or d?
d
Suppose 3*a = -2*a. Let h = a + 4. Suppose h*d - 8*d - 32 = 0. Is d >= -1?
False
Let n = 33.54 - 37. Let i = 3.8 + n. Which is smaller: 0.1 or i?
0.1
Let p be 0*(-1 - (-1 + 1)). Let q be 0/(p + -1) - 0. Suppose q + 1 = h. Which is smaller: h or -1/4?
-1/4
Suppose -1725 = -20*f - 465. Which is greater: 62 or f?
f
Let q be (2/24)/1*2. Suppose -h = -53*t + 50*t - 2, 3*h = 15. Is t < q?
False
Suppose -3*z = y - 95, 5*z - y + 4*y = 157. Let j = 33 - z. Do 5/7 and j have the same value?
False
Let k be 2/1*(-329)/(-14). Is 44 at most as big as k?
True
Let p = 1590.68 + -1630. Let n = 39 + p. Are n and 2/7 unequal?
True
Let s = 45 + -37. Let q be (s/(-2))/(84/(-48)). Is q smaller than 1?
False
Let v = 201527693/155 + -1300119. Let k = v - 298/5. Which is bigger: k or 2/5?
2/5
Let h = -904 - -909. Suppose -q + 66 = 2*q - 2*y, -2*q - 2*y = -34. Suppose -5*n - q = -5*v + 15, 47 = h*v - n. Do 12 and v have different values?
True
Suppose 2 = -2*p - 0. Let k be (-2)/(2 + p) - -3. Let w = 109/3 + -35. Are w and k unequal?
True
Let s = 44 + -45. Let m = s - -1. Is m bigger than -47?
True
Let r = 116 - 139. Let x = 31 + r. Is x less than 6?
False
Let o be (-100 - -2) + 8 + -7. Let f = 93 + o. Suppose 0*y + 6 = 3*c + 3*y, 5*c - 5*y = -40. Which is bigger: f or c?
c
Let j = 94 - 103. Which is smaller: -0.2 or j?
j
Suppose 5*f + 4*u - u - 19 = 0, f + 3*u = 11. Let x be (1 + f)*(-32)/12. Let n be x/(-6) - (-14)/(-6). Is n equal to 1/6?
False
Let u be 2/12*(-87)/(-10). Let p = 6/5 - u. Which is smaller: 0.9 or p?
p
Suppose -3*b + 240 = -19*b. Do b and -17 have the same value?
False
Suppose 41*s + 4 = 43*s. Suppose w + 2 = -5*i - 16, -s*i - 12 = w. Which is smaller: -2/13 or w?
w
Suppose 0*s - 5*s = -15. Let k = -32/15 - -652/165. Which is greater: k or s?
s
Suppose -12 = -4*v + 40. Let l be ((-30)/8)/((-1)/(-4)). Let q = v + l. Is 0 greater than q?
True
Let z be (28/16)/(-7)*16/(-4). Let w be 2/(-6) + (-18)/(-66). Which is smaller: w or z?
w
Suppose -4 = -15*u + 17*u. Let r = u - -7. Suppose r = -5*z + i, -5*z - 2*i = 3 + 2. Which is bigger: z or 0?
0
Let g = 5 + -3. Suppose -4*k + 5*c + 29 = 0, -c + 0 - 4 = k. Suppose 2*x = 5 - k. Is g less than or equal to x?
True
Let q be 42/(-24)*((-20)/(-5) + 8). Let n = -72 - -51. Is n at most q?
True
Suppose 4*x + 5*t - 2315 = 0, 3*x - 3*t - 206 = 1564. Let z be x/(-13) - (0 + 1*-2). Are -44 and z equal?
False
Suppose 87*q = 98*q + 1144. Which is smaller: q or -109?
-109
Let s = -0.12 - -19.12. Let d = 12 - s. Let q = -6.9 - d. Which is smaller: q or 0?
0
Let y(t) = -t + 3. Let d(l) = -2*l + 5. Let q(u) = 4*d(u) - 7*y(u). Let h be q(-5). Is 5 greater than h?
True
Let m = -30 - -31. Let b = -2/85 - -21/170. Is b greater than m?
False
Let u = -163/4 + 461/4. Which is smaller: 74 or u?
74
Suppose -2*y - 2*k + 64 = 0, -14*k + 18*k + 4 = 0. Is y less than or equal to 65/2?
False
Let z = -283.2 - -283. Let t(n) = -7*n**2 - 9*n - 7. Let g(j) = -10*j**2 - 14*j - 11. Let q(r) = -5*g(r) + 7*t(r). Let d be q(-6). Which is smaller: z or d?
z
Let w(t) = -2*t**2 - 5*t + 13. Let m be w(-4). Let j = -10.5 - 0.5. Which is greater: m or j?
m
Let j(x) be the third derivative of -x**6/120 + x**5/12 + x**4/24 + x**3/3 + 2*x**2. Let m be j(5). Let q be (5/(-15))/((-2)/42). Is q greater than m?
False
Let q(l) = -l - 4. Let t be q(-5). Suppose -2*k - 1 = -3. Let g be (0 - 1) + k + 3. Which is bigger: g or t?
g
Let c(o) = -2*o**2 - 2*o - 2. Let z be c(-2). Let m be z*7/(-63)*3/(-2). Is -2 < m?
True
Suppose 4*u - 10 = 2*c - 4*c, -25 = 5*c. Suppose -2*d + u*t = -82, 5*d + 3*t = 79 + 95. Is 36 greater than d?
False
Suppose -63*m + 56*m - 7 = 0. Which is bigger: -4/15 or m?
-4/15
Let i(u) = 5*u + 18. Let q be i(-3). Are q and 17 equal?
False
Suppose -8 = -5*u + 7, 4*f - 23 = -u. Suppose 2*x - 3*k = -2*x + 10, 4*k = -4*x + 24. Which is bigger: x or f?
f
Suppose 14*l - 9*l + 155 = 0. Are l and -1/6 equal?
False
Suppose -2*m + 2*y + 10 = -2*y, 4*m - y - 20 = 0. Suppose 20 = -m*z, 4*i - 71 = 4*z - 15. Let c = i + -12. Is c > -8/3?
True
Suppose 0 = -5*p + 3*k - 4, 4*k + 10 = -2*p + p. Which is smaller: p or -20/19?
p
Let w be (-272)/(-170)*15/12. Which is smaller: 34/21 or w?
34/21
Suppose -25 - 50 = -3*f. Suppose -4*y - 2 = 2*z, -5*y + f + 11 = -3*z. Let w be (z/(-14))/((-2)/(-4)). Which is greater: -2/51 or w?
w
Suppose 0 = 3*n - 5*m + 2, -2*n - 5*m = -0*m - 7. Let f = 40 - 55. Which is smaller: n or f?
f
Let b(h) = -h**3 - 5*h**2 - 8*h - 4. Let v be b(-2). Which is bigger: v or 1/249?
1/249
Suppose z = 2*p - 7 - 6, 34 = 5*p - 3*z. Suppose p*y = -3*j + 31, -47 = -3*j + y - 2*y. Which is bigger: 16 or j?
j
Let d = -161.1 - -161. Let a be 9*(-13)/(-6)*4. Is d smaller than a?
True
Suppose -3*k - 19 = 4*i, 2*k + 4*i - 6 = -20. Let m(j) = j**3 + 5*j**2 + j + 2. Let r be m(k). Let q = r - 2. Which is greater: -1/3 or q?
-1/3
Let p = -6393/460 + 231/20. Is -1 at least p?
True
Let u = 8 - 11. Let h be 0/u + 9 + (-4 - -4). Is -0.3 > h?
False
Suppose -4*s + 217 = -5*z, 4*s - 4*z = -8*z + 172. Which is smaller: s or 50?
s
Let c be 2*-1 + 5 + -2. Let p be (-8 + 7)/(-2 + 6/4). Suppose -8*n = -p + 2. Which is greater: n or c?
c
Let x = 3 - 7. Let h be (-13)/(-6) - (-1)/(-6). Suppose -l + 26 = -6*l + 2*t, -4*l - h*t - 10 = 0. Is l greater than x?
False
Let s be ((-50)/(-20))/((-5)/(-4)). Suppose d - 3 + s = 0. Let u = 339 - 9829/29. Is d bigger than u?
True
Let x(g) = 10*g**3 - 3*g**2 + 5*g + 19. Let u be x(-3). Which is greater: u or -1468/5?
u
Let u(s) = -s + 16. Let d be u(11). Suppose -5*g - 10 = d. Let w = 4 + g. Which is smaller: w or 2/5?
2/5
Let s = 18 - 8. Suppose -4*p + s + 2 = 0. Are p and 3 unequal?
False
Let v(a) = 0*a**2 - 5*a + 10*a + 1 - a**2. Let f be v(7). Is f less than or equal to -12?
True
Let c be ((-3)/14)/(9/(-12)). Let y(h) = 33*h + 11. Let j be y(-4). Let r = 121 + j. Which is smaller: r or c?
r
Suppose 5*u = -9*u + 56. Suppose h = w + 37 + 5, 0 = u*w + 3*h + 175. Is -43 < w?
False
Let j(p) = -3*p**2 + 6*p - 6. Suppose 2*o - o - 3 = -d, 3*o - 15 = -5*d. Let n be j(d). Let x = n + 93/7. Which is smaller: -3 or x?
-3
Let r(c) = c**2 + c + 2. Let y be r(-5). Suppose 23 - y = -v. Which is smaller: v or -8/9?
v
Let x be 34*(9 - 8)/(2/(-1)). Is -63/4 bigger than x?
True
Let d(i) = -i**3 + 5*i**2 - i - 9. Let t be d(4). Suppose -3*f + 5*w = -19, 0 = 5*f + w + t*w - 7. Is f greater than 13/5