= -g**2 + 18*g + 6. Let a be j(18). Let q be 8/(-11)*(27/4 - a). Let u(i) = i**3 - i**2 + 1. Let y be u(-1). Which is greater: q or y?
q
Let a = -425 + 471. Suppose -5*q + 74 + a = 0. Are q and 20 equal?
False
Let i(b) = -11*b + 4. Let v be i(-6). Suppose -59*m + 89 = -29. Suppose -v = 5*j - 3*h, 2*j - m*h - h + 19 = 0. Which is bigger: j or -15?
-15
Let b = -35 + 24. Suppose -y + 5300 = -2*o + 5324, 105 = -4*y - o. Which is smaller: b or y?
y
Let y(q) = -3*q**3 + 11*q**2 + 37*q + 40. Let f be y(-9). Which is smaller: 2784 or f?
2784
Let h be (-12)/3 - (-5 + 3). Let d be ((-20)/8)/((-1)/(-2)) - 1. Are h and d non-equal?
True
Let b = -1977 - -7843/4. Which is smaller: b or -17?
-17
Let g = -7360158/565 + 523582298766/40192405. Let j = g + 2/2453. Is 6 greater than or equal to j?
True
Let w = 71537/1199 + -656/11. Which is smaller: w or -0.3?
-0.3
Suppose 0 = 4*j - 5*v - 228, -176 = j - 4*j + 5*v. Let m be (24/(-20)*-5)/j. Let n = m - 61/78. Is n at most as big as 0.04?
True
Suppose 4*z - 3*d + 613 + 6045 = 0, z - 5*d + 1656 = 0. Let m be z/154 - 2/11. Let l = -14 + 0. Is l bigger than m?
False
Suppose -19*q + 44*q - 150 = 0. Let m(i) = -22*i - 140. Let n be m(q). Is n >= -272?
True
Let r = 375 + -372. Let q be (74/(-6))/((-2)/(9 + r)). Is q <= 75?
True
Let u be 208/(-105) - 1*-2. Suppose 5*j - 20 = -5*l + 90, 2*j - 3*l - 34 = 0. Suppose 0 = j*i - 27*i - 7. Is i bigger than u?
False
Suppose -2892*v - 3816 = -2884*v. Which is bigger: v or -3330/7?
-3330/7
Let p = 87/74 + -25/37. Is -1751 bigger than p?
False
Let g = -39 - -37. Let x(l) = -3*l - 9. Let r be x(g). Let y be (-2)/r + 236/(-372). Is 1 less than y?
False
Let y be (70 - 67) + 28/(-8). Is y less than -1/16?
True
Let p = 3760 + -3765. Which is greater: p or 100?
100
Suppose 13*z + z = -13*z - 3402. Which is greater: -39 or z?
-39
Suppose 4*f - 5 = 3. Suppose 2*q - 7 = 5*d - 22, f*d + 4*q = 30. Suppose 0*r = -d*r + 25, 2*u + 2*r - 2 = 0. Which is smaller: u or -10?
-10
Let t = -375 + 259. Let f = -131 - t. Is f less than 6?
True
Suppose 7 + 3 = 2*c. Suppose x - 35 = c*f, -54 = -3*x - f - f. Suppose 0 = 16*b - x*b + 116. Is b > 29?
False
Let z be ((-21)/6 + 5)*4. Let p be 6/(-12)*3*4/z. Is p at least -7/32?
False
Let h be ((-12)/9 - 0)*(-6)/92. Let g = -89016 + 22521003/253. Let c = g + h. Are c and 0 unequal?
True
Suppose 9*n + 0*n = -11*n. Which is bigger: 98/67 or n?
98/67
Let n = 29 - 35. Let x be 5/(-2)*(-2 - (-310)/75). Is x greater than or equal to n?
True
Let x = -0.4578 + 1.4578. Is x at least 202.89?
False
Let r(j) = -j**2 + 8*j - 10. Let w be r(6). Suppose 72 = w*m - 10*m. Let g = m + 5. Is g >= -9?
True
Let n = -7/36 + -59/252. Let u(g) = 2*g**3 - 8*g**2 - 10*g - 1. Let h be (28 - 33 - -3*2) + 4. Let x be u(h). Is x at least as big as n?
False
Suppose -10044 = 68*f - 1068. Is -113 less than f?
False
Suppose -g - 3*g = 0. Let w = -2549/5 + 237112/465. Let t = w + 1/93. Which is smaller: t or g?
g
Let r = 1.537 - -285.363. Let d = -287 + r. Is 85 at most as big as d?
False
Let g = 114861 - 691795/6. Is -438 > g?
True
Let d(v) be the third derivative of -1/120*v**6 + 0 + 1/12*v**5 + 1/4*v**4 + 25*v**2 - 2/3*v**3 + 0*v. Let m be d(6). Is -6 less than m?
True
Let o be 1 - (12*6 + 6). Let n = o - -76. Let p be (-6)/40*5/2. Do n and p have the same value?
False
Let x(g) be the second derivative of 23*g**3/6 - 23*g**2 - 11*g - 2. Let q be x(2). Is -3.4 greater than q?
False
Let c = 60508.4 + -60508. Let z(o) = 32*o - 1. Let l be z(-1). Is c bigger than l?
True
Let s be ((-3)/2)/(336/(-1960)). Are 0.4 and s non-equal?
True
Let a = -43 + 43.58. Let u = 0.4 - 0.3. Is a less than u?
False
Let y = 272 - 348.2. Let g = -74 - y. Let d = 2.6 - g. Which is smaller: 11 or d?
d
Suppose -2*b - 3*h = 144, 2*b - 3*h = 10 - 142. Which is smaller: -74 or b?
-74
Suppose 0 = -4*p - p - 45. Let n be 6/p*3 - -5. Let t be (12/16)/(n/(-2)). Is t at most -0.1?
True
Suppose 24 = 178*l - 177*l. Let m be (12/l)/((-2)/(-4)). Which is greater: m or -2/19?
m
Let b = -2468 + 2469. Does -14/31 = b?
False
Let d = -15412 + 61649/4. Which is bigger: 7705 or d?
7705
Let p = 0.086 + 2.014. Let t = p - 2.2. Let r = 82 + -73.4. Which is bigger: r or t?
r
Let w = -1820 + 1808. Is -16 equal to w?
False
Let t = 323 - 263. Let i = 101 + t. Is i < 162?
True
Suppose -156*i = -4*u - 159*i + 3209, -3*u + 2443 = -5*i. Which is smaller: 808 or u?
u
Let z be (-8 + 28)/((-4)/(-498)). Suppose 31200 = 5*y + z. Let x be 6/4*((-120)/y)/5. Which is bigger: x or 1?
1
Suppose 1045 = -4*c + 7837. Suppose c = -71*i + 77*i. Is i != 283?
False
Let r = -5.5 + 4.7. Let v = 78.82 - 1.82. Let m = 75 - v. Which is greater: m or r?
r
Suppose -3*w + o = -2*o - 45, 2*w - o - 30 = 0. Let s = 1132 - 771. Let i = s + -344. Are w and i unequal?
True
Let j(z) = -z - 21. Let u(t) = -2*t - 21. Let x(l) = 3*j(l) - 4*u(l). Let k be x(-6). Let i be k/27 + 116/6. Which is bigger: 20 or i?
20
Let a be (-1)/5 + 288/(-60) - -16. Suppose 112 = a*w + 79. Is 35/8 at least as big as w?
True
Suppose 1252 = -4*r + 5*i + 3996, -2756 = -4*r + 2*i. Which is greater: 688 or r?
r
Let n = -1574.6 + 1572.6. Is n <= -981?
False
Let p(f) = 2*f - 28. Let h be p(14). Let i be ((-2)/8)/(3/(-12)). Let g be i/(-78)*-74 + (3 - 4). Which is smaller: h or g?
g
Let n = -50 + 62. Let b = 1018 - 1007. Is n > b?
True
Let f be (8 - 3) + (-5)/(-2 + 7). Suppose -8 = f*o, -28 - 84 = 5*y + o. Which is greater: y or -21?
-21
Let c(n) = 29 - 606*n - 2*n**2 - 607*n + 1203*n. Let f be c(-6). Is f at least 164/9?
False
Let p be 24/(-30)*26/52. Are p and 11512 non-equal?
True
Let n = -0.3388 + 0.6388. Let g be ((-17)/2)/((-1)/(-2)). Is g greater than n?
False
Let c = 194 - 191. Suppose 0 = 5*l - s - 64, 3*l - 5*s - 16 - 18 = 0. Suppose -l*a = -16*a - c. Does a = -3/4?
False
Let z(j) = j**3 - 2*j**2 + j - 6. Let c be z(5). Let s = 102 - 29. Is s at most c?
True
Let h(t) = 6*t**2 - 108*t - 484. Let n be h(-4). Is -9 greater than n?
False
Let n = 270.4 - 270.4. Is 868 >= n?
True
Let h(z) = 2*z**2 - 22*z + 37. Let k be h(9). Let f = -136 + 96. Let i be f/(-4)*2/(-42). Which is bigger: i or k?
k
Let n(j) = 178*j**3 + j**2 - 3*j + 2. Let a be n(1). Suppose -5*f + 885 = -41*b + 42*b, 2*f = b + 361. Is f greater than or equal to a?
True
Let u = -5051/3 + 15352/9. Let z = -6971/315 + u. Is 1 > z?
True
Let a(n) = -n**2 - 53*n - 408. Let y be a(-19). Which is smaller: y or 242?
y
Let y be (-5)/((-35)/3) - (5454/(-63) - -14). Let u(t) = -8*t**3 + 2*t**2. Let j be u(-2). Is j at most y?
True
Let o be 4 + (-31)/7 + 706/910. Let k = -4/65 + o. Is 24 smaller than k?
False
Suppose 0 = -3*q - 4*x - 21, 206 = -4*q - 2*x + 188. Let t = -3775/1032 - 3/344. Is t at least as big as q?
False
Let l = -0.09702 + -0.90298. Which is bigger: l or -3518/5?
l
Let k = 2/11743227 + 46145662892/35229681. Suppose -5240 = 4*y - 0*z + 4*z, -2*y + 4*z = 2620. Let r = k + y. Is r > 1?
False
Let b be 34/289 - 68/578. Is b less than -4769?
False
Let z be (1 + 39/9)/(-5 + -11 + 18). Is -7 < z?
True
Let u = -0.2 + -0.8. Let v = -43.6298 + 0.0298. Let n = v + 44. Is n at least u?
True
Suppose -k + 15 = -2*n - 90, 205 = 2*k + n. Suppose -4*m + 36 = -2*l, 4*m - 11 - k = 5*l. Which is smaller: -1/3 or l?
l
Let y be 0 - (-4)/6*306/12. Let s be (-4)/2 + (-42)/(-6) + -4. Suppose s - 19 = -v. Which is bigger: v or y?
v
Suppose 4 = -3*q + 1. Let b be (q/(-2))/(6/48). Let w(d) = -d**3 - 13*d**2 - 2*d - 23. Let y be w(-13). Which is smaller: b or y?
y
Let o be -8*(-2)/(-331440)*1*6. Which is greater: o or 1?
1
Let q be (-10 - 80/(-10)) + 148/75. Let l be 2/6*(-6)/(-7). Does l = q?
False
Let h(a) = 2*a - 3. Let y be h(3). Suppose -m = -4*m + y. Let g be 100/(-120) - 84/(-88). Which is smaller: g or m?
g
Let w(f) = -2*f - 2064. Let l be w(4). Which is greater: l or -2073?
l
Let c be (9 + -7)/((-4)/(-6)). Suppose -22 = -2*s - 2*g + g, c*s - 5*g = 46. Let q = 9 - s. Is -2 greater than or equal to q?
True
Let c = -58298 + 181244/3. Let q = c - 2067. Is q greater than or equal to 51?
False
Suppose -3*r - 3*j + 12 = -2*j, 4*r = 4*j. Suppose o - 3*y = -3, 9 = -2*o + r*y + 2*y. Which is bigger: -19 or o?
o
Let o be (-16)/(-12)*1*9/(-6). Let k be o/(-13) + 504/(-2262). Suppose 3*c + 0 = 3. Is c smaller than k?
False
Let p be -1 + 4 + -2 - 2. Let i(g) = -4*g**3 - 