-1 - (2 - (-1 - y)). Is m smaller than -2/43?
True
Let w = -37 + -4. Let g = 37 + w. Suppose -5*c - 4 = -2*t + 2, 3*t = 4*c + 2. Are g and c nonequal?
True
Let p be (14/(-309))/7*(14 + -5). Is p equal to 0?
False
Let k be 6/3 + 3 - (452 - -2). Is -449 < k?
False
Let g be 1/(-6)*4 - 4145/(-33). Let n = -125 + g. Is 1 >= n?
True
Let q(n) = n**3 + 4*n**2 - 8*n - 12. Let y be q(-5). Suppose z + 5*a - 14 = 0, y*a + 3 = -4*z + 8. Which is greater: z or -8/29?
-8/29
Let s(k) = 2*k**3 + 31*k**2 - 17*k + 2. Let t be s(-16). Let a be (2/3)/(30/t). Suppose -4*u = 5*m - 5*u + 53, -2*m = 5*u + 32. Is a at least m?
True
Suppose 7 = 3*o - 5. Suppose -4*n - 2 = o*c + 2, 0 = 2*n + 3*c + 2. Let a = n - 1. Which is greater: -3 or a?
a
Let n = -60 - -54. Suppose -2*v - 3*o - 8 = 0, -6*v + 2*v + o = 2. Does n = v?
False
Let j = -217 - -125. Is j less than or equal to -90?
True
Let q(w) = w + 9. Let n be q(-10). Let j be (-1 - (-156)/20)*(1 - n). Is j > 15?
False
Let h = 17 + -17. Suppose 5*v + l - 14 = h, 4 = -4*v + 2*l + l. Suppose 3 = r + v*r. Is -3/11 equal to r?
False
Let v be 3/(1/((-9)/(-1))). Let m = -3 + v. Let j be (-52)/7 + m/(-42). Is -8 smaller than j?
False
Let r be (1/2)/(8165/(-42478)). Let a = -2/1633 - r. Is a less than or equal to 2?
False
Suppose 5*m - 2678 = 18*m. Is m smaller than -208?
False
Suppose 0 = 82*a - 78*a - 36. Suppose 0 = a*w + 15 + 21. Is -3/2 at most as big as w?
False
Let b be 10*((-319)/174)/(4/(-12)). Suppose -216 = -4*i - 0*i. Is i equal to b?
False
Let u = 3 - 4. Suppose 85*c - 86*c + 8 = 0. Is u bigger than c?
False
Let x be 20/9 - (-24)/(-108). Is -9 bigger than x?
False
Suppose 0 = -3*y + 3*m + 139 + 269, 4*m + 411 = 3*y. Let b = -90 + y. Suppose -3*s = -2*p + 1, 12 + b = 5*p + 3*s. Which is greater: 10 or p?
10
Let f be (-10)/6 - 108/(-96). Let c = -1/8 + f. Is 0 smaller than c?
False
Let l(c) = 3*c + 15. Let r be l(-10). Let s be ((-111)/r - 4)*5. Suppose 3*f - f - w = -s, f - 3*w = 4. Do -10 and f have different values?
True
Let v be (1/(-1))/((-2)/14). Suppose -b - v = 5*l, 1 = 3*b - b + 5*l. Let a(j) = j**2 - 37*j + 261. Let c be a(9). Which is smaller: c or b?
b
Let s be (10/54)/((-3)/(-72)). Is 5 not equal to s?
True
Let u = 494/21 + -74/3. Which is bigger: u or -2?
u
Let t = 0 + -2. Let p be 3/(0 + (-3)/t). Let k be ((-30)/120)/((-10)/(-24) + 0). Which is bigger: k or p?
p
Let r be (-1)/(-4) - 60/(-16). Suppose 4*y = b + 9, 33 = -y - 5*b + 9. Suppose 5 = r*h + y. Is h greater than 1?
False
Let r = 2607 + -268523/103. Which is smaller: r or 3/2?
r
Let j(u) = 39*u**2 - 20*u + 20. Let r be j(1). Is r at least as big as 48?
False
Let v = 9.2 - -0.8. Let m = 10.01 - v. Let g = m + 0.09. Which is smaller: g or -0.3?
-0.3
Let b(a) = -a**2 - 34*a - 3. Let k be b(-8). Suppose 0 = -7*x + 26 + k. Is x greater than 33?
False
Let q(z) = -211*z - 11. Let c be q(1). Let r be 1281/6 - -2 - -2. Let x = c + r. Is x at least as big as -4?
False
Let t(i) = -i**2 - 32*i - 32. Let j be t(-31). Which is bigger: -11/24 or j?
-11/24
Let c = -15 + 18. Suppose -3*a - 5*a = -c*a. Are -7/10 and a nonequal?
True
Suppose -63*m - 1092 = -57*m. Which is smaller: m or -180?
m
Let q be (-27)/(-18) - 3/(-2). Suppose 0 = -4*i + a - 5, 0*i + 5*i + q*a = -2. Let y be -1*5*(-1)/(-5). Is y less than i?
False
Suppose -6 = 4*g - 3*g. Let s(w) = w**2 + 4*w + 2. Let z be s(g). Let i = 270 - 256. Does i = z?
True
Let j be (-30)/(-10) + (-4)/2 + -8. Which is greater: j or 11?
11
Let i be (-1 - 0)/(3 - 2). Let q(s) = s - 8. Let c be q(10). Which is smaller: i or c?
i
Let y be 1*(99/(-33) - 8/(-2)). Is 2/611 greater than or equal to y?
False
Let m be 1 + -16 - (-2)/1. Let u = -1501 + 1488. Are m and u non-equal?
False
Let r be 7/21*(-1)/53. Let m = 329/1749 + r. Which is greater: 0 or m?
m
Let d = 495 + -243. Let y be (3/(-20))/((-7)/d). Which is smaller: 4 or y?
4
Let t = 0.0748 - -0.9252. Is 553 at least t?
True
Let n(q) = 0*q - 2 + q - 2*q - 4. Let i be n(-6). Which is greater: 2/155 or i?
2/155
Let i be -18 + 16 - -1*192/111. Does 0 = i?
False
Let w = 30.3 - 30.2. Are -1/40 and w unequal?
True
Suppose -16*r = -50*r + 102. Which is greater: 4 or r?
4
Let q be (-433)/((-52)/(-16)*5). Let y = q - -134/5. Let u = -208/3 + 70. Is y bigger than u?
False
Suppose -4*q = -3*q + 5*t + 54, 3*q = t - 194. Let r = q - 3. Let s = r - -403/6. Which is smaller: s or 0?
0
Let y = 2 - 75. Is y at least -73?
True
Let s = -627 - -625. Which is greater: s or -5/49?
-5/49
Let s = -739 - -736. Which is bigger: s or 22?
22
Let d = 2/2877 - 69872/2877. Does -24 = d?
False
Suppose -23 = 4*w - 5*x - 63, -5*x - 20 = 0. Suppose w*i - 3*h = -10, -h - 9 - 1 = i. Suppose -6 - 12 = 3*k. Is k not equal to i?
True
Let s be -5 + 2 + 4 + 3/(-1). Let g be -4 - (-52)/(-12) - 0/s. Which is smaller: -9 or g?
-9
Let f be (12/(-8))/(25/2) + -1. Let y = f - -787/725. Is 2/7 equal to y?
False
Let n(x) = -x**3 + 3*x**2 - 2*x - 4. Let z(d) = d**2 - 14*d - 5. Let l be z(13). Let a = l + 21. Let v be n(a). Is -9 != v?
True
Let d(n) = 2*n**2 + 4*n - 2. Let j be d(-4). Let o(h) = h**2 + 4*h + 1. Let k be o(-4). Let p be (-1)/j*k*-16. Which is bigger: 1 or p?
p
Suppose 2*q = a + 31, 5*a = 16*q - 18*q + 1. Which is smaller: q or 1?
1
Let y = 18419/12 - 1534. Let g = y + -2/3. Suppose 4 = -3*x - x. Which is smaller: x or g?
x
Let b be 4*-1 - 14/4*-2. Suppose -b*k = -24*k + 714. Is 34 < k?
False
Suppose -z - 2*o = 9 - 11, -70 = -5*z + 5*o. Which is smaller: z or 12?
z
Let c = -633 + 8226/13. Which is bigger: -0.2 or c?
-0.2
Suppose 10*v - 447 + 6037 = 0. Which is smaller: v or -557?
v
Let a be (-6)/4 - (-15)/10. Suppose j - 36 = -4*i - 11, 2*i + j - 11 = a. Let z be 2 + i*(0 - -1). Which is bigger: z or 10?
10
Let m(t) = 3*t**3 - t**2 - t. Let q be m(-1). Suppose l + 10 = 3*z, 2*l - 4*z = -0*l - 16. Is q less than or equal to l?
False
Let a = -338/7 + 95/2. Which is smaller: -1 or a?
-1
Suppose -41*b = 39*b. Which is greater: 1/824 or b?
1/824
Suppose 0 = -13*l + 16*l - 6. Is l < 28/19?
False
Let b = 9 - -13. Let l = b - 23. Is l equal to 2/23?
False
Let w = 161 - 91. Let d = w + -73. Is d less than or equal to -12/7?
True
Suppose -68*v - 42 = -70*v. Let h = v - 46. Which is smaller: h or -28?
-28
Let o = -27.947 - 0.053. Let p = o - -28.1. Let d = 1 + 1. Do d and p have the same value?
False
Let k be (27/6 - 5) + 251/506. Which is greater: 0 or k?
0
Let m(g) = g**2 - 2*g - 1. Let z be (-48)/(-22) + 2/(-11). Let u be m(z). Let v be ((-86)/(-16) + -4)*(-4)/3. Do v and u have the same value?
False
Let o = -3.208 + 3.26. Which is bigger: o or 0?
o
Let t be ((-8)/10)/((-2)/(-90)). Let x be 6/27 - (-143)/t. Suppose -29*w - 3*d - 1 = -27*w, -2*w + 4*d = 22. Which is bigger: w or x?
x
Let b = 37.2 - 34. Let q = 3.1 - b. Is q less than or equal to -0.32?
False
Let p = -464 + 317. Let r be ((20/(-6))/(-2))/(28/p). Is r > -9?
True
Suppose -5*h = -w - 11, -214*h - 4*w = -212*h - 22. Suppose -i + 0*i = -f - 1, 0 = 4*f - i - 5. Let q be 30/7 - f/7. Which is smaller: h or q?
h
Let c = 2 + -3. Let m be c - (4/8*4 + -18). Which is smaller: 16 or m?
m
Let v = 301 + -323. Suppose -6*m + m - 49 = 3*f, -f - 39 = -4*m. Which is smaller: v or f?
f
Let w = -624.19 + 629. Let v = 5 - w. Let q = v - 0.26. Is q at least 2/5?
False
Let i = 37 + -44. Let s(v) = 2*v + 4. Let b be s(i). Let l = -7 - b. Are 2 and l equal?
False
Let d = -22 + 25. Suppose 42 = 2*a + 5*t, -4*a - 4*t + 1 + 83 = 0. Suppose d*s = -a - 0. Is s smaller than -5?
True
Let f = -84 - -78. Suppose -c = -4*c. Suppose 5*z = -3*j - 29, 4*j + 4 = 2*z - c. Which is smaller: z or f?
f
Let z(y) be the third derivative of y**6/60 - y**5/6 - 5*y**4/8 + 2*y**3 - 4*y**2. Let v be z(6). Is 0.04 >= v?
True
Let w = 16/101 - 6874/1313. Which is smaller: -4 or w?
w
Let k(b) = 2*b + 10. Let u be k(0). Let j be ((-68)/10)/((-1)/u). Let d be (-2)/8 + j/144. Which is smaller: 2/15 or d?
2/15
Let t be 1/((-38)/(-133)*7/116). Which is smaller: 64 or t?
t
Suppose 0 = -w - 5, -4*o + 2*o = 4*w + 24. Suppose -3*f = -z - 2, -4*f = 5*z - 2 + 12. Suppose f = 4*h - 3*t + 18, -h - 10 = -t + 3*t. Which is bigger: h or o?
o
Let z = 313 + -326. Are z and -1 unequal?
True
Suppose 2*b = -8, -3*b - 12 = -0*l - 4*l. Suppose 5*g = 5*p + 3*g - 15, -3 = -p + g. Is p at most l?
False
Let h = -28 - -28. Let d