ppose 0 = -h*q + 4*q + 30. Suppose 0 = -9*d + 4*d - q*t - 10, -3*d + 4*t - 6 = 0. Is 1 greater than or equal to d?
True
Let y be 8/(-2) - -33*(-140)/(-615). Which is greater: y or 5?
5
Let w = 240889/37 + -328215/481. Let y = -5680270/1001 + w. Let g = -1774/11 + y. Is g != -7?
True
Let x(m) be the third derivative of -11*m**5/60 + 55*m**4/24 - m**3/6 - m**2 - 4. Let i be x(5). Is i not equal to -19/32?
True
Let x be -84 + 76 + (5 - 0). Are -117/38 and x non-equal?
True
Let m = 180.68 - 15.48. Let u = -170 + m. Which is bigger: 0.01 or u?
0.01
Let n(x) = x**3 + 16*x**2 + 17*x + 21. Let g be n(-15). Suppose 0 = c + 4. Let o be 3 - -1 - (c - -15). Is g != o?
True
Let m(p) = p**2 + 14*p + 19. Let v be m(-9). Let x = v + -9. Let y be (6/15)/(x/50). Which is greater: 0 or y?
0
Let b = -372.9 - -393. Let s = -247.9 - b. Which is bigger: s or -1?
-1
Suppose y - 4*a - 3 = 0, -3 = -2*y + 7*a - 2*a. Let n be 9 - 25/(-5 + 10). Let k be (-2)/(y/(-2)*n). Do k and -2/59 have different values?
True
Let o be 2 + -2 + -1 + 3. Let z = -86272/25 + 17264/5. Are z and o equal?
False
Let d = -28012/1553035 + 48/2057. Is 0 < d?
True
Let g be 7 + 1*(-2 - -2). Suppose -3*s - g - 8 = 0, 25 = 4*c - s. Suppose -c = 2*u - 1. Are 10 and u non-equal?
True
Suppose 105*g = 137*g - 39232. Is 1225 equal to g?
False
Let r(v) be the third derivative of -v**5/60 + 7*v**4/6 - 21*v**3/2 - 36*v**2. Let x be r(21). Is 84 greater than or equal to x?
True
Let u = -23455 - -79653181/3396. Does 0 = u?
False
Let n = -0.134 - -62.134. Let g = -34 + n. Let w = -35 + g. Is 0 at least as big as w?
True
Suppose -z + 9 = 55*x - 52*x, -2*x + 12 = 0. Suppose 5*n = -87 - 3. Let d be z/n + (-5)/(-2). Is 9 at most as big as d?
False
Let y be -7*-11*30/35. Is y greater than or equal to -12?
True
Let s be 57*(-32)/(-216) + -9 + 5. Which is smaller: 35 or s?
s
Suppose 0 = 65*l - 68*l - 132. Let j be ((-2)/l)/(1/(-80)*-5). Which is smaller: j or 1?
j
Let a be (-1)/(-6) + (-1986)/10620. Let t = a + 12612/10915. Let u = 768/481 - t. Which is smaller: u or -1/6?
-1/6
Suppose 104*v = 303 + 197 + 124. Let w(u) be the second derivative of -u**3/6 + 5*u**2/2 - 2*u. Let p be w(0). Which is smaller: v or p?
p
Suppose 0 = -3*t - s - 548 + 60, 4*t = -4*s - 648. Let h = t + 491/3. Which is smaller: -10 or h?
-10
Let z = 180 - 179.27. Let l = z + -0.641. Let r = -0.041 - l. Is -3 less than r?
True
Let a = -78 + 79. Let b = a + -0.6. Let i = 60 + -65. Is b at least as big as i?
True
Let x = -147 + 180. Let i be 0 - 6/x - (-1972)/8789. Is 0 smaller than i?
True
Let h = 142.8 - 27.8. Let s = h + -288. Are -1 and s nonequal?
True
Let i = 304 + -303. Is i < -8/1091?
False
Let g(c) = -3*c - 2. Let l be g(0). Let n be (1 + -1)*((-12)/8 - l). Let o = -3797/13 + 293. Which is smaller: n or o?
n
Let x = 180 + -176. Let i(d) = -d**3 + 7*d**2 - 12*d + 1. Let u be i(x). Which is bigger: 2/315 or u?
u
Let o = 18 - 38. Let p = o + 81. Which is smaller: p or -6?
-6
Let v = -2846/19 - -84309/152. Let q = v - 404. Suppose -3*i + 9 = -0*i, -i + 3 = 5*c. Is c at most q?
True
Let m(z) = z**2 + 41*z - 36. Let y be m(-42). Suppose 0 = -25*v - y*v - 1116. Which is greater: 3/5 or v?
3/5
Let s = -11006 - -9695. Which is greater: -1310 or s?
-1310
Let o = 21299/110 + -621/22. Is 165 bigger than o?
False
Let n = 443 + -278. Let b = 155 - n. Which is bigger: -3 or b?
-3
Let n = -283 - -19. Let o = 224 + n. Let z(x) = -7*x - 6. Let r be z(5). Are o and r equal?
False
Suppose 134 + 121 = 5*z. Let d = 376 - 432. Let l = z + d. Which is smaller: -9/2 or l?
l
Let k = 250/27 - 419/54. Is 0.0373 > k?
False
Suppose -5*x - 51 = -226. Let y(o) = o**3 + 5*o**2 - 5*o - 2. Let w = -258 + 254. Let b be y(w). Which is smaller: x or b?
b
Let d be 255 - ((-67)/13 + (-18)/(-117)). Suppose -38*b - d = -42*b. Which is smaller: b or 64?
64
Let a(l) = 2*l**3 + 95*l**2 + 1543*l - 9. Let c be a(-19). Does -8747 = c?
False
Let b = 7108 + -7116. Which is smaller: b or -1/824?
b
Suppose 0*u - 2*u + 14 = 4*j, -28 = -4*u + 3*j. Suppose 2*l = 2*g - u*g + 189, -4*l - g = -387. Which is bigger: l or 195/2?
195/2
Let s(y) = 2*y**2 + 10*y + 29. Let b be s(-4). Suppose b = -3*h + 24. Are h and 25/12 equal?
False
Let m be (-16)/64 - 158/1560. Let f = m + 5/13. Let q(n) = n**3 - 4*n**2 + 4*n - 4. Let d be q(3). Which is smaller: f or d?
d
Let t be ((-16)/32)/(32/(-168)). Suppose 2*b = -3*k, -4*b = 2*k - 0 + 8. Let v be k + (1 - (0 - 0)). Are t and v unequal?
True
Suppose 4*z = 6*w - 56, 2206*z - 6 = -2*w + 2201*z. Which is smaller: -30/29 or w?
-30/29
Let b = 469867858401/400 - 1174665139. Let o = -4507 + b. Is -1 > o?
False
Let f be 180/(-24624)*40/(-75). Which is smaller: 4 or f?
f
Suppose -5*z + u + 7375 = -4*z, -2*u + 4 = 0. Let q = z - 81229/11. Is q at least as big as -7?
False
Let c be (-9)/(-2)*(4 + 574/(-147)). Which is smaller: c or -2/455?
-2/455
Let a = -14/1073 - 41/5365. Let b = -401 + 401. Which is smaller: b or a?
a
Let z = 5.62 - 39.72. Let g = z - 58.9. Which is smaller: 1/4 or g?
g
Let h = 64986186776/23682875 + 46/947315. Let u = h + -2744. Which is smaller: 0 or u?
0
Let z be 835/21 - (4 + 3 + (-8 - -6)). Which is smaller: 36 or z?
z
Let d be ((-16)/(-6))/(1168/438). Which is bigger: d or -23/130?
d
Suppose -3*k = 23 + 34. Let a(l) = l**2 - 13*l + 2. Let w be a(-7). Let c = w + -163. Which is smaller: k or c?
c
Let x = 4300 + -4973. Is x bigger than -666?
False
Suppose 5*p + 48 = 8. Let m be ((-645)/20)/(6/p). Let w = -42 + m. Do w and -1/9 have the same value?
False
Suppose -5*b = -6*b - 2*f + 8, 20 = 3*b + 2*f. Suppose b*j + 6 = 54. Which is smaller: j or 42/5?
j
Let l = -2972 + 3004.39. Let n = l - -1.61. Is -0.1 at most as big as n?
True
Suppose 128 = -8*k + 4*k + f, 3*k + 78 = 3*f. Are k and -0.83 nonequal?
True
Let i = 2281.4 + -2362.451. Let k = i + 81. Let w = -0.049 + k. Is w > -32?
True
Let u(z) = z**3 + 33*z**2 + 72*z + 310. Let a be u(-31). Is -1/24324 at least a?
False
Let u = 21 + 12. Let p = -36 - 0. Let l = p + u. Are l and -16/5 non-equal?
True
Let f = -4 + -1. Let p(s) = -s - 6. Let r be p(f). Let u be (-2124)/(-1834) + 448/(-392). Which is smaller: r or u?
r
Let z(u) = 3*u**3 - 35*u**2 - 11*u + 8. Let q be z(12). Let n(c) = -c + 2. Let i be n(-6). Suppose -28*s - i = -q*s. Which is bigger: s or 1/95?
1/95
Let f(u) = 2*u**2 + 11*u - 34. Let z be f(11). Let r = z + -4589/14. Which is smaller: 0 or r?
0
Let d(b) = 10*b - 9. Let v = 66 + -56. Suppose 5*w = 4*o + 7*w - v, 0 = w - 3. Let t be d(o). Which is bigger: t or 9/14?
t
Let y be 19/(14/2520 - 0). Is 3423 > y?
True
Let j be -7 - (-18 + (-132)/(-12)). Are -7/5353 and j equal?
False
Let q(m) = -6*m**2 + 2*m + 3. Let f be q(4). Let u(s) = s**3 + 199*s**2 - 401*s + 115. Let c be u(-201). Is f != c?
True
Let n = -224 + 334. Suppose -115*u = -n*u - 30. Is u >= 45/8?
True
Suppose -206828 = 227*d + 200178 + 155500. Is d at most -2/9?
True
Let r(c) = c + 17. Let o be r(-10). Suppose -o*p = -8 - 6. Let b be 5 - (p + -11)*-6. Are b and -47 non-equal?
True
Let n = 2/420817 - -824108/3687619371. Which is smaller: n or 1?
n
Let g(y) = -y**3 + 5*y**2 + 7*y + 5. Let r be g(-2). Let w be 22 + 3/(-6)*2. Which is bigger: r or w?
w
Let x = 796 - 892.8. Let d = x - -97. Which is greater: d or 77?
77
Let z(d) = d**3 + 36*d**2 - 973*d - 5. Let l be z(-54). Which is smaller: 120 or l?
l
Let t = 17.159 - 17.06733. Which is smaller: -2/5 or t?
-2/5
Suppose 2*f + 182 = -5*k, 599*k - 242 = 2*f + 594*k. Is f at least as big as -122?
True
Let w be -6 - (-131*(-2 + 1) - (-48)/(-16)). Suppose 0 = -6*x + x - 665. Is x not equal to w?
True
Let h = 19 - 11. Let m be (h/(-10))/(5/100). Let u be (10/(-24))/(4/m). Which is bigger: u or 1?
u
Let x = 7/5940 - 1363/1485. Suppose 0*f - 2*f = 0. Which is greater: f or x?
f
Suppose 5*d + 6*l = 10*l + 369, -l + 4 = 0. Let i = -404 + 482. Are i and d nonequal?
True
Let h = -301.3 - -313.3. Let r = 145 - 1017/7. Is r smaller than h?
True
Suppose -2*l = -3*u - 10, 0 = u - 5*l - 14 - 0. Let b be 6/9*u - -10*3. Suppose -71*t + 73*t = -b. Is -12 not equal to t?
True
Suppose 5*c - 99 + 29 = 0. Let h = -32 + c. Let i = -19547/29334 - 3/9778. Which is greater: i or h?
i
Suppose 104 = 3*w + 5*p - 30, 0 = -4*w - 3*p + 186. Suppose q - 95 - w = 0. Is q at least 143?
True
Let j = -41518 + 616