0 > w?
False
Let j = -5585 + 11171/2. Which is smaller: -27.99 or j?
-27.99
Suppose 319*f = 44*f + 600050. Is 2181 greater than f?
False
Let x(k) = 3*k**2 + 15*k - 4. Let f be x(-6). Suppose 0 = f*b - 13*b - 68. Do 66 and b have different values?
True
Let p = 2700.8 + -2705. Let f = 38 + -38. Which is bigger: f or p?
f
Suppose 0 = 4*w - 5*r - 937 + 795, 2*r + 40 = w. Let v(p) = -p**3 + 9*p**2 - 9*p - 8. Suppose -4*n + 38 = 10. Let q be v(n). Is w > q?
True
Let r be 122/(-183)*(-100146)/(-4). Which is greater: r or -16692?
r
Let n = -78 + 75. Let a be -14 - (-36)/3 - (n - -1). Which is smaller: a or -2/1723?
-2/1723
Let d = 0.127 - -36.873. Let j = -36.9 + d. Which is smaller: 2 or j?
j
Let n = -503 + 1708. Is n smaller than 1207?
True
Suppose y = -2*b + 6*y - 16, 22 = 5*b + 3*y. Suppose l - b*j = -0*j + 307, -1235 = -4*l + j. Is 310 <= l?
False
Suppose -10*u + 2400 = -7261 - 12579. Do u and 6676/3 have the same value?
False
Let z(x) = -11*x**2 + x. Let y(i) = i - 6. Let k be y(5). Let v be z(k). Let q = 5 + v. Is q < 0.3?
True
Suppose 0 = -12*m + 437 + 1679 + 1580. Which is greater: m or 2162/7?
2162/7
Let v = 0.0576 - 2.9676. Let u = v + 2.91. Which is smaller: 0.83 or u?
u
Let u be (-34 - -35)*((-1)/(-3) + (-662)/1734). Is 1 smaller than u?
False
Suppose 2*v + 3*c - 19381 = 1554, v - 5*c - 10474 = 0. Which is smaller: v or 10468?
10468
Let a = -4.7 - 22.3. Let m = a - -57. Let r = m + -30. Which is greater: r or 0.06?
0.06
Let f(g) be the third derivative of -2*g**5/15 + 19*g**4/24 - 10*g**3/3 + 11*g**2 - 8. Let x be f(3). Is x != -0.4?
True
Let z be -2*(0 - 1)*((-150)/(-12) + -12). Which is smaller: z or -3/346?
-3/346
Let i(w) = 7*w**2 - 6*w + 2. Let v(b) = b**2 + b. Let y(u) = i(u) - 6*v(u). Let s be y(12). Let k be (-2)/8*s*(-5 - 3). Are k and 30/7 nonequal?
True
Let a = 1037 + -637. Let k be (-2408)/(-6) + 4/(-18) + -2. Let y = k - a. Which is smaller: 1 or y?
y
Let i be (-1)/(-2) - (-51468)/(-8). Let y = -45116/7 - i. Let q = 87/7 + y. Is q greater than 0?
True
Suppose -4*k - 117 = 3*d, -32 = -2*d + 3*d - k. Let v be (d/(-10) + -2)*(-88)/6. Is v smaller than -22?
False
Let f(d) = -34*d + 1159. Let q be f(32). Is 84 less than q?
False
Let t be 1*8/(-8)*5. Let s(m) = -2*m**2 - 9*m + 16. Let f be s(t). Is f equal to 13?
False
Let q(v) = -5*v**2 - v**3 + 9 + 15*v**2 + 19*v + 8*v**2 + 8. Let i be q(19). Let k(j) = j**3 - 4*j**2 - 2*j + 4. Let z be k(5). Which is greater: i or z?
z
Let t be ((-2)/(-4))/((-5)/1520). Let k(q) = q**2 - 136*q + 3246. Let o be k(33). Is o < t?
True
Let n = 0.1116 + -0.0606. Let h = 189.2 - 190.151. Let x = n + h. Which is greater: x or 0.1?
0.1
Let m(b) = b**2 + 2*b - 1. Let f be m(-7). Let k be 70/(-56) - (0 - (-322)/(-8)). Are f and k equal?
False
Let f = -268 + 260.57. Let w = f - -4.43. Let v = 1.9 - 2. Do v and w have the same value?
False
Suppose -q - 2*q = 5*c - 109, 3*c + 69 = 3*q. Let b be (450/36)/(2/q). Which is bigger: 176 or b?
176
Let v = 5107253/299 + -17081. Is -1 >= v?
False
Let b be (-2 - -80)/(1 + -1 - -1). Let p = -1713 - -1793. Are p and b unequal?
True
Let c = 220/21 + -2714/231. Suppose -2*f = -3*i + 10, -11*i = -16*i - 4*f - 20. Which is smaller: i or c?
c
Let i = 0.20164 - 74.04664. Let l = -0.155 + i. Let b = l - -69. Which is greater: b or 0.02?
0.02
Let w = -2571 + 2623. Suppose 0 = -5*f + 5*j + 250, f + 4*j + 9 = 84. Which is smaller: f or w?
w
Let d = 13 - -9. Suppose -3*b - 34 + 19 = 0. Let m(x) = 2*x**2 + 21*x + 76. Let n be m(b). Does n = d?
False
Let v = -790 - -777.51. Let k = v + -0.51. Which is smaller: k or -11?
k
Suppose 5*h + 70 = -5. Suppose 0 = 4*g + 3*y - y + 58, -g + 2*y = 17. Let k be g/(-10) + h/(-2). Which is greater: 11 or k?
11
Let p = 105 - 90. Suppose 4*h + 5*v = -0*v + p, -h - 3*v + 9 = 0. Are h and -4/21 unequal?
True
Let n = -32 + 27. Let v(b) = -4*b - 9. Let w be v(n). Let d(h) = 7*h - 36. Let r be d(w). Is 42 <= r?
False
Let s(l) = -l**3 + 12*l**2 - 11*l - 6. Let y be s(10). Let x = -85 + y. Let b be ((-4)/116)/(x/1 + -1). Does b = 0?
False
Suppose -6*u = -7*u + 1. Let f be 5 + (-1)/u - (-1005 - 2). Let q = f + -1981/2. Which is greater: q or 22?
22
Suppose -40*x - 3*h = -38*x + 2840, 3*x + h + 4260 = 0. Is 4 equal to x?
False
Let j = 3619.115 - 3619. Let x = 1.6 - 1.4. Is j smaller than x?
True
Let o = -5 - -142. Suppose -1437 + o = 4*h. Let z be h/(-117) + 4/18 + 26. Is 27 < z?
True
Let v = -108599/9 - -12066. Is v at least as big as 29/2?
False
Let u(f) be the first derivative of f**3/3 + 9*f**2 - 31*f - 14. Let m be u(-20). Let b be (-976)/60 - m/(-15). Is b at most -16?
False
Let l = 18664 + -13332. Which is bigger: 5330 or l?
l
Let x = 8260 - 916867/111. Suppose -55*b - 2305 = -2250. Is x greater than b?
True
Let c = -29.2202 - 0.8478. Let t = 0.4421 - 0.5101. Let d = c - t. Does d = -0.2?
False
Suppose 17*l = 1479 + 2227. Suppose l - 5443 = 19*n. Are n and -275 equal?
True
Let w = -2175 - -2128.86. Let y = w + -0.86. Let q = y + 47.4. Are q and -6 non-equal?
True
Let k = -809/9 + 90. Let z(a) = -a**3 + 17*a**2 + 19*a - 18. Let w be z(18). Let j be w/(-7)*(-2)/(-6). Is j > k?
False
Suppose -o + 321 = -p, -4*o + 83*p + 1298 = 86*p. Is o smaller than 326?
True
Suppose -2*y + 17 = -13. Let t(o) = -o**3 - 13*o**2 - 22*o. Let u be t(-16). Let z = u + -3313/3. Does z = y?
False
Let v = -22368/1465 - -20/293. Let y(r) = -4*r**2 + r + 4. Suppose 3*c = 4*u - 26, 4*c + 2*u + 3 = u. Let k be y(c). Which is bigger: v or k?
k
Let p(u) = 8*u + 222. Let t be p(-28). Let w be 4*t/(-36) - (-3104)/(-360). Is w != -9?
True
Suppose -9 = 2*b - 3*b. Suppose 0 = -7*y + 4*y + b. Let i be (12/(-9))/(16/(-24)). Which is greater: y or i?
y
Let p(v) = -v**2 + 100*v - 651. Let q be p(7). Let k(c) = c**2 + 2*c - 3. Let w be k(-3). Let d be 0 + q + (w/(-4))/(-3). Which is greater: d or -2/13?
d
Let z be (504/(-2))/((-334)/501). Is 376 > z?
False
Suppose -i - 166 + 318 = 0. Let y be (-145)/i + (-51)/(-136). Do y and -1 have the same value?
False
Let l = -18 + 26. Suppose -x + h + 2*h - 12 = 0, 0 = 4*x - 2*h + l. Suppose x = 2*c + 14 - 4. Which is bigger: -6 or c?
c
Let r(l) be the third derivative of l**5/60 + 7*l**4/24 + l**3 + 3*l**2. Let h be r(-6). Suppose h*g + 5*g = -5. Is g > 2/9?
False
Let z = -3908 + 3907. Is -21/536 less than z?
False
Let k(u) = 2*u - 4. Let l be (-2)/(1 + 1/(-3)). Let g be k(l). Let x = -10345/3 + 3438. Which is smaller: g or x?
x
Suppose -3*j = -h - 11 + 2, -5*h + 15 = 5*j. Suppose h*b + 3*b - 41 = 2*o, 2*o - 4*b + 46 = 0. Suppose -6*d + 37 = 109. Which is smaller: d or o?
o
Let h be ((-15)/(-3) - 2) + 26960/(-9080). Which is smaller: h or 0?
0
Let u = -14627 - -14624. Let x = -0.085 - -71.085. Which is smaller: x or u?
u
Let u = -1 + 2. Let h = 25 + -27. Let t be (h + -5 + 528/76)*1. Is t at least u?
False
Let g = 16537 - 16501.6. Is g < -3/7?
False
Let k = -18125 - -18121.6. Is k bigger than -264?
True
Let h = -2601 + 2600.84. Do h and 71 have the same value?
False
Suppose c = 5*c + o + 5, -3*c - 18 = -4*o. Is c less than or equal to -114/97?
True
Let i be (3/(-2))/(26/(-52)). Let s = 86 - 49. Let h = 42 - s. Which is greater: i or h?
h
Let a = 161.36 + -162. Let y = -7.64 - a. Does 18 = y?
False
Let a = 38 + -124. Let g = 0.443 - -85.357. Let k = a + g. Which is smaller: k or -0.006?
k
Suppose 2*x = -z - 24, 3*x + 18 = 3. Let t be (2 + 16/(-6))*(-29 - z). Suppose o = -y + 7, 3*o + 2*o - t = 0. Which is smaller: y or 34/7?
34/7
Let c(d) = -d**3 - 15*d**2 - 87*d - 217. Let b be c(-7). Which is smaller: b or -4/4795?
-4/4795
Suppose -495 = 390*w - 395*w - 5*o, 5*w - 4*o = 522. Which is greater: 101 or w?
w
Let l be ((-3)/(-6) + 0/3)*0. Let d be (l - 9/12)*8/15. Is d less than -20.4?
False
Let h(a) = 3*a**2 + 262*a + 262. Let w be h(-1). Suppose -6*k - 172 = -616. Is k > w?
True
Let v = -23133 - -23135. Is -2063 less than or equal to v?
True
Suppose -2*d + 4*t = -t - 13, -2*d + 23 = 5*t. Suppose l - 4*u + 2 = -d, 4*u = 0. Let j(w) = w**3 - 2*w**2 - 4*w - 4. Let x be j(3). Is l bigger than x?
False
Suppose 0 = -0*i - 6*i - 18. Let p be 3*i/207*2. Which is bigger: -3 or p?
p
Let u = 345150/17 + -20291. Which is smaller: u or 0?
0
Let t(b) = b**3 - 5*b**2 + 5*b - 4. Let s be t(3). Let a = 16156 - 31675/2. Let z = -317 + a. Is z <= s?
False
Let h be 1064/