e (-30405)/(-18)*(-9)/(-60). Let g = z + -254. Which is greater: g or -1?
g
Let z(n) = -n**3 + 19*n**2 + n - 20. Let i be z(19). Is 2/37 != i?
True
Suppose -2*j + 5*v = -30, -5*j + 4*v + 4 = -54. Suppose 2*p = j - 22. Let t(h) = -2*h - 2. Let b be t(2). Is p < b?
False
Let w = -166/285 - 1/57. Do w and 1 have the same value?
False
Let r(p) = -2*p - 4. Let z be r(8). Let m = z + 28. Is m greater than 0?
True
Suppose -5*z - 5 = -15, 0 = 5*n + 3*z + 24. Let l(g) = g + 1. Let h be l(n). Is h greater than or equal to -4?
False
Let o = 18 + -17. Is -5 smaller than o?
True
Let h be (-4)/30 + 160/75 + -3. Is h equal to 3/47?
False
Let k(l) = 7*l**3 - 2*l**2 + 2*l - 1. Let g be k(1). Let o(j) = j**3 - 3*j**2 - 4*j + 6. Let a be (0 + -2)*(-15 - -13). Let s be o(a). Is s greater than g?
False
Let y = -22 - -21.98. Is 1 less than or equal to y?
False
Let o = 4 - -5. Let g = 7 - o. Which is bigger: -3 or g?
g
Suppose 3*f + 5 = -3*p + 23, 0 = -f - 4*p + 15. Let u(q) = q**2 - 4*q**2 + 4 + 2*q**2 - 5*q. Let x be u(-5). Which is bigger: f or x?
x
Let n be (-1 + 3 + -3)*7. Suppose 0 = -2*l - 8, 4*s - 5*l = 78 - 18. Let a = s + n. Is a greater than 1?
True
Let z = -3.98 - 0.02. Which is bigger: z or 0.2?
0.2
Let k(p) = -p - 6. Let i be k(-6). Let b = 3.8 - 2.7. Let x = b + -1. Which is greater: x or i?
x
Suppose -5*m - 12 = 33. Which is bigger: m or -55/6?
m
Suppose 0 = -5*j + 3 + 2. Let a = -3 + 5. Is j equal to a?
False
Let f(i) = i**2 - i - 2. Let q be f(2). Which is smaller: q or 4?
q
Let l = -2.86 - -0.16. Let i = l + 0.7. Let k be (8/(-20))/(26/10). Which is smaller: k or i?
i
Suppose 2*y = -4*w + 8, 3*y = -w - w + 12. Which is smaller: 5 or y?
y
Let h = -2 + 2. Let d = -4.7 - -5. Are h and d equal?
False
Let r be 14/(-14)*((-2)/16 + 0). Let q be 0/(-2*(-2 - -3)). Which is smaller: q or r?
q
Let n(v) be the third derivative of v**6/120 + v**5/30 - v**4/6 - v**3/3 - 2*v**2. Let u be n(-3). Let f = -20 + 62/3. Which is bigger: f or u?
u
Let h be (-43)/5*(-1691)/21. Let i = -4876/7 + h. Let g = 17/5 + i. Is -1 equal to g?
False
Suppose -n + 0*u + 3*u + 28 = 0, 0 = 2*n + 5*u - 12. Suppose w - 111 = 3*h + n, 0 = 4*w - 16. Let l = h + 122/3. Which is bigger: l or -1?
l
Let q = -48 - -45. Is q bigger than -0.1?
False
Let s be (-57072)/(-33) + -1 + -1. Let d = 1726 - s. Let o = 250/187 + d. Is 0 bigger than o?
True
Let w = 71/4 - 599/36. Which is bigger: w or 0?
w
Let w = 3 + -5. Let k = 8 - w. Which is smaller: 9 or k?
9
Suppose 0 = -3*a - 8 - 1. Let s = 4 + a. Do s and -2/9 have the same value?
False
Let k = 94/9 + -913/90. Is k at least 3?
False
Let w be (-8 + 7)/(2/(-10)). Suppose -w*f = -3*o - 33, 4*f - 5*o = f + 7. Is 9 bigger than f?
False
Let f = -12 + 19. Let z = f + -8. Which is greater: z or 1/5?
1/5
Let c(o) = -3*o - 19. Let n be c(-8). Suppose -4*l = -l - 15. Are n and l non-equal?
False
Let v = 29 + -28. Is -6 greater than or equal to v?
False
Suppose -4 = -4*n + 2*n + d, -7 = n + 4*d. Let g = n - 3. Let c(t) = -t**2 + 7*t - 2. Let r be c(7). Is g greater than r?
False
Suppose 8 = y - 4*i + 3*i, 4*i = -12. Suppose 4*z + 5*x + 15 = 0, -2*z - y*x = -5 - 0. Which is smaller: z or -9?
z
Let d = 20 + -17. Which is smaller: -0.1 or d?
-0.1
Suppose -4*l - l = -60. Suppose -l = 5*q + 23. Let y be ((-3)/(-6))/(q/(-6)). Is -1 < y?
True
Suppose 0 = -4*a - 0*a. Let w(l) = 2*l**2 - 6*l + 1. Let h be w(4). Suppose 0 = 4*y - h*y - b - 9, -2*y = 3*b + 14. Which is bigger: a or y?
a
Suppose 2 = 2*k, -5*c - 24 = -2*k - 2. Are -2 and c equal?
False
Suppose 0 = -7*m + 2*m - d - 50, -3*d = -4*m - 21. Let w = m + 9. Do w and 7/5 have the same value?
False
Suppose 3*o + o = b + 5, -b - 1 = 0. Which is bigger: 6 or o?
6
Let d(h) = 3*h - 26. Let n be d(10). Is 31/7 smaller than n?
False
Let t be -1 - ((-2)/1)/2. Suppose t = -7*d + 3*d. Are d and -2 equal?
False
Suppose -7*a + 5 = 124. Do -15 and a have the same value?
False
Suppose 4*v = -3*m + 11, -v + 1 = 5*m - 3*v. Let y = 9648907/27 - 357312. Let c = y - 55. Which is smaller: m or c?
c
Suppose -3*g - d = -4, 3*g - 2 = -d + 2*d. Which is smaller: g or -1/37?
-1/37
Let m = 0 + -1. Let w = 1/114 + -16/19. Which is greater: w or m?
w
Let u = -46 + 37. Which is greater: u or -7?
-7
Let w be (3 - (1 + 4)) + 3. Suppose -3*n + 8 - 2 = 0. Which is smaller: w or n?
w
Suppose -k - 5*y - 18 = 0, 2*y = 4*k - 2*y - 24. Suppose -k*c = -6*c + 3*v - 9, 2*c - 2*v + 6 = 0. Which is greater: 1 or c?
1
Let c be (3/8)/(8/((-296)/3)). Is -4 <= c?
False
Let x be 4 - (9/3)/1. Let a be (-3)/((-108)/(-56)) + x. Which is smaller: -2 or a?
-2
Let b be 3*((-1)/(-5) - 22/(-15)). Let k be 7*(-1 + 26/14). Which is smaller: b or k?
b
Suppose 9*x + 4 = 7*x. Is x greater than 8?
False
Suppose -4*f = -2*f. Suppose 0 = l - f*l - 3. Let i be 2 - (-1)/(l/(-6)). Are 1/3 and i non-equal?
True
Suppose 64*g - 71*g = -7. Let j be (-6)/(-13) + (0 - 2). Let x = -293/182 - j. Are g and x equal?
False
Suppose 58 = -3*i - y, 0 = 2*i + y - 6*y + 16. Let r be (-417)/i - (-2)/(-3). Let b = 311/14 - r. Which is smaller: 1 or b?
b
Let y be (-2)/3*45/10. Let u be -2 + 24/(-21) - y. Do u and 1 have different values?
True
Suppose -m = 4 + 3. Let d be m/(-28) + 1/(-4). Is 1 < d?
False
Suppose -5 = 2*o + 1. Let w be (-7)/o - 5/15. Let d be -1 + w - (5 + -4). Which is bigger: 2/5 or d?
2/5
Let s = 30 - 119/4. Let l = 0.15 + 0.05. Is l bigger than s?
False
Let j be (3 - 3) + (-15)/(-3). Suppose v + 14 + 1 = 3*t, 5*t - j*v - 35 = 0. Suppose -4*z + 5*g + 15 = 0, -5*z + g = -t*g - 15. Is 0 less than z?
False
Suppose -2*o + 4*o = 6. Let r(i) = -2 + i + i**2 + 0*i + 3*i. Let d be r(-5). Are o and d equal?
True
Suppose 2*o + 16 = -36. Let v = 28 + o. Is v at least as big as 2?
True
Let v = -0.4 - -0.5. Let y = v - 0.1. Let c = 251/2 - 128. Do y and c have different values?
True
Suppose -4*f - 39 + 7 = 0. Let h be (18/(-54))/((-44)/(-42) + -1). Which is smaller: h or f?
f
Let z be (8 - 9)*(-2)/((-30)/87). Do z and -7 have different values?
True
Let c = 0.44 - 0.04. Let d = -0.4 + c. Which is greater: -0.1 or d?
d
Let v be 2 - (0 - (-597)/105). Let u = 23/7 + v. Is 2 at most as big as u?
False
Let h(u) = 6*u**2 + u. Suppose -1 = -0*g + g. Let r be h(g). Suppose 4*m - r = 5*j + 15, -2*m + 10 = -2*j. Is -2/5 >= j?
False
Let s be (-1 - 3)/((-5)/(-10)). Which is smaller: s or -3?
s
Suppose 6 = 3*v - 39. Let x be (-2)/8 - v/4. Is x at most -5?
False
Let l = 78 + -22. Let r = l - 281/5. Is 1 smaller than r?
False
Suppose 6*o - 48 = 2*o. Let w be 17/(-20) + 3/o. Let z = 9 - 9. Which is smaller: w or z?
w
Let s = -622/83 - 1/166. Is -9 < s?
True
Let d be (-2)/4*(4 - 4). Let y = 65/2 - 32. Which is bigger: d or y?
y
Let w = 11098/9 + -49082/45. Let s = 142 - w. Is s < -2/5?
False
Let v = -1734/7 + 247. Let g = 1/28 - v. Is 2 greater than g?
True
Let m = -0.9 + 0.1. Let y = m - -0.86. Let b = y - 0.16. Do -0.2 and b have the same value?
False
Let q = -6750 + 215973/32. Let z = q + 3/32. Which is smaller: -2 or z?
-2
Suppose -9*f = -5*f. Let t be 102/30 - (0 + (1 - -1)). Is t at least f?
True
Let a(x) = x**3 + 4*x**2 + x + 5. Let d be a(-4). Let h be (d + (-2 - -1))/2. Is h at least 1/2?
False
Let m be (-6 - -4)*(-1)/(-2). Let j be ((-6)/2 - -3) + m. Which is smaller: -1/7 or j?
j
Let x be 0 + -2*210/(-9). Let p(k) = k - 47. Let w be p(0). Let v = w + x. Which is bigger: v or -2/7?
-2/7
Suppose l - 13 = c, -2*l = -4*l + 4*c + 36. Let m = 11 - l. Which is smaller: -2 or m?
-2
Suppose 7*o = -5*l + 3*o - 10, -l + 2*o = -12. Are 9/11 and l equal?
False
Let v = 3 + -2. Let d = v - 0. Suppose 0*g - 8 = w - g, -5*w - 2*g = 5. Which is bigger: w or d?
d
Let t = 56783/78 - 728. Let r = t - -161/390. Which is greater: r or -3?
r
Let n = 7 + -3. Let y = -6 + n. Let w = -160 - -162. Is w <= y?
False
Suppose 9 = -3*f + 2*f. Let v = 6 + f. Let y = v + 2. Which is smaller: 0 or y?
y
Suppose 3*y + 2*y = 0. Is y less than -0.2?
False
Suppose 2*g - 1439 - 1732 = 5*h, -3*h = -3*g + 1908. Let o = h - -28484/45. Let w = -2/9 - o. Which is bigger: 1 or w?
1
Let u = 22 - 131/6. Let w(o) be the second derivative of -o**4/12 + o**2/2 - 3*o. Let p be w(0). Which is smaller: u or p?
u
Let o = -803/252 + 45/14. Are o and 1 unequal?
True
Suppose -5*k + 162 + 23 = 0. Let n = 187/5 - k. Suppose 0 = -4*d + d. Which is bigger: 