6683. Which is bigger: -1152 or r?
-1152
Let n(s) = 2*s**3 - 11*s**2 + 18*s - 102. Let d be n(5). Is -123 < d?
True
Suppose 2*s + 2*h + 466 = 0, -5*h - 64 = s + 165. Let c = s + 207. Suppose -5*q - 127 = 2*r, 0 = 5*q - 5*r + 2*r + 122. Which is bigger: c or q?
q
Suppose 2*q = 5*m + 6*q - 54, 5*q + 34 = m. Suppose o + m = 11. Let i be 7/21*(0 - o). Which is bigger: i or 5?
5
Let r = 5.594 + -5.094. Which is smaller: -0.1875 or r?
-0.1875
Let l = -10811/762762 + 1/5334. Let v be (6/4)/((-114)/(-76)). Is l <= v?
True
Let o = -2.531 + 2.6297. Which is smaller: 1 or o?
o
Let x(k) = k**2 + 7*k - 19. Let r be x(-9). Let m be (r/1 - 15)/(-2). Suppose -4*j + m*n = 3*n + 452, -5*n = -5*j - 565. Which is smaller: j or -112?
j
Suppose 6*a - 3*k + 64 = 8*a, -4*a - 3*k + 134 = 0. Let h be (4/14 - 10/a) + 6. Suppose -3*r + h*r = 0. Does r = 2/27?
False
Suppose 0 = -5*q - 0*q. Suppose 0 = 42*w - 47*w. Are w and q nonequal?
False
Let p be 330/(-22) + 17 + -9 + 0. Is 344 smaller than p?
False
Suppose 4*z - 104 = -4*s, 3*z + s = -18 + 104. Let f(k) = 3*k**2 - 69*k + 6. Let c be f(23). Suppose c*b - 52 = 128. Is z smaller than b?
False
Let i = 265 + -266. Let o be (0 - (-3)/6)/i. Is -14 >= o?
False
Let w = 7 + -8. Let u = -1 - w. Let x = -105650/61 - -1732. Are x and u equal?
False
Suppose a - 581 = -3*m, 4*m = 2*a - 1048 - 74. Are 2281/4 and a non-equal?
True
Let i = -693 - -646.3. Let b = -47.7 - i. Suppose -3*t + 12 = 3*p, 5*p + 4*t - 4 = 11. Are b and p nonequal?
False
Suppose 4*y + 30 = -6*m + m, 0 = 4*y + 20. Let j be (-4 + -4 + m)/(-2). Do j and -7 have the same value?
False
Let i = 49 + -48. Let t be (66/(-759))/(-3*i). Is 1 at least t?
True
Suppose -4*j = 2*o + 60, 5*o = 2*o - 4*j - 82. Let g = o - -26. Which is bigger: -0.1 or g?
g
Suppose 0 = 3*p + 6, 128*p - 130*p = 5*k - 181. Let x be 4 - (-2 + 37 + 0). Let v = x - -67. Is k < v?
False
Let k(d) = d + 14. Let u be k(-11). Suppose 0 = 17*i - 14*i + u. Suppose -4*z + 4*y = 16, -z = 2*z + y - 4. Which is bigger: z or i?
z
Suppose 4*g - 6*g + 60 = 0. Suppose -2 = 2*m + g. Let o be (-90)/(-168) + (-2)/m*-2. Is o at least 17?
False
Suppose 4*b - 3*v = -45, -3*b - 2*v - 261 + 206 = 0. Is b > 548?
False
Suppose 5*c = -3*i + 40, -412*c + 414*c = 10. Does 102 = i?
False
Let l be 4/(-10) - (-51912)/105. Suppose -39*y + l = -26*y. Do 40 and y have the same value?
False
Let b(w) = -w**2 - 8*w + 140. Let t be b(6). Does t = 40?
False
Let j = 271 - 269. Suppose 0 = k + 2*a + 59, j*a + 218 = -3*k + 37. Which is smaller: -58 or k?
k
Let r be (-4)/6*8/(480/48285). Which is greater: r or -536?
-536
Let m be (-1301935)/(-1753320) + (-6)/(-32)*-4. Let u = m - -2/2307. Which is smaller: -0.2 or u?
-0.2
Suppose 0 = w - 14 + 14. Suppose -2 = 4*k + 2*i + 12, w = 2*i - 2. Is -21 > k?
False
Let h = 1440410/11 + -131050. Is h greater than or equal to -103?
False
Let j be 15/9*(-18)/(-15). Let i(g) = -g**2 - g - 1. Let q(n) = n**2 + 9*n - 3. Let k(c) = j*i(c) + q(c). Let l be k(7). Do l and -1 have the same value?
False
Let m be 3900/228 - (-2)/(-19). Is 295/16 greater than m?
True
Let l = 124829 + -124901. Let y(j) = 2*j**3 - j**2 + 3*j + 3. Let n be y(-3). Which is greater: n or l?
n
Suppose 22 = 3*c + v + 8, 0 = -5*c + 5*v - 10. Is c at most as big as 1.65?
False
Let o = -68366.6362 + 68361. Let s = o - 0.0738. Let y = s - -0.31. Is y greater than -1?
False
Let f = -2820 - -2824. Is f <= 5?
True
Let o(k) = -54*k + 7. Suppose 0 = -2*q + 122 - 124. Let n be (-2*q/6)/((-1)/(-3)). Let l be o(n). Is -49 less than or equal to l?
True
Let j be (-8)/(-7)*(-2)/8. Suppose 0 = 2*p + 13*l - 10*l - 325, -l = 5*p - 793. Let d = p - 172. Which is smaller: j or d?
d
Suppose 0 = -27*a + 1572 + 10011. Is a > 429?
False
Let b = -1849 + 1849.25. Which is bigger: b or 5?
5
Suppose -22 = l + 5*z, 757 = -2*l - 3*z + 734. Let u(n) = -n. Let v be u(-2). Is l smaller than v?
True
Let s = 162 - 171. Let m be (4/(-1512))/(s/(-18)). Is 0 greater than m?
True
Let d be 238/(-12)*(1 + 10 + 441/(-49)). Do -40 and d have different values?
True
Let p be (-1 + 135)*(-260)/48. Let l = p - -722. Let r be 16/26*260/(-40). Is r less than l?
True
Let j = -7910.6 - -7307. Let v = 604 + j. Is -3 bigger than v?
False
Let z = -233 - -143. Let p = 60 + z. Let a = -29.8 - p. Is a less than or equal to -6?
False
Let d(a) be the first derivative of 27 - 20*a + 1/2*a**2. Let b be d(15). Which is greater: -3 or b?
-3
Let z(x) = -x**2 - 9*x. Suppose -6*f + 18 = -8*f. Let t be z(f). Let h be 4/12*15/190. Is h >= t?
True
Suppose 11*v + 13*v - 72 = 0. Let y be (-1 + 2)*((1 - v) + 2). Let p be 2625/873 - (4 + -1). Which is greater: y or p?
p
Let v = -319984 + 319996. Let o = -11 - -7. Let s be (-34)/o*(2 + 0). Is v greater than or equal to s?
False
Let q be 4/22 + 300/44. Suppose a - q*a = 24. Let o be (a/14)/((-27)/(-7)). Is o smaller than 1?
True
Let t be 90/(-185)*-10 - (7 - -1). Is t at most as big as -3?
True
Let a = -0.049 + 0.065. Let d = a + 0.084. Are d and -37 equal?
False
Let i = -175 - -148. Let r = i + 27.7. Is 11 equal to r?
False
Suppose 141*o - 154*o + 5*p + 68746 = 0, -4*p = -2*o + 10586. Is o > 5286?
True
Let j = -13 - -15. Suppose j*z - 5*z = 51. Let y = z - -16. Is -33 at most y?
True
Suppose -144 + 108 = -9*q. Does 74/15 = q?
False
Suppose g = -2*k + 28, -5 = -2*k + 5*g - 1. Let b be (-9)/4*16/k. Are b and -49/11 equal?
False
Let u = -565 + 377. Let h = -207 - u. Which is smaller: h or -2/7?
h
Let u = -234 + 249. Suppose 5*l = 11*l + u*l. Is l >= 1/186?
False
Suppose 1819*k = 1810*k + 162. Which is greater: k or 39?
39
Let v = 47.99692 + 0.00308. Does -1 = v?
False
Let y be (74 - -3)*(-57)/18. Which is smaller: y or -243?
y
Let p be 4*(-11)/((-55)/10). Suppose -p + 23 = -v + 4*b, -21 = -v - 5*b. Is -4/47 >= v?
False
Suppose 0 = 15*d + 32 - 77. Let p(y) = 2*y**3 - 6*y**2 + 2*y + 16. Let x be p(d). Is 0.1 less than x?
True
Let a = 27478 + -27474.0106. Let k = a + 0.0106. Is 6 less than or equal to k?
False
Let s(c) = c**3 + 7*c**2 - 27*c - 184. Let p be s(-5). Which is bigger: 2/4905 or p?
p
Let j be 26/39 + (-8)/(-24). Which is bigger: 2/4105 or j?
j
Let f be (((-66)/(-55))/((-12)/4))/((-4)/(-10)). Are -3/3890 and f equal?
False
Let l = 0.06 - 2.06. Let v = l + 1. Let j(f) = 2*f**2 + 95*f + 340. Let n be j(-44). Is n less than v?
False
Let l = 1 + 0. Let a(b) = b + 31. Let v be a(-34). Let i be (v - -2)*(1 + -1 + 1). Is i at most as big as l?
True
Let z = -14607 + 14948. Let r = 312 + 29. Is r less than or equal to z?
True
Let t be (-39050)/230230 + -1 + 8/7. Is 0 < t?
False
Let c = -40289 - -59856. Is c greater than 19568?
False
Let c be 40*(-2)/6*-9. Suppose 4*y + f + 140 = 0, y + 3*f = 4*y + c. Is y != -35?
True
Let l(i) = i**3 - 6*i**2 - 54*i - 56. Let t be l(-4). Is 7/82 at most t?
False
Let h = -2 - -29. Let s(c) = c**2 - 23*c - 56. Let m be s(h). Let p = -49 + m. Is 6 not equal to p?
True
Let k(u) = 235*u**2 - 222*u + 5. Let v be k(1). Let b be (-4)/16*8/3. Which is bigger: b or v?
v
Suppose 4*l - 223 = 5*v - 4246, 0 = 3*l - 4*v + 3018. Which is greater: l or -999?
-999
Let i(r) = r + 14. Let l be i(-13). Let v be -371*(-8)/(-4) - (-4)/2. Let u = v + 12586/17. Is u at least as big as l?
False
Let y be (-12 - (2 - 2))*13/((-1755)/10). Let l be -1 + 1/(-1) + 4. Suppose -5*d - q = -6*q, -d - q = -l. Which is bigger: y or d?
d
Let q = -107/204 + -23/102. Which is greater: q or 746?
746
Let r(h) = -34*h - 238. Let t be r(-7). Let s be 44 - 38 - (-345)/(-58). Does t = s?
False
Let v = -11414 - -11560. Which is smaller: 118 or v?
118
Let q = 1615.1 - 1611.26. Which is greater: q or 0.3?
q
Let t = -1057.2 - -1065.2. Do 1.64 and t have the same value?
False
Let j(p) = -30*p + 102. Let a(s) = -2*s + 1. Let f(o) = 18*a(o) - j(o). Let c be f(-5). Is -55 < c?
True
Let r = -17/3355 + 43739/1348710. Which is greater: 0 or r?
r
Let p = -3457 + 3872. Which is smaller: 0 or p?
0
Let a(f) = 8*f + 65. Suppose 0 = -3*s - 15, -3*y + 2*s - 19 = s. Let q be a(y). Which is smaller: -4 or q?
-4
Suppose -4422 - 6049 = 3*u - 2*y, -u = -2*y + 3497. Let g = -177847/51 - u. Which is smaller: g or 0?
g
Suppose -3*h + 3 = -5*z - 3, h - 5*z + 8 = 0. Let u = 4 + h. Let p be (22/4)/(15/(-6) - -3). Is u > p?
False
Suppose 9*c - 4*c = -534240. Let d be (50/45)/(-5) - 22418/c. Let j = d +