 j be v(-11). Which is smaller: t or j?
j
Let d(x) = x**3 - 11*x**2 - 16*x - 44. Let j be d(13). Suppose j*q = 78*q - 56. Which is smaller: -47/6 or q?
-47/6
Let d(y) = 70*y**3 + 2*y**2 + 3*y - 3. Let i(b) = -b**3 + 16*b**2 + 12*b - 191. Let l be i(16). Let x be d(l). Which is smaller: x or 68?
68
Suppose -3*q + 23 = 4*l, -2*q = 3*l + q - 21. Let f be 12/((-13)/(-13) + (-35)/l). Let k = -9 + 7. Which is greater: k or f?
f
Let v = 594 - 535.2. Let n = 59 - v. Is n < -160?
False
Let d = 9330 - 9527. Is -196 smaller than d?
False
Let x = -28 + 31. Let h(o) = -37*o - 219. Let q be h(-6). Is q at most x?
True
Let m(p) = 233*p**3 - 2*p**2 + 2*p - 1. Let a be m(1). Let g = -2554/11 + a. Let l = g - -52/165. Is -1 < l?
True
Let n be (0 + 1)*234/(-26). Let m(y) = -y - 8. Let q be m(1). Is q at least as big as n?
True
Suppose 2*u + 1 = 55. Suppose -u = 3*d + 6*d. Which is smaller: d or 2/13?
d
Let y = -411 + 383. Let n = 234 - 206.1. Let k = n + y. Do k and 45 have the same value?
False
Let q = -5574 + 5577.4. Is q < -2?
False
Suppose -97*y = 72*y + 5408. Let k be (-2)/(-8) - 250/8. Let o = k - y. Is o at most as big as 7/6?
True
Suppose -48*g = -50*g - 6, 3*g = -4*v - 37. Which is smaller: v or 32?
v
Suppose -15*q - 39*q + 371995 = 43*q. Which is smaller: 3837 or q?
q
Let v be ((-3)/(-30)*-2)/(22/(-55)). Let d = 13.362 - 0.062. Are v and d equal?
False
Let k = -446467987455/454 + 983410868. Let y = -1204 + k. Is y greater than -1?
True
Suppose -r + 5*y + 19 - 5 = 0, -3*r + 4 = 4*y. Suppose -17 = p - 5*u, -2*p - 2*u + r = -p. Let g be ((-288)/(-180))/(1 - 24/10). Which is smaller: p or g?
p
Let y = -9548 - -1021677/107. Let u = -3911/963 - y. Which is smaller: u or -3?
u
Suppose 5*j - 4*k - 11 = 9, 2*k = -4*j + 16. Suppose w = -j*w + 55. Let g = 96 + -97. Which is smaller: g or w?
g
Let l = 7714 - 7778.02. Let p = 0.46 - -63.54. Let g = l + p. Are 1 and g equal?
False
Let d = 12150 + -1615938/133. Is -1 bigger than d?
False
Let f be (-8)/22*8*(-8)/(-480). Let l be ((-8)/(-18))/((-30)/9). Let x = l + f. Which is greater: 1 or x?
1
Let k be ((-17)/34)/((-7)/(-42)). Which is smaller: -187 or k?
-187
Let n = 18 + -11. Suppose -10*t = -n + 37. Let s(k) = -k**3 - 3*k**2 - k. Let v be s(t). Is v smaller than 4?
True
Suppose 2*q + 5*v = -3207, -6*v = -5*q - v - 8070. Which is bigger: -1612 or q?
q
Let m(a) = -2*a**2 + 13. Let f be m(6). Let v be f/8 + 10/((-30)/(-9)). Is -5 less than v?
True
Suppose -38*m + 116928 = 18*m. Which is greater: m or 2090?
2090
Let v be 7/(-21)*4*(2 - 5). Suppose -5*f + 4*f = -5*u - v, -f = u - 4. Let l be ((-20)/22)/(-2) - 0. Which is smaller: l or u?
u
Let o be (-147)/(-2)*(2 - (-4)/(-6)). Is o at most as big as 116?
True
Suppose 2*w + 2746 = -g, 16*g - 15*g = -3*w - 4122. Which is smaller: -1377 or w?
-1377
Let g = -5.3 + 5. Let k = g + 0.2. Let y = -1416.8 - -1417.8. Which is greater: y or k?
y
Let m be (-401)/(-21) + (-66)/693. Suppose -4*t + 3312 = m*t. Which is smaller: 142 or t?
142
Let l = -1659 + 4834/3. Suppose 4*a + a + 3*w = -226, -2*a - 82 = 4*w. Is a < l?
False
Let j be (-3 - (-12)/3)*(-14)/846. Is 1 at most j?
False
Let r = -10 + 6. Let v = -466.4334 - 0.6666. Let j = v + 467. Is j > r?
True
Let p(v) = 187*v + 4674. Let j be p(-25). Is j less than 3/314?
True
Suppose -41 = -u - 4*x, 6*x - x + 80 = 5*u. Let f(s) = -s**3 - s**2 - 4. Let r be f(0). Let t be (20 - (-12)/3) + r. Which is bigger: t or u?
u
Suppose -l - 2 = -2*c, l - 2*l - 18 = 2*c. Which is smaller: 13 or l?
l
Let v(p) = -p**3 - 7*p**2 + 11*p + 19. Suppose 12*m - 13 = 13*m - 5*u, -2*m = -u + 17. Let t be v(m). Let y = 176 - 1265/7. Which is smaller: y or t?
t
Let b = 101645632807 - 5386978070243/53. Let i = -4536872 + b. Let o = i + -270. Which is bigger: -1 or o?
o
Let b = -9724 - -9921. Which is greater: -82 or b?
b
Let n = -0.012 + 20.012. Let l = n + 16. Let d = l - 36.05. Which is smaller: d or -1?
-1
Let c(g) be the first derivative of -g**3/3 + 31*g**2/2 - 31*g - 123. Let i be c(29). Is -8 bigger than i?
False
Let n = -296.4 - -302.2. Let y = 2.48 + -0.28. Let k = y + n. Are -0.1 and k unequal?
True
Let g = 15678.0138 - 15678. Which is bigger: g or 2?
2
Let k = 351226/23 + -15273. Let v = k - -776/207. Let f = 67 + -66. Which is bigger: f or v?
v
Suppose f = 3*g + 87, -g + 3*f - 37 = -0*f. Let o be ((-20)/15)/(g/(-606)). Which is smaller: -28 or o?
o
Let q be 142 + -183 - 1/(0 + -1). Let o be 325/q + (-28)/32 + 1. Which is greater: -41/5 or o?
o
Suppose -2*t + 146 = g, 8*g - 154 = -2*t + 3*g. Suppose -60 = -6*c - t. Is 33 greater than or equal to c?
True
Let a(x) = x**3 - 17*x**2 - 8*x + 8. Let d(s) = s**3 - 15*s**2 - 9*s + 10. Let h(t) = 3*a(t) - 4*d(t). Let u = 16 - 6. Let r be h(u). Which is greater: r or 2?
r
Suppose 0 = 11632*a - 11640*a. Let n = 3 + -2. Let w be n/(-4) - 3/(-12). Is a != w?
False
Let b = -3397/1795080 - -3/4274. Let j = 649/192360 + b. Is j at most as big as 0?
False
Suppose -3*m - 697 = -5*y, 0 = 6*y - 8*y + 3*m + 277. Do y and -1/8 have different values?
True
Let z = -3702 + 7669. Which is greater: z or -1?
z
Suppose -9*r + 3*h + 54 = -6*r, -86 = -5*r + 3*h. Let m be r/28 + 2667/49. Do m and 53 have the same value?
False
Suppose 17*d + 12*d = -4*d - 1089. Is d smaller than -33?
False
Let p(b) = -40*b + 22. Let z be p(6). Let c = -218 - z. Is -2/3 at most as big as c?
True
Let q(a) = -59*a**2 - 10*a + 25. Let t be q(9). Do t and -4843 have different values?
True
Suppose 12 = -3*w - 0*w. Let d be w + (60/(-7))/(-2). Let j = -33 + 28. Which is smaller: d or j?
j
Let a be (2/(-2) - (-10)/14) + (-2395800)/(-420). Which is smaller: 5703 or a?
5703
Let m = 9443 - 8581. Which is bigger: m or 867?
867
Let y(r) = 2*r**2 - 15*r - 4. Let v be y(8). Suppose -3*x + 2*t - 6*t = -33, -3*t = -v*x + 19. Let m(w) = w - 6. Let q be m(7). Is q > x?
False
Let q = -24 + 26. Suppose 0 = -3*p + 2*p - 2*v + 15, -4*v = -q*p - 10. Let k be 51/(-119)*(-88)/6. Is p bigger than k?
False
Let q = 1.32 + -1.92. Let r = -11 - 6. Let a = -17.02 - r. Which is greater: q or a?
a
Let w(p) = -p**3 + 6*p**2 + 13*p - 35. Let a be w(7). Let o(b) = -b**2 - 26*b - 122. Let k be o(-20). Is a less than k?
False
Let i = -63158 + 63157.9. Let g be ((-141)/24 - 0) + -2. Which is smaller: g or i?
g
Let u(w) = 7*w**3 - 4*w - 4. Let y be u(-2). Let x = 41 + y. Suppose -4*i = 25 + 3. Do i and x have different values?
True
Suppose 0 = -5*p - 4*r - 120, -3*r = -5*p - 0*r - 120. Let s = 24 + -25. Let y = s + -23. Are y and p nonequal?
False
Let f = 349 - 584. Let k = -253 - f. Which is bigger: k or -22?
k
Let q = 1488 - 575. Is -1 <= q?
True
Let s be (1/(-2)*-8)/2 - -2. Let m be (7 - s)/(-3) + (-3)/(-3). Suppose -7*k + 2*k + 30 = m. Which is bigger: 5 or k?
k
Let u = -1/113 + -415/4181. Let k = -9/259 + u. Suppose 3*g = 0, 5*q + 0*g = 5*g. Is k != q?
True
Let w = -1636 - -1319. Is -319 not equal to w?
True
Let y be (-4)/(20/(-995)) - -3. Let d = y + -141. Suppose -4*q + d - 33 = 0. Is q at least as big as 8?
False
Suppose -10*d = -1414 - 1386. Let m be (0 - (-130)/8) + (-70)/d. Which is smaller: 8 or m?
8
Let l(n) = -3*n**2 - n + 2. Let u be l(-2). Let o be (u/238)/(9/(-21)). Let p be (-4)/14*(-371)/106. Which is smaller: o or p?
o
Let l = 255893/141 + -1815. Let t = -1/94 + l. Let w be (18/(-48))/(18/8). Is t greater than w?
False
Let y be (-2)/5 + -7 + 282369/(-315). Let g = y - -904. Is g less than -0.02?
False
Let r(n) = -n**3 - n**2 - 28. Let u be r(0). Let l(m) = 58*m + 7. Let w be l(2). Let q = 95 - w. Is q equal to u?
True
Suppose -19561 = 4*f - 2417. Let h = -21503/5 - f. Are -14 and h equal?
False
Let z(v) = 3*v**3 - 8*v + 8. Let m be z(1). Suppose 2 = -0*k + k, m*s = k + 10. Which is greater: -3 or s?
s
Let u(z) = z**3 - 6*z**2 - 5*z - 10. Let y be u(7). Let r be (0 + 3)/1 + 3372/(-1122). Let c = 2989/561 - r. Which is smaller: c or y?
y
Let m = 223 - 220. Let g be m/(-12) + 99/(-36) - 40. Which is smaller: -44 or g?
-44
Let p(c) = -3*c + 9. Let k be p(-9). Let x = -33 + k. Suppose -z + 11 = -0*a - x*a, -5*z - 45 = 5*a. Which is greater: -6 or z?
z
Let z(k) = -k**3 - k**2 + 20*k + 33. Let b be z(-4). Is b < -1/2609?
False
Let w = 60/83 - 2501/2656. Let p = w - -485/608. Which is greater: 0 or p?
p
Let w be (-287)/(-18) - 9 - 7. Let t = -23/9 - w. Which is greater: t