119907706 + -4584316356166/453. Let f = -4050 + j. Suppose o = -q - 3*o - 5, -o - 6 = 5*q. Which is smaller: f or q?
q
Suppose 13*t - 15*t = 52. Let g = -532 - -507. Which is bigger: g or t?
g
Let w(i) be the first derivative of -i**3/3 + 7*i**2 + 51*i - 41. Let u be w(16). Let b be u/(-4) - (-11)/(-44). Which is bigger: b or -10?
b
Let j be 0 + ((-760)/50 - -15). Is -6.16 less than or equal to j?
True
Let m(c) = c**3 + 16*c**2 - 16*c + 20. Let x be m(-17). Let d(p) = -p**2 + 12*p - 17. Let u be d(x). Which is smaller: u or 13?
u
Let a be (-69)/(-5) + 15/(0 - -5). Let z = a + -5969/355. Is z > -1?
True
Let s = -1986/5 - -397. Let y(k) = k**3 + k**2 + 2. Let f be y(0). Suppose 5*r + 5 + 1 = q, 12 = f*r - 4*q. Which is bigger: s or r?
s
Let i = 17122 - 16579. Which is bigger: 535 or i?
i
Let a = -18703 + 9943. Which is smaller: -8762 or a?
-8762
Let h = 1448 + -1379. Let d = -0.539 + 68.739. Let l = d - h. Which is greater: 5/4 or l?
5/4
Suppose 3*j + 131 - 41 = 0. Let n be (4/j)/(-1 - 30056/(-29832)). Let u = n + 92/5. Is u at least as big as 0?
True
Let g be (-4)/(-12)*-3 + -39. Let t = g - -33. Let c = -17 - -15. Which is smaller: c or t?
t
Let t = -175 - -175. Suppose 2*u + h = -3*h - 10, u + 4*h + 7 = t. Let y = 14 - 12. Is y at least u?
True
Let f = 8.7 + -13.7. Let n be (0 - 2/(-4))/((-12)/(-8)). Which is greater: n or f?
n
Suppose -12 = 5*b - 6*b. Suppose 17*f + 25 = b*f. Let i be (-1*1)/(f/20 - 0). Which is smaller: i or -0.8?
-0.8
Let x = 469.5 + -484.47. Is 1 equal to x?
False
Let c = 3946/3 + -1316. Which is smaller: -20.24 or c?
-20.24
Let f be (-1)/1 + 80 + -4. Let m be (f/10 - (-3)/(-1))*-2. Let g be -2*3/(-6) - 4. Is m > g?
False
Suppose -6*s + 679 = -0*s - 2609. Which is bigger: s or 5?
s
Let y be (-507)/(-6)*((-9 - -5) + 8). Is 345 >= y?
True
Let i(j) = j**2 - 90*j + 1210. Let v be i(75). Which is smaller: 2 or v?
2
Let v = 5515 - 60705/11. Suppose 736*p - y = 734*p - 3, -28 = 2*p + 4*y. Is v at least p?
True
Let b = 1311 + -9159/7. Let y = -21 + 17. Let c be 16/42 + y/(-14). Is b at least as big as c?
True
Let v(h) = h + 12. Suppose 0 = -3*u - 3*x + 15, -u + 3*x = -3*u + 11. Let z(y) = -6*y + 11. Let w be z(u). Let l be v(w). Which is greater: l or 9/2?
9/2
Suppose 0 = 5*i + 2*a - 148 + 150, -5*a = -i + 5. Are 2/25659 and i non-equal?
True
Let b be -8*(8 - (693/88 - 0)). Is b at least as big as 853/5?
False
Let v(i) = i - 11. Let w(o) = o - 10. Let s(k) = -4*v(k) + 5*w(k). Let g be s(2). Which is greater: g or -19/7?
-19/7
Let w be ((-216)/84)/(1/7). Let x be (w/(-24))/(27/(-40)). Which is bigger: x or -1?
-1
Let h(y) = 24*y + 17. Suppose 0 = -49*j + 50*j + 1. Let i be h(j). Which is greater: i or -2?
-2
Let z be -4 + 2 - 24/(-11) - (-3029)/(-143). Let g = -1669 + 6593/4. Which is smaller: g or z?
z
Let z = -11 - 18. Let k = 36.7305 + 0.0695. Let q = k + -36.8. Which is bigger: z or q?
q
Let f be (-58)/18 - (-2)/9. Let q(i) = i - 3. Let o be q(f). Let d = -256914 - -256909. Which is bigger: d or o?
d
Suppose -5*d + 322 = -2*w + 171, 0 = 3*w - d + 259. Which is smaller: -1.7 or w?
w
Let c = -0.652 - -2.707. Which is smaller: c or -2?
-2
Let b be (60/(-12) - -5)/1. Is 3/608 <= b?
False
Let x = -39 + 38.95. Let l = x + 0.05. Let r = 43 + -32. Are r and l nonequal?
True
Let v be 6/9 - 2 - 1724*1/(-1239). Is v bigger than 1?
False
Let h(b) be the first derivative of 2*b**3/3 - 9*b**2/2 - 36*b - 113. Let k be h(8). Are 0 and k equal?
False
Let l be (-90)/(-100)*(-6)/(-9). Is l greater than or equal to 2035?
False
Let v = -14.2 + 51.2. Let g = -37.38 + v. Is g greater than 0.2?
False
Suppose -2*l = -l + 5, 0 = -3*a - 3*l + 576. Suppose 0 = -z + 477 + a. Let j be 4/14 - (1 - z/(-7)). Which is smaller: -98 or j?
-98
Let h = -32313953/2508 + 141720/11. Let w = h - 2/57. Is w < 9?
True
Let b(g) = -g**3 - 10*g**2 + 22*g - 11. Let m be b(-12). Suppose 0 = -m*o + 12*o + 45. Are o and -1 equal?
False
Let u be -12*((-9)/54 + 34/6). Let b = 45 + u. Is b greater than -22?
True
Let i be 2/9 + 400/(-1476). Let j = -8771 + 8772. Are i and j nonequal?
True
Let a be 4/26 + (-408)/(-52) + -4. Suppose a*z + 8 = -3*l - l, -4*z = -2*l + 14. Let r be -11*l*(0 - -4)/(-4). Which is greater: r or 10?
r
Let l = -0.3509 - -3.3509. Does 1854 = l?
False
Let y(r) = 2*r**3 + 3*r**2 - 33*r + 64. Let t be y(2). Suppose 0 = 9*q - 37 - t. Is q < 12?
True
Let b = 4913 - 5050. Are -114 and b equal?
False
Suppose 45 = 3*d - 5*z, -9 = 5*d + 19*z - 18*z. Which is smaller: d or 4/1061?
d
Let g = 386/3 + -129. Let u = 1 + g. Suppose 4*p - 3*m = -109, 79 = -4*p + 4*m - 25. Is u < p?
False
Let t = 16660 + -16660. Which is bigger: t or 3/3550?
3/3550
Let y = 3 + -5. Let r be (-1)/y + 33/(-18). Let j be -7 - ((-40)/18 - (-190)/(-38)). Is j less than r?
False
Let h be (-2031)/(-840) - 279/(-465). Is 2 greater than h?
False
Let t = 251109852/4231 + -59350. Which is smaller: -1 or t?
-1
Let h(r) = -27*r - 81. Let v be h(-10). Let s(i) = i**2 - i + 8. Let m be s(-13). Are v and m unequal?
True
Let t = -146 - -150. Suppose -u = -t, 77 = b - 6*b + 3*u. Let k be -11 + 0 - (-2)/(-2). Are b and k equal?
False
Let r(m) = m**2 + 28*m - 6. Let d be r(-9). Let a = 259 + d. Let t be 2/(-4)*3 - (-125)/a. Which is smaller: -1 or t?
-1
Suppose 27 = -2*c - 5*b, -3*c - 16 = 3*b + 2. Let v be 69/(2*c + 3 + 0). Is v >= 1?
True
Suppose 3*n - 9 = 15. Let x(i) be the second derivative of -i**5/20 + 2*i**4/3 - i**3/6 + 9*i**2/2 - 11*i. Let a be x(n). Is a != 0?
True
Let t(j) = 647*j**2 + 4*j + 2. Let a be t(-1). Let s = -619 + a. Which is greater: s or 18?
s
Let n = 99.27 + -98.94. Let t = 0 + 1/2. Is n <= t?
True
Let q(j) = j**3 - 48*j + 3. Let p be q(7). Suppose -204 = p*u - 4. Let g(r) = -r**3 - r**2 - r - 2. Let y be g(0). Is u bigger than y?
False
Let s = 5141 + -10283/2. Do s and -3122 have different values?
True
Let y be -3*(-10)/(-12) - -2. Suppose 23 = -4*f + 39. Suppose i + f*i - 90 = 0. Which is greater: y or i?
i
Let x = 5050 - 4059. Which is greater: 993 or x?
993
Let t be (-2)/10 - 624/(-36)*(-93)/(-10). Is t smaller than 152?
False
Let v be (-396)/(-30) + (-1 - 27/(-15)). Suppose -v*k - 25*k - 39 = 0. Is 4/21 at most as big as k?
False
Let t = 7969/4726 + -61/34. Is -3 bigger than t?
False
Suppose 20*o = 18*o + 8. Let v be ((-6)/12)/(o/(-46)). Are 7 and v nonequal?
True
Let t(j) = 239*j + 2337. Let g be t(-10). Suppose -4*c + 2*z + 264 = 0, -z = -5*c + 73 + 254. Let s = c + g. Is s greater than 12?
False
Suppose 0 = -47*q + 88647 + 7609. Are q and 2047 equal?
False
Let p be (15120/(-2016))/((-6546)/8). Is p at least -1?
True
Suppose 0 = -20*o + 3*o + 5610. Let g be 2/(-5)*o/(-132). Is 4/63 smaller than g?
True
Suppose -4*t + 10 = -5*y, t + y - 3 = 2*y. Suppose 2*g = 0, -12*m + t*g = -8*m + 36. Are -8 and m equal?
False
Suppose -4*h - h = 0. Let u = -1372/9 - -48074/315. Let s = u + -191/910. Which is smaller: h or s?
s
Let u = -9873 + 9860. Which is smaller: u or -95?
-95
Let q = 91 + -158. Let v = q - -70. Suppose -v*a = -2*a - 15. Is a less than 15?
False
Let p = 75 + -42. Suppose w + 13 - p = m, 2*m = -5*w + 79. Let y be 16 + 1 + 0 + 2. Which is smaller: w or y?
w
Let p be 893056/(-81088) + (1 - (-30)/3). Is p at least as big as -1?
True
Let t be 1/4 + (-90)/424. Let v = 1373 + -1268. Let z be 140/v - 1/3 - 1. Which is smaller: t or z?
z
Let g = 2962 + -3005. Which is smaller: -2/19 or g?
g
Let o = 6500 - 4340. Let c = 591839/274 - o. Which is greater: 0 or c?
0
Let a be -12*(-9)/6*7. Suppose -p + a = 17*p. Which is greater: -14 or p?
p
Let u = 16051 + -16051.24. Is -0.1 at least u?
True
Let w = 2.0142 - 1.0142. Do 23.09 and w have different values?
True
Let a = 21934314/13 - 1688069. Let c = a + 815. Which is bigger: c or 0?
c
Suppose -14*i + 5*i = 2*i + 21637. Which is smaller: i or -1968?
-1968
Let z(u) = -8*u - 21*u - 373 - 9*u. Let q be z(-15). Is q < 197?
False
Suppose 15 = -5*a, -186 = 5*m + a + 727. Let j be ((-91)/m)/(1 - (-14)/(-12)). Which is bigger: -4 or j?
j
Let c = 72706951/7794010 + 2/556715. Let o = c + -83/14. Which is smaller: o or 2?
2
Let i be (-17)/(-272) - 40828/(-64). Is 644 >= i?
True
Suppose 5*j = 2*j + 2*t + 35, 47 = 3*j + 4*t. Suppose 2*b - 3 - 15 = 0. Which is greater: b or j?
j
Suppose 185*p = -272*p + 95*p - 720380. Is p smaller than -1992?
False
Le