o + 22. Let m be f(7). Which is smaller: 2/3083 or m?
2/3083
Suppose q = 4*q - 6. Suppose 19 = 4*r + 3*t, q*r = 3*r + 3*t - 16. Let j = 6 + -25/4. Is r greater than j?
True
Let v = 349164 + -8730619/25. Let r = v + 304/5. Is -1 not equal to r?
True
Let p = -101 - -96. Let j be p/20*-8*3/2. Which is smaller: 17/5 or j?
j
Let d(j) = j**3 + 17*j**2 - j - 10. Let i be d(-17). Suppose i*k - 13 = 3*k - u, 5*u - 5 = 0. Let t be 0 + -4*k/21. Which is smaller: t or -2/5?
t
Suppose -3*q - 15 = 2*q. Let f be (30/(-51))/(q/((-9)/6)). Is f >= 0.1?
False
Let m be (-4 + (3 - 1))/((-42)/(-273)). Let s be (-4)/m*(-16)/((-64)/42). Which is smaller: s or 3?
3
Suppose a - 2*a = -7. Suppose 3*z = -a - 14. Which is smaller: z or -6?
z
Let k = -18766 - -10602784/565. Which is smaller: k or 0?
k
Let g(o) = o**3 + 7*o**2 + 4*o - 8. Let k be g(-6). Suppose 0 = -6*j + 4*j + k*h + 32, 5*h + 49 = 4*j. Does 1/11 = j?
False
Suppose -776 = -16*h - 312. Which is smaller: h or 27?
27
Let c(i) = 3*i + 5. Let u be c(-4). Suppose k + a - 9 = -0*a, 0 = -2*k + 2*a + 14. Let l = k + u. Is l greater than 1?
False
Let o = 8 - 8. Suppose 1 + 0 = -4*m - p, 5*p + 25 = o. Let g be (-5)/(60/9) + m. Which is bigger: g or 10?
10
Suppose 0 = -5*f + 3*b + 87, -f = -5*f - 4*b + 44. Is f greater than 25?
False
Let w be (7/(-3) - -1)*6/(-4). Suppose -4*y + 7 + 3 = -2*c, 5 = -w*y - c. Are y and 1/6 equal?
False
Let x = 105 + 88. Is 1/3 smaller than x?
True
Let s be (-2)/(-11) + 9/11 + -59. Let z = s + 34. Is z > -24?
False
Suppose 2*d = 5*d + 5*z - 6, 2*z - 15 = 3*d. Let q be (-1)/d + 3/(-9) - -4. Are q and 6 non-equal?
True
Let s be (15 - 13)/(11/55). Suppose 0 = -y - 2*y + 84. Let u = y + -19. Is s at most u?
False
Suppose -22 = 2*l + 5*w, 5*l - 5 = 2*l + 2*w. Do l and 1.8 have the same value?
False
Let a(g) = g**3 + 8*g**2 + g + 11. Let j be a(-8). Suppose 5 = -5*z + 4*k, 0 = 2*z + z - k + j. Is z != -1/24?
True
Let a be (-8)/(-6) + 4/6. Let h(n) be the third derivative of n**6/120 + n**5/30 + n**4/12 + n**3 - 13*n**2. Let b be h(-2). Is a smaller than b?
False
Suppose -i - 2 = -2*i. Suppose -5*v + t + i = -4, -5 = -4*v + t. Which is bigger: 2/359 or v?
v
Let h = -42 + 75. Suppose -4*k - 5*u + 116 = 0, 2*k - u - 3*u = 84. Is k less than or equal to h?
False
Suppose 2 = -b + 1. Let j be (2/(-1) + 6)*(-2)/4. Which is greater: b or j?
b
Let h = 128 + -125. Which is smaller: -0.01 or h?
-0.01
Let t = 12 + -11. Let x = -19 - t. Let q = 18 + x. Is q not equal to -4?
True
Let a be 13/((1 + -4)/21). Are -89 and a non-equal?
True
Suppose -630 - 12570 = 10*q. Let w = q - -14508/11. Is 0 < w?
False
Let v = -7/522 - -169163/2610. Is v > 66?
False
Let s = -2.4 - -4.7. Let z = 0.1 + s. Let c = z - 2.3. Is 0 less than or equal to c?
True
Let v be 1 + ((-22)/12 - -2). Let s = 332 + -330. Which is smaller: s or v?
v
Let u be 3 + -7 - (-1 + 0). Suppose -5*h + 25 = -0*h. Let y be (3 + (1 - h))/1. Which is bigger: y or u?
y
Let n = -4.73 - -4.53. Which is smaller: 159 or n?
n
Let t(n) = -4*n + 6. Let v be t(-3). Let f be 7/6 + 87/v + -5. Let z be (-9)/60 - 2/(-5). Which is bigger: z or f?
f
Let d = -96533/21 - -4598. Is d greater than or equal to 0?
True
Let b = -849720/34783 - -3/4969. Is b > -24?
False
Suppose 0 = 2*a, 6*j = 4*j + a - 692. Which is smaller: j or -344?
j
Let b = -3/10 - -433/1510. Let c = -84 + 84. Which is greater: c or b?
c
Let f be (-12)/60 - (-1451)/5. Which is smaller: f or 289?
289
Let k be 168/112*116/27. Is 6 at most k?
True
Let g = -10113 + 5918. Let t = g - -297851/71. Is 0 less than t?
True
Let k(o) = -o**3 + 53*o**2 - 92*o - 84. Let t be k(51). Which is bigger: t or 424?
t
Let m = 49 - 46. Suppose m*k = -k + 64. Which is smaller: 17 or k?
k
Let r = -33 + 38. Suppose -4*u = -r*j + 114, -3*j + 24 = -u - 4*j. Let c = u - -12. Which is greater: c or -15?
c
Let v = -9657994/7 - -77486075313/56161. Let o = -26/113 - v. Which is bigger: 1 or o?
1
Let s = 16773 + -14408009/859. Let c = 947/37796 + s. Which is smaller: c or -1?
-1
Suppose -15*y - 2556 = -3*y. Which is greater: y or -212?
-212
Suppose 0 = -32*l + 33*l + 6. Which is smaller: l or 1?
l
Let h = -12 - -24. Let m = -11 + h. Let l = m - -3. Which is smaller: 3 or l?
3
Let s = -6035/2 + 3018. Let a(t) be the second derivative of t**4/12 - t**3/2 + t**2 - t. Let k be a(4). Is k less than or equal to s?
False
Let c(y) be the first derivative of 3*y**3 + y**2/2 - 12. Let d be c(-1). Is d greater than or equal to 6?
True
Let i(o) = -o**2 - 21*o - 38. Let u be i(-18). Let g(j) = -j**3 + 16*j**2 - 2*j + 8. Let v be g(u). Which is smaller: v or -23?
v
Let y(o) = -4*o - 15. Let k be y(-4). Let u = 4 - 3. Let d be (2 + u*-4)/(-4). Which is bigger: k or d?
k
Let d(j) be the first derivative of -j**3/3 - j**2/2 + 2*j - 6. Let p be d(0). Let w be (-1)/p + 1/(-2). Is -2 less than w?
True
Let s be (16/(-40))/((-18)/(-10) + -2). Let n be 9/2 - 4/8. Which is bigger: n or s?
n
Let d be 10 + -4 + 2 - (-3 + 10). Let u be (-2)/3 - (-32)/3. Which is smaller: u or d?
d
Let o(k) = 7*k**2 - 5 - 2*k - 16*k**2 - 3*k + 12*k**2. Let g be o(-2). Let n = 16 - g. Which is bigger: n or 1/12?
1/12
Let x(y) = -11*y - 9*y + 26*y - y**2. Let a be x(6). Is a less than 3/17?
True
Let h = 19 - 19. Suppose 6*p - 4*p = h. Let o be -3 + 2 + p/10. Which is smaller: o or 2/145?
o
Suppose 0*o = -2*o - 4. Let w be (-2 + 2)/(((-18)/(-3))/o). Which is greater: -3/52 or w?
w
Let x = 554 - 541. Which is bigger: 21 or x?
21
Let s(n) = n**3 + 34*n**2 - 37*n - 71. Let h be s(-35). Is -182 at least h?
False
Suppose -2*c + 3*v - 25 = 164, -4*c + v = 353. Which is smaller: c or -89?
-89
Let w be (-127)/(-6) + (-9)/54. Let i = w - 25. Which is greater: -7 or i?
i
Suppose 12*a = 8*a. Suppose -3*h + 3*p + 1 = -92, 4*h - 2*p - 130 = a. Do -2/5 and h have the same value?
False
Let y be ((-2)/(-6))/(9/81). Suppose 41 - 9 = y*v + c, -5*v - 3*c + 56 = 0. Let t be (-8)/v*(14 + -4). Is -25/3 bigger than t?
False
Let a(h) = -11*h**2 + h - 2. Let q be a(1). Let n be 6/2 - 14/1. Which is greater: q or n?
n
Let o(z) = z**2 - 5*z. Let s be o(6). Suppose -3 = s*t + 3. Which is greater: t or -1/6?
-1/6
Let j = 60 + -138. Let d be j/(3/(-1)) + (-2)/(-1). Are d and 28 non-equal?
False
Let h be 111/6 + (-1)/(-2). Suppose l = d - 22, 15*d - 5*l = 14*d + 26. Which is smaller: d or h?
h
Let n = -1379/38 - -73/2. Is 0 greater than n?
False
Let q = -47 - -35. Let n(p) = -p**2 - 15*p + 43. Let h be n(-18). Is q < h?
True
Let v = 24619 - 122396/5. Which is greater: 140 or v?
140
Let k(o) be the second derivative of 7*o**5/10 + o**2/2 + 5*o. Let t be k(1). Let x = t + -77/5. Is x less than or equal to 6?
True
Let t = -229 + 385. Suppose 21*w - 8*w = t. Let g(r) = -2*r + 3. Let p be g(-4). Which is bigger: p or w?
w
Let u be 1084/6 + (-29)/(-87). Is 181 smaller than u?
False
Let z(y) = 4*y**2 + y. Let h be z(-1). Suppose 0 = h*w + 2*w + 1020. Let l = w + 5509/27. Which is greater: 1 or l?
1
Let r = -4.8 + 0.8. Let d = -3.86 - r. Let q = -0.04 + d. Is q != 5/2?
True
Let m = -129.9 + 129.7. Is -1.13 at least as big as m?
False
Suppose 0 = -4*z + 3*l + 401, 115*z - 120*z + 5*l = -495. Is 111 at least z?
True
Suppose -109*k = -104*k + 35. Suppose 10*i = -5*u + 5*i - 20, -2*u + 4*i = 32. Which is bigger: u or k?
k
Let v = -0.5 + 54.5. Let l = v + -56.3. Let u = l - -1. Which is bigger: u or 2?
2
Let i be (114/76)/((-58)/(-32) - 2). Let o be 100/(-15) + (-8)/6. Is o greater than or equal to i?
True
Suppose -4*l - 31 = -3*v, -3*l - 39 = 5*v - 2*v. Let t be 5/(l/(-4)) - 1. Is 0.15 <= t?
True
Let d = -30 - -195. Let g be (-2)/2 + 175/d. Suppose -4*m - 1 = 4*q - 3*m, 1 = -q - m. Which is greater: g or q?
g
Let w(v) = -v**3 + v + 3. Let x be w(-4). Let o be ((-9)/x)/((-2)/4). Which is greater: o or -37?
o
Let l(p) = -p**2 - 16*p + 17. Let s be l(-17). Let n = 43 - 38. Which is greater: n or s?
n
Let r be (2/1)/(-14 - -9). Let a(c) = c**2 - 7*c - 1. Let v be a(7). Which is greater: v or r?
r
Let v = -26420.9 - -26421. Let y = -754.27 - -750. Let m = -4 - y. Which is smaller: m or v?
v
Suppose -5*g - 7*g - 528 = 0. Is -43 >= g?
True
Let m be 504/(-2870) - (-1)/5. Which is smaller: m or -7/5?
-7/5
Let d = -74 + 199. Which is smaller: 126 or d?
d
Let b = -218 + 124. Is -92 > b?
True
Let w = 31.7 + -6.6. Let v = 25 - w. Is 3.4 <