x = -w. Do x and -8 have different values?
True
Suppose -16*c - 8*c = -9*c - 155265. Does c = 10351?
True
Let k = -3191 + 3114. Let o be (154/(-8))/((-5)/(-20)). Do k and o have the same value?
True
Suppose -67*l + 19416 = 4408. Which is smaller: 4 or l?
4
Let w = -14.117 + 14.217. Is 13655 > w?
True
Suppose 408 = -25*q + 23*q. Let b be 6*11/22 - q/1. Is 207 greater than b?
False
Let q = -114.9 - -103.9. Let o(j) = j**3 + 3*j**2 - j - 4. Let m be o(-3). Do q and m have the same value?
False
Let x = -4419308/23 - -192058. Which is smaller: -86 or x?
-86
Let o = -304617/29 + 10503. Suppose 3*c = -15*c + 4*c. Which is smaller: c or o?
o
Let n be 22/8 - ((-126)/(-8) - 15). Which is greater: 780 or n?
780
Let t = 0.9037 - 0.5037. Do -240 and t have the same value?
False
Let c = -9 + 22. Let b be (-2)/4 + 870/20. Suppose g - 6 = 3*i, 5*g = -i + 3*i + b. Is g less than c?
True
Let h = -45/2 - -187/6. Suppose -4*l + 77 - 37 = 0. Which is bigger: l or h?
l
Let x = 23 - 25. Let y be 10*5/(x + 12). Suppose -5*v + 15 = -y*s, -5*s + 3*v - 5 - 10 = 0. Which is smaller: s or -2?
s
Let f(x) = -x. Let y(o) = o. Let n(t) = -5*f(t) - 6*y(t). Let b be n(-11). Suppose -7*a = -6*a - b. Is 8 > a?
False
Let o be (3325/30)/133*(-8)/70*1. Let g = 35508884/273 - 130069. Let p = g + o. Is 1 > p?
True
Let d = -6018 - -6018. Let h be (-48)/21 + (-6)/(-21). Let c be h/(-4) + 285/(-610). Do c and d have the same value?
False
Let g(w) = -w**2 + 1. Let v be g(-3). Let j be 6/v*(-32)/10. Let m = 49189 - 49186. Is m less than j?
False
Let o = 2.321 - 0.321. Suppose -5*m - 3*v - 11 = -2*v, 0 = -m + 5*v + 3. Let w be (-2)/((-6)/4 - m). Is w > o?
False
Let m be (20/(-25) - 3/15)*3. Let x be (m + 2)/((-3 - -8)/(-325)). Suppose 0 = 3*p - 176 + x. Which is bigger: 36 or p?
p
Let f(o) = o + 1. Let g be f(-1). Let v be (-77)/((-88935)/66) - 6/(-3465)*2. Is v bigger than g?
True
Suppose -5*b - 21 = 4*s, -3*s + 4*b - 6 = 2. Let k be (9 + s)/((-1)/(-5)). Is k greater than or equal to 20?
True
Let j = -6133 - -6135. Are j and -1/99 unequal?
True
Suppose n - 186 = -836. Let k be ((-1)/(-6))/(n/20). Which is bigger: k or -1?
k
Let n = 37 + 285. Let v be n/21 + (-20)/(-12). Is v greater than or equal to 17?
True
Let o = 20.984 + 0.016. Let a = -0.397 - -24.397. Let h = a - o. Is h greater than or equal to -4?
True
Let s be (-132)/(-48) + (-2)/((-16)/(-6)). Let t be 36/30 - (-1)/(-5). Let h be (s - 3/t) + 4. Which is greater: -1 or h?
h
Let x = -650 - -24055/37. Let k = -109/259 + x. Suppose 47*w - 28 - 19 = 0. Are k and w nonequal?
True
Let y = -174085/7 - -24929. Let u = -60 + y. Let m = 14/9 + -8/9. Is u not equal to m?
True
Let a be (-1)/(-3) + (-241356)/24552. Let o = a - 1/341. Is -11 equal to o?
False
Let v = -2 - -2.2. Let r = -0.3 + v. Let b be (-2 + 6)/(-4)*2/(-7). Which is smaller: r or b?
r
Suppose t + 9 = d, 0*d = -d + 5. Let l = 499747/15 + -33303. Let x = 32/3 - l. Which is bigger: t or x?
x
Let c = -93 - -160. Let k = 67.17 - c. Let g = k + 0.03. Is g at least as big as -13?
True
Let l(i) = i**2 - i + 2. Let j(a) = a**3 - 3*a**2 - a + 1. Let f be j(3). Let h be l(f). Suppose -40 = -8*m - h. Which is smaller: 7 or m?
m
Suppose -227*t = 68*t + 3540. Which is smaller: t or -1/18?
t
Suppose 4*h - 3*h = 5. Suppose 0 = h*b + 219 + 36. Let d = -50 - b. Which is greater: -4 or d?
d
Suppose -30*z + 33*z + 333 = m, -3*z = m - 327. Which is greater: 12 or m?
m
Let p be ((-1067204)/(-490))/(1 + 42 + 1). Let s = p - -2/2695. Is s > 49?
True
Suppose 0 = 2*s - 11*s + 36. Suppose 2*l - 4*l + 100 = -s*a, -l + 70 = 3*a. Let u = -60 + l. Which is smaller: -0.19 or u?
u
Let i = -18 + 21. Suppose 2*m - i*u = -56 + 10, -2*m = -u + 54. Let s = m + 45. Are s and 16 equal?
True
Let q = 0.415 - 28.915. Let o = -27.5 - q. Is o greater than or equal to 0.031?
True
Suppose -4*b + 134 = -3*m, -2*b + 0*m + 56 = 4*m. Let k(t) = -13*t + 33. Let o be k(8). Let z = -38 - o. Is z <= b?
False
Suppose 1 = 5*h - 14. Suppose -19 = -i + l, -9 = -i - 4*l + h*l. Let x(f) = -f**2 + 15*f + 36. Let n be x(i). Does n = 2?
False
Let o = 3191 - 3181.59. Let k = 0.714 - 0.124. Let y = k + o. Is -0.2 smaller than y?
True
Suppose k - 2824 = -7*k. Let i = -350 + k. Is 15 at most i?
False
Let q be (-3)/(-69)*21*22/231. Suppose 2*s + h = -2*s + 139, -s + 3*h = -25. Which is smaller: q or s?
q
Let u(v) = -v**2 + 21*v + 25. Let q be u(22). Suppose 0 = -q*c - 10 + 4. Let n be -2*(c - (-138)/33). Do -4 and n have the same value?
False
Let d = 131 + -110. Suppose -14*w + d*w = 0. Suppose 2*l - 2*p = 50, w = -4*l + 2*p + 20 + 80. Is 25 equal to l?
True
Let d be (33/(-4))/(21/(-56)). Let m(z) = -2*z**3 + 2*z + 1. Let b be m(-1). Suppose 0 = -7*r + b - d. Is -0.07 not equal to r?
True
Let w be 0/((-2)/(-3)*75/25)*-1. Suppose 5*p = -3*c + 39, -c = -4*p + 2 + 2. Which is smaller: w or c?
w
Let r be 4/(176/162)*(10 + (-506)/33). Is -19 >= r?
True
Let b = -9 + 313. Let a be b/684 + (-8)/18. Is 2/837 <= a?
False
Let o(z) = z**3 - 12*z**2 - 11*z + 2. Suppose 14*f = 10*f. Suppose 18 = g - 4*t + 5*t, g + 2*t - 23 = f. Let j be o(g). Is 29 greater than j?
True
Suppose 0 = 4*f - 9*f + 30. Suppose -7*k = -2*d - 3*k + 2, -4*d - f = -3*k. Let t be d/((-115)/65 - -2). Which is greater: -14 or t?
t
Let t be (-5664)/(-32) + (-8)/(-1). Suppose 16*g = 11*g - 5*s + t, 29 = g + 3*s. Which is bigger: g or 46?
46
Let c = 20 + -22.1. Let a = c - 0.9. Let o = 5/6 + -13/12. Is a > o?
False
Let o(l) = l**2 + 19*l + 4. Suppose 0 = 10*r - 39*r. Let x be o(r). Is x at most 14?
True
Let l = -132/37 - -34113/259. Let a = l + -128. Is a greater than -0.15?
True
Let b be 2/(10/21)*230/(-207). Which is greater: -3 or b?
-3
Let r = -48466 + 33780784/697. Do r and -1 have the same value?
False
Suppose b + 2 = -0. Let t = 649 - 649.1. Which is smaller: t or b?
b
Let h = 74/19 + -5051/1292. Let x(j) = -4*j**2 + 5*j**2 + 14 + 24 + 17*j - 8. Let n be x(-15). Is h < n?
True
Let p = 1326 + -928. Suppose 470 = -31*w - p. Is -0.3 smaller than w?
False
Let t = -112 - -189. Suppose -5*q - 4*s = -37 + 156, 0 = 3*q + s + t. Which is bigger: -25 or q?
-25
Let r = 3401.36 - 3402. Is -69 bigger than r?
False
Let o be (3 + (-26)/6)*(-243)/6. Let s = o - 42. Let z be (-36)/10 - s/(-4). Are z and 0.08 unequal?
True
Let a = -879 + 878.7. Is a smaller than -1472?
False
Let g be (-2)/5 + 18 + -16 + (-8)/5. Which is bigger: -108/95 or g?
g
Let w = 275 - 263. Suppose -92 = -w*a - 92. Let s = -24/7 + 86/21. Are a and s unequal?
True
Let n be (1/3 - 3)*-30. Suppose g = n + 166. Let a be g/4 - (-5)/10. Are 63 and a non-equal?
True
Let i = -4239/11 + 385. Let j(f) = f**3 - 10*f**2 + 18*f - 14. Suppose 0 = -t + 16*v - 12*v + 8, -5*t + 40 = 4*v. Let u be j(t). Which is smaller: i or u?
i
Let w(b) = b - 1. Let g(p) = 17*p + 4. Let y(k) = -g(k) + 6*w(k). Let d be y(-3). Suppose f - d = 2. Is -2 at least f?
False
Suppose 34*l = 7563 + 5527. Let k = 334 - l. Is -49 bigger than k?
True
Let q = 300.6 + -296.6. Let s = 0.0223 + -20.9803. Let c = 0.042 - s. Is c != q?
True
Let s(z) = 2404*z**3 + z**2 - 38*z + 37. Let f be s(1). Which is smaller: f or 2405?
f
Let a = 4 + -9. Let d = a + 11. Let s be (5/(-2))/((-127)/254). Is s < d?
True
Let l = 16773 + -16940. Is l > 13?
False
Let r = -220 + 220. Suppose r = 4*f + 6*v - 5*v + 2, 3*f - 10 = 5*v. Suppose -5 - 11 = -j. Is j <= f?
False
Let a(j) = -j**2 + 13*j - 18. Let k be a(11). Suppose 0 = -k*m - 7 + 19. Suppose m*g = 6, 11*b - 4*g = 6*b - 23. Is b at most -1/10?
True
Let s = -100 - -103. Suppose -6*q = -s*q + 438. Which is smaller: q or -2?
q
Let o = 67190/69 - 2908/3. Which is smaller: 3 or o?
3
Let k(i) be the second derivative of i**3/6 - 2*i**2 - 10*i. Let v be k(0). Let c be 290/(-25) - -3 - v. Which is greater: -5 or c?
c
Let i be (-3)/(-12) + 17/(-36). Suppose -5*v + 4*p = -16, -3*p - 8 = 4*v - p. Suppose 0 = -z - v*z - 3*w - 5, 100 = -4*z + 4*w. Which is greater: i or z?
i
Let r = -593/2673 + -1/2673. Which is smaller: r or -100/9?
-100/9
Let s = -0.1 - -0.2. Let t = 367.423 + -371.4. Let v = 0.023 - t. Is s > v?
False
Let r = 10/1939 + -544919/11634. Are -47 and r unequal?
True
Let k be ((-65)/(-10) - 4)*(9 + (-49)/5). Are -152/127 and k equal?
False
Let w be (-4)/5*(144 + 1). Let t be (-6)/15*1*-5 - 118. Are t and w equal?
True
Let n = -560 + 659.