3*p + 2. Let j(i) = -i**2 - 13*i - 2. Let w(n) = -4*j(n) - 3*x(n). Let l be w(-13). Suppose -b = -3*b + l. Which is greater: b or -3/13?
b
Let d(f) = 2*f + 1. Let p be d(1). Let k(y) = 2*y**2 + y - 7. Let t be k(p). Which is bigger: 13 or t?
t
Let d be (0 - 1)*(-2)/57. Let l = 323 - 323. Are l and d non-equal?
True
Let c(m) = 2*m**2 + 5*m - 5. Let h be -3 + (-9)/(18/4). Let d be c(h). Which is greater: d or 19?
d
Let u = -12193 + 12212.998. Let w = u + 0.002. Let b = w + -20.11. Do b and 2/3 have different values?
True
Let s be (-85)/935 + 169/(-77). Is s smaller than -3?
False
Let v be (-2)/(-8) - (-36827)/(-140). Let d = v - -264. Is 2 at least d?
True
Let c be 3 - (2/(-214))/((-91)/29185). Is c at most as big as 0?
False
Let z(b) = 3*b**2 - 92*b + 40. Let n be z(30). Which is smaller: -21 or n?
-21
Let p = 65 - 67. Which is greater: -10.3 or p?
p
Let f(p) = p + 12. Let b be f(-11). Suppose 5*r = 4*r - b. Which is greater: -2/125 or r?
-2/125
Suppose 0 = -f + 2*f - 3. Suppose -f*j = 4*h + 44, -2*h + 5*h + 31 = -2*j. Let y be 2/(-39)*(5 + j). Is y >= -1?
True
Let o = 6969301/1730 + -8057/2. Which is greater: -1 or o?
o
Let n(i) = -5*i - 44. Let p be n(-8). Let x(k) = -3*k**2 + 3*k + 7. Let j be x(p). Which is bigger: j or -52?
-52
Let r = 0.46 - 0.06. Is -26 at least r?
False
Let r = -68645/668 - -411/4. Is r greater than 1?
False
Suppose -13 - 3 = -4*o + 2*x, 0 = -5*x - 20. Suppose 4*t = -4*q + 2*q + 14, -5*t - 4*q + 22 = 0. Suppose 0 = t*p - p - o. Do p and 4/7 have different values?
True
Suppose -2*u + g = 163, 3*g + 29 = -2*u - 138. Do -82 and u have the same value?
True
Suppose 18 = 5*l - 32. Let k be (-4)/l + 44/10. Let q = 489/2 + -242. Is q equal to k?
False
Let a be (8/(-12))/((-2)/(-3)). Let k = 12 - 7. Let h be (7/(-14))/(k/4). Which is smaller: a or h?
a
Let g be 14/(-21)*21/(-31206). Is g at most as big as -1?
False
Let a be -20*((-15)/25)/1. Suppose 2*k + a = k. Is k at most -11?
True
Let w(h) be the second derivative of -h**5/20 + h**4 - 3*h**3/2 - 17*h**2/2 + 14*h. Let u be w(11). Which is smaller: u or 7?
u
Let v(k) = k**2 + 5*k - 2. Let m be v(-6). Let o be 60/8*m/(-5). Let x be 10/(-25)*(-9)/o. Are 2/15 and x equal?
False
Let o be (-8)/(-96)*-1*4. Is o at least as big as -0.0516?
False
Suppose d - 9 = -4. Suppose -2*m - p - 10 = -6*m, -23 = -d*m - 4*p. Suppose -1 = -3*q - 2*k + 3, 0 = 3*q + 3*k - 6. Is m less than q?
False
Suppose -5*a - 1 + 186 = 0. Let i = a - 40. Is i at most -2?
True
Let a = 2 + 2. Suppose 2*s + 0*s - a = w, s - 3 = 0. Suppose 0 = 5*p + y + 1, -3 = p - 3*p + 3*y. Are w and p nonequal?
True
Suppose 13*v - 85 = 2*m + 8*v, 146 = -4*m + 2*v. Does -1/2 = m?
False
Let a be (2/(-74))/(22/4 + -6). Let w = 1.1 + -1. Is a <= w?
True
Suppose 3*w + 4*n = -n + 23, -20 = -3*w - 2*n. Let r = 3 - 3. Let d be (-10)/(-1*2 + r). Is d not equal to w?
True
Let q = -0.81 - -38.81. Let b = 37.9 - q. Are b and -2.1 equal?
False
Suppose 0 = -2*d - 4*s, -3*d = 4*s - 0*s + 2. Let y be d/2*762/9. Let i = y + 84. Which is smaller: -1 or i?
-1
Let a(f) = 6*f. Let y be a(1). Let d be -3 + -20 - y/(-3). Let p = 22 + d. Are p and 4 unequal?
True
Let c = 18 - 25. Let x be (c - (-214)/14) + 2/(-7). Let w(i) = -i**2 - 8*i - 4. Let s be w(-6). Does x = s?
True
Let d(t) = 222*t**2 - 10*t + 4. Let f be d(1). Which is greater: f or 214?
f
Let w = 1048671/23368 - 4/2921. Let d = 45 - w. Is d less than or equal to 0?
False
Let c(b) = -b**3 + 8*b**2 + 10*b + 4. Let y be c(9). Is 13 greater than y?
False
Let k = -2136314614209/40313 + 688908108/13. Let i = 594/443 - k. Let t = i + -263. Is 2 not equal to t?
True
Suppose -695*c + 698*c = -429. Is -141 greater than c?
True
Let a(s) = -s**3 - s**2 + 19*s + 15. Let w be a(-5). Which is greater: w or 0?
w
Suppose -159 + 2675 = 17*c. Which is greater: c or 147?
c
Let z = -971 - -1232. Is z > 259?
True
Let m be ((-86)/12 - 7/21)*2. Let i = m + 33. Are -2 and i equal?
False
Let x(h) = h**3 + 11*h**2 + 9*h - 12. Let b be x(-10). Let v be ((-11)/(-2))/(b/4). Let y be 34/(-8) + v + 15. Is 1 >= y?
True
Let x(r) = r + 5. Let q be x(4). Let m(w) = w**3 - 5*w**2 + w + 3. Suppose 14 + 6 = 4*t. Let k be m(t). Is q bigger than k?
True
Let g = 18.64 + -20. Let b = g - -3.36. Which is smaller: -18 or b?
-18
Let m be 2/8*2*4. Suppose 10 = -2*r + 5*j, -m*r - 2*r + 4 = -4*j. Let z(h) = 4*h + 26. Let b be z(-5). Are r and b equal?
False
Let t = -2/831 + 1696/14127. Let i be (4/(-8))/((-7)/14). Suppose -p - 2*g - 2*g = 1, i = -p + 4*g. Is p < t?
True
Suppose -4*g + 4*v + 8 = 0, v + 23 + 3 = 5*g. Which is smaller: g or -7/3?
-7/3
Let a be (-240)/(-189) - (-2)/7. Let q = -289 - -292. Is a less than q?
True
Let m = 14 - 13. Let n = 3 + m. Suppose -n*y - 60 = -4*f, 2*y = -2*y - 16. Which is smaller: f or 10?
10
Suppose -12*p = 10*p - 18*p. Let t be (-4)/(1 + 0/(-3)). Let s be 6/t*(-4)/(-6). Which is bigger: p or s?
p
Let j = 228 - 134. Let l = -104.95 + j. Let k = l - -11. Which is smaller: 1 or k?
k
Let p = 143 + -151. Suppose -f + 1 = 3*v - 7, 0 = -5*f - 3*v - 8. Let j = f - p. Are j and 0 non-equal?
True
Let x = -1/71 - 318/2627. Which is smaller: x or 1?
x
Let k(m) be the third derivative of m**4/24 - m**3/6 + m**2. Let v be k(5). Suppose -v = 3*j + 2. Is j > -2?
False
Suppose -63*k + 90 = -81*k. Let s be 46/(-8) + (-1)/4. Do k and s have different values?
True
Let x(f) = 4*f + 5. Let s be x(-2). Let y be (-6)/(-15)*(-15)/s. Suppose y*r = -6 - 2. Which is greater: -3 or r?
-3
Suppose -5*v - 12 = -17. Let s be 1/2*((-616)/(-63) - 10). Is v less than or equal to s?
False
Suppose 0*k - 2*k - 3*b = -90, -5*k = -b - 191. Let l = -5 + k. Is 34 at least l?
True
Suppose 1099 - 93 = -4*s + 2*f, 4*f + 4 = 0. Do -251 and s have the same value?
False
Suppose 5*p - 2 = -k - 3, 2*p = -4*k - 4. Is -2/359 greater than or equal to k?
True
Let s(x) = -11*x**2 - x - 5. Let r = 78 + -75. Let w be s(r). Which is greater: -108 or w?
w
Suppose -24 = -4*b + 68. Let z = -187/8 + b. Is z != 2?
True
Let s(h) = 2*h**2 - 2*h + 57. Let b be s(0). Let l = b + -52. Does 1/2 = l?
False
Let k be (-1)/(23 + -25 + 1*841). Are k and -1 equal?
False
Let u be 0/3*(-1)/2. Suppose -5*s - 16 = -4*v + 9, u = v - 5*s - 25. Suppose v = 3*l - 10 + 1. Is l equal to 5?
False
Let w = -32 - -17. Let g = -19 - w. Does g = -3?
False
Suppose 5*a - 34 = f, -20 = 5*a - 0. Let l = -43 - f. Is l > 11?
False
Let x = -342.01 - -347. Let i = x - 5. Is i >= 1?
False
Let m = 0.298 + 9.702. Does m = -2/7?
False
Suppose 5*j - 112 = 12*j. Let n be ((-72)/15)/((-15)/(-50)). Do j and n have the same value?
True
Let d = -309563/105714 + -2/7551. Which is bigger: d or -4?
d
Let b be (9*9/108)/((-42)/(-16)). Which is smaller: b or 0?
0
Let q be (-1 + (-50)/(-70))/(2/(-14)). Is -63 smaller than q?
True
Let i be (-231)/(-22) - (2 - -8). Is i less than or equal to -3/5?
False
Let x be 9/30*2/28. Is -1 not equal to x?
True
Let b(r) = -4*r - 19. Let k be b(-16). Let y be (-6 - k/(-10))/((-1)/(-6)). Which is smaller: y or -4?
y
Let i be ((-2328)/15)/(2343/(-15)). Let g = -2039 - -144775/71. Let f = i - g. Is f less than or equal to 1?
True
Suppose -2*h - h = -240. Let t = h - 44. Let l be t/(-14) - -2 - -1. Is l not equal to 0?
True
Let j = -79 + 81. Let l = 6.9 + -6.7. Which is bigger: l or j?
j
Suppose 0*i - 4*i + 28 = 0. Suppose -21 = -2*h + i. Suppose -g - 2*g - 13 = -2*m, m - h = 3*g. Which is greater: g or -4?
-4
Let i = -73 - -74.01. Let g = 0.01 - i. Is 1/4 less than g?
False
Let f(p) = -88*p**2. Let m be f(-1). Suppose 0 = -3*i - 243 - 9. Let h be (-1)/(-3) - m/i. Which is smaller: 0 or h?
h
Let w = 24949/3 - 8399. Let o = w - -82. Is o < -0.13?
True
Let f(y) be the second derivative of y**5/20 + 13*y**4/12 + y**3/6 + 15*y**2/2 + y. Let p be f(-13). Which is smaller: 1 or p?
1
Let h = -0.7 - -4. Let l = 2.9 - h. Which is bigger: 0.3 or l?
0.3
Suppose 41*w - 36*w = 120. Let s be (-16)/w - (1 + (-2)/3). Is s > -72?
True
Let f = -5.91 + 6. Let c = 10 - 2. Let r = 9 - c. Which is greater: r or f?
r
Let b(w) = -6*w**3 + 9*w**2 - 4*w + 7. Let t be b(2). Which is bigger: -51 or t?
t
Suppose -d + 4*f = 0, -5 = -3*f - 2. Let q be 3/(-1 + d) + 3. Suppose -16 = q*g - 0*g. Which is bigger: g or -3?
-3
Let q be (-11)/((-11)/6) + 3. Suppose -7*n = -3*i - 3*n + 43, 41 = 5*i + n. Is i at most as b