 + 1 = 2*y - n. Which is smaller: d or -2/25?
d
Let w be 2 - (0 - 1)/1. Let g be 0/(5/(15/6)). Which is greater: g or w?
w
Suppose -4*c + 75 = c. Suppose 5*p - 2*p = -4*o + 8, -o - 4*p = -c. Let v = 1157/8 + -145. Is o at least as big as v?
False
Let t = 11 - 11.3. Which is greater: t or 2?
2
Let o(j) = -j - 2*j**2 - 1 - 2*j**2 + 3*j**2 + 2*j**2. Let x be o(-1). Is x <= -2/27?
False
Let y(s) = -s**2 + s - 3. Let d be y(0). Let f be (-3)/(-3) + (4 - -1). Let r be -2 - d - f/10. Is r greater than -0.1?
True
Let s = -33 + 100/3. Are s and 1 equal?
False
Let t be 0 + 23/2*-1. Does t = -13?
False
Let h = 21 + -11. Let k = h + -7. Suppose -k*j + 4 = 7. Is j != -2/3?
True
Let o be 1/(-6 - -5 - -2). Which is smaller: -35 or o?
-35
Let j be ((-12)/(-10))/(20/50). Is 0 bigger than j?
False
Suppose 5*x - 5*w - 11 = -w, 3*w = x. Let y = -66 + 460/7. Is y <= x?
True
Suppose 4*n - 29 = -5*c + 2*n, -c + 4 = n. Which is bigger: c or 9?
9
Let a = -5 + 4. Let g = a + 8. Which is greater: 8 or g?
8
Let p = -45 + 46. Are p and 8/7 equal?
False
Let t be 12/63*(-9)/(-6). Let k = t - 13/21. Is k < -1?
False
Suppose 2*m + 20 - 58 = -2*f, -f = -2*m - 10. Suppose 0 = -4*s + 2*h - f, -2*s - 2*s + 4*h = 8. Let o = -5 - s. Is 2 bigger than o?
True
Let p be (-12)/24 - (-10)/12. Suppose -y = -6*y - 5. Which is greater: y or p?
p
Let p = 0 + 0.1. Let k = -0.2 + p. Let x be 16/(-28) - (-32)/(-28)*3. Is k at least as big as x?
True
Let c(h) = h + 9. Let b be c(-8). Let f = 49/66 - -1/11. Are f and b unequal?
True
Let f = -1 - 3. Let t be 4*-5*f/48. Which is bigger: 2 or t?
2
Suppose -6 = 2*r - 4*r. Suppose 2*o = 2*w + 26, -2*o = 2*w - 20 - 2. Let m be r*-1*3/o. Is -1 not equal to m?
True
Suppose -3 - 7 = -5*j. Suppose -4*v + f = -18, -6 = 4*f + j. Let z = v + -4. Which is greater: -1 or z?
z
Let i be ((-6)/4)/((-90)/(-5)). Is i at most -0.2?
False
Let l(h) = h**3 + 9*h**2 + 2. Let y be l(-9). Let d = 3 + -2. Suppose -d = k - y*k. Which is greater: 2/7 or k?
k
Let j be ((-6)/(-8) - 0)/(84/56). Let m = -0.2 - 0.1. Let z = m + 0.4. Is z less than j?
True
Suppose 0*t + 4*t + 16 = 0. Let h(u) = -u - 2. Let l be h(2). Are l and t equal?
True
Let m(i) = -4*i**2 - i. Let x be m(-1). Let g = -7.1 + -0.9. Let o = -7 - g. Which is smaller: o or x?
x
Let a = -1517/23 + 66. Which is greater: a or 1?
1
Let p = -15 + 25. Suppose d + 4*r + 34 = p, 5 = -r. Let z = 4 + d. Is -2/9 > z?
False
Let p = 1.02 + -0.02. Are p and -1 unequal?
True
Suppose 2*z = 3 - 1. Suppose -z = -y - 2. Let q be (1 + 0)*(y - -2). Which is smaller: q or -2?
-2
Suppose -5*p - 7 = 63. Let a be p/(-18) + 2/9. Suppose -a - 3 = -4*f. Is 1 greater than f?
False
Let z(m) be the third derivative of -m**6/120 + m**5/15 - m**4/24 - 6*m**2. Let u be z(3). Which is greater: 5 or u?
u
Let t = -5/33 + 206/1287. Which is bigger: t or -1?
t
Suppose -3*g + 14 = m + 2*g, 5 = 4*m + 3*g. Let r = -15 + m. Is -16 at most as big as r?
True
Let f = 44 - 131/3. Let n(r) = -r**3 + 5*r**2 - 6*r + 2. Let t be n(4). Let k be 4/t*(-9)/6. Do k and f have different values?
True
Let q = -1 - -2. Let s be (-45)/(-1350) - (-1 - 14/(-12)). Does s = q?
False
Let r = 1.92 - -0.08. Let p = -4 + r. Let s = p - 5. Is -0.1 equal to s?
False
Let o = 30490705 + -5031012884/165. Let x = o + -27/55. Let v = x + 280. Which is bigger: v or -2/7?
-2/7
Let d be 169*3/(-9)*1. Let c = 57 + d. Let g = -0.3 + 4.3. Is g greater than or equal to c?
True
Let y be (-12)/78 - 54/(-13). Let w be 0/(3 + y/(-2)). Which is greater: w or 2/21?
2/21
Let c(r) = -2*r**2 - r - 1. Let g be (-2)/8 + 9/(-12). Let p be c(g). Which is greater: p or 0?
0
Let m(y) = -y**3 + 3*y**2 + 3*y + 4. Let n be m(3). Let h = -9 + n. Let v be ((-2)/(-4))/(6/h). Which is smaller: v or -1?
-1
Let f = 40 + -72. Let y = 46 + f. Let r be ((-4)/1)/(y/(-21)). Are r and 5 equal?
False
Let r = 5.05 - 5. Which is bigger: r or 0.1?
0.1
Suppose 2*d + 2*r - 60 = 0, -4*r + 134 + 20 = 5*d. Is 35 at least as big as d?
True
Let l = 28 + -5. Is l >= 0?
True
Let l = -5 + 1. Let c(h) = -h**2 - 3*h + 4. Let z be c(l). Which is smaller: -0.2 or z?
-0.2
Let j be 88/(-76) - (-2 + 1). Let f = -2271/1862 + 43/49. Let q = f + j. Is -4 smaller than q?
True
Let z = 0 + -1. Let s be -14*(-1)/(14/4). Let l be s + -2 + (-15)/6. Which is bigger: l or z?
l
Let w = -67 - -71. Is w not equal to -0.2?
True
Let u = 0.6 - 2.8. Let m = 1.5 + u. Let d = m + -0.3. Is -2/3 at least as big as d?
True
Let y = 31/140 + -1/14. Is 0 at least y?
False
Let x(f) = -f**3 - 3*f**2 - f - 1. Let t be x(-3). Suppose 3*k + t*k = -5. Is k greater than -1?
False
Let z be (-69)/21 - (-2)/7. Let f be -5 - -1 - (-3 - (-3 + 0)). Is f bigger than z?
False
Suppose y + 4*y = 130. Is y >= 25?
True
Let q = -9 - -9. Let r be q + (-5)/((-10)/(-4)). Is -2/3 bigger than r?
True
Let s be (2/6)/(0 + -13). Is s <= -1?
False
Let p = -14 + 23. Let s be -3*(-3)/p*-1. Let o = -15/2 - -7. Is o greater than s?
True
Let c(m) = -m**3 - 2*m**2 - m - 1. Let a be c(-2). Let p be (-52)/120 - (2 + -2). Let k = p - -1/10. Which is smaller: k or a?
k
Suppose 0 = z - 1 - 9. Let v = z - 14. Let n be 1/v + 66/(-24). Is n equal to -2?
False
Let h = -0.3 + -0.7. Let s(p) = p**2 + 10*p + 2. Let q be s(-10). Which is bigger: q or h?
q
Let a = 1 - -3. Suppose 0*u + 13 = a*b - u, b - u = 1. Which is greater: 5 or b?
5
Let b = -2 + -1. Which is smaller: b or -7/2?
-7/2
Let o = -105 - -107. Let b = 3 + -5. Which is smaller: b or o?
b
Let g = 10 + -6. Let k be (-1 - g)*(-4)/(-10). Let l be (-6 - -2)/(k/(-3)). Is -7 less than or equal to l?
True
Let v = -13 - -12. Which is bigger: 0 or v?
0
Let s = 0.3 + -5.3. Let j = 3 + s. Is j bigger than 2/9?
False
Suppose 41 = 5*k - n, 7*k - 5*n - 45 = 2*k. Let g be (-11)/(-2) + (-4)/k. Suppose -3*y - 4*v = -16, g*y = 2*v - v + 42. Which is bigger: 9 or y?
9
Suppose 0 = 14*p - 2*p + 108. Are p and -6 equal?
False
Let m = 0.33 - -0.02. Let i = m - -0.05. Let g = i + -0.3. Is 1/5 >= g?
True
Let v be -1 + 5 - (14 - -6). Let q be v/(-24) + (-28)/(-18). Which is smaller: q or 1?
1
Suppose -8 = -2*l - 2*q, -l - 2*q - 24 = -3*l. Which is smaller: l or 7?
7
Suppose -2*p + 5*l - 2*l - 8702 = 0, -21805 = 5*p + 5*l. Let x = p + 122011/28. Let t = -1/28 + x. Is t <= 1?
True
Let w be 10/(-8) + (-16)/(-64). Which is bigger: -2/19 or w?
-2/19
Suppose 0 = 4*l - 2*c - 12, -5*l + 6 = -2*c - 9. Which is smaller: l or 1?
1
Suppose -z + w + 5 = -0*z, -w - 3 = 0. Suppose k - z*k = 8. Does k = -9?
False
Suppose 5*b = -2*a + 2, 4 = 4*a + 2*b - b. Let o = -9/28 + -3/28. Which is smaller: a or o?
o
Let n = 57 - 57. Which is greater: -2 or n?
n
Let q = -151/62 - 2/31. Let x(m) = -m**3 - 6*m**2 - 3. Let l(t) = 6*t**3 + t**2 + 2*t + 1. Let h be l(-1). Let k be x(h). Which is smaller: k or q?
k
Let t = 1 + 0. Let i(u) = 5*u - 10. Let k be i(3). Let p be t/(-5)*k/(-12). Is p at most 0?
False
Suppose 0 = 5*g - 2*g + 2*j - 126, g = 2*j + 34. Suppose -2*z - g = 3*z. Is z <= -7?
True
Let p = -14 - -55/4. Is 1/3 less than or equal to p?
False
Let l(k) = -11 + k - 4*k + 3*k - k. Let s be l(-9). Which is smaller: s or -4/3?
s
Suppose -4*v + 3*v = 0. Let z = 0.05 + -0.15. Do v and z have the same value?
False
Let o = -4 + 6. Let r = 30 + -31. Is o at least r?
True
Suppose -3*z - z - 4 = 2*p, 0 = -2*z - 4*p - 14. Suppose 0*r = r - z. Is -1/10 greater than r?
False
Suppose 3*g = 6*g + 4*i - 16, 4*g - 5*i + 20 = 0. Suppose k + g*k = 2. Let o be (k + -3)*1*-1. Is o > 2/19?
True
Let v = 3 + 1. Let j = 3.9 - v. Is j <= -2/9?
False
Suppose -4*n + 79 = -n + 5*w, -3*w = -15. Which is bigger: 17 or n?
n
Suppose -4*b + 2 = -2. Is b bigger than 2/27?
True
Let q(s) be the first derivative of -s**4/4 + 4*s**3/3 + 3*s**2/2 + 4*s + 1. Let o be (25 + -24)*(0 - 0 - -5). Let p be q(o). Is -5 at least as big as p?
True
Let z = 397/5 + -79. Is -1 not equal to z?
True
Let i = 0 - -3. Let a = i + -2. Is 3 smaller than a?
False
Let p = 0.4 - 0.5. Let f = p + -0.4. Let t = 0.5 + f. Is t less than -1?
False
Let y be 4319/65 - (2 + -1). Let c = -328/5 + y. Let u be 60/(-40)*2/3. Is c >= u?
True
Let o = -20 - -25. Suppose 2 = u + u - 4*m, o*u = -3*m - 8. Which is smaller: -2/7 or u?
u
Let p = -2 - -4. Let y(s) = s**2 - s. Let z be y(-1). Suppose p*j = -z - 0. Which is smaller: j or -1/4?
j
Let g be (7/((-168)/(-32)))/(-2*1). Wh