e (63/486 - 12/162)*5019. Is 278 < v?
True
Let y = -19/1295 - -26853/1653715. Is y equal to 0?
False
Suppose -4*s + 16 = 0, -1724 = g - 24*s + 25*s. Is g at least as big as -1727?
False
Let h(i) = -275*i**3 + 6*i**2 + 42*i + 52. Let c be h(-3). Is c != 7405?
False
Suppose -16*k + 176 = 4*f - 15*k, -2*f + 106 = 5*k. Is f smaller than -2.6?
False
Let j = 17762 + -8180. Are j and 9583 unequal?
True
Let v(y) = 11*y + 978*y**2 - 45 + 4*y - 977*y**2. Let w be v(3). Is 5 bigger than w?
False
Let f be -181 + 0*3/(-9). Let s = 161 + f. Suppose -4*p = -2*t + 62, 0*t = -5*p - t - 95. Which is bigger: p or s?
p
Let w(v) = -v**2 - 10*v + 5. Let a be w(-9). Let t(s) = -11 + 5*s**2 + s**2 + 22*s + 0*s**2 - 4*s**2. Let i be t(-12). Do a and i have different values?
True
Suppose -2*h = 5 + 37. Let p(b) = -b**2 - 26*b - 71. Let w be p(h). Let u be -4 - (w/(-6) - 6/(-3)). Is 3.2 at least u?
True
Let b(w) = -2*w**2 - 7*w + 6. Let l be b(4). Let h(n) = 287*n - 1488. Let x be h(5). Which is smaller: l or x?
l
Suppose 3*t = n + 829, -6*t + 4*n = -7*t + 259. Suppose 5*v = 145 - t. Is v at least as big as 4?
False
Let b = -5.3 - -134.14. Let m = -124 + b. Is 1 greater than or equal to m?
False
Let z be 1/(-2)*(-13 + -500*(-15)/580). Is 20/3 bigger than z?
True
Let y = 1270.778 - -1.222. Which is greater: -0.04 or y?
y
Suppose -5*g + 0*g = -410. Let n = g - 74. Suppose -s + n - 9 = 0. Is s bigger than 1/55?
False
Let h = -15537 - -77684/5. Which is greater: h or -1.18?
h
Suppose 0 = -3*t - 0*t + 5*c - 357, 0 = 2*t + 5*c + 263. Let x = -121 - t. Is -14 at most x?
True
Let x = -39 - -36. Let m be (-3)/(2 + x) - 3. Is m < -70?
False
Let j be -9 + (0 - 20872/(-2432)). Let i = 5/16 + j. Which is smaller: i or -0.1?
i
Let l be 5667294/(-4056) - -1 - 3/(-12). Let a = l - -1396. Which is smaller: a or 1?
a
Let v = 41 - 40. Let k be (31/(-3) - v)*3/7. Suppose -2*c = 5*m + 3*c + 30, 2*m + 16 = -4*c. Is k > m?
False
Suppose -x - 3*k = -8 + 34, -3*x + k = 28. Let z = -7 - x. Let r be (-2)/(-3)*(-1 - 2/z). Is r at most 4/37?
True
Let i = -237 + 379. Let a = i + -159. Which is smaller: -4 or a?
a
Let n be 5/(1560/2466) + -8 - (-6)/(-39). Are -2.57 and n nonequal?
True
Let c = 544319 - 17964200/33. Let t = -552/11 - c. Is t at most as big as 2?
True
Let r = -0.1 - -0.3. Let w = -68.852 + -0.148. Let i = w - -70.5. Is i greater than or equal to r?
True
Let g be 6214/39 - 18/(-27). Is g <= 0?
False
Let b = -575 + 301. Let q = b - -275. Which is smaller: q or 0.34?
0.34
Let x = 0.277 + 39.723. Let n = x + -39.86. Which is smaller: n or -4?
-4
Let i(r) = r**2 - 3*r + 5. Let p be i(4). Let a be p/18 - 17/(-2). Suppose q - s - 3 = 0, -q + 2*s = 2 - 0. Which is smaller: q or a?
q
Suppose -5*b = 176 - 506. Is b smaller than -32?
False
Let z = 3651 - 3126. Which is bigger: 526 or z?
526
Let l = -3056 - -2973. Is -416/5 != l?
True
Suppose 5*a - 11 = 9. Suppose 2*f + a*f = -42. Let y be (-12)/16 + -5 + (-25)/50. Which is greater: y or f?
y
Let f = -14275 + 356877/25. Let t be ((-2)/1)/((-3)/6). Suppose 3*d - 7*d + 16 = 4*k, -t*d = k - 13. Which is bigger: f or k?
k
Let g = -17583 + 90292/5. Is 474 != g?
True
Let j(a) = a - 3. Let z be j(3). Suppose 8*u - 6 - 2 = z. Is u smaller than -2/85?
False
Let b be (1554/(-189))/((-16)/(-3)*(-14)/(-56)). Are b and 1.18 non-equal?
True
Let x(j) = 3*j**3 - 9*j**2 + 2*j + 51. Let a(s) = 2*s**3 - 5*s**2 + s + 26. Let k(m) = 5*a(m) - 3*x(m). Let d be k(0). Which is bigger: d or -24?
d
Let d(h) = 5*h**2 + 48*h - 12. Let y be d(-10). Suppose -y*c = -127 - 649. Are c and 93 nonequal?
True
Let m be (-2*(4 + -3))/(-28). Let k(w) = -w**2 + 9*w - 5. Let j be k(8). Suppose 3*q - j*o + 2*o - 4 = 0, -5*o - 20 = -3*q. Is m greater than q?
True
Let d = -12 - -44. Let j be (27/(-4))/(12/d). Let r be (27/j)/(2/(-4)). Is 1 at least as big as r?
False
Let o = 17642 + -18396. Which is bigger: -1 or o?
-1
Let h = 2.3923 - 15.9023. Is -0.3 > h?
True
Let d = -1/128 + 779/1408. Suppose -3*x + 4 = -j, -6*x + 7*x = -3*j - 12. Let r be (-15)/(-42)*j/5. Is r smaller than d?
True
Suppose 0 = 5*d + 5*h + 5, 2*d + 4*h - 104 = -112. Is d > 58?
False
Suppose 956 = 11*t + 7*t - 808. Which is smaller: 97 or t?
97
Let d be 2*26/16 + -1. Let l(f) = 46*f + 42. Let o be l(7). Let m be o/175 - 4/50. Is d <= m?
False
Let s = 16505 - 16390. Is 151 < s?
False
Let s = 553/143 - 51/11. Let m = 131 - 128. Let i = m + -3. Is s at least as big as i?
False
Let f be (-1 + 1)*1/(-2). Let y(n) be the second derivative of n**4/6 + n**3/3 - 9*n**2/2 - 499*n. Let q be y(f). Which is bigger: q or -10?
q
Let n(g) = 2*g**2 - 6*g + 5. Suppose q = -7 + 8. Let d be n(q). Let b be 93/(-63) - (-3)/(2 + d). Is b equal to 0?
False
Let z(l) = 6*l - 44. Let b be z(7). Let c be (-1461)/6 + b/4. Let g be c/38 - -1 - -5. Is g at least -1?
True
Let h = 326 - 183. Let p = h - 411. Which is smaller: -267 or p?
p
Let x(n) = 18*n**2 - 12*n + 28. Let h be x(3). Suppose -t - 155 = -h. Is 4/103 smaller than t?
False
Suppose 5 = -3*u - 3*z - 16, -u = -5*z - 17. Let o be (-4 - -11) + 3/(6 + u). Let l be (o/(-730))/(6 - (-252)/(-35)). Is l greater than or equal to 0?
True
Suppose -5*k + 9 = i, -3*i + k - 1 = -12. Suppose -5*p = -2*v - i, -5*v + 32 = -0*v - 2*p. Let f be (2/v)/((-11)/44). Is f smaller than 1/26?
True
Let n be (-32)/216*7 - -1. Which is bigger: 10/3 or n?
10/3
Let z(g) = -2714 - 14*g + 3*g**2 + 2716 - g**2 - 3*g**2. Let h be z(-15). Which is smaller: -12 or h?
h
Let g be (-14)/6*(3 - 0). Let r be 48/84 + 156/21. Suppose -u - u = -3*a - 13, r = -a - 3*u. Is a smaller than g?
False
Let b = 12764 + -12259. Which is greater: b or 512?
512
Let k(r) = r**3 + 17*r**2 + 5*r + 87. Let u be k(-17). Suppose -2*y + 3*j - 253 = 0, -9*y = -5*y - u*j + 526. Which is bigger: -132 or y?
-132
Let w be -2 + 0 - (-29 - -4). Let u = w - 49. Suppose -22947*k = -22935*k + 312. Is k bigger than u?
False
Let w be ((-2)/(-4))/(4/58). Let j = -85 - -149. Suppose j*z - 60*z = 24. Which is greater: w or z?
w
Let k = -0.0409 + 0.3279. Let s = -0.387 + k. Which is smaller: s or -66?
-66
Let b(k) = k**3 + 50*k**2 + 381*k - 54. Let o be b(-38). Which is greater: o or 2795?
o
Suppose 3*r + 1485 + 2266 = -2*m, r + 5*m + 1233 = 0. Is -1254 <= r?
True
Let f = 12610.24 - 12822. Let i = 216 + f. Let d = i + -0.24. Is 1/4 greater than or equal to d?
False
Let t be ((-370)/15)/(-1*6/522). Is 2148 smaller than t?
False
Let q = 20.9 + 53.2. Let j = q - 74. Let k = -0.4 + 0.2. Do k and j have different values?
True
Suppose 0 = 24*v - 23*v + 29. Let u = -28 - v. Is u at most as big as 9/7?
True
Suppose 3 + 228 = -11*i. Let k be (-1 - i/15)*16/(-12). Which is smaller: k or -1?
-1
Let d = 28.484 - 17.384. Is 88 > d?
True
Let a be (2 + 1 + -7)*-1. Suppose -2*x + 8 = -8. Suppose x*n + 4 = a*n. Is 5/13 != n?
True
Suppose -i = -7 - 10. Let d = i + -29. Let m = 9 + d. Is -12 < m?
True
Suppose 183*f = 35*f + 31114 - 105262. Is -501 less than or equal to f?
True
Let q be (2112/30)/8 - 14. Let j(n) = n**3 - 7*n**2 + 6*n - 7. Let u be j(6). Let h = -12 - u. Is h <= q?
False
Let z = 467 - 186. Let c = -281.2 + z. Which is greater: c or 71?
71
Let b(f) = -f**2 - 4*f. Let n = 0 - 0. Let g be b(n). Suppose g*v - 25 = 5*v, 4*v = -4*t - 152. Which is smaller: t or -32?
t
Suppose 2*t - 49 = -z, -5*t = 3*z - 2*t - 162. Let o = z + -52. Suppose -n = o*n + 152. Which is greater: n or -21?
n
Let q = 1/1371 + -2839/132987. Let x(s) = s**2 - 6*s - 17. Let g be 10 + 8/(-20)*5. Let t be x(g). Is q not equal to t?
True
Let m = 22 - 38. Let u be ((11/(-12))/(-11))/((-6)/m). Let a = -4.6 + 4. Does a = u?
False
Let k(b) = -b**2 - b + 28. Suppose 2*z - 75 = -87. Let x be k(z). Does x = -1?
False
Let o = -11290.6 - -11291. Which is bigger: -293 or o?
o
Let l = -3.743 - -3.913. Which is greater: l or -6?
l
Let n(j) = -j**3 - 5*j**2 - 22*j + 6. Let x be n(-8). Let r = x - 374. Which is greater: r or 16/23?
16/23
Let z = -1.5 + 16.9. Let j = z + -15.391. Let s = -3/49 - 71/441. Which is bigger: s or j?
j
Let g = -11 + -67. Let v = 103 + g. Which is greater: v or 26?
26
Let m = -7 + 10. Suppose m*i - 9 = 3*x, -i + 0*x + 15 = -5*x. Suppose i = 2*d + 1 + 53. Is -28 > d?
False
Let q be 17/(-170) + 99847/770. Is q less than 130?
True
Suppose -u - 15 = -3*u - 5*k, -4*k = -2*u - 12. Let b(h) = 2 - 2226