 3*y**2 + y + 1. Let k be r(x). Suppose l - 2*d = 4, -8 = 4*l + 4*d - 6*d. Which is smaller: k or l?
l
Let y(r) = -r. Let f be y(-1). Let b be 11 - (2980/250 + -1). Is b not equal to f?
True
Let p = -9.4 + -53.6. Let y = 235.6 + -300.6. Let x = p - y. Is -3 at most x?
True
Let d(o) = -2*o**3 + 2*o**2 + 509*o - 2485. Let v be d(5). Suppose 287 = -2*y - p, 21 = -5*y - 3*p - 699. Which is bigger: v or y?
v
Suppose b - s + 537 = 5*b, -b + 123 = -2*s. Let v(t) = -2*t**3 - 215*t**2 + 99*t - 842. Let f be v(-108). Is b less than or equal to f?
False
Suppose 92*o + 14*o = 85224. Which is smaller: 805 or o?
o
Suppose -88*u - 5*q + 15467 = -85*u, 3*q = 2*u - 10343. Are u and 5164 equal?
True
Let w be (-9)/(-3) + 1604/(-546). Let u = -43 - -3914/91. Let z = u - w. Is z != -1?
True
Let f(l) = -2*l**2 + 19*l + 11. Let a be f(10). Suppose -24 = -3*r + 3*q, r + 4*q + a = -1. Is r greater than 24/5?
True
Suppose -4*p - 4*a + 436 = 0, -p - 5*a = -86 - 23. Suppose -p = 8*g - 477. Do g and 48 have the same value?
False
Suppose -2*q = 4703 - 4695. Let k(b) = -b**2 + 11*b + 3. Let s be k(9). Which is smaller: q or s?
q
Let x = 42 + -43. Let s be 1/(-4) - x*90/8. Suppose s*n + 5 = 6*n. Which is bigger: 8 or n?
8
Let z = -855 - -903. Let b = 60.05 - -0.95. Let h = z - b. Which is bigger: 2 or h?
2
Let y = -3649/7 + 523. Suppose -28 = -2*z + 24. Suppose 0 = 3*s + 5*k - z, -2*k - 18 = -5*s - 4*k. Which is smaller: s or y?
y
Let u = -1989126/67 - -29687. Which is bigger: -0.1 or u?
-0.1
Let p = 193993/21 + -9239. Let t(z) = -z**2 + 5*z - 7. Let d be t(3). Which is bigger: d or p?
d
Suppose 0 = 4*i + c + 3563, -2*c - 4456 = 35*i - 30*i. Is -890 bigger than i?
False
Suppose 2*h = 2*b - 36, -3*h + 229*b - 228*b = 46. Is -22 <= h?
True
Let w be (60/50*20/(-6) - 58)*2. Is w <= -22?
True
Let y = 30.22 + -30.32. Which is smaller: y or 237/11?
y
Suppose 5*v = -2*p - 2875, 4*p + 68*v - 64*v = -5768. Is p greater than -1447?
True
Let u be (-1493088)/(-4326) + 30/(-14). Which is greater: 361 or u?
361
Let h = 1/2 + -9/14. Let w = -25.211362 - -0.211362. Which is smaller: h or w?
w
Let s(j) = 2*j**3 + 19*j**2 + 10*j + 14. Let l be s(-9). Suppose l*d + 3 - 13 = 0. Let g be (d + -1)*-1*11/9. Which is greater: 0 or g?
0
Let h(n) = 105*n**2 - 28*n - 3. Let q be h(-2). Let u = q + -474. Which is smaller: u or -13/57?
u
Suppose 2*w = -10, -4*o + 554 + 258 = -4*w. Which is greater: o or 192?
o
Let v = 72.7 - 72.32. Let m = 0.53 + -0.32. Let s = v - m. Which is smaller: 1 or s?
s
Suppose -5*j - 2*l + 22 = 0, -5*l = 2*j + 3*j - 25. Let z be (7 + -2)/(2/j). Let d = -661/18 - -425/9. Which is bigger: z or d?
d
Let p be (314944/482100)/8 + 126/(-1575). Is 1 smaller than p?
False
Let g = -273 + 111. Let h = -158 - g. Which is smaller: 1 or h?
1
Let c = -529 + 537. Let s be (c + 37)/(-9) - 5. Which is smaller: s or -13?
-13
Let h be (18 + -21 - -1)*(-19)/2. Is -1/79 at least as big as h?
False
Let j(d) be the third derivative of d**5/60 - d**4/8 + d**3/6 + 424*d**2 + 2*d. Suppose -8 = 2*a - 6*a. Let o be j(a). Which is greater: o or -10?
o
Suppose 0 = -4*u + 12 - 4. Let t be (-27)/(-30) + -1 + (-546)/180. Let z = t + 19/5. Which is bigger: u or z?
u
Suppose -24*h + 63 = -23*h. Let t = 64 - h. Is t < -8/19?
False
Suppose 5*d - 196 = 254. Let a(q) = -2*q**2 + 140*q - 1390. Let j be a(11). Let v = j + d. Which is greater: -7 or v?
v
Let y(n) = -7*n**2 + 15*n + 46. Let t be y(-26). Let u be 51/(-2)*16*42/t. Let i = 2/47 - u. Which is greater: -4 or i?
i
Suppose -219 = 15*m - 69. Let z(c) = -c**2 - 9*c - 1. Let j be z(m). Is 2/3 greater than j?
True
Let z = -696.511 + 696. Let k = z - -1.511. Which is smaller: 22.3 or k?
k
Let v(s) = s**3 + 14*s**2 - 16*s. Let z be v(-15). Suppose 0 = -16*w - 321 - z. Are w and -109/5 equal?
False
Suppose -17*x = 9*x - 104. Let t(w) = w**3 - 3*w**2 - 4*w + 21. Let n be t(4). Which is bigger: n or x?
n
Suppose 2*a - 4*r + 2 = 0, -a + 3*r = 3*a - 6. Let z(p) be the second derivative of p**4/12 + 4*p**3 - 25*p**2 - 201*p. Let q be z(2). Which is greater: q or a?
a
Let p = -4612 - -3094. Is p < -1520?
False
Let a(i) = 244*i + 1933. Let l be a(-8). Is l greater than -18?
False
Let b be 686/196 + (-1091)/2. Which is smaller: -540 or b?
b
Let w = -3 + 6. Suppose 26 = w*p - 7. Let t be (736/(-48) - -12)/((-7)/((-378)/(-15))). Is t less than p?
False
Suppose 3*p + 0*p - 15 = 0. Let r be (p - 11/3)/(-6). Let h be 0 - 3/((-39)/(-2)). Is h greater than r?
True
Let i be ((-28)/(-6))/(3/(-9) - -1). Suppose 0 = -5*c + 3*o + 11, 2*o - 5*o - i = -c. Which is smaller: 7/16 or c?
7/16
Suppose 0 = 1107*b - 1105*b - 2. Let a be 656/(-332) + 1 + b. Is a less than or equal to -2/9?
False
Let r = -116590 + 116588. Let k be 1*-2 + (-2067)/(-7259). Let c = k - -1/1037. Is r at most c?
True
Let q(n) = -n**2 + n + 1. Let o(h) = 2*h**2 - 24*h + 59. Let v(i) = o(i) + q(i). Let b be v(20). Is b smaller than 3/214?
True
Let n = 50.56 - 50.68. Is 0.152 less than or equal to n?
False
Let f = -21 + 23. Let i be f + -10 + 5 - (-42 + 1). Let t = 47 - i. Do t and 44/5 have the same value?
False
Suppose -4*g = 5*p + 115, 84 = -4*g + 2*p - 38. Which is bigger: g or -11?
-11
Let u = -50 + 352/7. Let g(f) = f**3 - 14*f**2 + 13*f + 5. Let v be g(13). Let s = -6 + v. Which is greater: u or s?
u
Let z be -3 - ((-12)/(-4) - 8). Suppose k + 3*s = 192, 5*k + z*s + 2*s = 982. Suppose 0 = 5*b + 4*b - k. Is 22 greater than or equal to b?
True
Let w = 284.9044 - 0.1044. Let h = w + -334. Let j = -49 - h. Does j = -0.2?
False
Suppose -4*h - 115 = 5*v - 397, -5*h = -v - 367. Let m(j) = -j**2 + 17*j + 18. Let a be m(4). Which is greater: h or a?
h
Let y = 18.5 - 192.5. Let x = y + 244. Let h = 70.1 - x. Which is bigger: 49 or h?
49
Let k = 2/1161071 + -126218867365/15093923. Let s = k - -8371. Let x = s + -1019/91. Which is smaller: -2 or x?
x
Let r = -555 - -560. Suppose -4*w - 13 = -b, -r*w - 17 = -2. Is 3/62 at most b?
True
Let k be 2*-29 + -2 + 2. Let j = -68 - k. Let s = -5 - j. Which is greater: 26/7 or s?
s
Let y = 352.8 + -352.6. Are 0.0425 and y nonequal?
True
Let u(k) = k**3 - 13*k**2 + k - 11. Let y be u(13). Suppose y = i + 1. Let f = -38/15 + 104/45. Which is greater: i or f?
i
Let t(p) = 20*p**2 + 3*p. Let u be t(-2). Let q = u - 72. Which is smaller: q or 51?
q
Suppose -z - 77 = -4*r, 2*r + z = 3*r - 17. Suppose r*g + 20 = 30*g. Which is smaller: -0.49 or g?
-0.49
Let a(z) = 5*z + 33. Let y be a(-8). Let h be y/(-14) + (-3)/14. Which is greater: 1/50 or h?
h
Suppose -1 = x - 4. Suppose 2*f + 2*t - 19 = 5*f, 4*f + 3*t + 65 = 0. Which is bigger: f or x?
x
Let o = -9553 + 1939247/203. Which is greater: o or -1?
o
Let w = 413 + -290. Let a = 211 - w. Which is smaller: 0 or a?
0
Let k = -115 - -156.8. Let l = k + -43.8. Let x = 0.03 - -10.97. Which is smaller: l or x?
l
Suppose 59*m + 108*m - 241663 = 80313. Is m < 1928?
False
Let s(a) = 3*a**2 - 88*a + 607. Let h be s(14). Are 10/13 and h unequal?
True
Let t = -3058 + 3355. Is 292 greater than or equal to t?
False
Suppose -34*a + 218 - 1816 = 0. Which is smaller: a or -11/3?
a
Let m = 4947 - 5034. Let k be (-345)/4 - (-1)/4. Is k at least as big as m?
True
Suppose 14*v = 489 + 113. Suppose -2*d + 6 + 4 = 0. Let y be v/(-3) - d/(-15). Is -13 at most as big as y?
False
Let z = -7 + 8. Let h(j) be the second derivative of j**4/4 - j**3/2 + j + 24. Let v be h(z). Which is greater: -2/49 or v?
v
Let r be (15*3/3690)/69. Is 0 not equal to r?
True
Let f = 507 + -281. Let r = f + -198. Which is smaller: r or 30?
r
Let j be 1/(-105)*(18 - 62). Let s = j + -2/105. Are s and -0.122 unequal?
True
Let l = 2568.3722 - 2568.1. Which is greater: l or -1/8?
l
Suppose -11*i = 19 - 41. Suppose -49*a + 47*a = -i. Which is greater: a or 1/2?
a
Let t = -3.12 + 0.02. Let i = t - -4. Let k = 2.9 - i. Is -10 at least as big as k?
False
Suppose 7*s = s - 456. Let k = s - 27. Let j = -123 - -20. Is j at least as big as k?
True
Suppose -124*i = 111*i - 243*i. Which is greater: i or 137?
137
Let l(n) = -2883*n - 74. Let f be l(-4). Let k = -57041/5 + f. Which is greater: 51 or k?
51
Suppose x - 351 = 2*p + 332, -4*x - 708 = 2*p. Let y = p - -360. Is y less than 12?
False
Suppose 13*t - 127 = v, -21*t - 48 = 3*v - 23*t. Let w(r) = -r**2 + 5*r + 2. Let u be w(4). Are u and v equal?
Fa