 is smaller: j or -2421/7?
j
Let i(a) = -a**3 + 97*a**2 + 5*a - 527. Let s be i(97). Which is smaller: s or -58?
-58
Let l = 40 - 33. Let u be -3 - (-2)/1 - l. Which is greater: u or -90/13?
-90/13
Let k = -0.044502 + 0.044502. Let f = 0.17 - 0.3. Which is greater: f or k?
k
Suppose 7 = -3*c + 16. Let n be c - 1 - (-10 - -15). Let t = 1/71 + -1569/497. Is n >= t?
True
Suppose 277*y - 281*y = 56. Let q be 1285/(-25) + y/(-10). Which is smaller: q or -49?
q
Let d be (-8)/4 + -5 + 17507/2485. Is d greater than -1?
True
Let o(m) = -m**3 - 3*m**2 + 3*m - 1. Let h be o(-4). Suppose -h*n = 15*n - 1422. Is 81 at most n?
False
Suppose 0 = -r + 45 - 55. Let j(h) = -8*h - 33. Let z be j(r). Is z smaller than 47?
False
Suppose -3*m = x - 8 - 5, -3*m + 17 = -x. Suppose 10*n = 6*n + 3*i - 201, m*n + 290 = -4*i. Is n <= -57?
False
Let a be (-2 - 486/15)*10. Let s be a/84 - (-2)/21. Is -3 at most s?
False
Let l = 29160/189709 + 2/14593. Are -306 and l non-equal?
True
Let u = 2788 + -3167. Is -380 at most as big as u?
True
Let i be (738/(-492))/(9/1110). Are i and -185 equal?
True
Let c(v) = -6*v. Let j be c(1). Let b(d) = -d**2 + d + 2. Let f(a) = 2*a**2 - 8*a - 30. Let o(g) = -b(g) - f(g). Let x be o(10). Which is smaller: x or j?
j
Let f(k) = k**3 + k + 1. Let v = 41 + -21. Let q = v + -21. Let l be f(q). Is -3/5 > l?
True
Suppose n - 2*c - 3 = c, 2*n - 6 = 5*c. Which is greater: 7 or n?
7
Let q = -5722 - -5699. Is -25 <= q?
True
Let f(h) = -h + 15. Let u be f(24). Let d be (u + 705/78)*(-24)/(-14). Is -0.2 less than d?
True
Let r = -14161 - -14183. Suppose -3*s - 2*o + 72 = 0, -s - 54 = -4*s + 4*o. Is r <= s?
True
Suppose -48*t + 55*t = 644. Which is bigger: 64 or t?
t
Let m = -1309 - -140064/107. Let i = -655/1391 + m. Let n = 25.5 - 25.3. Is n < i?
False
Suppose -2*z - 2 = 39*w - 40*w, 2*z = -4*w + 8. Does z = 5/721?
False
Let f be (0 - (-515)/(-2))*33/41595. Let c = 10/47 + f. Are 0 and c nonequal?
True
Suppose 3410 = -45*t + 56*t. Suppose -10*u + t = 1130. Which is greater: u or 1?
1
Suppose 358*i + 1937282 = -224*i - 1857940. Is -6521 less than or equal to i?
True
Let o(b) = b - 1. Let u be o(11). Suppose 3*s - 4 = -g - 3, 4*s - 3*g = u. Let w be s/2 - 2/(-44). Is 1 smaller than w?
False
Let m = 26539 + -26541. Let s be 0*(4/2)/(-2). Let n be (-2)/(s + 2) + 3. Which is smaller: m or n?
m
Suppose -4*k = -4*y + 36, 2*k - 15 = 3*k + 2*y. Let c be (-2)/6 - 1*k/15. Which is smaller: 22 or c?
c
Let d(g) = -g**3 + 2*g + g + 18 + 0 - 8*g**2 - 8. Let z be d(-8). Let b be (-2)/(-2) + z/12. Which is greater: 6 or b?
6
Let v be -12 - -13 - (-8)/4. Let p be v/(1*-36) - (-2)/24. Are p and -1/181 non-equal?
True
Let g be 352/(-546) + 4/6. Suppose 32*q - 337 = -305*q. Is q <= g?
False
Suppose j + 5*a = -10, 5*j - a + 4*a + 6 = 0. Let i be (420/98)/((-765)/(-70)). Which is smaller: j or i?
j
Let y = -18094 - -17711. Is 1 bigger than y?
True
Suppose 5*s + 4 = 4*q + s, 4*s - 11 = -q. Let c = 111223/71541 - -7/7949. Are c and q unequal?
True
Let r(x) be the third derivative of -x**5/60 + x**4/24 - 169*x**3/6 - 178*x**2. Let y be r(-14). Which is smaller: -380 or y?
-380
Let u be (-2)/(-2) + (-1 - 31). Let g(b) = 3*b**2 - 3*b + 32. Let d be g(6). Suppose 126 + d = -8*p. Is p equal to u?
True
Let m be (22/(-159753))/((-16)/(-12)). Is m smaller than 0?
True
Let u = -22 + 203. Let p = -176 + u. Is 4 at most as big as p?
True
Let c(u) = -u**3 + 4*u**2 + 3*u + 12. Let d be c(5). Let b(r) = 50 + 47 - r**3 + 3*r**d - 2*r**3 - 2*r - 94. Let t be b(2). Which is bigger: t or -14?
t
Let b be -4 - -7 - (-692)/480*-2. Let p = b - -77/60. Which is smaller: p or -1?
-1
Let u(q) be the third derivative of -23*q**4/24 - 101*q**3/6 + 26*q**2. Let n be u(-32). Let s be n/35 - 5/35. Does s = 16?
False
Let g = -1187426/11 + 107458. Is -491 bigger than g?
False
Suppose 3*o + 107 = 113. Suppose o*d = 14 + 78. Which is smaller: d or 2?
2
Suppose -5*i = l - 17, -5*i + 17 = 4*l - 6. Let x be -1*(-4 - -2) - i. Let m = -4649/7469 + 114/679. Are m and x unequal?
True
Let y = -6137.03 - -6137. Is y > 128?
False
Let m(k) = 43*k + 130. Let p be m(-3). Suppose 76*t + 3*o - 3 = 73*t, -5*t - p = 2*o. Is 2/183 >= t?
True
Let d be ((-6050)/33)/((-8)/(-12)). Let u = d - -276. Is -57 bigger than u?
False
Suppose -5*k = 16 + 84. Let d(q) = 11 - 164*q**2 + 8*q + 167*q**2 + 17 + q**3. Let l be d(-4). Is k at most l?
True
Suppose 198 = 4*k - 154. Let m be ((18/k)/(-9))/(3/(-4)). Let n be -5 + 5 + 0 + -1. Is m less than n?
False
Let g = -656385/7 + 93771. Let u(c) = -6*c**2 - 4*c + 3. Let r(n) = -7*n**2 - 4*n + 4. Let b(p) = -5*r(p) + 6*u(p). Let v be b(-2). Which is bigger: g or v?
v
Suppose -5*s + 24 = -2*q, s + 2*s + 3*q = 27. Suppose 4*j - 10 = s. Suppose 0 = -3*o - 2*x - 2*x + 16, -2*x + 8 = j*o. Is o != 5/6?
True
Let z = -499.6922 - 1.3078. Which is bigger: -8 or z?
-8
Let c = -25 - -126. Let z = -146 + c. Let q = z - -45.3. Which is smaller: 17 or q?
q
Let w be (3 + (-14)/6)/(445/85618) - -2. Is w != -2/5?
True
Let p = -44.81 + 45. Let i = -50959.2 + 50959. Is p != i?
True
Let k = 5 - 169. Let z be 166/200 + 123/k. Which is greater: z or 1?
1
Let w = -1109 + 760. Let v be (1400/(-12))/((-4 + 2)/(-6)). Does v = w?
False
Let s be (33/(-396) + (-29607)/(-180))*-5. Which is smaller: s or -825?
-825
Let k = -99 - -62. Let u = -84 - k. Let l = 47 + u. Which is smaller: 2/143 or l?
l
Let u = 37.8 - 37.8159. Are -4 and u non-equal?
True
Let h = -5439 - -141419/26. Which is greater: 0 or h?
h
Let d(y) = -y**2 - 4*y - 1. Let n be d(-4). Let p be ((-26)/(-2))/n*1. Which is smaller: p or -27/2?
-27/2
Let z = -0.294 + 55.294. Let q = 0.033 + -57.033. Let f = q + z. Is 15 smaller than f?
False
Let i = 2774 + -2725. Let s = -37 - -88. Is i greater than s?
False
Let h(j) = -j**3 + 70*j**2 - 122*j - 912. Let n be h(68). Is 80 equal to n?
False
Let n(x) = x**3 - 2*x**2 + 8*x. Let m be n(3). Let i = -15 + m. Let g = 25 - i. Which is greater: -1 or g?
g
Let p = -516 + 543.1. Let i = p + -27.2. Which is smaller: 3 or i?
i
Let u = -0.0083 - -3.1083. Let n = u - 2.1. Which is bigger: n or 2/29?
n
Let r = 33.16 + -32.26. Which is smaller: r or 738?
r
Suppose 0 = -2*y + 795 + 497. Are y and 651 nonequal?
True
Let f be (-6)/(-9) + 0 - 1362/(-9). Let a = 155 - f. Which is greater: a or 4/9?
a
Let x = -11 - -2. Let t be ((-2)/x)/((-36)/54). Which is bigger: 5 or t?
5
Let d be (-4 - (3 - -3))/1. Let i be (-2)/(d/15*1). Let v be 2/(74/i)*2/(-3). Is v at most as big as 0?
True
Let d be -9 + 29388/3912 - (-1 - 2). Let j = d - 2/163. Let g = 2 + -2. Which is greater: g or j?
j
Let u = 89844419466 + -2605862104169/29. Let y = -12895978 - u. Let a = y + 1507. Which is greater: a or 0?
0
Let d(v) = 19 + v**2 + 0*v - 18 - 2*v. Suppose 28*n = 21*n. Let p be d(n). Which is smaller: 4/3 or p?
p
Let l(n) = -2*n**2 + 12*n + 15. Let k be (2/(-2) - 0)*(-7 - 0). Let v be l(k). Let r be 3/(-15) + v*(-33)/(-15). Is r != 1/2?
True
Suppose 8*r - 5*r = 1338. Let n = 6694/15 - r. Let z be (2/3)/((-8)/(-12)). Which is bigger: n or z?
z
Let g = -11126 + 188642/17. Which is bigger: g or -30?
g
Suppose -68 = 5*v - 4*h, 3*v - 1 = 5*h - 34. Let j(p) = -p**2 - 15*p + 23. Let d be j(-12). Suppose 29 - d = 2*i. Is v < i?
True
Let t be (-1 - -1)*(54/12)/(-9). Does -1/965 = t?
False
Suppose 5*r = r + 3*z + 119, 4*z = 5*r - 150. Let u be (-175)/25 + 836/28 + 4. Which is smaller: r or u?
r
Let b = 2.279 + 114.021. Let g = 117.357 - b. Let t = -0.057 + g. Is -22 less than t?
True
Suppose 0 = 63*c + 7 - 133. Suppose -5*p + 1 = 3*n - 1, 4*n + 3 = -p. Let h be (-3)/(-24) + n/4. Which is smaller: c or h?
h
Suppose 4*w = -20, 2*x - 21 = 4*w + 1. Let j = 64809302/553 - 117195. Let d = j + 1/79. Which is greater: d or x?
x
Let g = 48.6593 + -47.1493. Let j = -0.1 - -0.2. Which is smaller: j or g?
j
Let p = -0.39 + -3.6. Let y = p + 2.99. Is 9/11 > y?
True
Suppose -8*i = -12*i + 8. Let f(r) = 9*r - 3. Let h be f(i). Let x be (65/h)/((-10)/(-3)). Which is smaller: 2 or x?
x
Let m = -23760 - -23883. Let w = 357 + -235. Is m != w?
True
Suppose 4 = -2*z, -z - z = 5*f + 394. Let a be (-1)/((-237)/f - 3). Let h be (-2)/(-4) - 559/a. Is 22 less than h?
False
Let m be -13 + 11*(-32)/(-176). Let l = 449 - 2234/5. Which is greater: m or l?
l
Let l = -2630649/136 + 19343. Does -3 = l?
