-264) + 2466/11. Suppose v = -9*d - 5*d. Let w be (((-2)/(-177))/(d/(-24)))/1. Which is greater: 0 or w?
w
Suppose 3*u - 8*u = -v - 13, 4*u - 9 = v. Suppose -6*b - 17 = v. Which is smaller: b or -35/9?
b
Let x = 1932.74 + -55.74. Is x greater than 0?
True
Let x = -151 - -46. Suppose -5*d + 3*j = 501, -7*j + 6 = -9*j. Is x > d?
False
Let y(n) = 1233*n + 9098. Let s be y(8). Which is smaller: 18961 or s?
18961
Let s = 47 + -35. Let y = 25 - s. Suppose 0 = -4*n + 3 + y. Which is smaller: n or 16/5?
16/5
Let x = -0.47 - -53.47. Let i = -60 + x. Let y = 7.9 + i. Is 1/2 >= y?
False
Let n(h) = -2*h**3 + 24*h**2 - 8*h - 14. Let d = -66 + 77. Let i be n(d). Suppose -4*l = -i + 20. Which is smaller: 28 or l?
28
Suppose -138*s - 12 = -132*s. Let v = -21.16 - -21. Let y = -0.94 + v. Do s and y have different values?
True
Let z be (-1935)/(-120) - (-2)/(-16). Let n be (-8)/(240/(-162)) - (-2)/(-5). Suppose s = 3*k - 1, 3*s + n*k = 2*s + 39. Do s and z have different values?
True
Let d = 16298.88 + -16298. Let a = -2.54 - -1.43. Let p = a + d. Which is smaller: p or 2?
p
Let x be -4 - (-14640)/3948 - 1/(-7). Let d = -283 + 283. Is d at least as big as x?
True
Suppose -4 = 3*w + 71. Let c be (4/(-5))/(5/w). Suppose -c*v = -2*j + 58, -5*j = -3*j - 5*v - 63. Is 19 at least j?
True
Suppose 1034 = 2*f + 66. Let s = 527 - f. Which is smaller: s or 9?
9
Let q(p) = -2*p**3 + 152*p**2 - 19*p - 1822. Let w be q(76). Are -3264 and w unequal?
True
Suppose 4*w = 9*w - 25. Suppose -34 = -w*b - 9, b - 9 = -4*l. Which is greater: 127 or l?
127
Let y(z) = 9*z**2 + 5*z - 46. Let j be y(5). Suppose 21*b = -j - 468. Is b less than -32?
False
Let j(d) = -d**2 - 7*d - 13. Suppose -2*l + l = 5*q - 43, 35 = 4*q + l. Let k(a) = -a**2 + 8*a - 5. Let r be k(q). Let b be j(r). Is b at least as big as -9?
True
Let l be ((-1000)/375*18/(-52))/((-6)/(-39)). Suppose -j - 21 = -0*j. Let x be l/2 + -1 + j. Is x at least -20?
True
Let h = 2/33763 + -67604/1316757. Let z = 0.08 - 0.38. Which is greater: z or h?
h
Let p = -311609/49 - -6359. Let n = 5/147 + p. Which is smaller: n or 35?
n
Let r = -0.11 + -0.13. Let y = r + 6.54. Let t = y - 6. Does t = -0.19?
False
Let f = -870.667 + 870.6. Which is bigger: f or 1/3?
1/3
Suppose 4*r = h + 3, -2*h - 4*r = -4*h + 2. Let a(z) = -z**3 + 5*z**2 - 2. Let y be a(h). Let p(l) = 12*l + 535. Let c be p(-45). Which is greater: c or y?
y
Let n = 265 - 262. Suppose -7*x + 5*x = 2*s, -5*x = -n*s. Which is bigger: -1/175 or x?
x
Let s(d) = -d - 13. Let m be s(-15). Suppose -c + 8 = 2*c - 2*n, 8 = -3*c - m*n. Let w = -18 + 33. Is c < w?
True
Let y = -2984.039 - -2985. Let l = -0.08 - -0.119. Let m = y + l. Which is bigger: -0.2 or m?
m
Let f = -4358 - -6833345/1568. Which is greater: f or 0?
f
Let x be ((-102)/3 - 3) + 1. Let g be 0*(-6)/x - 34. Suppose n + 26 = -8. Is g <= n?
True
Let v = -95925 + 4220919/44. Is v at most 4?
False
Let s(f) = -22*f + 326. Let i be s(15). Suppose t - 6 = -2*t. Let m be i/t - (-3)/((-6)/(-2)). Are 2 and m equal?
False
Let g = 2013.7 - 2271. Let a = -268 - g. Which is smaller: -0.2 or a?
a
Let v(s) = -3*s - 2. Let b be v(-4). Let z be (-1 + 3 + b)*1. Suppose -10*a + 1945 - 1805 = 0. Which is smaller: a or z?
z
Let z = -77 + -469. Let a = z + 551. Which is smaller: a or 0.66?
0.66
Let w be (4 + (-30)/6)/4 + 54486/(-8). Are w and -6811 equal?
True
Let n = -1969 + 2073. Is n smaller than 0.04?
False
Suppose 3*o + 2 = 2*x + 1, 2*o - x = 1. Suppose o*d = 35 - 41. Which is smaller: 11 or d?
d
Suppose 2*h = -0*h + 18. Suppose 5*q + 11 + h = 0. Let l be (-151)/1359*(39 - 0). Is q at most as big as l?
False
Suppose -35 = -5*r, 772*r + 3614 = -o + 768*r. Is -3641 <= o?
False
Suppose y - 59 + 2 = 0. Suppose 0*f - y = -4*w - 5*f, 4*w - 5*f = 7. Let a be -1 - (-7)/3 - 960/(-144). Is a not equal to w?
False
Suppose -960 = 4*g - 7*g. Let s be ((18/(-13))/(-3))/(g/16). Which is smaller: s or 1?
s
Let a be -55 - (0 - 1 - -3). Let d be (a - 1)*(1 + (-11)/10). Let l = 17 - 17.1. Which is greater: d or l?
d
Suppose -4 = 3*f - 4. Suppose -4*r - 3*r - r = f. Let o = -11/18 - -10/9. Is r less than or equal to o?
True
Suppose -2*x + x = 3*a - 18, 2*x - a - 15 = 0. Let g be x/(-8) + (-1)/(-2). Suppose 8 = 5*z - 2*k, 4*k = -3*z - 44 + 28. Is g >= z?
False
Let s be -7*((-16)/(-14))/4. Let p be s/(-10)*5 + -41. Let w be (153/(-2))/3*p/30. Which is smaller: w or 35?
w
Let r = -218.5 + 37.5. Is 1/2 at most as big as r?
False
Let f = 2764.95 + -2765. Is -331 smaller than f?
True
Suppose -4*u - 53 = 5*s - 7, -14 = 3*s - u. Suppose 28 = -5*n + 3. Which is bigger: n or s?
n
Suppose 3*p + 3*i + 3975 = 0, -2*p - 48*i + 40*i = 2614. Which is greater: -1332 or p?
p
Let x = 188.44 + 4.56. Let w = x - 176. Is w smaller than -1/2?
False
Suppose 4*w + w = -210. Let x = -37 - w. Suppose 5*l + x = 10*l. Which is smaller: l or -1/39?
-1/39
Let q be (107/(-4))/(3/24*-1). Let j = q + -265. Do j and -52 have the same value?
False
Suppose -q + 12 = 2*v, 7*q - 4*q - 2*v = 20. Suppose 16 = 4*o + 4. Suppose -q*z = -o*z - z. Which is greater: z or -2/15?
z
Let q = -14573 - -4013. Is -10560 smaller than q?
False
Let c(t) = 2*t**3 - 116*t**2 + t + 82. Let d be c(58). Which is smaller: 132 or d?
132
Let n(u) = 10*u + 7. Suppose s + 6 = 8. Let w be n(s). Let q be 18/w*(-114)/16. Which is bigger: q or -4?
-4
Suppose 19*n - 20*n + 43 = 0. Suppose n*z = 26*z + 2754. Is 163 at least as big as z?
True
Let v be ((-2000)/(-12))/(-1)*(-6)/(-4). Let u = -151 - v. Is u < 1/2?
False
Let d = -42/31 + 400/341. Let u = d + -16/33. Which is bigger: 19 or u?
19
Let w(f) = 348*f**3 - f + 1. Let j be w(1). Suppose 0 = 2*a - 2*l + 578, a + 4*l = -j + 49. Are -290 and a equal?
False
Let z be (-75)/6*48/(-240) + 19534/4. Is 4887 at least as big as z?
True
Let w = 33790 - 169001/5. Is 110 > w?
True
Let t = 18648 - 12371. Is t at most 6279?
True
Let l = -20.42 - 4.08. Let d = l + 23.6. Is d bigger than -4/5?
False
Suppose -4*b - 5*l + 604 = 0, -2*l = 2*b - 0*l - 304. Let h be -2*(245/b - 4/26). Which is bigger: 0 or h?
0
Let t be 9269933835/580 + 1/4. Let i = t + -15980882. Let n = i - 1763. Is n <= 0?
True
Let n(j) = -2*j + 4. Let z(i) = 3*i - 6. Let s(v) = -8*n(v) - 5*z(v). Suppose 0 = 2*k - 1 - 7. Let f be s(k). Is 24 at most as big as f?
False
Let k be 76098/330 - 9/1. Which is bigger: k or -2/13?
k
Let k = 708 - 655. Suppose -5*u - 63 = j - k, -15 = -5*u + 4*j. Let c be (1/(-75)*1)/1. Is u equal to c?
False
Let c be 2*(1 - 0) + 36. Let o be 6/9 - -1*c/6. Let k(q) = -q**3 + 7*q**2 - 3*q - 17. Let f be k(o). Is f less than or equal to -38?
True
Let v be (-78)/(-30) - 8/(-20). Suppose 0 = v*x - x - 2. Let t(d) = 8*d**3 + 3*d - 2. Let z be t(x). Is z not equal to -4?
True
Suppose -12*m - 28*m = -9080. Let x = m + -104. Do x and 122 have the same value?
False
Let g be 117/594 - (-9)/(-27). Let r = 3 - -4. Let q = 7 - r. Are g and q nonequal?
True
Let g = 4224.6 - 4890.6. Is 14 bigger than g?
True
Let b = -1218136/37 + 32915. Which is smaller: b or -9?
-9
Suppose 124*x - 2*x = 683078. Which is bigger: 5602 or x?
5602
Let s be ((-11802)/(-56) - 2) + -15. Do 195 and s have the same value?
False
Let b = 608.7 - 608.9. Which is greater: 35/3 or b?
35/3
Let b = -251 - -97. Let h = 138 + b. Is h greater than or equal to -15?
False
Suppose -a - 5 = -3*y, y - 5*y = -4*a - 4. Let r = 9325/252 - 334/9. Are a and r equal?
False
Let i = -71 - -38. Let n = -4243.028 + 4276. Let d = n + i. Which is smaller: -0.1 or d?
-0.1
Let z = -1809 + 1803. Let a(c) = -c**3 - 16*c**2 - 14*c + 7. Let n be a(-15). Is z not equal to n?
True
Let q be 58/504 + 2/(-9). Let u(o) = 9*o - 57. Let h be u(9). Suppose -29*r = -h*r - 5. Which is bigger: r or q?
r
Let s be (-15)/144*9/6. Suppose 2*a = -2 - 2, r - a - 3 = 0. Which is smaller: r or s?
s
Let y = 0.6417 - -0.3583. Is 969 greater than y?
True
Let o = -2715 + 3347. Which is greater: 630 or o?
o
Let b = -20 + 12. Let j be (-13)/52 - 1458/b. Which is bigger: 183 or j?
183
Suppose 3*s - 6 - 12 = 0. Suppose 20 = 4*v, -2*v - 20 = 5*c - s*v. Let l be c + (-3 - 20/3). Which is greater: -10 or l?
l
Let b(c) = -c**3 - 6*c - 8. Suppose 0 = 4*p + 13 - 5. Let j be b(p). Let d(u) = 3*u**2 - 4*u. Let v be d(3). Which is smaller: v or j?
j
Let q be (-16 + 1127/70)*10. Which is greater: q or -13/50