 k(t) = 311 + 19*t - 2*t**2 + 316 - 622. Let p be k(9). Let q(z) = z**2 - 2*z + 1. Let u be q(-3). Which is greater: p or u?
u
Let k(c) = -c**2 - 25*c - 100. Let z be k(-6). Let b be 2822/238 + (-12)/z. Which is smaller: 15 or b?
b
Let t(a) = 6*a. Let s be t(0). Let w be -4 + 5/((-115)/(-12694)). Let v = 548 - w. Is v greater than s?
True
Suppose 1007 = -2*z + u, 20*z = 25*z - 3*u + 2516. Which is bigger: z or -516?
z
Let o = -0.1317 + -6.8683. Suppose 4*k - 398 - 334 = -4*b, 4*k = -4. Let x be -4 - (b/(-10))/4. Is x <= o?
False
Suppose -192 = 68*x - 67*x. Let t = -152 - x. Which is smaller: 41 or t?
t
Let j = 32809388/743 - 44158. Let o = -36383/2972 + j. Let v(y) = -y - 34. Let b be v(-21). Which is bigger: b or o?
o
Let x be (14/(-8) - 0)/(12/8). Let g be -5 + 12/(-8) + 7. Does g = x?
False
Let d(u) = -760*u + 6268. Let w be d(8). Which is smaller: 199 or w?
w
Let a = 459 + -355. Let q = -4 - -3. Let t be (-42)/a + (q - (-5)/4). Is t <= -1?
False
Let y = 4 - -1. Let s = 295 - 285. Let h be -5*(-3 + s/5)*1. Is h at most y?
True
Let b be 0/15 - 6/(140/8 - 1). Let l(k) = k - 6. Let q be l(5). Which is smaller: q or b?
q
Let k = -28.6056 - 0.3944. Is k greater than 1.7?
False
Suppose -1 + 28 = -n. Let d be (2/24)/(n/(-792)). Let k = 10 + -8. Which is smaller: k or d?
k
Let g be (8/(-3))/((-20)/30). Let v(w) = -2*w**2 + 337*w - 681. Let x be v(2). Is x smaller than g?
True
Suppose 0 = 16*k - 61 + 429. Let d(b) = -2*b - 46. Let a be d(k). Are a and 7 unequal?
True
Let a = 1 + -2. Let c = 116.9383 - 14.9383. Which is greater: c or a?
c
Let n = -0.035 - -18.435. Let g = -17.47 + n. Which is smaller: g or 2?
g
Suppose 25*v = 5*v + 8660. Let n = -442 + v. Which is greater: -10 or n?
n
Suppose 0 = 407*v + 17 - 17. Let l = 1668976/247 - 6757. Which is bigger: l or v?
v
Let n be (60/3)/((-8)/(-4))*7/70. Which is bigger: 58/31 or n?
58/31
Let p be (-6)/4*(-228)/855. Which is smaller: p or -197.5?
-197.5
Let h(k) = k**3 - 22*k**2 + k - 20. Let a(y) = -y**2 + 8*y. Let g be a(4). Suppose -9*i - g = -214. Let d be h(i). Which is smaller: 9/4 or d?
d
Suppose -3*a - 10 = 2. Let c be 4/2 + 57*(-8)/a. Suppose 3*l - c = -l. Which is bigger: 28 or l?
l
Let l(g) = -g**3 - 5*g**2 + 4*g + 7. Let s be l(-6). Suppose 0 = -c + s - 16. Let x = c - 3. Which is bigger: -4 or x?
x
Suppose 11 - 53 = -7*a. Let h be (-4)/48 - (14/a - 2). Is 5 at most h?
False
Let m be -2 + 4/(12/9) - 23. Let x be (-2)/(-4) - 1243/m. Let f = -58 + x. Which is greater: -2 or f?
f
Let u(i) = 85*i - 29. Let k be u(1). Suppose k = 35*r - 49*r. Which is smaller: 6 or r?
r
Let r(h) = -h - 8. Let j(g) = -1. Let y(q) = 5*j(q) + r(q). Let f be y(-8). Let p = 84 + -92. Which is smaller: p or f?
p
Suppose -4*a = 2*k - 58 - 154, 0 = -k + 5*a + 99. Let y = k - 121. Is -17 < y?
False
Let h(d) = -3*d**2 - 46*d - 65. Let x(l) = -l**2 - 16*l - 22. Let r(t) = 4*h(t) - 11*x(t). Let n be r(-6). Which is smaller: 7 or n?
n
Let l(m) = -3*m - 3. Let d(w) = w**2 - 10. Let y be d(-3). Let k be l(y). Let z be (-4)/16 + 372/1616. Which is greater: z or k?
k
Let b = 6760/297 + -252/11. Suppose 0 = 64*v - 69*v + 30. Let r be ((-6 - v) + 9)/3. Is r at least as big as b?
False
Let a = -892.27 + 897. Let u = 42.73 - a. Do u and -6 have different values?
True
Suppose 44*c - 11536 = -4*d + 49*c, 8625 = 3*d + 3*c. Are d and 2878 unequal?
True
Let f be (1410/(-8) + 1)*(-43888)/(-39). Let q = 199021 + f. Let n = q - 1822. Which is bigger: n or -17?
n
Suppose h - 3*w - 12 - 1 = 0, 5*w - 5 = -5*h. Suppose -2*n = 5*s - 21 - 15, -n - 2*s + 16 = 0. Suppose h*t + 12 = n. Does t = -1/33?
False
Suppose 0 = 15*i - 29*i + 2856. Suppose 181 = w + i. Is -7 at least as big as w?
True
Let k = 237 - -310. Let w = k + -547.18. Which is smaller: w or 0.11?
w
Let n(q) = -248*q**2 + 19*q + 38. Let u be n(-2). Which is bigger: u or -10920/11?
u
Suppose 742 = -7*m + 21*m. Suppose 48*z = m*z - 10. Is z != -27?
True
Let q be (4/((-656)/4916))/3. Let l = q + 10. Which is greater: l or 1?
1
Let g be (-44 + -1)/((2/(-3))/((-128)/288)). Do 9 and g have different values?
True
Let t be 0/(-4 - (8 - 33/3)). Is t smaller than 33/52?
True
Let f = 17698 - 17213. Is f > 481?
True
Let j(z) = -10*z - 60. Let b be j(-8). Suppose -1600*v = -1595*v - 130. Is v > b?
True
Let r = -2394 - -2393. Is r greater than or equal to -2/401?
False
Let s(x) = 336*x + 615. Let u be s(-5). Is -1064 at least as big as u?
True
Suppose -i - 4*r - 3919 = 0, -22691 = 4*i + 2*r - 7071. Which is greater: -3904 or i?
i
Let v be ((-7)/(-3) - -2)/(14/42). Suppose 0 = -18*n + v*n - 40. Let z be (-12)/(-30)*(-5)/n. Which is bigger: 0 or z?
z
Suppose 12*h - 29*h = 14*h - 31. Do h and -6/157 have different values?
True
Let j = -3703 + 3386. Which is smaller: j or 1/6?
j
Let l be ((-304)/228)/((-12)/1053). Is l > 0.03?
True
Suppose 29*k - 49*k - 4 + 24 = 0. Is -6.09 < k?
True
Let f = 131 - 59. Let r = -73 + f. Let z be ((-282)/(-140))/r - -2. Is -1 smaller than z?
True
Let y be (-33)/(-1) - 6/18. Let r be 2047/63 - 4/(-18) - (-1160)/4060. Which is smaller: y or r?
y
Let j be (4/15)/(-4)*12/444. Let i = 76387/2747990 + -467/2122. Let l = i - j. Is 0 at most l?
False
Let j be 5 - (-5 + 4 + 2). Suppose 3*z + 184 = i, 0*z + 44 = -z - j*i. Let p = z + 59. Is 13 smaller than p?
False
Let l = -17444 - -15074. Is -2370 <= l?
True
Let a be 0/((-1)/((-4)/8*2)). Let i be 68/612 + 29/(-99) + 290/2079. Which is bigger: a or i?
a
Let v be ((-4)/(-18))/((-4)/(-6))*(-76636)/(-138). Which is smaller: 186 or v?
v
Suppose 2*g - 14 + 4 = 0. Let y be (-14)/6 - (g - 9 - -1). Is 65 less than or equal to y?
False
Suppose 26*k = 4*k + 25872. Let n = -5858/5 + k. Which is smaller: 9 or n?
n
Let i be -27*(-24)/(-756)*(-7)/(-2). Suppose -4*q + 12 = v - 5*q, 0 = 3*q - 9. Suppose 4*o = -2*j + 14, -3*j + 2*o = -4 + v. Which is smaller: i or j?
i
Let y(m) = m**2 - m + 4. Let n be y(0). Let g be (-130)/195*(-18)/4. Suppose -7 = g*l - 13. Are l and n nonequal?
True
Let x be (-2 - 104/13)/((-6)/(-3516)). Which is greater: -5858 or x?
-5858
Let j = 184 - 258. Let u = j - -74. Is u < 11?
True
Let b be 12549/534 - (-1)/(-2). Is 20 at most as big as b?
True
Let f = -81.1 + 0.1. Let r = 64.8 + 15.2. Let n = r + f. Which is greater: n or -0.45?
-0.45
Let w(o) = -350*o**2 - 3*o - 1. Suppose 0 = -3*u - u - 2*d, -3 = -3*u - 3*d. Let p be w(u). Let z be (4/p)/(1*(-1)/(-3)). Which is greater: z or -1?
z
Let l = 21/484487 - 11440676795/17926019. Let f = -638 - l. Which is smaller: 1 or f?
f
Let h = -0.12 - 355.88. Is h less than 12?
True
Let k = 14 - 20. Let m(i) = -i**2 + 47*i + 3474. Let b be m(-40). Is k not equal to b?
False
Let p be 0/3 - (-12)/(-14). Let j = 117439/2 + -58719. Are p and j non-equal?
True
Let v be 21/(-3) - (4176/78)/(-8). Suppose 0 = 4*g - i - 6, 5*i + 1 = -5*g - 4. Which is smaller: g or v?
v
Let u be 360/(-2848)*(8709/9 - -1). Let n = u + 245/2. Do 0 and n have different values?
True
Let o = -92 + 56. Let h = 360 + -156. Let i = -206 + h. Which is greater: o or i?
i
Suppose 2*b = p - 2, b + 8 = 2*p + 2*p. Let g be -79 + 80 - 11/23. Which is smaller: b or g?
b
Let l = 431.467 + -409.34. Let u = l + -0.127. Let c = u - 22.75. Is c not equal to 1?
True
Let a be ((15 - 17) + (-33)/(-19))*(-300)/500. Suppose -4*c + 9 = 2*z + 3, -2*z = -2*c - 18. Which is smaller: a or z?
a
Suppose 0 = -4*y + 2 + 98. Suppose -3*s - 73 - y = -5*z, 5*s = -4*z + 71. Let n = -19 + z. Which is smaller: 3/10 or n?
n
Let v be 16*((-5340)/(-80) + 6). Is v smaller than 3494/3?
True
Let p(q) = -q**3 + 5*q**2 - 2*q + 5. Let f be p(5). Let n be ((-108)/10)/((-632)/80 - -8). Let u = n - -105. Does f = u?
False
Let r be (-3 + -1)*6/((-120)/65). Let x = r - 11. Is x >= 24/29?
True
Let r = 14420.593 + -14423. Is -3 bigger than r?
False
Let s(n) = -n**3 - 11*n**2 - 29*n + 2. Suppose -249 = 9*f - 204. Let c be s(f). Which is smaller: c or -13/5?
c
Suppose -d - 16 = 3*z, -z = -5*d + 2*z + 10. Let i be ((-27)/42)/9*(d + -3). Is -4.2 != i?
True
Let h be (7 + (-125)/20)*3516/(-3). Let w = h - -880. Which is smaller: -77 or w?
-77
Let p(m) = 2*m**2 + 2*m - 1. Let r be p(-2). Let d(n) = n**3 + 44*n**2 - 46*n - 35. Let c be d(-45). Suppose -5*l = j + 12, -r*l + 54 = -j + c. Is -32 >= j?
True
Suppose 3*p + 24 = 0, -351*g + 349*g + 438 = 3*p. Is 231 not equal to g