Which is bigger: w or f?
w
Suppose 3*o = -a - 2*o + 26, 3*o - 6 = a. Suppose -c + 93 = -a*i + 9*i, -4*i = -12. Let h = c + -86. Are -18/19 and h unequal?
True
Let h(f) = -7*f**2 + 230*f + 71. Let i be h(16). Is 1959 greater than or equal to i?
True
Suppose -381*f - 1 - 7 = -8. Suppose -u - 5*d - 14 = 0, -3*u - 2 = 5*d - 0. Suppose -2*q = -u*q. Is f >= q?
True
Let v be (-1 - 0 - -1)/(-266 + 265). Do -2/7615 and v have different values?
True
Let v be (5/20)/(1/92). Suppose -27*s + v*s = -16. Is 12 <= s?
False
Let k = -64020 - -63950. Suppose 3*c = -5*o - 360, -5*o + 5*c = -0*o + 320. Is o > k?
True
Let s = -8848399/328910 - 11/10610. Are -27 and s unequal?
True
Let p(o) be the first derivative of o**4/4 + 6*o**3 + 3*o**2/2 - 3*o - 32. Let g be p(-18). Let q = 0 + g. Is -58 less than q?
True
Let n(s) = -s**2 + 70*s - 78. Let u be n(72). Let p be 1 - -1 - (226 + 0). Is p less than or equal to u?
True
Let n = -27/2320 - 4/435. Which is smaller: -1 or n?
-1
Let p be (-79684)/(-10) + (-5)/3*(-27)/75. Are 7968 and p nonequal?
True
Let b = -628.86921 - -4.77221. Let z = -624 - b. Which is smaller: -0.2 or z?
-0.2
Let s = 3.303 - 0.003. Let f = -3.6 + s. Let r = -2.9 - -2.97. Is r smaller than f?
False
Let n be ((-120)/(-42))/((-6)/(-42)). Let i be 108/14 + (-6)/(-21). Suppose 4*j - n = -8*d + 3*d, i = -5*j + 2*d. Is j greater than or equal to 0.07?
False
Let s = -79.19 - -79.19. Which is smaller: s or -1/1325?
-1/1325
Suppose -1148*j + 1131*j = 10370. Which is smaller: j or -609?
j
Let m(b) = -b**3 - b - 1. Let t be m(0). Let r = 1/255 + -623/28815. Which is smaller: t or r?
t
Let a(g) = -g**2 - 3*g + 44. Let m be a(-9). Let z be (7*1/35)/(4/m). Is z greater than 1.7?
False
Let q(h) = 231*h - 48. Let j be q(-2). Let a = j - -370. Are a and -142 equal?
False
Let m = -338 - -345. Let d be 5 + m/23*-19. Is d <= -1?
False
Let r be ((-969)/34)/(-19) + 51/(-35). Which is bigger: r or -38?
r
Let j = 16 + -225/14. Let d = -48 + 38. Let r be 4/d + 3 + 4/10. Which is bigger: r or j?
r
Let p be 6 + ((-851703)/(-7770) - (-3)/(-14)). Do -4 and p have the same value?
False
Suppose 63*a = 61*a + 2*h - 1412, h = -4*a - 2819. Which is smaller: -706 or a?
-706
Let g(p) = p**3 + 5*p**2 - 2*p + 3. Let o be g(-6). Let y(r) = r**2 + 255*r + 1957. Let f be y(-8). Which is smaller: o or f?
o
Let d = -4/3 + 34/21. Suppose 22 - 253 = -21*p. Suppose -4 = 15*q - p*q. Is d at most as big as q?
False
Let c = 20.9 - 21. Let o = -21 + 30. Let t = o - 23. Is c < t?
False
Suppose 17*p - 6 = -23. Let j be 6 + -2 + 354/(-90). Is p less than j?
True
Let t = 13392395/1966 + -6812. Which is greater: t or -1?
t
Let k(y) = -2*y + 18. Let r be k(8). Suppose -3*l - 2*x = 2*l - 20, 0 = -l + r*x - 8. Suppose l*w + 93 = -w. Do -31 and w have the same value?
True
Let i(h) = 2*h**2 - 4*h. Let m be i(0). Suppose 4*b - b = -2*d - 3, 3*b + 15 = m. Suppose d = n - 3*n. Which is greater: -1.2 or n?
-1.2
Let j be 0*1*(-4)/(-20). Let v = 4202 - 12470/3. Let k = v - 46. Which is smaller: k or j?
k
Let k = 9.23 + 78.77. Which is bigger: k or 4?
k
Let m = 1122679/15 + -74877. Let w = 6/275 - 25043/825. Let n = m - w. Does 0.3 = n?
False
Let t(r) = 9*r**2 - 5*r - 27. Let s be t(2). Which is smaller: -1/3505 or s?
s
Let i = 4 - -1. Suppose 5*r - 2*u = -1, 2*u = -i*r - 8 - 1. Let d = 22/1525 - -4/61. Is r greater than or equal to d?
False
Let x = 3790 + -3893. Suppose -5*k - 2*u = -484, 2*k - 27 = 3*u + 159. Let i = x + k. Is -6 less than i?
False
Let f = -3 - 57. Let m be f/(-140) - (-4)/7. Is 10/17 at least as big as m?
False
Let f = 6378 - 6212. Is 146 not equal to f?
True
Let s = 9383 - 9386.6. Which is greater: 14 or s?
14
Let a = 16569 + -17312. Is 5 at least as big as a?
True
Let h(s) = -3*s - 44. Let y be h(-6). Let t be 48/60 - y/5. Let x be 1/4 - 153/(-12). Is t at least as big as x?
False
Let k = -3933806/545 - -7218. Which is greater: -1 or k?
k
Suppose 0*m = -m + 4. Let a = 203 - 345. Let l be 48/(-64) + a/(-40). Is m not equal to l?
True
Let g be ((-2 - (1 - 0)) + -1)/(-2). Suppose -3*q + 3*s - 2*s = -g, -3*s = -4*q + 11. Are 24/77 and q non-equal?
True
Let q(z) = z**3 + 14*z**2 - 2*z + 9. Let t be q(5). Let i = 419 - t. Is -395/7 less than i?
True
Let r(z) = -7*z**3 - 3*z - 3. Let v be r(-2). Suppose -17 = -5*s + 3. Suppose q - 32 = 3*c, -19 = -2*c - s*q - v. Is c less than -2/7?
True
Let z be (-62)/(-8) + (-1)/(-4). Let y = -12 - z. Let b = -2844 + 2826. Which is bigger: b or y?
b
Suppose 426 + 588 = -2*y. Let g = y + 507. Are g and 1/21 equal?
False
Let d = 6.757 + -0.757. Let j = 184.15 - 178. Let b = j + -0.15. Is d at most b?
True
Let z = 1303 - -510. Which is bigger: 1811 or z?
z
Let u be 92/16 + 0 - 11/(-44). Let v be (-4)/u + 8/(-24). Which is smaller: v or -14/17?
v
Let r be 174*(6 - 60/9). Let v be (r/6)/((-4)/(-6)). Are -29 and v unequal?
False
Let v be ((-38)/(-36) - (-84)/(-126))/((-32)/(-11376)). Suppose -m - 136 = -u, -u + 2*u - 130 = 4*m. Are v and u nonequal?
True
Let h = 1587 + -1588. Suppose 3*j + 2 = 2*y - 2, -4*j - 3*y - 28 = 0. Let b be (j/(-6))/(465/(-9)). Is h < b?
True
Let a be -1*(0 + 1) + 1817/474. Let z = -3.9 + 34.9. Let q = -30 + z. Is a less than q?
False
Let a be (2 + -1)*(-2)/(-29). Let q = 124 + -288. Let m = q - -165. Is a bigger than m?
False
Let f = 706/17031 - -5/811. Which is bigger: 28 or f?
28
Suppose 2*d = 6085 - 6109. Let u be ((-2)/2)/((-2)/14). Suppose u = -4*n - 5*y, -2*n - 5*y - 6 = -3*y. Which is smaller: d or n?
d
Let f be 16 - 392/24 - 1367/(-15). Is f greater than or equal to 91?
False
Suppose 4*c = 16, -4*o - c - 16 = -8*o. Let y be -77 - -73 - (0/(-1) - o). Let z be (6/7)/((-17)/(-7)). Which is smaller: z or y?
z
Let l = 7.947 + -8.147. Which is greater: 2138 or l?
2138
Let v be -2*3/4*70. Is v != 20?
True
Let h(a) = a**3 + 4*a**2 + 5*a + 2. Let p be h(-2). Suppose -y + 5*l - 407 = 280, 5*y - 5*l + 3495 = p. Is -703 at least as big as y?
False
Suppose 65 = 2*r + 19. Suppose 4*l = -5*z + 8 + r, 2*z - 2 = l. Suppose 18 = -5*u - w, -l*w - 15 = 2*u + 3. Which is smaller: -17/4 or u?
-17/4
Let i = 65 - 62. Suppose -i*j - 16 = -19*j. Which is bigger: j or -2/283?
j
Let q = -35 - -18. Let x = 1080 + -1098. Which is smaller: q or x?
x
Suppose 0 = -14*t - 54 - 2. Let g be (275/t)/(5/(-20)). Is g < -1?
False
Let p(t) = t**2 - t - 14. Suppose -6*s - 90 = -3*s. Let u be (6*(-3)/(-12))/((-9)/s). Let m be p(u). Is m != 5?
True
Let u = -1784 + 1783. Which is smaller: u or 141.24?
u
Let t(w) = 1911*w - 7644. Let x be t(4). Is x < 107/85?
True
Let y be 3/((-9)/6) - -2 - -3. Suppose 5*g = -4*p + 64, 5*p + 2*g = -y*g + 75. Suppose -2*t - 4*b - p = 5, -t - 5*b - 23 = 0. Is 4 < t?
False
Let t = -79.2 - -87. Let y = -6211.2 - -6215. Let k = t - y. Is k smaller than 9?
True
Suppose -4*r = -4, 0 = 14*w - 18*w + 4*r - 26084. Is w less than -6519?
True
Let z be (2/5)/(17/255). Suppose -z*i = -i - 60. Let n be (i/8)/((-87)/(-4)). Which is bigger: n or -1?
n
Let v = -3 - -14. Let u be (462/44)/(1/12). Let t = -117 + u. Which is greater: t or v?
v
Let x = -45 + 78. Let f = -26 + x. Suppose -f*l - 2*l = -54. Which is smaller: l or 3?
3
Let z be 11*-2*180/(-72). Suppose 10660 = z*j - 75*j. Is -534 equal to j?
False
Let g = -151 - -147. Let l be (((-6)/g)/(-3))/((-2)/24). Suppose -l*a + a = -3*a. Do a and 9 have the same value?
False
Let t = -0.019 + -72.981. Let i = t - -46. Let a = i - -26. Is a greater than -1.3?
True
Let a = -2489 + 2488. Which is smaller: a or 1/75?
a
Let l be (-7)/2*(-53 + 51). Suppose 11*h + l = -26. Let j be 1*-1 + 1 + -3. Are h and j equal?
True
Let d be (-27605)/(-376) - (-816)/(-19176). Which is smaller: 74 or d?
d
Let h be 86/(-172) + ((-822)/(-44))/3. Are 7 and h non-equal?
True
Let h = -0.0495 + 0.0964. Let j = h + -0.4969. Is j at most as big as -2?
False
Let f be 2/(-1) + 70580/3530 + -18. Let t(k) = -k + 8. Let c be t(7). Is f >= c?
False
Let t = -0.08661 - -14.13261. Let w = -0.346 + 0.3. Let h = w + t. Which is smaller: h or -1/4?
-1/4
Let i be 28/(-595)*(-2 + 98/4). Let y = -435 + 433. Which is bigger: i or y?
i
Let b = 1/346 - 725/11418. Suppose -5*s = 14 - 9. Let y be 224/(-84)*s*(-1)/(-4). Which is bigger: b or y?
y
Let v = -15715135/549 + 28625. Which is smaller: v or 0?
v
Let v(o) = 40*o - 228. Let c be v(6). Suppose -68 - 64 = c*