 p(-19). Which is smaller: -74/21 or n?
-74/21
Suppose -2*s - 36 = -50. Let f = s + -13. Let u be -50 + 0 + ((-6)/(-1))/f. Are -50 and u equal?
False
Let i = 0.22483 + 5.34517. Which is smaller: 1 or i?
1
Let n = 456.9899 + 0.0101. Let l = n + -456. Is l equal to 0.6?
False
Let v be (-4)/10 + 4/10. Let d be -2 + 1 - (13 + v). Let p = -505343 + 505330. Is d less than p?
True
Let v be (2 - -3)/(1*(-60)/(-48)). Suppose -2*t = -3*t + 24. Let k = t + -18. Which is smaller: v or k?
v
Let d = -0.0355 - -0.14533. Are d and -1 equal?
False
Let f(x) = 4*x**3 - 25*x**2 + 25*x + 85. Let a be f(6). Which is greater: -12 or a?
a
Let m = -34074 - -34141. Which is smaller: -42 or m?
-42
Suppose 3*v + 10*u - 14*u + 128 = 0, 0 = 5*v + 4*u + 160. Let p be v/48*(-1504)/18. Which is smaller: p or 63?
p
Let l = 143 - 424/3. Let n = -56829/8 - -7104. Which is greater: n or l?
l
Let n(h) be the third derivative of -h**4/12 + 7*h**3/6 + 4*h**2 + 8*h. Let b be n(3). Let i = 764/3357 + -2/373. Is i smaller than b?
True
Let i(j) be the second derivative of 11*j**4/12 - 10*j**3/3 + 46*j**2 + 130*j. Let x be i(4). Is 188 at least x?
True
Suppose 9*g - 10 = 11*g - 4*i, 0 = 4*g + 2*i. Is g at most as big as -473?
False
Suppose 0 = 4*g + 4*a - 60, 5*g - 3*a = 46 - 11. Let v be (-1185 - -1190) + (1 - -1). Is g bigger than v?
True
Let b = -316 - 73. Let q = 422 + b. Which is greater: 30 or q?
q
Let i be ((-154)/1386)/(16/42). Which is smaller: -0.1 or i?
i
Let q be -322 + (3 - 1)/(-10 - 1380/(-135)). Suppose 5*o = 4*o - 313. Is o greater than or equal to q?
True
Suppose -4*s + 360*x - 355*x = -815, -823 = -4*s - 3*x. Is s > 204?
True
Let b be (-2)/(-7) + -10 + 825/77. Let v be b - (8/6 - 0). Is v greater than 0.15?
False
Let f = -7.57 + -671.43. Let x = 636 + f. Is 2/13 greater than or equal to x?
True
Suppose 128*r + 60788 - 67410 = -281054. Does -2144 = r?
True
Suppose -2*q = 150*s - 154*s - 14, 3*q - 13 = 4*s. Which is bigger: 4/2359 or q?
4/2359
Let y be 168/(-91) - (1 + -1). Let f be (-6 + 3)*20/12*(-4)/70. Is y less than f?
True
Let k(l) = 31*l + 1250. Let t be k(-40). Do t and -1.28 have the same value?
False
Let u = -352/83 + 36087/8881. Is u < 1?
True
Let h be (-3)/(-12) - (-235)/4. Suppose -4*l - 3*t - h - 3 = 0, -2 = t. Let j be 10*-3*(-7)/l. Is j smaller than -14?
True
Let q be (1 + 91448/22855 + -5)*(-1)/(-10). Which is greater: q or 0?
q
Let o = 176.27 + -187.2. Is o less than or equal to -0.1?
True
Let p(v) = v**2 - 3*v + 1. Let o be p(4). Suppose o*c = -5*l - 0*c + 85, 5*c - 33 = -l. Is 13 smaller than l?
False
Let a = -12.7346 + -0.8354. Is -3 at least as big as a?
True
Let h = -9/11 - -227/264. Let w be -17 + 173/10 + (-11)/20. Is w < h?
True
Let u be (-1105)/(-975) - 4/4. Is u less than 14/3?
True
Let n be 10/65 - 501/(-39). Suppose -8*s = n*s + 126. Suppose 4*z = -13 - 15. Which is greater: z or s?
s
Suppose 6*y = y - 4*v + 2446, 0 = -2*y + 3*v + 960. Suppose 0 = -3*q - 2*b + y - 1376, 2*q + 595 = -b. Let j be (-6)/8 - 385/q. Which is greater: 2 or j?
2
Let t be ((-33)/22)/(6/7). Let f(d) = -d**2 + 19*d - 1. Let m = 178 + -159. Let s be f(m). Is s smaller than t?
False
Let g = 855/8 + -107. Let b be ((-2)/(-4))/(2*1/(-8)). Let n be (b/(-6))/((-17)/(-51)). Do n and g have the same value?
False
Suppose -9 = -41*v + 38*v. Let r be 34/(-90) + v/15. Which is smaller: r or -1?
-1
Let x(j) be the second derivative of -j**6/360 - j**5/10 + 3*j**4/8 - 19*j**3/6 - 2*j. Let g(q) be the second derivative of x(q). Let f be g(-12). Does 9 = f?
True
Suppose -m + 2*c - 6 = 0, 2*m + 14 = 5*m + 2*c. Let b(p) = 14*p**2 + 3*p. Let g be b(-3). Which is smaller: g or m?
m
Suppose 0 = -g, -2*r - 922 = -44*g + 45*g - 70. Is r at least as big as -426?
True
Let a(r) = -4*r + 18. Let c(p) = -8*p + 35. Let v(y) = -13*a(y) + 6*c(y). Let x be v(0). Let f be x/(-63)*18/312. Which is bigger: f or 1?
1
Let o be -1 - 0/((-1)/(-7) - (-368)/(-322)). Let q be ((-1)/(-9))/((-1)/10). Which is greater: q or o?
o
Suppose 20*f + 5*t + 20 = 23*f, 4*f + 3*t = -12. Let d = 664 + -26. Let x be -2 - (d/24)/(-11). Which is greater: x or f?
x
Let o = 11441 - 11423. Is o > 7/2?
True
Let u be (-286585920)/(-33984) - 4/(-118). Is 8432 > u?
False
Let b = -0.079 - -0.309. Let f = -86.77 - b. Which is bigger: -0.1 or f?
-0.1
Let u(w) = -53*w - 7. Let p be u(-5). Let b be (-2)/2 + 234/p. Does b = 0?
False
Let r be 10/8 - 3/(-4). Suppose -3*s + 19 = -r*z, 6*s = 4*z + s + 33. Let k = -43 + 303/7. Is z <= k?
True
Let s be (-481)/(-169) + 5 - 8. Let d = 2 - -3. Which is greater: d or s?
d
Let g be (-22)/(-3)*18/4. Suppose -73*c + 2430 = 17*c. Is g less than c?
False
Let w(o) = o**2 + 63*o - 64. Let c be w(-64). Is c at least 3/172?
False
Let i be (2*(-22)/(-12))/((-80)/15). Let p be (-2)/(-6) - (-2874)/8928. Let o = i + p. Is o < 0?
True
Let z be -5 + (9 - (-4 - -1)) + -7. Is z at most -34/1303?
False
Let x be -13 + 37 - (-2)/(-4). Let t be (-4 - (-237)/(-14)) + -3. Let u = t + x. Is u bigger than 2?
False
Let b = -675 + 676. Let q = -68 - -41. Let w = -24 - q. Which is smaller: b or w?
b
Let z be (12 - 16) + -23*28/(-158). Let q = 176/237 - z. Let g = 8.6 - 1.6. Which is bigger: q or g?
g
Let l = -293 + 90. Let j = l + 258. Which is smaller: 0.1 or j?
0.1
Let x(p) = -p**2 + 18*p + 214. Let l be x(26). Suppose -l*s = -8 + 50. Let j be (-102)/9 + (-1)/(-3). Which is smaller: s or j?
j
Let t(n) = -54*n - 541. Let i be t(-10). Which is bigger: -8/591 or i?
-8/591
Suppose 2*y - 403 = 8*o - 9*o, 3*o + y = 1184. Suppose -395*l = -o*l - 30. Which is smaller: l or 6?
6
Let g(m) = -m**3 - 34*m**2 + 2*m + 67. Let a = 250 + -284. Let p be g(a). Is -2/163 smaller than p?
False
Let u(g) = -471*g**3 + 2*g**2 - 5*g - 6. Let m be u(-1). Is 2 > m?
False
Let w = -9.2 + 8.3. Let j = -1 - w. Let t be (54/(-48))/((-6)/(-28)). Is j smaller than t?
False
Suppose 46 - 33 = 60*a - 47. Let t be (2 + (-148)/38)*-167. Let l = 316 - t. Is l at least a?
False
Let h = 6308.93 - 6309. Is h <= 241?
True
Let h(i) = -20*i**2 + 2002*i - 200. Let f be h(100). Is -2/3117 smaller than f?
True
Let p = 6399 + -7181. Which is bigger: p or -4?
-4
Let t be 5/30 - (-2597)/42. Let g be t/217 - 138/(-56) - 3. Do g and -48 have different values?
True
Let a = 78154237/540 + -144730. Is -1 less than a?
True
Suppose 3*l - 2*b - 12 = b, 0 = -3*l - 5*b + 44. Suppose -12 = 4*t - l*t. Suppose u = -3*f + 5, 4*f - 3*f = t*u + 5. Is 2/19 <= u?
False
Let s(z) = z**3 - 14*z**2 + 4*z - 11. Let l be s(13). Let u be l/(-595) + 2/(-7). Which is smaller: u or 1?
u
Let x = -21963 + 21964.12. Is -76 greater than or equal to x?
False
Let p = 4.9453 + 0.0547. Which is smaller: -1/309 or p?
-1/309
Let n = 1 + 0. Let y be 18/(-12)*4/151. Let k = y - -392/2265. Is k at most as big as n?
True
Let y = 139042 + -10706445/77. Is -2 equal to y?
False
Let v be (-5 - (-400)/20) + -16. Which is bigger: v or -31/645?
-31/645
Suppose -8*c - c - 2187 = 0. Let a = c - -198. Let t be (92*-1)/(-2)*-1. Is t at most a?
True
Let z be (0/(-5 - -10 - 6))/4. Is z < -2/757?
False
Let c = -24704/69 + 358. Let n = 30 - 26. Let l be (0/(-1))/(6 - n). Do c and l have the same value?
False
Let z = -2050.267 + 2050. Which is greater: -0.1 or z?
-0.1
Let x be (-11377)/(-11253) + 6/(-1 - 5). Let k be ((-1)/(-3))/(5/15). Is x bigger than k?
False
Let c be (-1 + (-3)/(-2))/(73/438). Let b be 3/(-2)*((-33)/9 + c). Which is smaller: -57 or b?
-57
Let v = -35763 + 35764. Which is smaller: -2090 or v?
-2090
Let a = -2489.7 + 2489. Is a > -524?
True
Let q = 88101 + -739607893/8395. Let f = 982223/33580 - q. Which is smaller: 30 or f?
f
Let a(c) = -2*c**3 + 40*c**2 - 17*c + 74. Let b be a(19). Which is smaller: 20 or b?
20
Let t = -337 - -409. Let b be ((-6)/(-420))/((-6)/t). Is b at least as big as 1?
False
Let k(m) = -2*m**2 - 70*m - 66. Let j be k(-34). Suppose j*h = 97*g - 98*g - 3, -5*h + 10 = -g. Which is greater: -2/403 or h?
h
Suppose -4*m - 16 = 0, 0 = 3*z + m + m + 176. Let a = z + 60. Let j = 4 - a. Do 4/11 and j have the same value?
False
Let i be (24/(-32))/((-21)/(-1400)). Suppose 4*j + 0*j = -40. Let c = i - j. Which is smaller: -41 or c?
-41
Let x = 603 - 602. Let h be ((-2)/294)/(4/16 + 0). Which is smaller: x or h?
h
Let n = 128 + -124.92. Let w = 3.78 - n. Which is smaller: w or 2/3?
2/3
Let z = -366