 Let d(i) = i**3 - 9*i**2 + 5*i - 18. Let w be d(9). Let a be o(w). Do 2/147 and a have the same value?
False
Let u = -3880 - -34960/9. Is 1 less than u?
True
Let g = 41 + -40. Is g less than 1/10?
False
Suppose -8*d = -7*d + 123. Let r = 110 + d. Which is smaller: -12 or r?
r
Let w = -1.67 + -23.33. Is w at least 2?
False
Suppose 3*i - k - 221 = 0, 4*i - 5*k + 129 = 442. Suppose -82 = 7*j + i. Is -20 smaller than j?
False
Let i be (-3)/12*0*-1. Suppose 10*x + 12 = 14*x. Suppose -8*j + x*j - 70 = i. Which is greater: j or -13?
-13
Suppose 0 = -0*f - 3*f - 381. Let v = 269/2 + f. Is 7 at least as big as v?
False
Suppose -5*g + 35 = 5*p, 3*p - 4*p = -4*g + 3. Suppose a + 9 = 4*u + g*a, 3*a - 20 = -5*u. Is -6 not equal to u?
True
Let o = -0.01 + 0.01. Which is bigger: -1.28 or o?
o
Let r(g) = -g + 9. Let w be r(5). Suppose 6 = -2*l + w*a, -4*a + 11 - 3 = 0. Let q be (-32)/(-18) - (0 - (-8 + 6)). Which is smaller: q or l?
q
Suppose 80 - 25 = 5*u. Suppose 15*k - 56 = u*k. Which is smaller: 29/2 or k?
k
Let f be -2*1 + (-14)/(168/(-36)). Let q = 1939/29 - 67. Let p = q + 94/261. Is p bigger than f?
False
Suppose -3*r - 5*u + 10*u = 14, -2*r + 2*u = 4. Suppose 0 = -5*q - 3*i - 23, -r*i + 6 = -2*q - 0*i. Is -17/4 equal to q?
False
Let t be 3/(-3)*-148*1. Is 148 < t?
False
Let f = -122 + 113. Which is smaller: -5 or f?
f
Let z = -3091 + 3147. Suppose 86 + 28 = 2*r. Which is smaller: z or r?
z
Suppose -8 = -f + 14. Suppose -100 = -5*t - 5*o, -o + 10 = 2*t - 35. Which is smaller: t or f?
f
Let j = -18 + 21. Suppose -5*h = -n + 27, 0 = -4*n - j*h + 8*h + 33. Suppose -n = 4*a + d - 3, 0 = 2*a - 4*d + 22. Do a and -2 have the same value?
False
Suppose 720 = -118*n + 123*n. Does n = 143?
False
Let k be 1 - (-5)/(-3) - (-5355)/8721. Is k bigger than -22?
True
Let t = -5346 - -5347. Let w be ((-2)/3)/(0 - -2). Which is greater: t or w?
t
Let i = 116 + -114. Which is smaller: 1 or i?
1
Let b be (4 - 1)*(-5)/(-15). Suppose b = -0*m + m. Let h = -8.26 + -0.74. Which is smaller: m or h?
h
Let q = -28 + 43. Let w = q + -21. Suppose -2*b = -8, -4*h - h - 3*b = 8. Are w and h non-equal?
True
Suppose 5*s + 12 = -2*m, 5*m = 2*s + 3*s + 5. Let a(d) = d + 0*d - 3 - 10*d**2 - 7*d**2 + 16*d**2. Let o be a(0). Which is smaller: m or o?
o
Let m = -2 - -6. Let y(o) = -9*o - 2. Let j(v) = -v - 2. Let f(h) = 6*j(h) - y(h). Let s be f(m). Is 4 at least s?
True
Let a(g) = -g + 4 + 2*g - 16. Let u(p) = 3*p - 19. Let c be u(10). Let x be a(c). Which is smaller: 1/15 or x?
x
Let k = 25.7 - 14. Is k bigger than 0.1?
True
Let q(h) = -3*h + 2. Let d be q(-2). Let t be (-3)/9 - d/3. Is t smaller than -15/7?
True
Let r be ((-3)/2)/((-33)/(-8) + -4). Let c = -7 + -3. Which is greater: c or r?
c
Suppose 3*i + 5*i = 32. Let f(k) = -k**2 - 7*k - 2. Let q be f(i). Do q and -45 have the same value?
False
Let z = -279 - -281. Is z greater than or equal to 191?
False
Let j be (-3)/5 + 198/55 + -77. Which is smaller: j or -71?
j
Let j = -14 + 24. Let g = j - 17. Is -6 less than g?
False
Let z be (6/9)/((-16)/24). Let n(i) = 2*i**2 - 2*i - 2. Let c be n(z). Is c at most 3?
True
Let c be (-16)/((-5808)/4023) + -11. Is -1/4 smaller than c?
True
Let p be 82/42 - (2 + -1). Let q = -2/7 + p. Let s = 1999/6 + -332. Is q less than s?
True
Suppose 0 = 3*v + 5*w + 1, -w = 4*w + 10. Let u = -24596/9 - -2736. Which is greater: u or v?
u
Let g(i) = 2*i - 3. Let y be g(10). Suppose 2*a + 3 = y. Is 9 < a?
False
Let c = 166 - 167. Let l(t) = -t**2 + 6*t - 2. Let s be l(5). Suppose -s*m - 4 = 4*f, 5*m - 7*f - 5 = -2*f. Which is smaller: c or m?
c
Let j = -4171 - -170993/41. Is 0 at least as big as j?
True
Suppose 10 = 3*j - 74. Which is bigger: j or 24?
j
Let p = -3450 + 3454. Let q(o) be the third derivative of o**5/60 + o**4/24 + o**2. Let u be q(0). Are p and u non-equal?
True
Let b = 965 - 964. Are -1084 and b equal?
False
Suppose 0 = 13*h - h + 432. Which is smaller: h or -34?
h
Suppose 2*z = 3*z - 4. Let m be z + -3*(-4)/(-6). Suppose -2*n - 31 = -43. Which is smaller: n or m?
m
Suppose 0 = 4*c - 3*y + 16, 4*c + 5*y + 12 - 28 = 0. Which is bigger: -391 or c?
c
Let c be 55629/409248 - (-5)/((-145)/2). Are 1 and c non-equal?
True
Let x be 2/3 + 68/(-3). Let y be 4/16*-2*x. Which is bigger: y or 0.1?
y
Let b = -0.03 - -0.08. Let r be (4 - 0) + -3 + (-154)/88. Does b = r?
False
Let u be (-18)/(-40)*((-14)/(-21) - -1). Which is greater: 0.71 or u?
u
Let i = -642 + 1233/2. Is i at least -25?
False
Let n be -1*2*78/(-4). Suppose 0*k = 2*k + 2*u + 10, k = -3*u - 11. Let o be 4*(k + n/12). Do o and 5 have different values?
False
Suppose -11*p = -9*p - 2. Suppose z = 3*k + 9, k = -0*z - 2*z - 10. Let r be (-1 - (0 + z))*1. Which is smaller: r or p?
p
Let p be (-42)/(-12)*(4 + -2). Suppose 4*n = 5*c + 22, -p*n + 4*c + 20 = -3*n. Which is greater: n or 12/7?
n
Let q = 43 - 27. Let y = q + -15.8. Is 37 not equal to y?
True
Let s(y) = y**3 - 2*y**2 - 8*y + 4. Let r be s(4). Let q be (3 - 56)*r/(-2). Let j = q - 526/5. Is -1 at least as big as j?
False
Suppose 5*o + 8 + 7 = 0, -5*p = 4*o - 28. Let s(w) = -2*w - 2. Let q be s(-4). Let b = q - p. Which is greater: b or -2/3?
-2/3
Suppose -119 + 29 = -5*m. Let k be (3/(-1))/(m/(-48)). Suppose k + 17 = 5*v. Is 6 not equal to v?
True
Let n be 36/342 - (-156)/(-38). Which is greater: n or -3?
-3
Let o(p) = -32*p + 10. Let w(z) = -13*z + 4. Let h(g) = -5*o(g) + 12*w(g). Let m be h(-2). Let t = m - -11. Is t >= 2?
False
Let u(l) = -2*l**3 - l**2 + 4. Suppose -h - 2*n + 2 = h, -h = -4*n + 4. Let q be u(h). Is 3 less than q?
True
Let h be (4 - 2)*(-2)/(-40). Let s = 1/10 + h. Do 0 and s have the same value?
False
Let q = -6.229 - -0.229. Which is smaller: 0.2 or q?
q
Let j = 91/1425 - 5/114. Are 1 and j equal?
False
Suppose 5*c - 14 = -2*g, -9 - 5 = -3*g - 4*c. Suppose n - 57 = -5*h, -39 = 3*h - 5*h + 5*n. Suppose 0 = 5*l - h*l. Is g smaller than l?
False
Let u be (-3)/30*2 + (-342)/90. Is -4 greater than u?
False
Suppose -10*s - 7229 = -7239. Which is smaller: 33/65 or s?
33/65
Suppose -2*z - 1 = -d - 6, -2*z + 17 = 3*d. Is z bigger than 1?
True
Let u = -4869/4 + 1217. Let i = -0.17 + 8.17. Which is greater: i or u?
i
Let a = -31/255 - 4/51. Do -24 and a have the same value?
False
Suppose -3*t - 8 = l, -2*t - 4*l = 12 + 10. Let v = -3864/13 - -20925/91. Let p = 67 + v. Which is greater: p or t?
p
Suppose 2*v = k + 207, -4*k - 211 - 577 = 2*v. Let i = k - -1388/7. Is -1 at most as big as i?
True
Let o(b) be the third derivative of b**4/12 - b**3/6 + 5*b**2. Let g be o(2). Which is smaller: g or 1?
1
Let s = -260 - -260. Let h be 3/(-12) + 2/8. Let u be (1*4)/(7 + h). Which is smaller: s or u?
s
Suppose -63 = -2*r - 3. Let o = 29 - r. Which is greater: -3 or o?
o
Suppose -7*w + 33*w = -26. Suppose 4*x = 2*x + 32. Let u be (8/(-10))/(8/x). Is w at least u?
True
Let y(c) = c**2 - 2*c - 5. Let p be y(4). Suppose -3 = o + p. Let m(w) = -w**2 - 5*w + 1. Let t be m(o). Is t less than -6?
False
Let l = -2572.61 - -2557. Let k = l - 0.39. Which is bigger: k or -0.1?
-0.1
Let d = 2487/5 + -445213/895. Let w = -2741/1253 - d. Is -3 > w?
False
Let j(o) = 2*o**2 - 67*o + 3. Let w be j(33). Suppose 0 = -3*n - 15, 3*l - 109 = 7*l - 3*n. Are l and w equal?
False
Let b be 280/(-160)*20/14. Let i(c) be the first derivative of -c**4/4 + 2*c**3 - c**2 + 9*c + 1. Let o be i(6). Is o smaller than b?
True
Let i be -3*(-1)/(-1)*5/75. Is i at most as big as -2?
False
Let l = -31018011/1157 + 26809. Which is bigger: l or 1?
1
Let z be ((-102)/(-24) - 2)*(-120)/(-18). Which is greater: z or 42?
42
Let w = 21 - 23. Let p be 1 + (-76)/16 + 3. Is w < p?
True
Let r(i) = -2*i + 0*i + 6*i - 10 - 2*i. Let q be r(8). Let a be (-4)/(-6) - 10/q. Which is greater: 2/37 or a?
2/37
Let b = 168 - 164. Let t be (0/1)/((-36)/18). Is b at most as big as t?
False
Let w(m) = -25*m - 51. Let y be w(-2). Which is bigger: y or 6.81?
6.81
Let k(f) = 3*f**2 - 37. Let z be k(7). Is z at least as big as 111?
False
Suppose -77*z - 2800 = -336. Which is bigger: z or -31?
-31
Let r = -1.95 + 2.96. Let s = 0.002 + -0.012. Let g = r + s. Is g != 3/2?
True
Let u = -991 + 990.942. Which is smaller: 0 or u?
u
Suppose 4*b - 143 = -31. Suppose -3*l + 10*l + b = 0. Is -1 smaller than l?
False
Let d(l) = l**2 + 17*l - 41. Let u be d(-19). L