- 351. Let f be -482*(4 + 762/l). Let g = 258 - f. Which is bigger: g or 2?
2
Let k(p) = 1203*p - 1224. Let u be k(1). Suppose 2*s = -0*s - 50. Which is bigger: s or u?
u
Let z = -7271.18 - -7271. Which is smaller: z or -0.35?
-0.35
Let g(c) = -45*c**2 - 3*c + 3. Let b be g(1). Let t = b + 29. Is t smaller than -11?
True
Let d(f) = -f**3 - 13*f**2 + 21*f + 97. Let h be d(-14). Let o be (-381)/(-531) - 16/24. Which is smaller: h or o?
h
Let g be 34/140 - (6 + (-40)/7). Let s(u) = -u**3 + 8*u**2 - 8*u - 3. Let v be s(7). Let d be v/(-6) - 74/111. Which is smaller: g or d?
g
Suppose 5*q - 50 = -3*z, -z + 2*q = -q - 40. Let g be 10/92*2/z. Which is smaller: -1 or g?
-1
Let t = -164 + 212. Let a be (-34)/t + 1 + 144/(-216). Is 0 <= a?
False
Suppose 0 = 201*y + 34*y + 401145. Is -1706 <= y?
False
Let r = 7367/4422 - -1/1474. Let w = -0.17 - -18.17. Which is smaller: w or r?
r
Let j be 9*1 + 80/(-16). Let v(m) = m**3 + 18*m**2 - 39*m + 20. Let b be v(-20). Is b < j?
True
Let t(f) = 2*f**3 - f**2 - 5*f - 6. Let v be t(5). Suppose 214*n = -982*n - 346*n + 97*n. Do n and v have the same value?
False
Let i(v) be the first derivative of v**3/3 + 9. Suppose 0 = 2*n - 1144 + 1144. Let x be i(n). Is -2/7 at least x?
False
Suppose -4*o = -v - 29 + 8, 24 = o - 4*v. Suppose 5*h + 1 + 8 = 2*d, -3*h - 11 = -o*d. Is -49 greater than or equal to d?
False
Let h = -265 + 259. Let i be 162/396*4/h. Is 2/5 less than i?
False
Suppose 145*b - 141*b - 30 = 5*t, -t - 2*b = -8. Is -49 < t?
True
Suppose -w - 3*k + 5 = 0, 11*w + 35 = 6*w - 3*k. Is -218/21 bigger than w?
False
Let n be (-1 + 26/12)*6/105*-10. Let y = -8 + 7. Are n and y equal?
False
Let r = 4277871 - 12191932579/2850. Let c be (-16)/150 - (0 - 0). Let m = c - r. Is 0 equal to m?
False
Let j = 470 + -441. Let k = j - 30. Is 62 at least k?
True
Let l be 12593/5 + (-256)/160. Is 2517 greater than l?
False
Let i = -623 + 490. Let n = 132 + i. Which is bigger: -1/293 or n?
-1/293
Let p = -1422 - 273. Let f = p - -255947/151. Let a be (66495/651)/143 + 2*2/14. Is f > a?
False
Let x = 364 - 896. Let h = 532.25 + x. Let j = 1 + -0.8. Which is smaller: h or j?
j
Let o(p) = -21*p + 51. Let z be o(-3). Suppose -z - 131 = 7*r. Which is smaller: -34 or r?
r
Let v(q) be the second derivative of -q**3/2 + 49*q**2/2 - 18*q. Let a be v(16). Let x be ((-1)/(-2))/((-78)/12). Is x greater than a?
False
Let h be 46/(-2) - 29920/(-1309). Suppose 3*a = 4*o - 21, o - 3 = -4*o - 4*a. Suppose -5 = -p + 2*k - 6*k, o*k = 3. Which is smaller: h or p?
h
Let k(x) = -4*x**3 + 3*x**2 - 6. Let o(s) = -3*s**3 + 2*s**2 - 4. Let n(r) = 5*k(r) - 7*o(r). Let m(y) = 4*y + 7. Let j be m(-2). Let w be n(j). Is -6 < w?
True
Let q = -9.88 - 0.12. Let g = -10 - q. Let r = 46.9 + -43.7. Is g at least r?
False
Let c = 5384 - 5383.8. Which is greater: c or 425/7?
425/7
Let d = 2382 + -2562.3. Let m = d + 179. Is m at least as big as -0.03?
False
Suppose 0 = -9*n - 12*n - 3549. Let h = n + 28. Which is smaller: -140 or h?
h
Let x = 15 + -7. Suppose -56 = -3*g - x. Let y = 0.1714 + -0.1714. Which is smaller: g or y?
y
Let h = -11 - -3. Let p = 20 - h. Suppose 189 = 584*r - 577*r. Are r and p unequal?
True
Suppose 3 = -q, c - 8 = -3*q + 1. Let j = c - 18. Suppose j = -5*m - 2*m + 42. Which is smaller: m or 3?
3
Suppose -7*b + 53 - 81 - 175 = 0. Suppose 3*w = 19 - 115. Which is smaller: w or b?
w
Let o be (-4 - -2)*(-7)/(-89894). Is o not equal to 1?
True
Suppose 38*f - 1006 = -1044. Are -1/14109 and f nonequal?
True
Suppose 11*k - 10*k - 10 = 5*a, -2*k = -5*a - 30. Let r(h) = -5*h + 1. Let d be r(4). Let j = d + k. Which is smaller: j or -1/13?
-1/13
Suppose 6630 = -34*k - k + 5*k. Which is bigger: k or -4?
-4
Let t = 19/3 - 6. Let w(f) = -f**3 - 10*f**2 - 8*f + 10. Let r be w(-9). Let j be (-1 - 1)*(r + 2/(-4)). Is t at most as big as j?
False
Let x be (-8)/(48/333)*-12. Let c = 665 - x. Do -4/461 and c have the same value?
False
Let n(j) = -3*j - 2. Let y be n(-2). Suppose 27*r = 30*r - 2*p - 30, 5*p = -4*r - 52. Are r and y equal?
False
Suppose 0 = -2*j - 2*r + 2 - 12, 0 = -2*j + 4*r + 14. Let x be (-31 - 2973/(-129)) + (9 - 1). Which is smaller: j or x?
j
Let t(a) = 81*a**3 + 11 - 8 + 2*a + a**2 - 6. Let n be t(1). Which is smaller: n or 82?
n
Suppose j + 2687 = -6*p - 1178, 5*p + 3873 = -j. Is -3915 at least j?
False
Let n = 0 - 0. Let s be 10461/(-126)*3/3 + 5. Let b = s - -78. Is n < b?
False
Suppose -3*b = -b + 8, -3*c + 5*b = -14. Let v be 6*c/12*(-48 + 0). Does v = 51?
False
Suppose -22*q = -19185 - 1737. Suppose -59*x + q + 3356 = 0. Which is smaller: x or 77?
x
Let z = 2 + 2. Suppose -4*v = -t - 38, -2*v + 3*t + 33 = 9. Suppose 2*r + b - 3 = 0, 0 = -4*r - 0*b + b - v. Is z at most r?
False
Let x(s) = s**3 - 7*s**2 + 11*s - 7. Suppose 0 = 10*g - 22*g + 60. Let h be x(g). Is -0.66 greater than h?
True
Suppose -3*z = -3*d + 2*d + 17, -5*d + 7 = -2*z. Let w be (-986)/z + (-6)/(-9). Let u be 30/w - 1170/22. Is -52 smaller than u?
False
Let w(l) = 2*l**3 - 30*l**2 + 46*l - 78. Let i be w(15). Is i equal to 609?
False
Let g be (9 - 8)*(9/12)/1. Let a(w) = -w**3 - 6*w**2 - 5*w + 2. Let q be a(-5). Is q less than or equal to g?
False
Suppose -3*v + 5*k + 5074 = 0, 3*k - 4*k = -1. Suppose -v = 14*j + 953. Is -189 > j?
False
Let u = 328 - 131. Suppose 4*q + 323 = -a, 0 = 4*q - 4*a + 151 + u. Which is bigger: -83 or q?
q
Suppose 3*h = 3*b + 126, 2*h + 143 = -4*b - 37. Let a be b/(-16) + 2 - 1/(-4). Which is bigger: a or -2?
a
Let t be (-4 - -19)/(-45)*-3. Is -1/432 at most as big as t?
True
Let n = -11 + 11. Suppose 5*r - 19 = -3*a - n*a, r - 3 = -a. Let z = 24890/7 - 3557. Which is bigger: z or a?
z
Suppose -4 = -2*m - g + 238, -4*m + g = -478. Is m less than or equal to 118?
False
Let w = -170 + 170. Suppose 5*o = -5*o - w*o. Let c = 228 + -5699/25. Is c less than or equal to o?
False
Let c = 2494/375 + -2344/375. Let n be 55/183 - (-2)/(-6). Is c >= n?
True
Let l = 310 - 307. Let q be l - (-3 + 3 + (-258)/(-58)). Which is greater: q or -1?
-1
Let u = 298 - -80. Let n be (1 - 536/u) + 180/420. Which is smaller: 0 or n?
0
Let p = 50 + -46. Suppose 3*g = p*q - 14, 3*q + 2*g - 7*g = 16. Suppose -4*f = 4*u - 20, -6*u = -q*u + 3*f - 19. Which is greater: 0 or u?
u
Let w = 63128/203 - 1760/29. Let q = w - 250. Which is smaller: q or -6?
-6
Let b(k) = 4*k + 58. Let d be b(-15). Let u be 13/(10 - (d + 7)). Is 3 less than u?
False
Let o be (-10 + 4 + 6)/((-8)/(16/4)). Which is smaller: o or 3/6926?
o
Let h be 98/(-34) + 4 + -1 + 0. Let u be ((-4)/(-10) - (-6528)/(-170))/(8/4). Is h >= u?
True
Let h be (27/(-18))/(3/20). Let p = -1241 + 1239. Which is bigger: h or p?
p
Let f = -8084 + 8085. Is f less than 3461/4?
True
Let k be (1 + 0)/(0 - 1). Let r be (-753)/5 - (k + -3). Let o = 146 + r. Which is smaller: -2 or o?
-2
Let a be 3 + 0 + -4 + 6 + -3. Suppose 0 = 6*n - 10 - a. Let o be (1*n/(-46))/((-1)/4). Which is smaller: 1 or o?
o
Let g = 6421 - 3369. Suppose -53*m - 2566 = g. Is m bigger than -105?
False
Let c be 0/(1*-2) + (-29 - -33). Let o be c/62*(-8)/(80/45). Are o and 1 non-equal?
True
Let v(d) = -188*d**2 + 3*d + 1. Let i be v(2). Let o = -11929/16 - i. Let f be (6*(-8)/(-60))/((-6)/15). Is o > f?
True
Let b = 6.39 - 6.7. Let h = 0.6 + b. Let m = 8.7 - 7.7. Which is greater: m or h?
m
Let d = 1917 + -952. Let k = 960 - d. Is k at most -9/10?
True
Let w(a) = 30*a + 3150. Let o be w(-105). Are 2/6749 and o non-equal?
True
Let m = -7 + 10. Suppose 0 = -2*j - 11 + m, -2*z - 3*j - 12 = 0. Let d be 22 - 3/6*z. Is d at most as big as 22?
True
Let c(j) = -j + 3. Let p be c(-6). Suppose 6*n + 15 = p*n. Suppose r - n*r = -104. Is 26 at most as big as r?
True
Let l = 0.4 + 116.6. Let a = 131.5 - l. Let q = a + 42.5. Which is greater: q or -1?
q
Let i = -1 + 5. Let p = -7.4408 - -7.4608. Which is greater: i or p?
i
Let v(l) = l**2 + 14*l - 7. Let a be v(-15). Suppose -p = 5*w + 13, -a*p - 5*w - 22 = -4*p. Let h be 2/(-32) + (62559/240)/(-63). Which is greater: p or h?
p
Let j(t) = -94*t - 2558. Let f be j(-54). Which is greater: f or 12593/5?
12593/5
Let d be (-38 - -7) + 2/(-2). Let n be ((-33)/(-2) - 1)/(2/4). Let q = d + n. Is -2/45 at most q?
False
Let p = -33481 + 6060040/181. Do 1 and p have different values?
True
Suppose 7698 = -8*m - m - 8295. Is -1777 < m?
