 - ((-2)/3)/(2/(-3)). Suppose w = -2*d + 11, w - u*d - 26 = -11*d. Which is smaller: w or 0?
0
Let x = -0.31 + 0.37. Let i = x - -0.26. Let m = 0.28 + i. Is m bigger than 0.2?
True
Suppose -l = 4*o - 0*o - 19, 5*l - 5*o = 70. Let z be (-2)/10 + (-42)/l. Let p be z + 6 - (-1 - -7). Is p >= -3?
True
Suppose 0 = -19*w + 1664 - 4685. Which is greater: -152 or w?
-152
Let y = -17 + 14.1. Let n = y + 2.9. Is n equal to -3/4?
False
Let w = 121 - 107. Suppose -2*h - 4*x = -6*h + 56, 2*x - 2 = 0. Which is bigger: h or w?
h
Let q = 30 - -10. Let a = -44 + q. Is -4 at most as big as a?
True
Let a be ((-4)/106)/(1/2). Let d = -19622 - -19622. Is d at least a?
True
Let h be -486 + 20*1/(-2). Is -496 greater than h?
False
Suppose -3*g + 6*g + 5*s = 30, 27 = 3*g + 4*s. Suppose 3 + g = -4*a. Which is bigger: a or -9/4?
a
Let o = 620/11 + -57. Let m = 1/33 - o. Let j = 0.97 - -0.03. Which is smaller: m or j?
m
Let o = 68 - 61. Let u = o + 11. Which is smaller: 19 or u?
u
Let u be (-26)/(3*(-3)/(-18)). Let f = 207/4 + u. Suppose -n = 5*z - 5 - 10, -z = 3*n - 17. Are z and f equal?
False
Suppose 2*x - 26 = 5*w + 29, 5*x + 25 = 0. Let y(u) = -u**2 + 7*u - 5. Let a be y(4). Let h = w + a. Are h and -4 nonequal?
True
Let v = -2.946 + 0.946. Does v = 877?
False
Suppose -5*n + 16 = -4. Suppose -q + n = -0. Suppose h - 5 = -q*h. Is -1/4 greater than or equal to h?
False
Let f(j) = j**2 - 4*j - 1. Let d be f(6). Let g = 193 - 189. Suppose 12 = -3*q + g*q. Which is smaller: q or d?
d
Suppose -4*s - 870 = 11*s. Which is bigger: -61 or s?
s
Let y = -96 + 95. Let j be (-3)/(54/2)*-11. Let i = j - 173/171. Which is greater: i or y?
i
Let y be (-9)/(-15)*(-55)/(-8723). Is y greater than 0?
True
Suppose 0 = 3*d + 5*k - 9 - 7, d = -5*k + 12. Suppose 3*w - 7*j + d*j - 29 = 0, -2*j - 8 = 0. Let m be (-11)/(-3) - 2/(-6). Which is greater: m or w?
m
Let x(w) = -w**2 - w + 21. Let l be x(0). Let j = -35 + l. Is -15 greater than or equal to j?
False
Suppose -2*t + 9 + 18 = -3*j, 0 = 4*t - 12. Let v(g) = 2*g. Let l be v(j). Let n = -14 - l. Is 1/4 at most n?
False
Suppose -33 = 11*r + 1078. Which is greater: r or 2?
2
Let m(n) = -n + 3. Let o be m(-4). Let i be (3*-2)/(39/26). Let u(p) = -p**3 - 4*p**2 - 2*p - 1. Let q be u(i). Is o at most as big as q?
True
Let u = 320 + -309. Let a = -36 + 59. Let x = a - u. Which is smaller: -0.2 or x?
-0.2
Let v be 2/(-5) - 14/(-10). Let b be 148/8*-2 + 3. Let i = b - -36. Is v >= i?
False
Let h be ((-54)/15)/(9*(-3)/(-90)). Which is bigger: h or -35?
h
Let y = 3.92 - 4. Let j = -0.34 - -0.36. Let f = y - j. Which is bigger: -4/3 or f?
f
Let u(t) be the first derivative of -t**2 + 5*t - 5. Let a be u(3). Let q be 0 - ((-10)/2)/a. Is q >= -9/2?
False
Suppose -4*m = -q - 79, -4*m + 82 = -q + m. Is q >= -67?
True
Let z(a) = -a**3 + 27*a**2 - 24*a - 48. Let n be z(26). Suppose 3 = -n*g + 11. Which is bigger: g or 14/11?
g
Let x = 3487/4 + -871. Is x greater than or equal to -5?
True
Let v(d) = -d**3 - 4*d**2 - 3*d. Let h be v(-3). Let g = -1419/5 - -282. Let u = g - -32/15. Is u less than or equal to h?
False
Let g(b) = 14*b**2 - 3*b - 12. Let l be g(6). Let m be l/(-9) - 2/(-3). Let p = m + 363/7. Is p <= 0?
True
Suppose 3*p - 21 = 15. Let b be 3 - (p/4 + -1). Let a = -4965/26 - -191. Which is greater: b or a?
b
Suppose 303 - 302 = -w. Let v be (44/70)/2 + 0. Let l = v + -1/35. Which is smaller: l or w?
w
Let h = 11.44 - -1.66. Let f = h - 13. Let i = f + 0. Are i and -3/2 equal?
False
Let z = 163 - 207. Is z bigger than -2?
False
Let r be -165*(-5)/1560 - (-3)/(-8). Is r >= -1?
True
Let t be 8/(-6)*(-4086)/(-12). Which is greater: t or -450?
-450
Let c = -7 - -5. Let f be (((-25)/15)/5)/(3/(-9)). Let u be -2*f/1 - -4. Which is bigger: c or u?
u
Let r be -1 - (-1)/(-4)*0. Let w = 2392327/10 - 238886. Let j = w - 347. Which is bigger: r or j?
j
Let n = -5 - -5. Let c = -43 + 41. Let r = n - c. Is r smaller than -1?
False
Let b(k) = -k**2 + 5*k + 3. Let l(y) = -2*y**2 + 10*y + 5. Let r(g) = 5*b(g) - 3*l(g). Let o be r(3). Is 1 equal to o?
False
Let w be (1/((-368)/(-36)))/((-9)/48). Which is greater: 0.6 or w?
0.6
Let c = -17 - -18. Let y = 3 + -1. Suppose k - 4*h - 15 = 0, -y = 4*k - h - 47. Which is bigger: c or k?
k
Suppose -3 = -3*h, -5*h = 5*j - 2 - 3. Let i be (j + -1)/((-8)/(-56)). Is -5 greater than i?
True
Suppose 0 = -5*b - 3*c + 3, -c = -3 + 2. Let z = 28 - 38. Let r be (-7)/70*z/4. Which is smaller: r or b?
b
Let t = 1041 + -1072. Which is greater: t or -1/5?
-1/5
Suppose -5*p - 1045 = 5*m, 0*p - 4*p - 848 = m. Is -211 smaller than p?
False
Let n = -72 - -72. Which is smaller: n or -6/13?
-6/13
Let p be ((-4)/5)/(3/30). Let k be 30/(-440) + (-2)/p. Which is smaller: -0.3 or k?
-0.3
Let w = -157.03 + 156. Let l = -0.03 - w. Which is smaller: l or -3.8?
-3.8
Suppose -2*q + 6 = -q. Suppose 54 = q*x + 60. Is -7/5 > x?
False
Suppose 5*g - 5 = 10, -4*o = 2*g + 2622. Which is bigger: o or -658?
o
Let r be 3/(-1*3/4). Let g = 4326 - 4329. Which is smaller: g or r?
r
Let f = -4 + 12. Suppose 0 = -3*l - l - f. Which is smaller: -7/5 or l?
l
Let g(x) = -x**3 + 8*x**2 - 7*x - 8. Let k be 2/(-4) - (-150)/20. Let l be g(k). Suppose -6 - 8 = 2*q. Which is smaller: l or q?
l
Let y(x) = -x - 13. Let w be y(-16). Suppose w = -3*k - 3*r, 4 = -4*k + k - 4*r. Which is smaller: k or 3/22?
k
Let q = -73.6 + 72.6. Does q = -158?
False
Let a(h) = -h**2 - 14*h - 13. Let z be a(-11). Suppose 3*m - z = -b + 8*m, -5*b + 2*m = -31. Suppose b*j = -32 - 8. Is j less than -9?
False
Let q = -9.75 - -10. Let c = -0.25 - q. Is c smaller than -1/2?
False
Let j be -18 + 3 + (-3 - -3). Let g be -3*20/(-15) + 4. Let x(i) = -i - 7. Let y be x(g). Is j equal to y?
True
Let p(g) = g**3 - 2*g**2 - 10*g - 15. Let v be p(-2). Does v = -31/3?
False
Suppose 2*h = 5*o - 2*o - 17, -4*o = 4. Let y be 65/66 + h/(-55). Do 0 and y have the same value?
False
Let q be ((-6)/(-10))/(2/(-9)). Let p = q - -11/5. Let r be (-2)/(-4) - (-1)/(-6). Which is smaller: p or r?
p
Let f = -25 - -25.4. Let l = 2.11 + -0.11. Let c = -2.2 + l. Is c less than or equal to f?
True
Let v be (-1)/((-2)/(-10))*4. Let k be (21/(-36))/(v/(-16)). Let b = k + 2/15. Which is smaller: b or -4?
-4
Let l(v) be the first derivative of -v**2/2 - 2*v - 1. Let x be l(0). Let b be (-1)/2*(-2 - x). Which is greater: 8 or b?
8
Suppose 32*f = -2*f + 14654. Is f < 430?
False
Suppose -5*v - 2*i + 1 = 0, 0 = 3*v - 2*i - 2*i - 11. Let g be v - (8 - 4)/1. Is g at least as big as -21/5?
True
Let w be 119 - (5/(-5) - -4). Let d be (-29)/w + 98/296. Is 2/7 greater than d?
True
Suppose -5 = y, 4*o - 6*y + 5*y + 1831 = 0. Which is greater: o or -1/3?
-1/3
Suppose -2*l = -5*l - 9, 0 = p + 3*l + 43. Let j = p - -34. Which is smaller: j or 13?
j
Let i(c) = -c**2 + 3*c + 6. Let r be i(5). Let s be -6 + (-8 - -18) + 1*r. Which is bigger: s or -1/50?
s
Let a be ((-15718)/18)/1 - 94/(-423). Do a and -872 have different values?
True
Let t = -1358.904 - -1377. Let j = 0.096 - t. Which is bigger: 0 or j?
0
Let c(p) = -p**2 + 24*p - 104. Let x be c(29). Which is greater: x or -248?
-248
Let z = 9 + -5. Suppose 0 = 4*q - 0*q - z. Let k be -1 + 2 + (-8)/12. Is k greater than q?
False
Let a = 0.246 - 13.946. Which is smaller: a or -1?
a
Let m be (-28)/(-6)*6/2. Let u be (-6)/(-3) + 1 + m. Let h = u + -18. Which is bigger: 0 or h?
0
Let t(c) = c**3 - 7*c**2 - 6*c - 3. Let d be t(8). Let m = 90 + -84. Let z = m - d. Which is bigger: 2/7 or z?
2/7
Let x = 49967 - 348549/7. Is 173 > x?
False
Let t = -38.83 - -39. Let q = t - -9.83. Let i = -2.3 + 4.3. Which is smaller: i or q?
i
Let s = -15.3 - -2.3. Which is greater: 20 or s?
20
Let y = -1307 - -1264. Is -1/4 != y?
True
Let s be ((-33)/9 + 4)*-15. Let y be s/(-35) + (-48)/(-7). Is 20/3 > y?
False
Let g = 334 - 3678/11. Which is bigger: 0 or g?
0
Let o = 10 - -1. Suppose 0 = u - o - 3. Let y be 2/14*u/12. Which is smaller: y or 0?
0
Suppose -2*q + 5*q = 5*j - 139, 0 = 3*j - 2*q - 84. Suppose 4*c - 32 = z, -2*z - 56 = z - 2*c. Let h be 4/z - j/(-8). Which is smaller: h or 4?
h
Let x be -4 + 5/(15/9). Let l be x/(3/9) - -2. Is l greater than -4/5?
False
Let v = 925/418 - 36/19. Is -1 <= v?
True
Suppose 2*b = -2*d, -5*b + d + 0*d = 0. Let l be (12/18)/(2/(-3)). Which is bigger: b or l?
b
Suppose 2*o + 0*o +