283. Which is bigger: y or 1?
1
Suppose -4*x + 458 = 10*x + 7640. Which is smaller: -511 or x?
x
Suppose -55*h - 18*h - 22*h = 0. Is -13/187 greater than h?
False
Suppose 4*c + 0*g = -2*g - 24, 0 = 3*c - 3*g + 36. Let j be (c - -1) + (3 - 0)/1. Let m be 18/21*(j - 13/(-5)). Which is greater: -2 or m?
m
Let t = 187779/406 + -925/2. Which is smaller: t or -9/7?
-9/7
Suppose 17*w - 179 + 672 = 0. Let b(x) = -x**2 - 29*x + 14. Let a be b(w). Suppose -3*o = -5*t - a, -o + 3*t = -4*o + 6. Which is greater: o or 0.8?
o
Suppose -5*o = -3*m - 1657, -11*m + 662 = 2*o - 12*m. Let b = 333 - o. Which is smaller: 5 or b?
b
Let h = 12775 + -12775.8. Are 1/609 and h equal?
False
Suppose 0 = -5*q, 5*z - 10*z + 2*q = -675. Let n be 18/z - (-53)/(-510). Is n > 0?
True
Let s = -149.014 - -0.014. Let a = -146 - s. Is 0.7 < a?
True
Let r = -3668 - -11005/3. Which is smaller: r or 261?
r
Suppose -145612 = -223*g - 13*g. Is 6778/11 less than or equal to g?
True
Let w = 107 - -545. Let p be 1*(w/(-324) + 2). Is 1/2 less than p?
False
Let b(k) = k**3 + 41*k**2 + k + 8. Let g be b(-41). Let i(q) = -8*q - 1. Let d be i(-1). Suppose -d*j + 8*j + 33 = 0. Is g less than or equal to j?
True
Let w(x) = -33 - 6*x - 10*x - 33 + 3*x. Let y be w(-5). Is y at least -1?
True
Let g be 0 + 1 + (-11)/(6622/630). Let v(r) = -r**3 + 9*r**2 - 7*r - 9. Suppose z - 7 - 1 = 0. Let i be v(z). Which is bigger: g or i?
g
Suppose -72*h = -14*h + 14*h. Which is greater: h or -2/131?
h
Suppose -5*a - 65 = -5*g, 6*g - 52 = 4*a + g. Suppose 4*h = -12*h + 96. Let r be 32/h*(-117)/52. Which is greater: r or a?
r
Let v(r) = r**3 - 5*r**2 - 9*r - 8. Let k be v(7). Suppose -6*q = -9 - k. Let h = q - 5. Is h >= -0.19?
True
Let s = 64.821 + -64.5. Let o = -0.421 + s. Which is greater: o or -318?
o
Let n be (408/20)/((-10)/(-275)). Let c = 575 - n. Which is greater: c or 21?
21
Let w(c) = -16 + 3 + 7 + 6*c. Let k be w(-5). Let t be k/7*13/(39/(-14)). Is t bigger than 26?
False
Let o = -3527 - -17571/5. Suppose -43 = 4*u + 2*l - 1, 0 = 4*u + 4*l + 36. Is u at most o?
False
Let j be (-3 - -6)/((7 - 207198/13812) + 8). Which is bigger: j or -2303?
j
Let f(m) = 4*m - 7. Let y be f(-17). Let g = y + 110. Suppose 5*d = -5 + g. Is d at most as big as 6?
True
Let z be (-4 - -6)/(((-7)/(-42))/((-3)/12)). Let m = -0.15 + 0.22. Which is greater: m or z?
m
Let h(c) = 67*c - 429. Let x be h(-8). Which is greater: x or -7?
-7
Suppose -378 = 36*j - 78*j. Let d(s) = 4*s**2 - 2*s + 4. Let h be d(2). Which is greater: j or h?
h
Let r(p) = p**3 + p**2 - p - 43. Let s be r(0). Let n be (-32)/14 - (-713355)/(-17521). Is n != s?
False
Let c be -1*3 + (-185 - (48 + -268)). Let j(q) = 2*q**2 + q**2 + 1 + 4*q + q. Let u be j(-4). Does u = c?
False
Let u(o) = 8*o**2 - 338*o + 80. Let y be u(42). Is y bigger than 2940?
False
Let w = 0.08 - -0.1. Let g = -164 + -388. Let p = -553 - g. Is w < p?
False
Suppose 4*m + 0*m = r - 336, m = 4*r - 1404. Let x be (r/228 - 2) + (-8)/(-12). Which is bigger: x or 1?
1
Let l = 210 + -209. Let j be ((-168)/32)/l - 1*-5. Let c = 0.7 - -2.3. Is j at most c?
True
Suppose 256 = -17490*l + 17474*l. Let x = -46 - -30. Are x and l equal?
True
Let g be (-1968171)/(-1138)*(-4)/(-3). Is g bigger than 2307?
False
Let x = -2796 - -4271. Are -1 and x equal?
False
Let t be (-21)/(-6)*790/35. Which is bigger: 81 or t?
81
Let a(n) = 44*n - 327. Let k be a(4). Which is smaller: -147 or k?
k
Let d = 21602996/1137 - 19000. Is 1 <= d?
False
Suppose -33*x = -37*x + 5*u + 20, u = 5*x - 4. Which is smaller: -7/430 or x?
-7/430
Let g = -3.631 - -3.865. Is 1 at most g?
False
Let j(z) = 5*z**2 + 3*z - 28. Let k be j(4). Is k bigger than 65?
False
Suppose -2*r - 1 = -7*r + 3*q, -2*r - q = 4. Let f be (r + 131/5)/(6/30). Which is smaller: f or 127?
f
Let t(p) = 5*p**2 - 2*p - 16. Let s be t(6). Suppose u - z - 74 = 74, 164 = u + 3*z. Is s at least u?
True
Let z(j) = -29*j - 255. Let h(r) = 25*r + 255. Let q(l) = -5*h(l) - 4*z(l). Let o be q(-31). Which is greater: 0 or o?
o
Let r be 5 - (7 - (-4 - -10)). Suppose -m - r*n + 9*n + 7 = 0, 3*m = -3*n + 21. Is 6 at least as big as m?
False
Let h be (0 - (-6)/23)*((-3135)/11742)/(-55). Is h < 0?
False
Let h = -0.13 + -0.87. Let t be 11646/244*2/(-1092)*8. Let i = 44/61 + t. Do i and h have the same value?
False
Let o = 3320 - 2207. Which is greater: o or 1114?
1114
Let x(f) = -f**3 + 104*f**2 + 105*f - 126. Let c be x(105). Is -95 not equal to c?
True
Let c be (1/57)/(2/30). Let h = -44/95 + c. Let w = -55/28 - -9/4. Is h at most w?
True
Let j(m) = -m**3 + 6*m**2 + 7*m - 8. Let s be j(7). Let a = -7 - s. Let q = 4/31 + -6/527. Is a <= q?
False
Suppose q = -2*s - 28, -7*s = -3*s - 5*q + 42. Let u be (8 - 12) + 0 + s/(-3). Suppose -2*x = 3*x + 65. Which is greater: u or x?
u
Let z = -85/6 + 29/2. Let l = -579 - -159. Let v be 0 - 48/l*(-5)/38. Which is smaller: v or z?
v
Let i = 40832 - 35214. Which is smaller: i or -3/2?
-3/2
Let u be 1/(-6) + 712/5136. Let c = -247/1177 - u. Let q = -45/4 + 323/28. Is q greater than or equal to c?
True
Let f(w) = -738*w - 6519. Let u be f(-11). Is 1595 equal to u?
False
Let w = -24758 - -24573. Is -1847/10 equal to w?
False
Let n be (-3)/(-9) + 1466835/(-4440960). Let l = n + -1/2313. Are l and -1 equal?
False
Let o be 17/(1547/26)*7/(-9). Let z = -0.003 + -0.497. Is o < z?
False
Let t(y) = 4*y**3 + 13*y**2 - 6*y - 5. Let g be t(-3). Suppose -g*r + 16*r + 90 = 0. Is r less than or equal to 85/6?
False
Suppose 2*s - 28816 = 10*m, 2*m = -72*s + 76*s - 57524. Which is smaller: 14377 or s?
14377
Let x = 14200 + -14199.3. Which is bigger: x or 5/8?
x
Let r(l) = -l**2 + 14*l - 36. Let t be r(5). Let i = 31 + t. Let a be (-184)/i + (-4)/10. Is -7 < a?
True
Let v(n) = -n**3 + 11*n**2 - 15*n - 27. Let u be v(9). Suppose 2*z + 40 = 4*m - 32, 5*m + 2*z - 90 = u. Suppose m = -20*y + 18*y. Which is smaller: y or -12?
-12
Let s be 29/4 + 6/8. Suppose 4*h - 88 = -3*k, 4*h = -k + 28 + 60. Are h and s nonequal?
True
Let p = -130203 - -130230. Suppose -26 = -3*h + 52. Is p >= h?
True
Let p(o) be the third derivative of 0*o - 5/6*o**3 + 1/24*o**4 + 0 + o**2. Let g be p(6). Is g >= 2/119?
True
Suppose f - x = -4, 2*x = 5*f - 0*x + 11. Let s be (-45368)/(-102) + 0 - 4/6. Let u = s + -444. Is f bigger than u?
False
Suppose -30 = 5*l, -3*l = 5*n - 0*n + 278. Are n and 1 nonequal?
True
Suppose b + 105 = -0*b. Let x = -1006 + 902. Which is bigger: b or x?
x
Let r(f) = -f**3 + 58*f**2 + f + 1018. Let s be r(58). Is s not equal to 1075?
True
Let v = -0.033 + 32.033. Let x = -38.5 + v. Let z = x - -6.8. Which is bigger: z or 3?
3
Let j be (-13*(-33)/24596)/(3/168). Is 0 > j?
False
Suppose -n = 2*p - 4*p + 20, 52 = 4*p - 5*n. Suppose 4*y + 2*f - p = 3*y, -2*f = -4*y + 32. Suppose -y + 1 = 3*c - 4*v, -4*v = 20. Which is bigger: c or -10?
c
Let n = -2 + 2. Let h = n + -3. Let l(i) = -6*i**2 + 360*i + 2. Let w be l(60). Is h >= w?
False
Let k = -14533455/272 - -53432. Let l = 2/17 - k. Is l less than 0.2?
True
Let v = -50 + 34. Let a(p) = 513*p + 60529. Let k be a(-118). Is k <= v?
False
Suppose 3401 + 3892 = 26*z + 7761. Let c = -64 + 45. Is c bigger than z?
False
Let p(y) = -13*y - 64. Let i be p(0). Let n = i - -17. Which is smaller: -44 or n?
n
Let g be -4*(-1)/(-10)*(-3)/2181. Which is bigger: g or -2?
g
Let d = -38.81 - -38.11. Let l(y) = y**3 + 6*y**2 + 5*y + 3. Let t be l(-5). Is t >= d?
True
Let z = 7610 + -1164382/153. Which is greater: z or 0?
0
Suppose 4*p = -4*a - 52, 0*a + 2*a - 4*p = -20. Suppose -4*b + 27 = b + 3*f, 0 = -5*f - 5. Let d be 3/((-135)/a)*(-20)/b. Which is smaller: d or -1?
-1
Suppose 0 = -7*d - 5*c + 2*c + 71887, -2*d = 4*c - 20536. Is d bigger than 10270?
False
Let f = 25 - 25.1. Is f less than or equal to -1724/5?
False
Suppose 3*o = -3*t + 15, -9*t + 10*t = -3*o + 15. Are -23/289 and t non-equal?
True
Let v = -25811 + 26268. Which is bigger: v or 0.11?
v
Let b be (-2)/4930*((-6 + 7)*-1)/3. Is b at least as big as 1?
False
Let r = -6 + 6. Let a be (-297)/23 - (70 - 83). Which is bigger: a or r?
a
Suppose 15*d - 130 = -10. Let z(w) = -25*w + 165. Let l be z(d). Are l and -33 nonequal?
True
Suppose 5*w = m + 15, 6*w - 3*w - 9 = m. Suppose k = 5*r - 2*r - 2, m = -5*k - 3*r + 26. Let d = k + -11. Which is greater: -42/5 or d?
d
Let p be ((-2)/6)/(