14/13 equal?
False
Let o = 1488 - 2101. Let i = o - -613. Is i != -2/165?
True
Let j be ((1 - 1)/((-2)/2))/(-1). Let s = 3/2164 - 23927/88724. Is j != s?
True
Let i be (-33716)/(-17480)*(-11)/33. Let j = -44/69 - i. Which is smaller: j or -1?
-1
Suppose -t + 6 = 2*q, -q + 5*t - 6 = q. Let v = 4.1221 + -3.9191. Is v > q?
False
Let d = 446 - 522. Let c be ((-76)/57)/(d/(-6)). Which is greater: 7 or c?
7
Let u(g) = 4*g**2 - 2. Suppose 0 = -3*w + 2 + 1. Let j be u(w). Let m be 1 + (27/j)/9. Which is bigger: 3 or m?
3
Let c = 741553/1972 + -6382/17. Is c bigger than 2?
False
Let n = -33373537/509092584 + -2/445011. Let l = n - 1/88. Is l < -1/4?
False
Let f = -3 + 3. Let j = -1474306/297 - -4964. Which is smaller: j or f?
f
Let m be (-15)/(-4*(-3 - -1)). Let y(i) be the first derivative of -i**3/3 + 21*i**2 + 87*i + 71. Let v be y(44). Is m > v?
False
Suppose 2*c + 5 = c. Let f = 72710 + -72706. Is c less than f?
True
Let o = -0.05487 + -0.24513. Suppose -4*v = -5*a + 97, v - 4*a + 8 = -8. Let w be 1 + 1 + v/15. Is w greater than o?
True
Suppose 0 = -263*y + 252*y - 18348. Is y <= -1663?
True
Suppose 2*g + 284 = 90. Suppose -48 = -5*c - 4*r, -2*r - 48 = -5*c + 18. Let x = -84 - c. Is g <= x?
True
Let f = -163367/21 - -7783. Is 5 < f?
False
Suppose -3*h - 2*h = 30. Let f be h/4*66/(-9). Suppose 2*b - f - 63 = -4*p, -2*p + 27 = -b. Which is bigger: 18 or p?
18
Let u(s) = -s**3 - 33*s**2 - 197*s + 60. Let a be u(-14). Which is smaller: -903 or a?
a
Let b(m) = -56*m**2 - 13*m - 55. Let x be b(-4). Are -0.2 and x non-equal?
True
Let j = 1/236393 - -3544294/378465193. Do j and 0 have different values?
True
Let t(o) = -15*o**2 + 2*o - 3. Let d be t(-5). Let k = 411 + d. Which is smaller: 0.5 or k?
0.5
Let g = 28018 - 27709.19. Let u = 309 - g. Does -2 = u?
False
Let p = 891 + -897. Let f(n) = n**3 + n**2 - n. Let v be f(1). Which is greater: p or v?
v
Let i be 1144/40 - ((-24)/15)/4. Suppose 52 = i*r - 33*r. Is -16 >= r?
False
Let s = 804 + -823. Is s < -50?
False
Let j(v) = -10*v**2 - 4*v - 4. Let i be j(-1). Let f = -16 + i. Suppose -2*x = 17*x + 475. Is f at least x?
False
Suppose -771 = -3*z - r + 2*r, 0 = 4*z + 3*r - 1041. Let b = 17 + -13. Let f be (4 + -1)/z*b. Which is bigger: 0 or f?
f
Let m = -70934/57 + 3725/3. Are -3 and m unequal?
True
Let w = -344.861 + 344.9. Is -22 equal to w?
False
Let j be (-1686690)/33 + (-4)/22. Let t = j - -1482460/29. Let c = t + 2/87. Is 7 at most c?
True
Let i(c) = 37*c**2 + 6*c - 1. Let t be i(-5). Let p be 2/((-1)/((-9)/t)). Is p greater than or equal to 1?
False
Let y = 469 - 467. Suppose 192 = -y*a - 4*g, 2*a + 10*g = 13*g - 199. Are -95 and a unequal?
True
Let f be (-4)/(-7) + (-360)/(-56). Let v be 1 - 0 - f/4. Let u be 64*2/414 - 10/45. Is u at most v?
False
Let k(m) be the third derivative of -m**4/24 - 11*m**3/6 + 21*m**2. Let y be k(6). Let p(n) = 17*n. Let c be p(-1). Does c = y?
True
Let h be (-1134)/126 + (-2105)/1. Is -2114 smaller than h?
False
Let m(i) = 8*i**2 - 17*i. Let o be m(-2). Let y be (-11)/(o/36) - (1 - 7). Let w be ((-24)/(-110))/((-2)/5). Which is smaller: w or y?
w
Let o = 7 + -6.9. Let f be 2 + 1/2 + (-89853)/66. Let r = -1358 - f. Is o at least r?
False
Let x(g) = -31*g**2 + 2*g + 9. Let c be x(-2). Is c < 0?
True
Let n = -86 - -84. Let p be 4 + 4*4/(-8). Suppose 0 = p*q + 10, 0 = -3*m + 3*q + 2*q + 19. Is m less than n?
False
Suppose -4*n = 3*n + 126. Let w be (-100)/24 - ((-69)/n - 4). Let d = 565/7 + -585/7. Which is greater: d or w?
d
Let l = 51.92 - 50.92. Let m = -341 + 220. Which is smaller: l or m?
m
Let i be (12/(-9))/(-4)*227. Let k(p) = 3*p**3 + 9*p**2 + 5*p - 7. Let x be k(-4). Let r = x + i. Which is bigger: r or -2?
r
Let j be (-90)/(-300) - 37292/40. Which is greater: j or -933?
j
Let w = 4.86 - -15.24. Let z = 10.7 + w. Let q = z - 1.8. Is q greater than or equal to 0.2?
True
Suppose 4*f + 138 = 2*u, -u + 5*f + 84 = -0. Suppose 673*t = -2309 + 44035. Is t >= u?
True
Suppose 0 = -n - 341 + 65. Let c be 300/n + (-4)/(-46). Are -20/37 and c equal?
False
Let d be (2/6)/(103/2163) + 4 - -9. Is d > 642?
False
Let j = 80 + -83.7. Let k = j - -3.4. Let m = 2/113 + 184/2373. Which is smaller: k or m?
k
Let p(c) = 5*c - 1. Let z be p(3). Suppose k + 4*b - z = 0, -3*k + 25 = 3*b + 1. Let d be 6/10*(-4)/k. Is d >= -7/2?
True
Suppose 0 = -q - 11*q - 72. Let l be ((-365)/75*q)/((-6)/(-3)). Is 16 > l?
True
Let i = 0.28906 - -0.14154. Is -2 at least as big as i?
False
Suppose -3*v + 18 = 2*w, 3*v - 247 + 232 = -w. Which is smaller: w or 690?
w
Let y = -3299 - -3294.019. Let a = 0.081 + y. Let h = 0.1 - 0.1. Which is bigger: h or a?
h
Let q be (-12)/(-1026) - (-53196)/13338. Let g(w) = -5*w - 1. Let t be g(1). Let y = t - -9. Does y = q?
False
Let y = 8631 - 8631.3. Are y and 1980 unequal?
True
Let b = -32464 + 32476.997. Let n = b - -0.003. Let p = 251 + -249. Are p and n unequal?
True
Let r = 6918 - -6921. Which is bigger: 13840 or r?
13840
Let z(p) = -3*p**2 - 53*p - 7. Let n(x) = 2*x**2 + 26*x + 3. Let j(h) = 5*n(h) + 3*z(h). Let t be j(30). Let r be 200/(-18)*t/(-10). Which is greater: r or 28?
28
Let m be (-738)/(-935) - (-1 - 36/(-20)). Are 26 and m non-equal?
True
Let s be ((-10554)/(-4))/((-27)/36). Let r = -721188/205 - s. Let z = 217/1230 - r. Do z and 0 have the same value?
False
Let s be ((-21)/14)/((-2)/((-39)/9 + 3)). Which is smaller: s or -2/1429?
s
Let i(r) = -2*r**3 - 30*r**2 + 32*r + 60. Let u be i(-16). Let n(x) = x**2 + 7*x + 2. Let k be n(-6). Let f be (-88)/u*-6 + k/(-20). Which is greater: 10 or f?
10
Let l = -2281 + 2281.3. Is l bigger than 311?
False
Let l = 295/1164 - -31/388. Let r = -0.3 + -24.7. Which is smaller: r or l?
r
Suppose 0 = -h + 5*h + 620. Suppose 0 = 4*n - 3*d + 617, 0 = -15*n + 20*n + d + 776. Is h equal to n?
True
Suppose 14*d - 22*d = -7656. Let x be d/99 - (0 - -1). Which is smaller: 8 or x?
8
Let l = -243.89 + 249.89. Is -655 at least l?
False
Let f = 6709/704 + -105/11. Let h = 8 + -45. Let m = h + 37. Is f bigger than m?
False
Let b(s) = s**3 - 7*s**2 + 3*s - 68. Let w be b(20). Which is smaller: 5190 or w?
5190
Let s(l) = l**2 - 30*l**2 + l**3 - 15*l - 10*l**2 - 87 + 28*l - 10*l. Let h be s(39). Which is smaller: h or -1?
-1
Let g = 1694 - 196489/116. Is g at most 1?
True
Let l be 132/42 + (1/2)/(41/(-246)). Is 120 smaller than l?
False
Let k(n) = -n**3 - 12*n**2 - 5*n - 2. Let t be (36/8)/((-2)/4). Let z be k(t). Which is greater: z or -201?
z
Let n = -2616 + 2660. Which is smaller: n or 224/5?
n
Let o be 5*(3 + -3 + 8/10). Suppose -6 = -2*a + o. Let b be (-8)/a + (-27)/(-45). Which is smaller: -2/15 or b?
b
Suppose 238282 - 9946 = 201*k. Which is greater: 1144 or k?
1144
Suppose 555*v + 5 = 560*v. Let d be (-4)/(-18) + 3365/(-33165). Let p = -2/67 + d. Which is bigger: v or p?
v
Let i(y) = -2. Let g(j) = j. Let x(z) = 2*g(z) + i(z). Let v be x(3). Suppose v*u - 36 = 4*b - 0*b, -3*u + 27 = 5*b. Is u >= 7?
True
Suppose o - 1319 = -3*o - 3*b, -2*b = -3*o + 968. Suppose -7*j = -199 - o. Let z = -73 + j. Which is greater: z or 20/17?
z
Let c(q) = 3*q**3 - 16*q**2 - 11*q - 5. Let g be c(6). Which is bigger: g or -1/1041?
g
Let j be 111462/111458 + (39/117 - (-12)/(-9)). Which is greater: j or -1?
j
Let x be 26*2 + 170 + -172. Is x less than or equal to -11?
False
Let x be 2/(-4) + (-28290)/(-92). Let a = -308 + x. Is a smaller than -29?
False
Let d = -56.3 + 39. Is d greater than -9/8?
False
Let x = -6290 + 6343. Which is greater: 25 or x?
x
Let c = -0.01972 - -21.01972. Which is bigger: -192 or c?
c
Let x = -263321 - -263327. Suppose y + m = -15, 3*y + 0*y - 5*m = -69. Which is bigger: y or x?
x
Let v = 303 + -303. Is 2/10129 smaller than v?
False
Suppose -3*o + 5*u - 25 = 0, 25 = o - 5*o + 5*u. Suppose -t = 46 - 48. Let i be (o/(t - 7))/(-2). Are i and -9/11 equal?
False
Suppose 3*d + 86 = -5*p, 4*d + d = -4*p - 74. Let g = -13821 - -13816. Is g < p?
False
Let k = -26 - -13. Let t = -988 + 7008/7. Let v = t + k. Does v = 0?
False
Suppose j - 3*b - 8 = 0, 4*j + 11 + 7 = 2*b. Let s(y) = -11*y**3 - 55*y**2 + 61*y - 20. Let v be s(-6). Is j bigger than v?
False
Let u be (0 + 532/(-21))*(-6)/(-4). Let t be (-102)/(-34) - 3/(3/u). Is 41 < t?
False
Let n = 1502 + -671. Let j be n/(-540) + (-3)/(81/(-6)). Let s = j + 11/12. Which is greater