Let u be (2352/154)/(-7) + 1 - (-4)/22. Which is smaller: u or -1/6097?
u
Suppose -7*l = -2*l - 170. Let u(f) = -f**3 - 6*f**2 + 2*f + 1. Let k be u(-7). Let j = k - l. Is 9/5 at most j?
True
Let j = -1557 + 1558. Let q = -746/79 + 69580/1027. Let v = q + -58. Which is bigger: v or j?
j
Suppose -4*y - 2*v - v - 9 = 0, -7 = y - 4*v. Let u = -8 + 20/3. Is y < u?
True
Suppose 162*t = 166*t + 8, -3*y = -t + 4. Let x = -62/21 + 11/21. Which is greater: x or y?
y
Suppose -67 + 59 = -l - 3*r, -2*r = -3*l - 9. Which is smaller: -1/857 or l?
l
Let r = -192 + 130. Let o = r + 63.08. Is 2 >= o?
True
Let q(l) = -l**2 - 22*l - 35. Let v be q(-20). Suppose -9*m - 4*k + 12 = -v*m, -4*m - 3*k = -11. Which is smaller: m or -4?
-4
Let v = -23938 - -215440/9. Is v greater than -12/55?
False
Let p(v) = -v**2 - 17*v - 78. Let n be p(-10). Let t be (n/100)/((-2)/5) + 2. Are 0.04 and t equal?
False
Suppose -54*t - 54*t = -39*t - 65964. Is 956 <= t?
True
Let r(g) = -g**2 - 15*g - 87. Let n be r(-5). Let a be (31 + 0)*(40 + n). Is a bigger than 93?
False
Let y = 0.0302 - -0.0698. Which is smaller: y or -265?
-265
Suppose 2*h = p - 23, -2*p = -9 - 1. Let t be h*90/(-36)*(-8)/15. Are t and -14 unequal?
True
Let f be ((-2)/4)/(3/6). Let j(p) = p**2 - 30*p + 125. Let y be j(25). Is y equal to f?
False
Let p be 24/9 + 6*(-2)/18. Suppose 13*f - 44 = p*f. Is f at least as big as -13?
True
Let n = 28651 + -28501. Suppose 5*t - 441 - 304 = 0. Is t less than n?
True
Let z be 13 - 204/12 - 5*-19. Suppose 0 = -6*j + z + 65. Is 1/2 < j?
True
Let m be 6*(-38 - -6)*-1. Suppose -191*o = -m*o + 95. Is o > 94?
True
Let k be (-2123)/77 - ((-117)/(-91))/3. Let x be (6/4)/(7/(-126)). Is x at least k?
True
Let t be (-24)/(-33) - 38280/45980. Let f = 10 - 6. Suppose -5*d - 3*o = 9, 0 = -2*d + f*d + 2*o + 6. Which is smaller: t or d?
t
Let s = 423.2 - 601. Let a = s + 178. Are a and -3 nonequal?
True
Suppose 11*t - 376 = 7*t. Suppose 3*o = 7*o - g - 461, 15 = 5*g. Let m = t - o. Is m < -22?
False
Suppose 35*w - 61 - 149 = 0. Let s be (-4)/w*63/(-966). Do 0 and s have the same value?
False
Let x be (4/(-3))/((-10)/(-6)) + 612/(-85). Is 29 not equal to x?
True
Let g be (7 - 1491)*(-2 - (-6)/4). Suppose -3*a = -242 - g. Are 327 and a nonequal?
True
Let q = -178201/11 + 16141. Let w = q + 7082/99. Are w and 13 non-equal?
True
Suppose 0 = 2*p + 424 - 532. Suppose 11*w - 12*w - p = f, 0 = -w - 5*f - 50. Does -55 = w?
True
Let i(h) = h**3 - 3*h**2 - 133*h - 262. Let c be i(-2). Let o(x) = 50*x**2 + x + 1. Let k be o(-1). Let z be (-4)/(-6) + k/(-3). Is c at least as big as z?
True
Let o be 609/116*20/(-15). Let l be 306/(-12)*12/45. Is l bigger than o?
True
Suppose 35*u + 15*u + 2909 = -2591. Is -144 < u?
True
Suppose 4*q - 6*k + 10156 = 0, q - 37*k + 2532 = -32*k. Which is smaller: q or -2541?
q
Let k = -62073 + 178708169/2879. Which is smaller: 1 or k?
k
Suppose -15 = 5*k - 5*h - 0, -26 = 4*k + 3*h. Let n be (-678)/2835*(-1410)/(-72). Let m = -5/162 + n. Is m not equal to k?
True
Let t = -10.5 + 8. Let n = -50977 - -50976.9. Does t = n?
False
Let f = -0.00239 - 0.03461. Which is bigger: -8 or f?
f
Let g(q) = q**2 + q + 1. Let v(u) = 7*u**2 - 2*u - 79. Let s(h) = 6*g(h) - v(h). Let o be s(-10). Which is greater: -96 or o?
o
Let f = 447 + -446. Let g = 13/19 + -6343/9215. Which is smaller: g or f?
g
Let y = -56 - -54. Let b be 1180/65 + 7/(91/y). Is b equal to 0.5?
False
Let y(w) = -4*w**2 + 841*w - 7652. Let p be y(9). Is -5298/13 at most as big as p?
True
Let y = -113 - -112. Let l = -93 - -65. Let h = -12 - l. Is h at most as big as y?
False
Suppose -5*m + 3*v = -12, 221*m - 218*m + v = -4. Is m >= 20/109?
False
Let u be 6/2 + 0/(-3). Suppose 54 = -4*q - k - k, -5*k = -2*q + u. Let a = 4 + q. Which is greater: a or -10?
a
Let y = 0.014 + 35.986. Let c = 36 - y. Let n = 2/33 - 373/165. Does c = n?
False
Let a(j) = 30*j - 1000. Let w be a(47). Is 414 less than w?
False
Let q be (-1164259)/254265 - (-1 - 4/(-10)). Let t = -160/33 - q. Which is smaller: 1 or t?
t
Let l be 0/1 - (-25196)/85204. Let t be 10/650*10 - (-2480)/(-16289). Let i = t - l. Is i at least as big as 0?
False
Let n = -83570434/76037 + 14288/13. Is n at least 0?
True
Suppose -4*p - 12 = -4*k + 8*k, -20 = 5*p. Is 4/351 at most k?
True
Let z(v) = -2*v**3 + 4*v**2 + 46*v + 12. Let m be z(6). Let n be (117/48)/((0 - 2) + 5). Which is greater: m or n?
n
Let y(h) = 7*h - 2. Let z be y(-3). Suppose v + 2381 - 2359 = 0. Which is smaller: z or v?
z
Suppose -33*t + 124*t = 33 + 58. Which is greater: -2/41593 or t?
t
Let z = -408713/6 + 67859. Let s = z - -261. Let t be -1 - (98/56)/(-7)*8. Is s greater than t?
True
Let r = 1273 - 1366. Let b = 32 + -124. Is r greater than or equal to b?
False
Suppose 40*h = 49*h - 1566. Let l = 298 + h. Which is smaller: 0 or l?
0
Let n be 50530/134832 - 2106/5616. Which is smaller: 0 or n?
n
Let f be 3 + 126/(-15) - 12/20. Let m be -2 + (9 + 1 - (9 + f)). Let q = -10/17 - -98/51. Is q equal to m?
False
Suppose 0 = -54*z + 31*z - 115. Let w(r) = -r - 3. Let t be w(-3). Let a be 2 + (t + 1)*-4. Does z = a?
False
Let u = 4749/4 + -156623/132. Are 2 and u non-equal?
True
Let y(j) = -208*j**3 - j**2 + 18*j + 17. Let p be y(-1). Is 195 at most p?
True
Let d = 1843 + -2681. Which is smaller: -2/7 or d?
d
Let w = -620/103 - -147863/24205. Which is smaller: w or 0?
0
Let h be (-79)/(-450) - (1118/156 + -7). Does 4 = h?
False
Suppose 0 = -5*i, 8 = -2*a + 3*i + i. Let k be -2 - (-5)/(45/(-6)). Which is greater: k or a?
k
Let f be (214/(-440))/(11641/7572089). Let x = f - 1/33260. Let d = x + 316. Which is greater: d or 0?
0
Let h(o) = 12*o**2 + 51*o - 418. Let q be h(9). Do 1010 and q have the same value?
False
Let f(o) = o**3 + 2*o**2 - 5*o + 9. Suppose 0 = 2*m - 12 + 20. Let z be f(m). Let j be -5 + 9 + 41/(-5). Is j less than or equal to z?
True
Let v be 480/(-483) - 1*-1. Suppose -282*m - 4 = -286*m + 3*x, -3*m = -5*x - 3. Is v >= m?
False
Let f be (2/2)/((-2)/36). Let k(s) = -16*s - 113. Let q be 7/3*1/(11/(-33)). Let t be k(q). Which is smaller: t or f?
f
Let q be 40/25*10/8. Let k be ((-192)/15 - -10)/(q/70). Are -101 and k nonequal?
True
Let p = 232.59 - 232.78. Is p != -4/121?
True
Suppose 0*x = -29*x + 2030. Suppose x + 42 = 4*h. Is 26 less than h?
True
Let x(l) be the first derivative of 3*l**2/2 + 15*l - 4. Let p be x(5). Is 34 bigger than p?
True
Suppose -4*q = -5*d - 57, -4*q - 3*d = -q - 9. Suppose -35 = n - q*n. Suppose 0 = -n*u - s - 263, 4*u - 6*s = -3*s - 218. Which is smaller: u or -1?
u
Let i be ((-4995)/222444)/(123/8). Is 0 greater than or equal to i?
True
Let x(n) = n**3 - 54*n**2 - 6*n + 386. Let o be x(54). Which is smaller: 66 or o?
o
Let u be 6/((-14742)/17101) + 7. Let b = u + -3322/48087. Which is smaller: 1 or b?
b
Suppose 57 = -419*h + 421*h - 3*t, 4*t + 124 = 4*h. Which is smaller: h or 180?
h
Let q(u) = 4*u**2 - 13*u + 68. Let f be q(5). Suppose 4*l - 175 = 2*g + f, 433 = -3*g + 2*l. Is -148 greater than g?
False
Let j = 1782.15 + -1782. Which is bigger: j or 0.087?
j
Let v = 7 - 20. Let y = 22 + v. Let q be (-25)/14 + (-1430)/520*(-12)/22. Which is bigger: q or y?
y
Let c = 2279.89753 + 0.10247. Which is bigger: 1 or c?
c
Let q be (-25)/15 - -2 - (-82)/6. Suppose -y - q = -5*b, -2*b + 0*b = 5*y - 11. Let t be 5 + (-200)/35 - (-2 + y). Is -8 <= t?
True
Let i = -80 - -159. Let y = -0.64 + 80.64. Let d = i - y. Is -6.6 != d?
True
Suppose -3*d + 172 = 43. Suppose -d = 2*f + 21. Is -32 not equal to f?
False
Suppose -o = 11*l - 6*l + 1537, 5*o - l = -7633. Is -1525 less than or equal to o?
False
Suppose 3*s - a - 466 = 0, s + 3*a = -3*s + 643. Let k be (-5)/75*-5*471. Is k > s?
False
Let z be (1 + 2/(-8))/(-3). Suppose 8*m = 19 + 341. Let i = 277/6 - m. Which is smaller: z or i?
z
Suppose -3*j + j = 5*u + 28, 5*u + 4*j = -26. Let v(q) = q**2 + 6*q + 3. Let t be v(u). Suppose 0 = -t*x - 2 - 7. Which is bigger: x or -11/6?
-11/6
Let r(o) = 283*o - 130. Let i be r(-15). Let f be (-2 + -1)*(-35)/i. Which is smaller: 0 or f?
f
Suppose -z + 10 - 38 = 0. Let x be (4 - 119/z)*852/9. Which is smaller: 782 or x?
x
Suppose 5*c + 32*m = 29*m - 13370, 0 = 2*c + m + 5349. Is -2/5 bigger than c?
True
Let z be (-25017)/(-341) + 0/2. Let u = z + -72. Let o be 2/(-5) - (-72)/105. Do u and o have diffe