Let b = 3/116 - k. Is -1 < b?
True
Let u = 8 - 15. Suppose -40*c - 2*n + 36 = -39*c, 0 = -4*c - 4*n + 148. Let v = -47 + c. Is u greater than or equal to v?
True
Suppose 3*b = 5*g + 8*b + 100, -2*g = -2*b + 56. Suppose -q = 7*f + 4, -97*f + 8 = -98*f - 2*q. Are g and f non-equal?
True
Let v = -71650539447/295 - -242883889. Let z = v - -3420/59. Let q = 766 - z. Is 3 >= q?
False
Let x be (-86 - -91) + 41/(-8). Which is smaller: -43 or x?
-43
Let b = -1 + 2. Suppose i - 80 = -0*i + 2*p, -3*i + 3*p + 225 = 0. Suppose i*m + 5 = 71*m. Which is smaller: m or b?
b
Let r = 507/128 - 116923/128. Which is greater: r or -910?
r
Let r = 282407 - 31065723/110. Let w = 44/5 + r. Which is smaller: 0 or w?
0
Let c(n) = -n**3 + 12*n**2 - 28*n + 17. Let w be c(9). Let f be (-1)/((-4)/w*1). Which is greater: f or -1.92?
f
Let y be (-258)/(-10)*695/417. Which is greater: 48 or y?
48
Let u = -494/23 + 674/23. Is u > 7?
True
Suppose -2*z + 4253 = 3*m, -3*z - 1504 - 2774 = -3*m. Do 1423 and m have the same value?
False
Let n(y) = 93*y - 1116. Let f be n(12). Which is greater: f or -2/9033?
f
Let w = 13477/77 + -175. Let b(k) = -k**3 + 8*k**2 + 9*k + 1. Let z be b(9). Suppose z = 46*r - 45*r. Which is smaller: r or w?
w
Let m be 6 - (-616)/(-105) - 22997/915. Suppose 5*j = -4*h - 66 - 72, -4*j + 5*h - 94 = 0. Is m greater than or equal to j?
True
Let z = 175121 + -471075503/2690. Let s = 275897/103565 - z. Let l = 19/7 - s. Does l = -1?
False
Let v be (-60)/(-105) - 6*(-5)/70. Which is greater: v or 1/544?
v
Let i = 188 - 132. Suppose 158 = 5*k + 2*j, 0*j - i = -2*k + j. Which is smaller: 26 or k?
26
Suppose -414 = -62*j + 87 - 129. Is 326/55 > j?
False
Let b be (1/9)/(74 - 128). Which is greater: 1 or b?
1
Let i(j) = -2*j**2 + 23*j + 46. Let w(t) = 3*t**2 - 20*t - 47. Let v(s) = -4*i(s) - 3*w(s). Let h be v(-37). Which is bigger: -229 or h?
h
Suppose -27*h - 312 = -33*h. Let p = h + -15. Let i = p - 75/2. Which is bigger: 2/7 or i?
2/7
Suppose 76*z - 13850 = 26*z. Which is smaller: 2 or z?
2
Suppose -4*t + 9*u - 4*u + 7451 = 0, 4*u = 4. Which is smaller: t or 1865?
t
Let m = -54113561175/596 - -363156835/4. Let n = -5357 - m. Which is greater: n or 0?
0
Let g be ((-98)/(-7))/(-2 - (-27)/12). Suppose -5*n - 75 = -4*t - 5, -4*n = -2*t + g. Let a be (n/10 - -1)/(3/(-240)). Are 31 and a equal?
False
Suppose 5*o = -5*b - 5745, 4688*o - 4*b - 2306 = 4690*o. Which is smaller: -1147 or o?
-1147
Suppose 0 = -7*z + 37 + 33. Suppose 4*y = z*y - 42. Let c be (y/2)/(3/(-6)). Which is smaller: c or -5?
c
Let v = 3390 - 3451. Which is smaller: -1030/17 or v?
v
Suppose 0 = -2*p - 4*o + 166, 0*p - 4*o + 83 = p. Suppose -265 = -5*s - 275. Let f be ((-656)/(-12))/(12/(-9) - s). Which is greater: p or f?
p
Let c = 92 - 157. Let q = 49269 + -49334. Is c at least q?
True
Let l(w) = -25*w + 1. Let v be l(0). Let d(f) be the second derivative of -f**3/2 - 3*f**2/2 + 5*f. Let y be d(13). Which is greater: y or v?
v
Let w(d) = -3*d**2 - 21*d - 6. Let l be w(-6). Let y be -3 + 8/(2 + 2). Let j(s) = 10*s**2 - s - 1. Let g be j(y). Which is smaller: g or l?
g
Let f = -954 - -482. Let c = 463 + f. Is 9 at least as big as c?
True
Let n = -26 + 15. Let q(v) = -v**3 + 11*v**2 - 14*v - 33. Let a be q(9). Suppose a*z = f - 4*f + 18, f - 5 = 0. Which is smaller: z or n?
n
Let x = 2/4819 + -19874/1440881. Is x smaller than -0.3?
False
Let h be -3 + (-2)/13 + 3 - (-558756)/(-2431). Which is bigger: -2/31 or h?
-2/31
Let s = 0.7202 - -1.1328. Do -1 and s have different values?
True
Suppose 3*j = -3*y - 12, 4*j + 36*y + 13 = 33*y. Is j bigger than -12.1?
True
Suppose -4*c + 3 = -3*u - 0*c, -5*u + 5*c = 0. Let a = 1039/1606 - -122/73. Are a and u non-equal?
True
Let l(s) = s**2 + 7*s + 6. Let y be l(-6). Let w be (-8012 - -8025) + ((-8875)/696 - 4/16). Which is smaller: y or w?
w
Let k(i) = -7*i**2 - 117*i + 317. Let v be k(-31). Which is smaller: -2784 or v?
-2784
Let v be (-2162)/15 + 0 - (19866/(-495) - -40). Which is smaller: -158 or v?
-158
Let h be (-14)/4*96/336. Is -11/372 < h?
False
Let j = -4 - -27. Suppose -2*i = -5*d + j, 7 = -0*d + 2*d - 3*i. Suppose -15 + 5 = d*w. Are -2 and w unequal?
False
Let o = -18636 - -17042. Is -3 at most o?
False
Let k(s) = 829*s - 3945. Let f be k(7). Is -1 > f?
False
Let v = -33 + 32.86. Let u = -263.089 - -263. Let x = v - u. Is 1 less than or equal to x?
False
Let n = -5470 - -92615/17. Do n and -23 have the same value?
False
Let w = -4.0539 + 0.0539. Is 2/911 bigger than w?
True
Let p = 20043 - 20044. Is 1/6786 < p?
False
Suppose b + h = -4, 3*b + b = -h - 10. Let j be b/7 + (600/(-21))/5. Let d = 34 + j. Which is bigger: 27 or d?
d
Let x = -1087253/75 + 14497. Is 1 != x?
True
Let f be (-67680)/6204*1/2. Suppose -p = -0 + 4. Which is smaller: f or p?
f
Let j(k) = -578*k + 8669. Let n be j(15). Let w be (4/10)/(386/10). Is n > w?
False
Let q = 136 + -136. Let n be (-66)/75 + (-14)/(-35). Which is greater: q or n?
q
Suppose 5*k + 3*h + 907 = 0, 2*k - 5*h - 60 = -398. Let s = k + 174. Which is smaller: s or -7?
-7
Let p be ((-12)/29624)/(12/16). Let d = p - -22376/292537. Suppose 16*r + 64477 - 64493 = 0. Is r at least as big as d?
True
Suppose -83*x - 39229 + 5963 - 170997 = 0. Is x smaller than -2462?
False
Let j be 924/(-231) - (-2 + (-76)/3). Suppose -x - 4*x + 5 = 0. Is x less than or equal to j?
True
Let h be (32/90)/(4/(-20)). Let o(v) = -v**3 + v**2 - v. Let a be o(-1). Suppose 0 = -a*y + j - 7, -5*y - 2*j - 17 = -j. Is y != h?
True
Let a = 415 + -425. Let x be (a/52 - 0)*(35 + -33). Is 0 > x?
True
Let r = 806523/143 - 5640. Let u = -641/3289 + r. Which is smaller: u or 0?
u
Suppose 0 = -3*r, 0 = 4*x + 2*r + r - 4. Let b = 17823 - 17813. Is b bigger than x?
True
Let v = 0 + -2. Suppose 0*h - 5*h - s + 17 = 0, -s = -5*h + 23. Let n be (h/(-2) - -2) + 36/(-63). Which is greater: n or v?
n
Let u = 1445/177 + -462/59. Is u <= -4385?
False
Let q(u) = 11*u**2 - 41*u - 128. Let o be q(-3). Is o not equal to 99?
True
Let c(x) be the second derivative of x**4/12 + x**3/2 - 2*x**2 + 2*x. Let k be c(-3). Let d be ((-5)/6)/((-379)/(-2274)). Which is bigger: d or k?
k
Suppose 3*f = -5*i + 47, 3*f - 11 = 3*i + 28. Which is bigger: -7 or f?
f
Suppose 36 = 2*p + p. Suppose -253 = -28*c + 17*c. Let r be 2/(4/6) + 207/c. Is p less than r?
False
Let f be (8/18)/(218/(-3)). Let c(k) = -7*k**2 + 7*k + 13. Let b(q) = 19*q**2 - 21*q - 37. Let x(l) = 3*b(l) + 8*c(l). Let s be x(8). Which is smaller: f or s?
f
Let p = -7061264231/10215621 + -2/1135069. Let q = p + 691. Which is smaller: 11 or q?
q
Let b be (1 - 4/6)/(8/552). Let f = -300350/13251 - 2/4417. Let x = f + b. Is -1 at most x?
True
Suppose -64*l + 2 - 66 = 0. Which is smaller: l or -29/33?
l
Let n be 71/(-20448)*(-78)/4. Which is smaller: 0 or n?
0
Suppose -3*s + 5 + 1 = -3*n, 6 = -2*n + s. Let w be (-52)/(((-5)/15)/(n/6)). Which is greater: -103 or w?
-103
Let m = -308264/41 - -7519. Which is smaller: m or 1?
m
Let s(z) = z**2 + 8*z - 2398. Let v be s(78). Is v at most as big as 4311?
True
Let v = 29190 + -2306016/79. Which is smaller: v or 2/165?
v
Suppose -8*o = -17*o + 2637. Let n = o + -292. Which is greater: 3/74 or n?
n
Let r = 483 + -929. Let u = -446.7 - r. Which is smaller: -2/3 or u?
u
Suppose 128 = 2*i - 3*j, -4*i + 2*j - 79 = -335. Suppose -b - 5*w = b + i, 128 = -4*b + 3*w. Let h = b + 30. Which is greater: h or -3?
h
Let m = -124 + 86. Let d = -1441 + 1405. Which is smaller: d or m?
m
Let c be (2/207394)/(6/3690). Let f = -2/857 - c. Is f less than 1?
True
Suppose -8*a + 3*g = -3*a + 7, 3*a - 3*g + 9 = 0. Let o = 6369 - 6440. Which is smaller: o or a?
o
Suppose 4*z + 4 = m - 17, -4*m - z = -135. Suppose 2*l - 54 = -4*q, 3*q - q = -3*l + m. Let g be 3/(-6)*(1 + -27). Which is smaller: q or g?
q
Let v(q) = 166*q - 24607. Let g be v(148). Let p be (1*-1 - 36)*1. Is p smaller than g?
False
Suppose -c = -4*h + 3, -5*h + 2*c - c = -5. Suppose -h*w - 8 = -2. Let v(r) = -3*r + 7. Let l be v(w). Is 16 greater than or equal to l?
True
Let z = -0.305 + 0.246. Let s = 25858.059 + -25840. Let n = z + s. Which is greater: -2/3 or n?
n
Suppose 0 = -5*p + 2*p + 3. Let l be ((-40)/265 - 1) + (5 - 4). Is l smaller than p?
True
Let m = -3455 + 3463. Let v = 7 + -3. Let u = -4 + v. Is u smaller than m?
True
Let h be 126/