Suppose 13*m - 10 = 8*m. Suppose -28 + m = 2*i. Let a be ((52/24)/i)/(11/2). Which is smaller: a or 0?
a
Let n = 5 + -7. Let z(l) = 4*l - 32. Suppose -c + 10 = 3*d - 1, 5*c - 15 = 5*d. Let k be z(c). Which is smaller: n or k?
k
Let z = 1498 - 1153. Which is greater: 1383/4 or z?
1383/4
Let x be ((493/(-357))/29)/(1/(-12)). Which is smaller: x or 30/11?
x
Let k(m) = -7*m**2 - 4*m - 2. Let h be k(-2). Suppose 0 = -4*b - 14*j - 37 + 49, -3*b = j + 67. Is b at most as big as h?
True
Let w be (-12)/((-9)/(-3)) - -12. Suppose -n = -3*n - w. Let b be n/(0 + 20) + 51/5. Is 10 not equal to b?
False
Suppose -28*y - 697 = 2579. Let i(x) = 111*x**2 + 2*x - 1. Let d be i(1). Let v = d + y. Which is bigger: -16/3 or v?
v
Let q be (((-32)/10)/(8/(-15)))/(-537). Let d be (-2)/((-1)/(1/(-3))). Which is greater: d or q?
q
Let l be (1/(-2))/((-945)/18). Suppose 451*i - 11 = 440*i. Which is smaller: l or i?
l
Let w = -115806/119 + 18744/17. Is 128 greater than w?
False
Let g be 5*30/125*5. Let w(l) = -l**2 - l + 49. Let m be w(g). Let z = 1 + 8. Is z greater than m?
True
Let b(r) = r**2 - 5*r - 21. Suppose 0 = 18*d - 14*d - 8. Suppose 2*u - 6 = -2*c, 0 = u + c + d*c + 3. Let a be b(u). Which is greater: -1 or a?
-1
Suppose -16*j + 8 = -18*j. Let w be ((-25)/(-10) + j)*(-16)/(-12). Is w < -8/3?
False
Let c be 15 - (44374/2431 - 3). Which is bigger: c or 1?
1
Let p = 122 + -107. Let s be (4/50)/(3/p). Is 0 less than s?
True
Let y be 1/((-8674)/(-16))*378/(-1512). Is 1 > y?
True
Suppose -12*u + 46 = 106. Which is bigger: -25/4 or u?
u
Let v = 3/44 - 119/11. Let a = v - -2023/188. Which is smaller: a or 0?
0
Suppose 0 = -92*p + 68458 + 54914. Which is smaller: p or 1339?
1339
Let b(c) = c**3 - 8*c**2 + 7*c + 7. Let a be b(7). Let o = -933 + 648. Let u = o + 288. Which is greater: u or a?
a
Let v(y) = 35*y + 7. Let g be v(-6). Let o = -202 - g. Which is smaller: o or -30?
-30
Suppose 107*h = -4*i + 104*h - 3, 4*h + 4 = -4*i. Let y be (1433/(-52))/(1/2). Let w = 109/2 + y. Which is greater: w or i?
i
Let v be ((-4)/(2/(-1)))/(-2). Let k be ((-4)/(-3) + v)/(-2). Let p = -13811.5 - -13811. Is k smaller than p?
False
Let v = 5.15 + -1.85. Let x = v + -3.43. Which is smaller: x or 0.11?
x
Let d = -88.4978 - -0.0978. Let m = d - -88. Is m at least 6?
False
Let k = 1 + 2. Let z = -3.91609 - 1.08391. Which is greater: z or k?
k
Suppose 5*n - 2*r + 32 = 110, 5*r + 75 = 5*n. Suppose 983 = 12*z + 155. Suppose z = 4*w + 9. Is w >= n?
False
Let o(g) = -11*g**2 + 16*g + 76. Let t(z) = 2*z**2 - z. Let y(r) = -o(r) - 5*t(r). Let d be y(16). Is -18 not equal to d?
True
Let g(y) = 138*y + 825. Let o be g(-6). Do 55 and o have different values?
True
Let n be 1/((-14)/(-6)) - (-388523)/(-780983). Let s = 6/59 + n. Which is bigger: 1/3 or s?
1/3
Let t = 0.158 + -0.095. Let q = t - 0.483. Let m = 0.88 - q. Is m at most 2/5?
False
Let s = 15350.356 - 15401. Let k = 50.6 + s. Which is smaller: 6 or k?
k
Let i(q) = -3*q - 2. Suppose -3*l + 23 = 5*g, -5*l + 0*g - 11 = -4*g. Let u be (4/l)/(2/(-1)). Let o be i(u). Which is smaller: o or 3?
3
Let f be 34*(-2)/1116 - (-4)/18. Let y(p) be the second derivative of p**4/12 + p**3/2 + p**2/2 - 5*p. Let o be y(0). Which is greater: f or o?
o
Suppose 47*k = 234*k + 1675 + 1878. Which is greater: k or -14?
-14
Suppose 4*c - 104 = 7*c + 2*w, 2*c = -2*w - 72. Let l be ((-1)/1)/(-5) - c/40. Which is smaller: l or 6/79?
6/79
Let n(c) = -12*c - 97. Let z be n(-8). Let b be (17/z - 3)*(-204)/30. Which is greater: 135 or b?
b
Let g(y) = y**2 - 8*y + 21. Let d be g(4). Suppose -o = -5, -d*o - 10 + 41 = -3*w. Let a be ((-51)/(-9) - w)/(4/(-24)). Are a and -46 nonequal?
False
Let o be 1/2 + (-49)/(-14). Suppose -o*v - 8 = -6*v. Let b be (-1)/((-1)/(-8)*v). Which is greater: b or -6/11?
-6/11
Let c = -334703 + 5693871/17. Which is smaller: 230 or c?
230
Let g be (1/(-3))/((-15)/432). Let j(v) = 6*v**2 - 21 + 5*v + 8*v - 4*v**2 - 25*v. Let r be j(8). Which is bigger: r or g?
r
Let z be -2*(-2)/((-1)/2 - (-15)/6). Which is smaller: -4014 or z?
-4014
Let r be -3 + (533/91 - 3). Which is smaller: -817 or r?
-817
Let l be (2432/(-208) + 12)*1/3. Is l not equal to 1?
True
Suppose 0 = -10*y + 11*y - 6. Let g be ((-122)/12)/((-63)/y - -10). Which is smaller: 0 or g?
0
Let f = -842.8 + 635.09. Let j = -1.71 - f. Is j less than 2/5?
False
Suppose -9*a - 964 = -13*a. Suppose a = -5*i + 236. Is i < -4/69?
True
Let o = 181 + -160.9. Let d = o + -21. Let j = -132.14 + 132.08. Which is smaller: d or j?
d
Let d = -5207827/13 - -400267. Let a = 1502846/4485 + d. Is 1 != a?
True
Let c = 1271.085 - 1271. Which is greater: -3 or c?
c
Let r = 68 - 70. Let l(m) = -14*m**3. Let d be l(r). Let b be 32/d + (-66)/(-112). Which is bigger: b or 2?
2
Let x(n) = n**2 - n + 13. Let d be x(7). Let c be (42 - d)*(-2)/4. Which is greater: c or 6?
c
Let x be (-19 + 22619)/(-10) + -2 + 4. Which is greater: x or -2257?
-2257
Suppose 0*v = 5*v - 20. Suppose -4*z = n + 195, -3*z + v*n = z + 180. Let g be (-4)/5 + (-249)/1245. Which is bigger: g or z?
g
Let k = -13071/47789215 + -15440309944341/28141826193910. Let m = k - 3/8294. Let w = 549/1775 + m. Which is smaller: w or 1?
w
Let w = -258197 + 258197. Suppose 6*z - 372 = 3*z. Let j be 2/7 + z/(-91). Is j at least as big as w?
False
Let y = -3/1193 - 2377/3579. Is y less than or equal to -846?
False
Suppose 4*l + l = -650. Let v = 1420/11 + l. Suppose 0 = -5*j + 319*u - 318*u - 6, -j - u + 6 = 0. Which is smaller: v or j?
v
Let d = -207522 + 39221792/189. Is d at most as big as 0?
False
Let o = 16 + -46. Let r = -21 - o. Let h be r + 4 + 20/(-4). Is h less than 9?
True
Let g = 11379 - 11385. Which is greater: g or -205/34?
g
Let a(k) = 2*k**3 - 306*k**2 - 321*k + 71. Let d be a(154). Is -1936 less than d?
True
Suppose 25*d + 5*d + 407 = 677. Which is greater: d or -400?
d
Let s = -25 + 58. Let l = -33 + s. Suppose l = -4*n + 13*n - 18. Which is smaller: 4 or n?
n
Suppose 4*v = -4*h + 4, v - 2 = -4*h + 5. Suppose 5*m + h*x - 1533 = 269, -3*x + 723 = 2*m. Which is smaller: 359 or m?
359
Suppose 4*j = 3*s + 139, -2*j - 9*s + 5*s = -86. Suppose -6*k + 107 + 109 = 0. Let y = k - j. Which is smaller: -1/44 or y?
y
Let i = -154 + 194. Let p = 39 - i. Let c = 30 + -25.7. Is p <= c?
True
Suppose -4*g + 45 = 3*q + 21, 0 = -2*g + 12. Are q and 31/25 nonequal?
True
Let w = 4034 - 3156. Is 879 at least as big as w?
True
Let p be (-1)/(3/(-423)) + (-24)/6. Let r = p - 71. Which is bigger: r or 67?
67
Suppose 132750 = 44*q + 81*q. Is 1061 >= q?
False
Let l be 118*(0 + -1 + -1 + 3). Let t = 102 - l. Are t and -15 unequal?
True
Let k be 2/6 - 4/12. Let b be (0 - 23)*(k + 1). Let m(h) = -21*h**2 + 8*h + 5. Let d be m(-1). Is b != d?
True
Let p be 396/54*((-18)/(-4))/3. Suppose p*x = 5 + 215. Suppose -x = 21*m - 26*m. Which is greater: -4 or m?
m
Let q(d) = -7*d - 57. Let t(a) = -36*a - 281. Let v(r) = 11*q(r) - 2*t(r). Let o be v(-13). Let n be ((-15)/6)/(1/(-6)). Is o equal to n?
False
Let z = 232.1 - 167.1. Which is smaller: -0.04 or z?
-0.04
Let d(r) = -2*r**3 - 3*r**2 - r + 21. Let n be d(-3). Suppose 732 = -n*m - 7734. Is m <= -167?
False
Let f = -1/426 - 3191/1704. Let i = 1.23 + -1.8. Let h = i + 0.47. Is f less than h?
True
Let i(u) = u - 1. Let x(k) = 3*k - 7. Let n(l) = 4*i(l) - x(l). Let m be n(-2). Let v = 79039/130 + -608. Is m bigger than v?
True
Let m be ((-44)/(-8))/((-1)/(-2)). Suppose -190 = m*n - 597. Let z(h) = 2*h**3 - 5*h**2 - 3*h. Let s be z(4). Which is smaller: n or s?
s
Let a = 25 - 15. Suppose -12*d = a*d + 462. Which is greater: -264/13 or d?
-264/13
Let h be -4*1*(-4)/(-1). Let a be 3/(-12) + (-2)/h. Suppose 6*v + 3*o - 18 = 0, -v + 4*o - 246 = -231. Which is bigger: v or a?
v
Let j be 1/(-6 - (-39)/6). Let a be 37/74 - (-45)/j. Let t = -44 + 69. Is t less than a?
False
Let x = -279 - -295. Suppose -r + 3*l = -x, 4*l + 29 = 4*r - l. Is r less than or equal to 3/52?
False
Let g be ((-8)/14 - 4) + 8/14. Let l be 1/6*(-4)/80*g. Which is smaller: l or 1?
l
Let b = -7630 + 15010. Is b less than or equal to 7379?
False
Let p = -6189 - -6201. Which is greater: p or 185?
185
Let d(w) = -2*w**3 - 33*w**2 - 47*w - 13. Let f(t) = t**3 + 16*t**2 + 23*t + 6. Let x(l) = 4*d(l) + 9*f(l). Let v be x(-10). Is 58/5 < v?
True
Let g = 47.3 + -22. Let u = 