k = -5 - p. Which is greater: -1 or k?
k
Let z(a) = a**3 - 6*a**2 + 6*a - 3. Let g be z(5). Suppose -4*k = 4*h - 16, -8 = -4*h - 2*k + 8. Is g not equal to h?
True
Let r be (-3)/(-2) + (19/2 - 0). Is r greater than or equal to 10?
True
Suppose d - 1 - 10 = -b, -20 = -b + 2*d. Which is greater: 13 or b?
b
Let o = 1 + -3/5. Let p = -2.8 + 0.4. Let h = 0.4 + p. Which is greater: h or o?
o
Let h(w) = -2*w - 2. Let a be h(-3). Let t = 1 + -1. Suppose 3*x = -s + 3 - 1, -a*s + 3*x + 8 = t. Are 2 and s equal?
True
Let n be (5/((-50)/(-72356)))/(-54). Let g = n - -134. Let v = g + -277/945. Do v and -2/7 have the same value?
True
Let m = 0.7 + -7.7. Let j = m - -6. Let s(h) = -h**3 + 2*h**2 - h. Let n be s(1). Is j at most n?
True
Suppose 32 = 6*z - 10*z. Is z > -8?
False
Let b be (-1)/125*(-15)/(-2). Which is greater: b or 0?
0
Let p = 0.31 + -15.31. Let b = -16 - p. Is 0.06 at most b?
False
Let n be -4 - (-2 + 3 - -3). Which is smaller: 1/5 or n?
n
Let l = -862678212567/4970 - -173577104. Let a = l - -1/710. Let v(s) = s**3 + 11*s**2 + 18*s. Let o be v(-9). Which is greater: a or o?
o
Suppose -16*x + 2 = -17*x. Suppose -3*j - j = 0. Is j <= x?
False
Let c = -21 - -21. Do c and -2 have different values?
True
Let t = -6.07 + 0.07. Let a = -18 + 24.1. Let i = t + a. Is i less than 2/9?
True
Let d = -131 - -74. Let i be -1 - ((-315)/d)/(-5). Let k(g) = g**3 + g**2 - g. Let s be k(1). Is i less than or equal to s?
True
Suppose -2*p + y = 2*p + 17, p + 8 = y. Let a(m) = -m - 2. Let s be a(p). Let k be s/(-36) - (-2)/8. Are 2 and k unequal?
True
Suppose 6*n = 2*n. Suppose 4*v + t - 4*t = -16, v = 2*t - 9. Which is smaller: v or n?
v
Suppose 8 + 2 = -j. Which is smaller: -9 or j?
j
Let a = 2/57 - 5/1767. Is 0 not equal to a?
True
Suppose 4 = w - 1. Let s be (-10)/175*5 + (-88)/(-14). Is w greater than or equal to s?
False
Suppose c = 5*v - 4*c, 5*v + 10 = -5*c. Are v and -7/5 equal?
False
Let z(f) = -f**3 - 13*f**2 + 15*f + 13. Let l be z(-14). Which is greater: l or -4?
l
Let q = 8463/8 + -73189/88. Let f = q + -226. Is f at most as big as 0?
False
Let c be 12*-1 + 6 + -6. Is c < -14?
False
Suppose 0*j = -4*j. Suppose -r - 7 = 3*n - j*n, -2*r - 7 = -n. Is -2 less than n?
True
Let m be (-26)/(-65) - 12/27. Which is smaller: 0 or m?
m
Let q = 3 - 1. Suppose q*t + v + 2*v - 13 = 0, 2 = 2*v. Is t less than or equal to 5?
True
Let b = -21 + 20.9. Which is smaller: b or -0.2?
-0.2
Let q = -14 - -7. Let w = 6 + q. Are w and -2/7 equal?
False
Let z be 3/9 - (-7)/(-3). Let s = -0.15 - -6.15. Let i = 7 - s. Is z <= i?
True
Suppose 9*w = 7*w + 4. Is w greater than or equal to 2?
True
Let z(a) = -a + 7. Let c be z(6). Is 2/7 < c?
True
Let q = 14 + -14.1. Which is greater: q or 3.2?
3.2
Let s = -5 + 9. Let z = -2 + 6. Let n = z - s. Is n <= 1?
True
Let c = 32 + -31. Let j = 9 - -1. Is c not equal to j?
True
Suppose 4*g - 5*q + 6 - 19 = 0, 0 = -4*g - 4*q + 4. Suppose -w = -g*w. Let r be 8/70*5/(-2). Which is greater: w or r?
w
Let w = -34 - -37. Let m = -0.7 - -4.7. Which is greater: w or m?
m
Let w(d) = -3*d**2 + 7*d - 6. Let y be w(3). Are y and -23/2 nonequal?
True
Let v be (-2)/(1/4*14). Let h be -3 - (16/(-7) + 0). Let z = h - v. Is -1 at most z?
True
Let y = 2.86 - 2.8. Do y and 1/3 have different values?
True
Let u = -1.6 - -0.6. Let r = 0.9 + u. Let t = -33/65 - -4/13. Which is smaller: r or t?
t
Let v(d) = -d + 8. Let x be v(19). Is 0 less than x?
False
Let x be -10 + 8 - (-12)/14. Is x <= 0?
True
Let x(p) = p**2 - 13*p + 4. Let c be x(13). Suppose 2*j - 12 + 4 = 0. Is c less than j?
False
Let j(c) = c**3 - 5*c**2 - 6*c - 4. Let w be j(6). Let g = w - -3. Which is bigger: -2 or g?
g
Let i = 812/3735 + 2/415. Is 2 < i?
False
Let s be (8/20)/((-2)/(-40)). Let m = -14 - -20. Is s at most m?
False
Let g be ((-6)/15)/(297/15). Is g >= -1?
True
Let l = -7.3 + 12.4. Let p = -5 + l. Are p and -3 equal?
False
Let y(b) = -208*b. Let g be y(-1). Let h be 6/21 - g/532. Which is smaller: h or -1?
-1
Suppose -j + 16 = 3*j. Let m(d) = -2*d - 13. Let s be m(-9). Which is bigger: s or j?
s
Let q be 0 - (-3)/6*4. Suppose -5*y - 37 = 4*z, -2*y + 0*z - q*z - 16 = 0. Let c = -5 - y. Which is bigger: c or -2/9?
c
Suppose -5*i = 5*h - 15, 3*h - 12 + 4 = -4*i. Let r be (-2)/76*1*1. Let s = -89/494 - r. Which is greater: s or i?
s
Let a be 2 - (19/7 - 1). Suppose 2*o + o = 0. Which is bigger: o or a?
a
Let r = -197 - -204. Are 0 and r equal?
False
Suppose 0*z = -2*z - 5*n - 40, 0 = -2*z - 3*n - 32. Is 2 at least z?
True
Let x(y) = y**3 - 4*y**2 + y + 2. Let t be x(2). Let n = -2 - t. Suppose 2*w + n*w = 20. Which is bigger: w or 4?
w
Let q be (-1*(-3)/7)/2. Let t = -215 + 215. Which is smaller: t or q?
t
Let w = 1 + -1. Let l = -0.13 - -0.53. Which is bigger: l or w?
l
Suppose 1 = -g - 0. Let l = 8 + -4. Let a = l - 2. Is a at least as big as g?
True
Suppose -10 + 0 = 2*f. Let j = 8 + f. Suppose -j*h - 21 = 5*n - 0*h, -3*h = n + 9. Which is bigger: -4 or n?
n
Let g = -3662/10183 - -4/599. Which is bigger: g or 0?
0
Let w be 8/12*(-2 - 1). Let f be (-6)/(-3) - (-3)/w. Suppose 0*p + p = 0. Is p greater than or equal to f?
False
Let v be (-2 + (-7 + 1 - -1))*1. Is v at most -6?
True
Let s = 38 - 38. Which is smaller: 1.4 or s?
s
Let i = 4/45 + 26/45. Which is smaller: 0.02 or i?
0.02
Let m = 175 + -327/2. Is m smaller than 13?
True
Let k = 5 + -3. Suppose 5*y - 2*i + 4 = 0, 0 = -3*y - 2*i + k + 2. Let z be (0 - 0)/(2/2). Is z <= y?
True
Let b = -3783/8 + 475. Let o = -5/8 + b. Let g = 0.3 - 1.3. Which is greater: g or o?
o
Let u = -0.025 + 0.495. Let c = -0.27 + u. Which is smaller: c or 0?
0
Let m be (-4)/(-10) - ((-4)/(-15))/(-1). Is m at least as big as 0.03?
True
Let z = -59 - -59.029. Is -1 <= z?
True
Let q(w) = 5*w**2 + w. Let n be q(-1). Suppose 5*k - n*k = -2. Is -1 at least k?
True
Let u be ((-4)/(-15))/((-2)/(-5)). Let j(w) = 2*w**3 + 2*w**2 - 1. Let z be j(1). Suppose -3*c - z*c = 0. Which is greater: c or u?
u
Suppose -32 = -4*z + 3*u - 7*u, 2*z = -3*u + 21. Let k = -1.2 + 0.2. Do k and z have the same value?
False
Let x be (-1)/(-2) + 1/2. Let j = -435 + 3050/7. Let t = j - x. Does -1 = t?
False
Let v = -17 + 8. Let s(j) be the second derivative of -j**3/6 - 9*j**2/2 - 2*j. Let l be s(v). Which is bigger: l or -1?
l
Let z = 1 - 1. Suppose -2*c + 18 = 4*u, -12 = -2*c - 0*c - 2*u. Suppose -3 = -0*y + c*y. Which is smaller: y or z?
y
Let s be ((-4)/(-7))/((-2)/(-7)). Let n = -5/2 + 19/6. Is n greater than s?
False
Suppose 10*z = 5*z. Let o(i) = i**2 - 6*i - 3. Let h be o(6). Let l be (-2)/(-6)*1*h. Is z at least l?
True
Let z be 8/(2 + -2 - 1). Let w = z - -9. Which is smaller: w or 2?
w
Suppose 0 = -5*h + 2*h + 3. Is 6/5 smaller than h?
False
Suppose 3*l + 5*z + 11 = -89, -174 = 5*l + z. Are l and -34 equal?
False
Let f = 17 + -37. Which is smaller: -22 or f?
-22
Let a = 1 + 21. Are a and 24 nonequal?
True
Let k(j) = j**3 - 12*j**2 + j - 10. Let t be k(12). Do t and 7/5 have the same value?
False
Suppose 0 = -4*k + a - 18 - 18, 2*k + 24 = -a. Let u be 16/k*5/(-2). Which is bigger: u or -0.2?
u
Let p = 0.7 + 0.3. Let y = 294.99 + -297. Let j = 2 + y. Is j at least as big as p?
False
Let a(n) = n**3 + 7*n**2 - 8*n. Let o be a(-8). Which is smaller: 2/25 or o?
o
Let l = -129 - -128. Which is greater: 0.1 or l?
0.1
Let w(p) = 0*p**2 + 0*p - p**2 + p. Let a be w(0). Is a >= -0.5?
True
Let g be 2/((-2)/(-1)) + -7. Let f be (-170)/45 + (-2)/9. Let u be g/(-4) - f/8. Which is greater: u or 0?
u
Let a = -329 + 1149/4. Let i = 41 + a. Which is smaller: -2 or i?
-2
Let r be (-7)/(-5) + 16/(-40). Which is smaller: 3 or r?
r
Suppose 0 = 3*n + n + 4. Let p = -43544936/467109 + -1/155703. Let t = 93 + p. Is t bigger than n?
True
Let y = 2 - 0. Suppose 10*o - 5*o - 100 = 0. Suppose -m + o = 3*m. Is m at most y?
False
Suppose 3*d - 10 = 2. Suppose 4*n + 12 + d = 0. Let y be 45/(-84) - n/14. Which is bigger: y or -0.1?
-0.1
Suppose 4*y - y - 6 = 0. Let g be 34/10 - 10/25. Is g at most y?
False
Suppose i + 4*i = 30. Suppose 0 = 2*j + f - i - 0, -3*j - 2*f = -11. Are j and -2 equal?
False
Suppose -2*a + 4*a + 2 = 0. Which is smaller: 9 or a?
a
Let p be (-1)/((-20)/12 - 0). Is p < 2?
True
Let h = 0.174 + 0.126. Which is greater: h or -1/9?
h
Let f be (0/(-1))/(-24 - -25). Is f at least as big a