 2*g + 39*g**2 + 2*g**2. Let q be c(-2). Which is greater: -12 or q?
-12
Let x(r) = -r**3 - 5*r**2 + 19*r + 41. Let b be x(-7). Let v be (12432/1110)/(1 + b/(-5)). Let m = 68 + -124. Are m and v non-equal?
False
Suppose -y + 38 = 2*f, 59*f - 28 = 58*f + 4*y. Is f not equal to 394/19?
True
Suppose 2*m + 2*n - 4750 = 0, 2*n = 2*m + 5*n - 4752. Which is bigger: 1/2 or m?
m
Let i(c) = -16*c + 4. Let y be i(1). Let p = y + 13. Is 1/81 less than or equal to p?
True
Suppose 4*t = -0*t. Let l = 0 - t. Let n(o) = 132*o - 1055. Let x be n(8). Is l <= x?
True
Let m = 2523 - 569. Which is bigger: m or 2/7?
m
Let o(q) = -6*q**3 + 2*q**2 + 3*q - 6. Let u be o(-2). Let w be 3 + 321/(-132) + 8/u. Are -0.7 and w nonequal?
True
Let r = 343 - 328. Let o be (0 + 12/(-104))/(r/5). Which is smaller: -6 or o?
-6
Let r = -10918 - -6678. Is -4239 at most r?
False
Suppose 976*w + 4*c = 979*w + 4, -w = 4*c - 4. Which is greater: w or -35/1174?
w
Let p be -9*((-9)/6)/(18/8). Let z be 255/(-105) + p/14. Are z and -11/13 unequal?
True
Let n = 3519/403 + 15/403. Which is bigger: 10 or n?
10
Suppose -14469*j + 14437*j = -442912. Do j and 13840 have the same value?
False
Let f = -6873 + 8063. Is f greater than 1192?
False
Suppose 0*t = m + 3*t - 20, -t + 170 = 5*m. Let f(c) = -34*c**3 - 5*c**2 - 20*c + 2 - 37*c**3 + 72*c**3. Let u be f(8). Is u equal to m?
False
Let c(a) = -a - 1. Let d be c(-5). Suppose 0*h + 2*p = 5*h + 235, 195 = -d*h + 3*p. Which is bigger: h or 1?
1
Let w = -143 - -264. Let x = w + -229. Let z = 104 + x. Is z <= -2?
True
Let v = 84 - 245/3. Suppose 0 = -5*c + 4*r + 2278, 3*r = 4*c - 325 - 1498. Let q = c + -457. Is v < q?
False
Let h be 362/(-2640) - 12/(-240). Is h greater than 1?
False
Let i = 543 - 536. Let u(d) = -d**2 + 14*d - 9. Let r be u(i). Which is smaller: r or 198/5?
198/5
Let x(f) = 3*f + 3. Let g be 12/(-9)*(-12)/8. Let l be x(g). Suppose 12*t - l*t = -6. Is t at most 3?
True
Let s = 62429/162 + 11/81. Which is smaller: s or 385?
385
Let u = -4120 + 4104. Let t be (-262)/10 + (-1)/(-5). Let s = -43 - t. Is u less than or equal to s?
False
Let l be (-6)/15 - 144/(-10). Let i = -101 - -233/3. Let d = i - -221/6. Is d less than l?
True
Let r be 3*((-1)/(-1) - 0). Let k be 8/r*3/10. Suppose -466*c = 117*c - 1464 + 298. Are k and c equal?
False
Let r(v) = -4*v + 2. Let y(x) = 6*x - 15. Let m be y(3). Let h be r(m). Is h equal to -10?
True
Let o = 8665 - 8640.4. Is 22 < o?
True
Let f be -99 - -97 - (-8)/2. Are -3921 and f non-equal?
True
Let h(o) be the third derivative of 26*o**2 + 1/60*o**5 + 0*o - 5/24*o**4 - 5/2*o**3 + 0. Let r be h(7). Are r and -1/29 unequal?
True
Let w = -177.81 + 0.81. Let k = w + 176.9. Does k = 17?
False
Suppose -s - 3*i = 4338, -27*s + 32*s + 5*i + 21700 = 0. Is s at least -4342?
True
Let k = -84 + 174. Let s = k - 166. Let u = s - -73. Which is greater: u or -5?
u
Let c = 94 - 35. Let i = 44 - c. Let v be (-2)/7*((-5)/i - -2). Which is bigger: v or 2.3?
2.3
Let g be 5 + (-4578)/49 - 2. Let j = g + 91. Let q be 27/18*4/(-15). Is q <= j?
True
Let k = 7946 - 7944. Does k = -1733?
False
Let f be (-5)/(105/11741) + (-48)/(-504). Which is bigger: f or -558?
-558
Suppose 4*m + 4*k = 9*m + 280, 224 = -4*m + 4*k. Let o be (-304)/m - 3 - 4/(-7). Which is bigger: o or 25?
25
Let q = 73826/15 + -4926. Is -4 at most q?
False
Let a = 11 - 12. Let o = 4 + a. Let v be 6 - 13 - ((-13100)/190)/10. Which is bigger: o or v?
o
Let w = 1.6 - 3.6. Let p = -221 - -193.5. Let g = -0.5 - p. Is g > w?
True
Suppose -3*b - 3*z + 359 - 110 = 0, 0 = 5*z - 10. Let l be 2/(-1 + b/99). Let i be -13*1 + 0 + 1. Are i and l nonequal?
True
Let a(r) = -4*r + 1. Let y be a(-2). Suppose -13*c = -y*c. Suppose c = -j - 8*u + 3*u + 19, 4*j - 51 = 5*u. Is j equal to 16?
False
Let o be (-18)/(-126) - (-603)/(-7). Let t = -46 - o. Which is greater: t or 9?
t
Let u(t) = t**2 - 11*t + 4. Let j be u(8). Let d = 125 - 89. Suppose 2*g - 3*z = -44, 5*g + d = -3*z - 53. Do g and j have the same value?
False
Let f = 4201/28 - 547/4. Let d = f + -13. Let z = 383 + -377. Does d = z?
False
Suppose -15*g + 2 - 2 = -6*g. Which is smaller: 1/9893 or g?
g
Let d = -0.664 + 0.36. Let y = 0.37 + d. Is y >= -1/3?
True
Let f = -727 - -706. Let k be 1*2691/f + 6/42. Which is bigger: k or 3?
3
Let t be -3*1/(-6)*6 - 2. Let m be 4/(-6)*(3 + 0). Let r be m + (-336)/(-166) + 0. Is t less than r?
False
Let y(l) = l**3 + 5*l**2 + 2*l + 2. Let t be y(-2). Let c = 138 + 168. Let p be (-1)/(5 - c/60). Do t and p have the same value?
True
Let i = 16002.99 + -16147. Let d = i + 144. Which is smaller: -11 or d?
-11
Let l = 58 + 260. Is l less than 318?
False
Suppose 113*d - 26*d - 235 + 322 = 0. Let j = -427/15 + 109357/3840. Are d and j nonequal?
True
Let a(n) = n - 8. Let j be a(7). Let f be 1156/1456 + -69 + 73 + 19/(-4). Is j not equal to f?
True
Let d(j) = 23*j**2 - 4*j + 1. Let w be d(1). Let o be (6/w)/((-21)/(-35))*-22. Is o != -11?
False
Let f = -531/8 + 565/8. Which is smaller: 0.08 or f?
0.08
Let v be 1 + 841 + (-34 - -39) - 3. Which is smaller: v or 5?
5
Let q = 13081 - 12488. Which is smaller: q or 598?
q
Suppose 36*d = 40*d - 308. Let v = d + -63. Suppose 0 = -10*r + v*r. Is 0 < r?
False
Let v = -2993 - -3103. Is 107 at least v?
False
Let n be ((-335)/20 - -3) + 3/(-12). Let h = -10 - n. Which is greater: h or 0?
h
Let r = -3 + 2. Let l = -137.24 + 157.4. Let b = l + -20.2. Which is smaller: b or r?
r
Let o be (-20 - -13)*(-156)/42. Let j be -3 - -29*(-2)/(-2). Is o smaller than j?
False
Suppose 0 = -5*c - 3*j - 196, 4*c = c + j - 126. Let a(h) = -h - 8. Let p be a(-18). Let z be p/(-4)*(-328)/(-20). Is c less than z?
False
Let u = 2691 + -10819/4. Do u and -15 have the same value?
False
Let z be (12/8)/(6/72). Suppose -z*m + 19*m = 15. Let s be (-5)/2*(-24)/m. Is 2 greater than s?
False
Let x(g) = 2*g**2 - 73*g - 53. Let y be x(36). Let m = 29 + -118. Is y >= m?
True
Suppose 3*l + 1001 = a, 195*a - 192*a = l + 315. Which is greater: -324 or l?
-324
Suppose -2*g = 5*o + 761 + 3843, 4550 = -2*g + 4*o. Is g greater than -2287?
False
Let o(c) = 2*c + 5. Let x be o(2). Let q(p) = -2*p**2 - 28*p + 9. Let y be q(-14). Let k be 5*((y/15 - 2) + 1). Which is smaller: x or k?
k
Let n be ((558/8)/3)/((-174)/(-232)). Which is smaller: n or -12?
-12
Suppose -11*j - 13*j + 45*j = -70*j. Which is smaller: j or 3/964?
j
Let i = 15936 - 15945. Is i smaller than -15/2?
True
Suppose 78*v - 81*v = s + 1559, 5*s = 3*v - 7885. Which is greater: -0.4 or s?
-0.4
Let g(f) = -f**2 + 88*f + 8894. Let i be g(-60). Do 763 and i have different values?
True
Let y(h) = 14*h**2. Let q be y(-3). Let r be ((-6)/q)/(((-6)/(-4))/3). Which is smaller: r or 1?
r
Let h be 38/(-55) - (0 + 0). Let o = h - -12/11. Let b = 451601 - 451603. Is o bigger than b?
True
Let n = -4465 + 4433. Which is smaller: n or -16?
n
Let y(n) = 74*n**2 + 4*n + 1. Let k be y(-1). Let h = k + -59. Is 10 bigger than h?
False
Let s = 21221 - 21257. Is s < -154?
False
Let t be (-370)/(-111)*36/(-5). Let a be t/(-60) + 1568/(-20). Which is greater: a or -236/3?
a
Let v be (-1 + ((-3)/1)/((-9)/6))/1. Which is smaller: v or -1/3553?
-1/3553
Let t be -95*(-2 + (-36)/(-20)). Suppose 0 = i + 16*i + 357. Let w be i + t + 283/141. Which is smaller: -1 or w?
-1
Let x(u) = -2*u + 8. Let c be (-6)/10 - (-24)/(-60). Let f be (-2)/(c/10 + (-4)/10). Let j be x(f). Which is smaller: j or 33?
j
Let j = -374192/43 - -740763377/85140. Let f = 29/18 + j. Is f != -1?
True
Let k(w) = w**2 - 43*w + 406. Let h be k(29). Which is smaller: -5/137 or h?
-5/137
Let t(j) = j**3 + 27*j**2 + 46*j - 101. Let k be t(-25). Which is smaller: k or -3/929?
k
Let v = -249327/83 - -3004. Let r = 44109109821/5395 - 8175924. Let x = v + r. Is 2/5 smaller than x?
False
Let i(j) = -88*j**3 + 46*j + 47. Let b be i(-1). Is 83 greater than b?
False
Suppose 36*t - 3531 = -t + 206. Is t at most 101?
True
Suppose d - 3*b + 76 = -0*d, -b - 330 = 4*d. Let z = 28 + d. Which is greater: -55 or z?
z
Let i be ((-2)/(-7))/((-36)/(-420))*3. Let s be (i/14)/((-10)/190). Which is bigger: s or -14?
s
Let m = 535.12 - 535. Let p = 0.76 - 0.7. Is m smaller than p?
False
Let u = -525 + 524.938. Let f = u - -0.082. Is f > -1?
True
Let t(s) = -s**3 + 23*s**2 - 40*s - 39. Let g be t(21). Suppose -g*i = 2*i +