e -2/34989 and a equal?
False
Let k(x) = -x**3 - 17*x**2 + 38*x + 14. Let v be 94/(-5) - 6/30. Let b be k(v). Is b bigger than 14?
False
Let q(d) = 2*d + 37. Let l(s) = -s - 19. Let f(k) = 5*l(k) + 3*q(k). Let r be (7 + 0)*1027/553. Let h be f(r). Are h and 1 non-equal?
True
Let n = -14.6 + 13. Let u(k) = k**2 + 5*k - 49. Let w be u(-10). Is w <= n?
False
Suppose -9*s + 8492 = 13*s. Let j = -352 + s. Is 34 at most as big as j?
True
Let y = -90 - -121. Let s = -26 + y. Suppose 3*a = s*o + 2*a - 6, 1 = -o - 2*a. Is 2 greater than or equal to o?
True
Let w = -165 + 279. Let v = w + -119.3. Is -1 at most as big as v?
False
Let v be 16 + (-1162)/70 - (1511/(-5) - 0). Which is smaller: 302 or v?
v
Let z(y) = -y**3 - 27*y**2 + 49*y + 912. Let x be z(-27). Which is smaller: x or -406?
x
Suppose 0 = v + 1 - 2. Suppose -2*t - 2*g = 3*t - 716, -g - 146 = -t. Let b be (t/(-120))/((-23)/(-5)). Which is bigger: v or b?
v
Let w be (-147)/63 - ((-1245370)/76242)/7. Is w < 0?
False
Let l = -1007/4650905 + -3/2905. Let k = l - -99268/4803. Is k at most 21?
True
Suppose -80 = -5*c + 2300. Suppose -21*a + c = 7*a. Let n be (4/(-6))/((-1)/27). Which is smaller: a or n?
a
Suppose -155 = -5*o + 3*s, -39*o - 135 = -44*o - s. Suppose 0 = -4*n + o - 76. Are -53/4 and n equal?
False
Let z = -336 - -144. Let b = -184 - z. Is b at least as big as 49/6?
False
Suppose 0 = 3*z + o - 6884, 6*z + o = 4*z + 4590. Let b = 1440039/4 + -362292. Let r = z + b. Are 11 and r non-equal?
True
Let r be (97*2)/(-7*1). Let h = 28 + r. Let b be -3 - (1 - 0) - (-1860)/460. Which is bigger: b or h?
h
Let d = 0.01 - 1.01. Let a = -4223 + 4198. Is d not equal to a?
True
Let k(q) = 238*q - 830. Let x be k(-2). Which is greater: x or -1308?
x
Suppose -j + 421*c = 426*c + 13756, 0 = -5*j - 4*c - 68969. Which is greater: j or -13800?
-13800
Let x(u) = 3*u - 37. Let d be (0 + 12)*14/14. Let b be x(d). Which is greater: -6/35 or b?
-6/35
Let s = -263 - 175. Let f = s - -430. Let m = 406 + -1240/3. Is f at least m?
False
Suppose 1101 + 791 = 11*v. Which is greater: 169 or v?
v
Let q be (-46)/110 - (4 - (-138)/(-30)). Let r = q + 82/33. Suppose 0 = 3*w + 5*h - 19, -4*w + 4*h + 2 = -h. Which is greater: r or w?
w
Let i = -6324 - -6323.8. Which is bigger: i or 0.1386?
0.1386
Let m(i) = -3*i**2 - 41*i - 25. Let x be m(-13). Which is bigger: x or -2/601?
x
Suppose 4212*p + 84 = 4217*p + 4*g, p + 4*g - 68 = 0. Let c = -0.06 - -36.06. Let h = c - 26. Which is greater: p or h?
h
Let v be (14/4)/(23/(-2)). Let t = -252 - -252. Let y be (t - -1)/((-9)/((-90)/10)). Is v at most as big as y?
True
Let y = -55 + 69. Suppose -5*m + 44 = y. Suppose 3*o = -s + 23, 5*o - 3*s - 6 - 9 = 0. Is m <= o?
True
Let f = 225 - 210. Suppose 2*n + 66 = 2*x, 85 = -3*n + 2*x - f. Which is bigger: 5 or n?
5
Let h = -139 + 140. Suppose -536 = -4*p + 312. Let u = p - 1685/8. Which is bigger: h or u?
u
Let w = 30.7 - 27.7. Which is smaller: -3/14 or w?
-3/14
Let z = 4850 + 232. Let l = 254385107235204/50055695215 + -2/516038095. Let w = l - z. Which is smaller: -1 or w?
-1
Let v = -457 + 459. Let w be 4/10 - (-224)/(-510). Is w <= v?
True
Let w = -65 + -79. Let f = 7 - w. Is 1/2 less than or equal to f?
True
Let u = 27/74 + 827/370. Which is greater: u or 2?
u
Suppose p - 2 = 5*i, 2*p - 3*i + i = 4. Let c(u) = -6 - 2 - 3 + 3*u - p*u. Let b be c(11). Which is greater: 1/24 or b?
1/24
Let u be 6/(-4) + 132/120. Let s = -162.3786 + -2.5764. Let y = -165 - s. Do u and y have the same value?
False
Let f(d) = 119*d**2 + 476*d - 2. Let i be f(-4). Is i greater than or equal to -228/173?
False
Suppose 3*p + 102 = 9. Let f = p + 32. Let y = 1/6 - 31/78. Is f greater than y?
True
Let f be (-40 - 2)*(-13)/39. Suppose 45 = 3*r + 2*n - 5*n, 5*r = n + 91. Suppose r*h = f*h. Which is greater: h or 6/13?
6/13
Let b be -5*((-2180)/(-25))/(-1). Suppose 2*k - 478 + b = 0. Is 0.2 less than or equal to k?
True
Let r(v) = -v**2 - 142*v - 287. Let h be r(-34). Is h at most 3385?
True
Suppose -104 = -2*n - 856. Let t be 979/(2/((-70)/91)). Let s = t - n. Does -2 = s?
False
Suppose 0*o + 12 = -2*o. Let q be 260/o - (-2)/6. Suppose -102*b + 111*b = -37*b - 1978. Does b = q?
True
Let h(j) = -4*j - 2. Let c be -3 + 9/2 - (-6)/(-4). Let p be h(c). Which is smaller: 39 or p?
p
Suppose -2*b = -18995 + 18997. Is b less than 2/3479?
True
Let c = 3696 - 3776. Which is bigger: -63 or c?
-63
Suppose 5*n - 25 = 0, -3*b + 5*n = 482 - 454. Let i = -5 + 5. Suppose i = -2*l - 1 - 3. Is l at least b?
False
Suppose -5*n + 855 = 5*f, -2*f - 32 = -46. Which is bigger: n or 167?
167
Let h = -323104/5 - -65031. Is 410 > h?
False
Let s = 955658/9061 - 4312/41. Does s = -1?
False
Suppose 36 - 8 = 14*c. Suppose -5*q = 4*p - 11, -5*q + 8 = -c*q + p. Which is bigger: q or 0.4?
q
Let o = -1291 - -869. Is -422 at least o?
True
Let y(c) = 34*c**2 + 2*c - 2. Let q be y(1). Let j = -5494/3 - -1864. Is q at least j?
True
Suppose -3*l + 5*a = 10, -l = 2*l + 4*a - 35. Suppose 5*r - 110 = -l*r. Are r and -1 equal?
False
Let u(o) = -5*o + 1. Let p be u(-11). Suppose -2*i = -2*y + 48, 0 = -3*y - i - 0*i + p. Suppose 4 = -8*m - y. Is m less than -3?
False
Let s = -166380 + 894958016/5379. Let c = s + 4390/1081179. Which is smaller: c or 0?
0
Let y = -318/2203 + -8272242/15421. Which is greater: -536 or y?
-536
Let a = 43.04 - 43. Let p = -0.004 - a. Let m = -1.044 - p. Is m < -19?
False
Let l = 9647/15435 + -222/343. Which is smaller: l or 185?
l
Let l be ((-1)/15)/(132/(-1778436)). Is l > 897?
True
Let s be ((-2)/(-4))/((-19)/(-266)). Suppose n + 4*i = 3*i + s, -19 = -n + 3*i. Suppose -11 - n = -7*d. Is d >= 17/5?
False
Let w = 0.4 - 0.3. Let g = -7072 - -7102.81. Let m = g + -2.81. Is w equal to m?
False
Let o = 222 - 222.03. Let c = -0.07 + o. Is 2/5 > c?
True
Let b = -224.14 - -221.9. Let u = -0.25 - 0.41. Let p = u + b. Which is smaller: -0.1 or p?
p
Let b(x) = -x**3 - 9*x**2 - 14*x - 1. Let j(m) = -m + 4. Let a be j(2). Suppose -5*w - 34 = u, 3 = -w - 2*u - a. Let l be b(w). Do l and -4 have the same value?
False
Let g = -44 - -21. Let l = 160 + -160.97. Let p = -1.07 - l. Is g at most p?
True
Let t(u) = -3*u**2 + 3*u - 1. Let o be t(4). Suppose -47*i + 33 = -46*i + 3*g, 2*g - 172 = -4*i. Let v = i + o. Which is smaller: 13/2 or v?
13/2
Let q(u) = 79*u**2 - 154*u**2 + 76*u**2 - 129 - 42*u - 34. Let g be q(45). Which is smaller: g or -250/9?
g
Suppose 0 = -8*g - 5 + 29. Suppose -g*x = u - 1, 26 = -4*u - 2*x - 10. Does u = -10?
False
Let v = 730 - 717. Which is smaller: v or 35?
v
Let i = -651 + 651. Let a(u) = u**2 + 7*u - 45. Let n be a(i). Is n at least as big as -46?
True
Let n be 6 - 30/(-11 - -6). Let u be -2 + 15/n + (-273)/(-252). Is u at most -96?
False
Suppose 0*p + 58 = 3*p - u, p = 5*u + 38. Let a be 44/154 + p*8/(-14). Is -1 >= a?
True
Suppose 14*n - 11*n - 6 = -3*j, 0 = -2*j + n + 7. Suppose -4*y + 3*y - j = 0. Which is smaller: y or -33/13?
y
Suppose 0*g - 5*g + 255 = -4*b, b = -4*g - 69. Let d = 4 + -3. Let f be (4/10)/(d/(-160)). Which is smaller: f or b?
b
Let w = -22.964 + 23. Let p = w + -0.736. Let m = -29 + 27. Which is greater: m or p?
p
Let k(c) = -c + 5. Suppose 0 = 25*i - 22*i - 9. Suppose -16 = 4*z, -4*t = -3*t + i*z + 2. Let a be k(t). Is 0.5 bigger than a?
True
Let f = -1681 - -1723. Let z = 8 + -46. Let v = f + z. Is -0.1 <= v?
True
Let i = 391 - 448. Let j = 58 + i. Which is smaller: j or -13?
-13
Suppose -2*l = g, g = 3*l - g - 7. Suppose -4*f - p - 427 = 0, 4*f - 3*p + 84 + 363 = 0. Which is greater: f or l?
l
Let n be 11335/(-22730) + 69/138. Which is smaller: 0 or n?
0
Suppose -q - 22 = -6*q - s, 0 = q - 2*s. Let r be 25/((-150)/(-12)) + (-48)/22. Is q bigger than r?
True
Suppose 0 = -2*r - l + 3, r + 4 + 2 = -3*l. Suppose -r*a + n - 783 = 0, 14*a - 9*a - 5*n = -1305. Are -259 and a unequal?
True
Let r(u) = -2*u**3 + u**2 + 3*u + 2. Let h be r(2). Let n be 2/(-2)*(6 + h) - 0. Let a be 2*4/(-8)*5*n. Are a and 5 nonequal?
True
Let l = 97 + -97. Suppose l = 2*r - 52 + 44. Let v be ((8 - r) + -5)*(-2 - 1). Is -7 > v?
False
Suppose -2330 = 2952*m - 2962*m. Which is smaller: 235 or m?
m
Suppose 5*x - 1304 = -1304. Let u(m) = -10*m**3 - 2*m**2 - 3*m + 1. Let i be u(3). Let q be 0 + (-4 - i/76). Are q and x nonequal?
True
Let u be (156/48)/(5/120). Suppose 2*h + 