-2*u - d = -n - 39, 3*u - 23 = -2*n. Which is bigger: 12 or u?
12
Let o = 1038 + -1031. Which is smaller: o or 236?
o
Let r be (-785)/(-13) - (-1 + 0). Let i = r - 62. Let v(o) = 2*o**2 + 207*o + 5355. Let k be v(-51). Which is smaller: i or k?
i
Let u be (-27)/(-2)*(16 - 2). Let y = -129 + u. Which is smaller: y or 58?
58
Let v be 22 + -14 - 788*(6 + -4). Is v equal to -1568?
True
Let b(u) be the third derivative of u**6/120 - 11*u**5/60 - 7*u**4/12 + 4*u**3 - 2*u**2 + 78*u. Let f = -31 - -43. Let r be b(f). Which is smaller: r or 5/19?
r
Let j be (-34)/(-4)*(38 + -36). Suppose 9*n - 10 = j. Which is smaller: -82 or n?
-82
Let r(k) = -4*k - 1. Let f be r(-1). Let g be (1 + -3)/(f*6/(-9)). Suppose 2*z - g = 3. Which is bigger: 12/7 or z?
z
Suppose -22 = -105*o + 102*o - 5*d, 13 = 2*o + 3*d. Which is greater: o or 2/15201?
2/15201
Let m be -2*-1*13/(-26). Are m and -603/7 equal?
False
Suppose 10*x - 652 = -22. Let y be 19145/x*(-1)/(-5). Let c = -61 + y. Which is greater: 0 or c?
0
Let o = -0.6 - 4.4. Suppose 4257*k - 4252*k = -2*t + 38, -4*t - 8 = -4*k. Which is bigger: o or t?
t
Let y(p) = 9*p - 4. Let t be y(2). Let m be (-1)/5*(-30)/t. Is m != -1?
True
Let o be ((-37)/74)/((-1)/(-18)*-1). Let i be 2/(-6) - (o + 1598/(-186)). Which is smaller: 0 or i?
i
Let k be 59*-1 + -1 + 0. Let v = 81382 + -81445. Is v greater than k?
False
Let h(q) = 2*q**2 + 19*q - 141. Let w be h(5). Let s be (-5)/(2055/(-12))*2/w. Which is greater: s or 0?
s
Let n be ((-214)/(-13054))/(1*(-2)/100). Is -2 equal to n?
False
Let f = 34.86 + -12.86. Let j = 45 + -317/7. Are f and j unequal?
True
Let k = -115.68864 - 0.39136. Which is greater: 2 or k?
2
Let t(s) = 3*s + 12. Let y be t(-2). Let b be ((y - 12) + 4)/(-7). Is b greater than 50?
False
Suppose -j = o + 49 - 123, 4*o = -5*j + 375. Let k = -76 + j. Which is bigger: k or 38?
38
Let y(o) = -o**2 + 9*o - 13. Let u be y(6). Suppose v + u - 3 = -3*q, -4*q = 8. Let c = -2346 + 21158/9. Is v bigger than c?
False
Let a be (-36)/(-360)*(2534 - 2). Is 253 at most a?
True
Suppose -160*q = 1759 + 16481. Suppose -4*d - 138 = 310. Is q not equal to d?
True
Let m = 71.733 - -0.267. Let a = 73 - m. Is a at most 157?
True
Let u = 831763/48 + -17329. Is -2 at least as big as u?
False
Let z(a) = -a**2 - 4*a + 183. Let o be z(11). Which is bigger: 171 or o?
171
Suppose 355*i + 213*i + 547 = -21. Is i != -1/3958?
True
Let o be (-3)/(-6) + (-237)/(-6). Suppose -g = o - 17. Suppose -2*s - 2*s = 92. Is s at least as big as g?
True
Let f be 4*(-1)/(-20) + (-4749)/(-315). Let k = f - 106/7. Is 0 < k?
True
Let i be 9829/2061 - 5 - 2/(-9). Is i at most as big as 0.3?
True
Let m be (7/84 - 1/3)*(3 - -1). Suppose 2*q - 2*z - 28 = 0, -4*q - 3*z - 8 = -64. Which is greater: m or q?
q
Let y be 7 - (-3)/9*-24. Let r be (-1 + -483 - (-2 + y))/1. Is r less than -480?
True
Let a be (-89 - 21357/(-243)) + (-1 - (-20)/18). Is -16/631 not equal to a?
True
Suppose 0 = -2*y - 4 - 8. Let x(j) = -44*j - 30. Let q be x(3). Let r be (3*(-12)/q)/((-10)/y). Which is greater: r or 0?
r
Suppose -76*z = 5*z + 4*z - 23035. Is z less than or equal to -8?
False
Let k = 213.647 - -0.353. Let i = -253 + k. Is i greater than or equal to 1/4?
False
Suppose 4*p = 4*j - j + 8, 2*j = 5*p - 10. Suppose 3*t + 2*s = 284, j*t + 2*t - 186 = 2*s. Let d = t - 70. Which is smaller: d or 26?
d
Let t(g) = -10*g - 94. Let z be t(-9). Let x be ((7 - 4) + -24)*z/3. Which is smaller: 30 or x?
x
Let p = 47 + -46. Let m be (-11 + 10)*p*2. Let g be 0/m + (-1 - (-15)/19). Which is bigger: 1 or g?
1
Let u = -723 - -709. Is -5 not equal to u?
True
Let o be (-7 + 1)*(42*28/144 + -8). Is o >= 1/1050?
False
Let b be (-18)/3 - (-1246)/1288*32/5. Which is greater: -1 or b?
b
Suppose 4*f = 2*l, -91*l + 88*l + 5*f - 1 = 0. Is l greater than or equal to 1/114?
False
Let v be 2/180*48/(-36). Is -0.47 <= v?
True
Let h = -8577 + 3984. Let j be -5 - 4/(3672/h). Which is bigger: -1 or j?
j
Suppose -246 + 62 = 4*j. Let f be 20/(-150) - j/(-555). Let s(b) = 4*b + 7. Let v be s(-2). Are v and f nonequal?
True
Let h = -4291 + 4278.149. Let q = -13 - h. Which is bigger: q or -1/4?
q
Let x be ((-155)/2108)/(2/348). Let c = x - -5/17. Which is bigger: -2/7 or c?
-2/7
Let r = 970796 + -46531223074/47931. Is 1 at least as big as r?
True
Let l = 162 - 1298. Which is smaller: -1135 or l?
l
Let a be ((-69)/(-3013))/(3/(-192964)). Let b = -1473 - a. Which is smaller: b or 0.1?
b
Suppose 4 = -l + 3. Suppose 2*p - z = -5*z + 324, -4*z = 16. Let o be 8/(-2) - p/(-40). Which is smaller: l or o?
l
Let k(f) = f**3 - 5*f**2 - 263*f - 48. Let o be k(0). Suppose -5*g = 0, 204 = -4*p - 0*g - 3*g. Is p <= o?
True
Let o = 240 - 248. Let v = -0.03 + -0.17. Let f = v + 2.2. Which is smaller: f or o?
o
Let h = 55 - 14247/259. Let i = -844 - -865. Suppose i*t - 26 = -5. Which is smaller: t or h?
h
Let z = 101.88 - 101.85. Which is smaller: z or 0.042?
z
Let k be -15 - (-12)/(16848/17586). Are -1 and k equal?
False
Let m = -0.06595 + 0.00595. Let h = -18.7 - -3.7. Is m bigger than h?
True
Suppose 41 = w - c, 5*w = 4*c + 32 + 178. Suppose -4*p - 1 = 3*g + w, 0 = g - 2*p + 9. Which is bigger: -37/3 or g?
-37/3
Let z(o) = o**3 - 13*o**2 - 8*o - 1. Let g be z(16). Let m = 26197/41 - g. Which is greater: m or -0.1?
m
Suppose -1690 = -9*o - 17*o. Let x = 68 - o. Is 54/23 < x?
True
Let d(h) = 2*h**2 + 60*h - 227. Let y be d(5). Which is greater: y or 143?
143
Let l be (-68)/476*14/(-4)*(8 + -7). Which is smaller: l or 110.5?
l
Suppose -4*w = -4*l, 3*w - 4 = -4*l + 3. Let r = 174.004 - 175. Let v = r - -0.296. Which is smaller: v or w?
v
Let d = -130510732557/3820313949575 + -2/113784481. Let o = d + -7/425. Which is greater: 0 or o?
0
Let s be 78/156 + (-6630)/12. Is -529 >= s?
True
Let v = 757.9 - 560. Let y = 198 - v. Is 0.222 > y?
True
Let b be ((-76)/(-874) - 41486/478147)*(-2)/(-4). Is b at most as big as 1?
True
Suppose -6*l + 92 = -100. Let d be (3 - 84/l) + 1562/(-4080). Is 0 bigger than d?
True
Let m = -0.082 + 0.07. Let a = -0.42 + 0.308. Let r = a - m. Which is smaller: r or -3/16?
-3/16
Let x be 201/335 - (604/(-10) + -1). Let a be -2 + (-1)/(2/x) + 1. Is a at most -35?
False
Let w = -2.8 - 0.2. Let y = 2.9 + w. Suppose -1864 = 347*q - 293*q + 1268. Which is smaller: y or q?
q
Let i be 38/18 + 13/(-117). Suppose -151 = i*z - 175. Let j be ((-2)/206)/(44/z - 4). Is -1 less than j?
True
Let i(p) = 26*p - 23. Let x be i(4). Let h be 339/x + 2 + -6. Is h greater than 1?
False
Let l = 66.059 + -0.059. Let v = l + -69. Are -14 and v unequal?
True
Let x = 1317 + -1203. Is 343/3 less than or equal to x?
False
Let u(j) = -j**2 - 253*j - 501. Let b be u(-2). Is 54/161 > b?
False
Let z = 144 - 146. Let y = 8939/12 + -744. Let w = 1/6 - y. Which is smaller: w or z?
z
Let p(d) = -296*d - 4772. Let w be p(-16). Which is smaller: w or -482/13?
-482/13
Let d(f) = f**2 - 17*f + 15. Let w(a) = -a + 1. Let c(n) = -d(n) + 3*w(n). Let r be c(14). Let j be (6/3)/(r/(-78)). Which is bigger: j or 12?
j
Let i = 135 + -156.4. Let y = -19.4 - i. Let a = 325 - 1608/5. Which is greater: a or y?
a
Let u be 278/6 - (-5)/(-15). Let r = u - 32. Let z = 11 - r. Is -4 less than z?
True
Let h = -847/6 - -271/2. Is -10 at most h?
True
Let n be ((-3)/(-9))/(2/96). Let j(g) = 144*g + 84. Let t be j(-16). Let b = t + 11176/5. Which is greater: n or b?
n
Let x = 95 + -136. Let d = -88 - x. Let q = d + 73. Do 1/2 and q have different values?
True
Let s(y) = 42*y**2 - 142*y - 1314. Let j be s(-9). Which is smaller: j or 3364?
3364
Let v be (-18)/27*(-2 + 56/22). Let p = -127 + 116. Is p at least v?
False
Let i = 147.224 + -0.224. Let y = 146.88 - i. Which is smaller: y or 1/3?
y
Let n = -648 + 651. Suppose 1 = o, -5*s - 24*o - n = -27*o. Which is greater: s or -1/414?
s
Suppose 92*n - 44*n = -23*n + 6319. Is 261 < n?
False
Let i(p) = 7*p + 394. Let k(b) = -8*b - 393. Let v(c) = -2*i(c) - 3*k(c). Let r be v(-39). Is -2/41 at most r?
True
Let t(i) = -i**2 - 11*i - 4. Let c(y) = -y**2 - 10*y - 3. Let u(d) = -6*c(d) + 7*t(d). Let o be u(-10). Which is smaller: o or 237/4?
237/4
Let x = -338.809 + 339. Let j = x - -0.009. Suppose f = 2*f - 18. Which is bigger: f or j?
f
Let y = 2692239/30716 + -2455/28. Which is bigger: 0 or y?
0
Let m be (1*8/(-54))/10. Suppose 8*n - 13*