ich is smaller: 3/59 or r?
r
Let u = 19 - 13. Let z be (14/(-6))/(2/u). Is z less than -7?
False
Suppose 0 = -4*x - 2*z - 8 - 2, 4*x - 4*z - 20 = 0. Suppose -5*y - 2*o - 24 = -x*o, 0 = 4*o + 8. Let q be (-18)/(-180)*y/3. Which is smaller: q or -1?
-1
Let s(q) = -3*q**2 - 27*q + 44. Let x be s(-13). Which is smaller: -111 or x?
x
Let i be 36 - (-2)/((-2)/3). Let l = i - 3. Suppose 0 = 6*z - z + l. Which is smaller: z or 2?
z
Suppose 0 = -3*j - 8*u + 10*u + 2693, -2*j + 8*u = -1782. Is 898 at most j?
True
Suppose 15*o - 90 = 45*o. Is 12 equal to o?
False
Let m = 0.1 + -0.08. Let g = -752/1905 - 2/381. Is m != g?
True
Let c = -0.786 + 0.586. Is c < -6?
False
Let y = -1.11 - -1.075. Let i = 0.045 + y. Which is smaller: i or -2/11?
-2/11
Let j = -737 + 8839/12. Suppose 8 = 3*z - 2*b - 0*b, 3*z - 3*b - 12 = 0. Are z and j equal?
False
Let u be -2*1*2/4. Let j = 291 + -871/3. Let w = u + j. Is 7 at most w?
False
Let i(q) = 21*q**2 - 3*q - 2. Let w be i(-1). Let r = w + -16. Let k be 1/r - (-14)/(-48). Is 1 > k?
True
Let z(i) = i**2 + i + 2. Let g be z(-5). Let m be 4/g - (-276)/(-66). Let n = 172/55 + -30/11. Is m != n?
True
Suppose -5*j + 4340 = 3*m, -4*m + j + 4182 = -1620. Is 1450 bigger than m?
False
Let y = 6/133 + 13/2660. Let w = -9/5 + y. Which is smaller: -3/2 or w?
w
Let y(x) be the first derivative of -3*x**2 + 17*x - 7. Let a be y(9). Let c = 153/4 + a. Is 1 at least as big as c?
False
Let j = 22093/3454 + -141/22. Let g = j + 191/2669. Which is smaller: -1 or g?
-1
Let m = -20 - -20.22. Let h = -0.2 + 0.04. Let j = h + m. Which is smaller: j or -1?
-1
Let p be 3*4/(-2) + 6. Which is smaller: 3/232 or p?
p
Let z(l) = 4*l - 4. Let j = 38 - 38. Let y be z(j). Is 3 greater than or equal to y?
True
Let j be (28 + -1)/3 + -8. Which is bigger: j or -3/203?
j
Let o = 47 - -11. Is 59 bigger than o?
True
Suppose 4*n - s - 3*s + 4 = 0, -5*n + 2*s + 7 = 0. Suppose -20 = 4*q, n*j - 5*q = j + 11. Let f = -16 - -9. Are f and j equal?
True
Let n = -2.91 - -4.7. Let g = -0.21 - n. Let j be 48/(-36) + 4/6. Which is smaller: j or g?
g
Suppose -24 = 4*r - 3*r. Let c = -301 + 276. Which is greater: c or r?
r
Let a be ((-4)/(-6))/(8/132). Let t(n) = n**2 - 13*n + 14. Let r be t(a). Let k = r - -7. Which is greater: -1/7 or k?
-1/7
Let j = -34 + 93. Let m = -121/2 + j. Which is bigger: m or -0.3?
-0.3
Let u be (-11)/(-198) + -2*(-4)/16. Let b(x) be the second derivative of -x**4/12 - 5*x**3/6 - 2*x. Let j be b(-5). Which is greater: u or j?
u
Suppose 0 = -2*o + 4*u + 6, -5 = -5*o + 2*u - 6. Is o at most 130?
True
Let s = 191 + -189.9. Is -33 greater than or equal to s?
False
Let w = 8.1 - 1.1. Let i = -0.048 + -0.832. Let v = 1.12 - i. Which is smaller: v or w?
v
Let w(m) = m**3 + 24*m**2 + 77*m - 61. Let v be w(-20). Let y be (6/(-8))/((-906)/16). Which is smaller: v or y?
v
Let x be ((-1263)/(-9))/(-3*(-4)/(-108)). Is x != -1263?
False
Let p = 114 + -113. Let w be 1/(-12)*(-22)/11. Is p at most as big as w?
False
Suppose 0 = u + 2*q, -u + 4*q + 40 = u. Let w = -2 + u. Suppose -4*m = -w*m. Which is smaller: -1/6 or m?
-1/6
Let x be (-2 + 1/2)/(72/192). Which is bigger: x or 1.9?
1.9
Let y be -1 - 88/4 - 0. Let z be 2 + -5 - y/7. Is -2/55 greater than z?
False
Let c = 543.9 - 544. Is c less than -44?
False
Let b(l) = l + 12. Let d be b(-9). Suppose 0 = -d*v - 97 - 119. Let i be 2/9 - (-160)/v. Which is bigger: i or -4?
i
Let f = -20 + 54. Is f bigger than 0?
True
Let u = 73 - 63. Let x(c) be the third derivative of -c**5/60 + c**4/3 + 4*c**3/3 - c**2. Let d be x(u). Is -12 greater than or equal to d?
True
Let k be 0 - ((6 - 2) + -3). Let i = -55 + 163/3. Which is bigger: i or k?
i
Let m(k) = 4*k - 2. Let y be m(1). Suppose -y*n - 8 = 2*i, 11*i = -3*n + 16*i + 12. Which is greater: n or 3?
3
Let o = 4 + -3.6. Let b be (2/20)/(24/(-7620)). Let f = -32 - b. Which is smaller: f or o?
f
Let j(x) = x**2 + 4*x + 3. Let w be j(-2). Suppose 3*d = 289 + 341. Let q be 62/d + 9/(-21). Which is smaller: q or w?
w
Let h = -29 - -18. Let w(d) = -3*d**2 - 4*d. Let f be w(2). Let p = f - h. Which is greater: -8 or p?
-8
Let u be (6 - 5165/575) + 3. Which is bigger: u or 0?
u
Suppose 0 = -7*n - 0*n. Let y be (-316)/(-144) + 4/(-2). Let c = -19/468 + y. Is n less than c?
True
Let r = 18 + -52. Let j = r + 33. Is j > -13?
True
Let i be (0 + -1 - -2) + (-17476)/34. Is i at most as big as -515?
False
Let j be ((-14)/(-6) + (-4)/12)/22. Which is smaller: 9 or j?
j
Let s(t) = 8*t**3 + t**2 + 3*t + 2. Let u be s(-2). Which is smaller: 5 or u?
u
Let p be ((-736)/220 - -3) + 576/720. Let z(o) be the second derivative of o**5/20 + o**4/6 + o**3/3 + o**2/2 - o. Let a be z(-1). Which is smaller: p or a?
a
Let k be -3 - ((-2)/(-5) - 340/(-25)). Is k at least -18?
True
Let z be 4/34 - 6*(-804)/(-9792). Is z greater than or equal to 88?
False
Let d = 1798593/184 - 9775. Which is smaller: 0 or d?
d
Let p = -9/23 - -2272/5865. Which is smaller: -1 or p?
-1
Let c be (-4)/12*-1 - 1. Let u = 39/7 + -43/7. Which is bigger: u or c?
u
Let q be (-91)/(-21) + (-4)/(-6). Suppose 4*p + 3*w - 4*w = 35, 3*p = -4*w + 50. Suppose -p = -2*y, 6*a + q*y = 3*a + 22. Is a > 3/19?
False
Let w be ((-8)/(-16))/(1/(-302)). Is w at most as big as -152?
False
Suppose 10*f + 20 = 15*f. Let a be 2/(-51)*(-1278)/(-210). Let r = a + -4/85. Are r and f unequal?
True
Let u(j) = 2*j**2 + 35*j + 74. Let b be u(-17). Which is bigger: 22 or b?
b
Let w be 1/16*(-4)/16. Suppose -4 = -2*m - 2. Which is smaller: m or w?
w
Let n(g) = -g**2 + 4*g - 1. Let j be n(2). Suppose 2*w + 66 = 5*r + w, -j*r = -w - 38. Suppose -c = -3*c - r. Which is greater: -8 or c?
c
Let t be -2 - (-7 - (-766)/4). Which is greater: t or -186?
-186
Suppose 4*r - 3044 = -0*r. Are 760 and r nonequal?
True
Suppose f + 3*s = -f - 2, 5*s - 5 = -5*f. Suppose f*w + 43 = 3*l, 0*w - 3*w - 3*l - 21 = 0. Which is smaller: w or 0?
w
Let w = 1076 - 1129. Is -52 smaller than w?
False
Let g be 138 + ((-6)/3 - 1). Let r = -75 + g. Which is smaller: 59 or r?
59
Suppose 0 = -2*p - 17 - 1. Let s be 8/6*p/3. Let w be ((-2)/(-4))/((-14)/s). Is 0 at least as big as w?
False
Let j = -12 - -15. Let v(t) = 0*t + t + t - j. Let o be v(7). Is 11 greater than or equal to o?
True
Suppose -2*f - 4*u + 1 = 3, -3*f + u = -18. Let p be f/25 + 12/(-10). Let t = 1/171 + -862/1197. Do p and t have different values?
True
Let t = 393 + -109255/278. Let d = -571/4170 - t. Which is greater: d or 0?
0
Suppose 4*c = 4*u + 2*c + 10, -3*c = -4*u - 5. Let m be 23/5 - (69/15 + u). Which is smaller: -1 or m?
-1
Suppose -43 - 14 = b. Suppose -3*f - 275 = 2*f. Is b equal to f?
False
Let r = -280 - -280.3. Which is greater: 5/3 or r?
5/3
Let g = 16.9 - 3.9. Let n = g + -8. Which is bigger: n or 0.1?
n
Let a = 3 - 2. Let p be (-1)/4 + (-329)/28. Let v be (-8)/(-30) - p/90. Is a smaller than v?
False
Suppose 5*d - 4*d = -7. Suppose 12*l = 13 + 47. Suppose -l*v = 10 + 15. Is d not equal to v?
True
Suppose -5*p + 19 = k, -p + 2*p - 2*k = -5. Suppose 4*g - 3*g = 2*u - 2, p*g = 3*u. Which is greater: -0.22 or g?
g
Let i(o) = -o**3 - 21*o**2 - 17*o + 14. Let d be i(-20). Is d not equal to -136/3?
True
Suppose -2*p + 21 = 4*n - 49, n + p - 16 = 0. Is n greater than or equal to 19?
True
Let w be (1/(-13)*1)/1. Let t = 19 + -17. Suppose -3*s + 3 = -0*s + 3*h, -t*h + 2 = s. Which is greater: s or w?
s
Let z = -5.4 - 0.6. Let m = -6.911 + -0.089. Let b = z - m. Is b greater than 4?
False
Let b be 14/6*2394/931. Which is smaller: -99 or b?
-99
Let n = -5378.008 - -5355. Let o = n - -0.008. Let w = 23 + o. Which is smaller: w or 1.4?
w
Let x be (1/(-2))/(14763/(-336) - -44). Let g = 19 - 9. Let q = 2 - g. Is q bigger than x?
False
Let j(o) be the second derivative of -o**5/20 - 5*o**4/12 - 7*o**3/6 - 3*o**2 + 5*o. Let r be j(-4). Let v = r - 4. Is 7/4 at least as big as v?
False
Suppose 3*n = o + 33, -5*n + 0*o + 51 = -3*o. Which is greater: n or 15?
15
Let b = 10 + -10. Suppose b*h - 5 = -5*h. Let m be -2*3/6*h. Are 1/5 and m unequal?
True
Let w(i) be the first derivative of -45*i**2/2 + 3. Let o be w(-1). Let m be 29/9 - 10/o. Which is smaller: m or 1?
1
Let u be (1/3)/(1/207). Suppose a - 4*o = -4*a - 76, 4*a + u = -5*o. Which is bigger: a or -15?
-15
Let c(g) = g**2 - 20*g - 29. Let f be c(21). Let w = 0 + f. Doe