b be i/(-8)*(-384)/(-216). Which is bigger: b or q?
b
Suppose -5*m = -4*r + r + 235, 4*r - 304 = 2*m. Let x = r - 113. Which is smaller: -35 or x?
x
Let s be (74 - 96) + (-178)/(-8). Is s < 1717?
True
Let l(v) = 25*v - 193. Let o be l(25). Suppose o*r = 423*r + 387. Which is bigger: r or 42?
r
Suppose -5*o - 87 = a - 307, 10 = -2*a. Suppose 48 = 3*v - o. Let c = v + -1279/41. Which is smaller: 0 or c?
c
Let r(a) = -a**3 - 36*a**2 - a - 40. Let d be r(-36). Let h be (-259)/(-79550)*d/(-7). Which is bigger: 0 or h?
h
Let q(a) = -a**2 + 35*a + 132. Let z be q(38). Let o be (-16)/(-16) + z/5. Which is bigger: o or 4?
o
Let d be 820/45 + (-4)/18. Let j = 732 - 728. Let y be (44/j)/(6/d). Is 34 smaller than y?
False
Suppose 0 = -4*c - 8, -154 = -3*u - 4*c + 39. Let d be (-650)/2*(-1018)/5090. Is u less than d?
False
Let w = -662 - -703. Let h = 38.09 - -0.91. Let j = w - h. Which is greater: -0.7 or j?
j
Let a be 1/(-1) - (1/3 + 62/(-24)). Suppose -d = -2*d. Which is bigger: a or d?
a
Let p = -24 + 47/2. Let n = 5501 - 22007/4. Is n less than p?
True
Let u = 1235 - 866. Let j = -4998727/11 - -454799. Let c = j - u. Is c at most as big as 0?
False
Let h be (-9)/(-15) - 4/(-10). Let r be ((-3)/4)/(1/(-3))*1/48. Which is bigger: r or h?
h
Let q be -3 + 8/12 - -3. Let y be (3 + 6/(-4))/((-39)/6). Let j = y + 45/26. Which is bigger: j or q?
j
Let x(p) = -11*p**2 - 4*p + 4. Let c be x(-4). Let s = -441 + 284. Is s at most as big as c?
True
Let v(o) = o**3 + 4*o**2 + o + 1. Let g be v(-4). Let c be -235 - (2 - -4*g/4). Is c <= -234?
True
Let y = -7 + 51. Suppose -u - 7 = -2*n, -4*n + y = -4*u - 0*n. Let i be 26/(-6) - (-10)/u. Is i greater than -1/8?
False
Suppose 5*o + 296 = -h - 988, 1283 = -5*o - 2*h. Let n = o + 255. Which is smaller: n or -240?
-240
Let d(o) = -o**3 + 6*o**2 - 2*o - 12. Let r be d(5). Let f be (-6 - (-205)/30)*(15 - r). Is f less than 29/3?
False
Let i(s) = s**2 + 6*s - 5. Suppose -43*l - 3*t - 32 = -39*l, 40 = -5*l + 4*t. Let c be i(l). Are 10 and c unequal?
True
Let w = -670/7 + 1427093/14910. Which is smaller: 1 or w?
w
Let h(v) = v**2 + 10*v + 2. Let g be h(-10). Suppose 58 = g*l - 4*z, 2*l = -4*z + 30 + 60. Is 38 > l?
True
Let h(w) = -13*w**3 - 2*w**2 - w - 1. Let d be h(-2). Suppose 6068 = 163*s - 76*s - 2371. Are s and d unequal?
False
Suppose -9*n + 5535 - 1215 = 0. Is n at least as big as 481?
False
Let d(b) be the third derivative of 23*b**5/60 - b**4/8 + 13*b**3/3 + 47*b**2. Let m be d(4). Do 382 and m have the same value?
True
Let a(r) = 4*r - 35. Let c be a(9). Let n be (0 - 4)*c/316. Which is smaller: n or 0?
n
Let f = -48974/15 + 9394/3. Are -2 and f non-equal?
True
Let m be 604/(-3)*(-177)/(-118). Let o be 1/6 - 6/(-72)*m. Is o >= -21?
False
Let a = 644518/17 + -37926. Which is bigger: 0 or a?
0
Let q = 133 + 23. Suppose -q = 104*k - 98*k. Let l(x) = -27*x**2 - x. Let v be l(-1). Is k at most v?
True
Let c = -10958.28 + 11240. Let a = -1.72 + c. Which is greater: -2/5 or a?
a
Let d(w) = 2*w**3 - 12*w**2 - 72*w + 26. Let q be d(-10). Is -2454 >= q?
True
Let r(a) = 7*a**3 - a - 2. Suppose -7 = o - 5. Let u be r(o). Is u less than -54?
True
Suppose l + 2*s = -28, -3*l + 5*s - 26 = 14. Let y(c) = c**2 - 18*c + 22. Let w be y(17). Suppose w*b = m - 114, -4*b + 0*m - 84 = m. Which is smaller: l or b?
b
Let y = 56 + -6. Suppose -18*x - y - 256 = 0. Which is smaller: x or -33/2?
x
Let s = -6249 + 9300. Which is smaller: 3050 or s?
3050
Suppose -48*a + 5539 = 13411. Let p = -757 - a. Is p less than -593?
False
Let v = 13138 - 13138.23. Which is smaller: v or 2?
v
Let y = 1 - 78. Let g = -46 - y. Let x = 9 + -9. Which is smaller: g or x?
x
Let c(t) = -3*t**3 + 54*t**2 - 30*t - 154. Let p be c(15). Is 1419 equal to p?
False
Let x(o) = 3*o**2 - 34*o + 35. Let v be x(8). Suppose 17*i = 13*i - 180. Are i and v non-equal?
False
Let x(u) = u**2 + 30*u - 3. Suppose -13*w + 12*w - z - 5 = 0, 2*w + 2 = 2*z. Let m be x(w). Is m equal to -84?
True
Let p(r) = -r - 13. Let m be p(-9). Let v be -141*5/(-174) + m. Is 1 <= v?
False
Let m be 11 + 234/(-27) + (-208)/84. Is m < 2.082?
True
Let c = 447 - 430. Suppose -c*n + 5*k + 3 = -20*n, -2*n = 3*k + 1. Let b = -12/151 - -2627/755. Which is smaller: b or n?
b
Let k be (-20)/8*(-9152)/(-440). Which is greater: 47 or k?
47
Let v = -66 - -122. Let j be 5144/v + 2/14. Suppose -13*u - j = -9*u. Which is bigger: u or -21?
-21
Let k be (-82)/22 + (-2512)/(-3454). Suppose -4*h = 4, -65 = 2*i + i + 2*h. Which is smaller: k or i?
i
Let l = -1.2 - -7.9. Let w = l + -5.7. Is w at most as big as 1?
True
Let n be 8400/7125 + 1*(-4)/(-10). Let x be (-16)/12*3 - 2. Let b be (-10)/(-6) - ((-16)/x - 2). Which is smaller: n or b?
b
Let y(z) = -7*z + 22*z + 34 - 13*z. Let h be y(-20). Which is greater: -29/6 or h?
-29/6
Let a = 22/43 + -2878/5289. Is a smaller than 3/2?
True
Let i be (-49)/(2695/(-726))*(-5)/2. Which is bigger: i or 6/11?
6/11
Let m be -20 + (4 - 7/(49/(-112))). Suppose -2*h + 10 = y - 7*h, 32 = -4*y - 4*h. Let q = -20 + y. Which is greater: m or q?
m
Let k(j) = -j**2 - 11*j + 7. Let q be k(-11). Suppose -2*u + 8 = 2*g, -6*g - 3*u + 8 = -q*g. Which is smaller: -3/149 or g?
-3/149
Let a be (5 + -98)/(10/310) + -6. Which is smaller: a or -2892?
-2892
Let p = -0.0505 + -5.3895. Let q = -5.64 - p. Is -35 less than q?
True
Let a = 6301 - 7214. Which is smaller: -909 or a?
a
Suppose 109*y + 159*y = 206 + 598. Let c be -2 + 6 - (1 + 1). Suppose 0 = -5*p + c*p + f + 38, -2*p = -2*f - 20. Is p > y?
True
Let o be 10/2 + (-4 - -429). Suppose 10 - o = 4*y. Do y and -104 have the same value?
False
Let v = -3963 + 4496. Do v and -1/5 have different values?
True
Let x be ((-2)/(-8))/(17/136). Let p(n) = -n + 4. Let a(d) = d - 4. Let c(k) = -5*a(k) - 4*p(k). Let t be c(x). Which is greater: 4 or t?
4
Suppose 9*s - 120 = -7770. Let y = -864 - s. Which is smaller: y or -27/2?
y
Suppose -19 = 25*l - 44. Let w = -6/681619 - -15887175874/25219903. Let m = 630 - w. Which is greater: m or l?
l
Let v be 130208/160 - (2/(-10) - 0). Let c = -813 + v. Which is smaller: c or -1/96?
-1/96
Let h = 224 - 89. Suppose 5*k + 173 = -2*v, 3*k + 5*v + h = -k. Let b(n) = -n**2 - 12*n + 29. Let q be b(4). Is k <= q?
True
Let w(n) = -125*n**3 + 7*n**2 - 18*n - 23. Let r be w(-1). Are r and 127 nonequal?
False
Suppose 5*i + 12 = 8*i. Let d = i - -2. Let l be 5/((-3)/(-6 - -3)). Which is greater: d or l?
d
Let l(i) = -i**2 + 3*i - 3. Let c be l(5). Let n be 15/4 - (-222)/(-296). Which is smaller: c or n?
c
Let j be (-89)/((-5073)/(-95))*(-102)/10. Let n = 16 + 0. Is j <= n?
False
Let i(x) = -19*x - 46. Let f be i(-4). Let a be (-78)/10 - -8 - 2/f. Let w be (2*(0 + -1))/(-2). Is a greater than or equal to w?
False
Let z(o) = -o**2 + 9*o + 35. Let v be z(12). Let i = -608 + 25535/42. Do i and v have different values?
True
Let x be 1/(-15)*55/2. Let a = 2185 - 2185.2. Which is smaller: x or a?
x
Let s be (0 - -2)/((-5)/1). Suppose -100 = v + 5*u + 157, 5*u = 2*v + 529. Let c = v + 269. Which is bigger: c or s?
c
Suppose 0 = 58*q - 299 - 107. Is 3 >= q?
False
Let h = -0.6466 + 1.2166. Is h < 6/11?
False
Let g be 16/6 + 1059/(-414). Which is smaller: g or 0?
0
Let n be ((-8)/(-28) - (-6)/28)*6. Let t be 0 - 5 - (-24)/n. Suppose 5*y = 0, -4*u + t*u - 2*y = 57. Is u equal to -57?
True
Let h = 275414/5 - 54698. Let v = h - 383. Are v and 2 nonequal?
True
Let k(l) = -8*l + 37. Let p be k(4). Suppose 3*h - 18 = 3*b, -p*b - 5*h - 13 - 17 = 0. Let j be (b/(-16))/(17/(-51)). Is j greater than -2?
True
Let t = 27 - 21. Let l be t/212*(-112)/(-84). Let o(w) = -w**2 - 2*w + 7. Let b be o(-4). Is b equal to l?
False
Let c be (-229749)/(-507) + (-4)/26. Which is smaller: c or 3168/7?
3168/7
Let c = 750 + -744.91. Let h = c + -0.09. Let f = -2337 + 2336. Is f at most as big as h?
True
Let m = 2.0753 + -1.0753. Which is smaller: m or -131.6?
-131.6
Let c(w) be the third derivative of -7*w**5/12 - w**4/24 + 2*w**2 - 4. Let d be c(2). Which is smaller: d or -143?
-143
Suppose -11*u = -8*u - 63. Let y(o) = 4*o**3 - 4*o**2 + 4*o. Let j be y(3). Suppose q + 18 = 3*m - 2*m, -3*m + j = 3*q. Do u and m have the same value?
False
Let k = 7823 + -7832. Is 642 at most as big as k?
False
Let i(d) = -d**3 + 5*d**2 + 6*d + 4. Let t be i(6). Let c(x) = 2*x**2 - 7*x - 2