p?
p
Let k = 22 - 23. Let r be 36/(-77) + (-20)/(-70). Which is bigger: r or k?
r
Suppose 2*g + k = -3*k - 22, 4*k = 2*g - 10. Is -1 <= g?
False
Let t(m) = 1 + 2*m - 3 + 14*m + m**2. Let n be t(-7). Let y be 16/n - 8/(-20). Is y smaller than -1?
False
Let v be -1*(4 - 3 - 9). Which is smaller: v or 6?
6
Suppose 0 = -i + 3*d - 19, 0 = 5*i - 3*d + 7 + 28. Let x be ((-4)/6)/(2/(-15)). Suppose -2 = -x*s - 7. Which is greater: i or s?
s
Let w = 8 + -8. Is w bigger than 3?
False
Let w be (0 + -4)*3/4. Let m be -1 + 2 + -1 + w. Let v = m - -4. Is v at most 0?
False
Let j = 8 - 12. Let r = j - -4.2. Is r < -0.2?
False
Let p = 6188 + -3322958/537. Do -1 and p have the same value?
False
Suppose -2*f = -b, f - 3*b + 5 + 0 = 0. Let d(x) = -x + 7. Suppose 3*v - 28 = -v. Let s be d(v). Which is bigger: s or f?
f
Let t = 3 - 2. Let s(q) = q**2 - 2*q - 5. Let g be s(4). Which is smaller: t or g?
t
Let y = 33 - 33.1. Is 6 at most y?
False
Suppose -x - 3*i = -101, 3*x - 3*i = -0*x + 351. Let r = -449/4 + x. Is 2 less than r?
False
Let p = -1.2 + 2. Let t = 1.3 - p. Is 1 greater than t?
True
Suppose 0 = -3*v - 15, -5 = -0*z + z + v. Suppose 0 = -3*d - 15 - 0. Which is smaller: d or z?
d
Let x be 8/(-10) - (-154)/110. Let d = 1 + 0. Let u = d - 1. Which is greater: u or x?
x
Let l be 70 - ((-9)/(-24) + 11/(-8)). Which is smaller: l or 72?
l
Let g = 36 - 32. Let z = -0.01 - 0.89. Let d = z + -0.1. Which is greater: g or d?
g
Suppose 7*h + 69 = -78. Is -21 bigger than h?
False
Suppose 25 = -5*i + 5*c, -i = -5*c + 3*c + 9. Let q = 8 + -19. Let d be 1/(0/(-1) - q). Is i at most d?
True
Let h = -0.92 + -1.08. Let l = 1.1 + -8.1. Are h and l equal?
False
Let w(h) = -4*h + 8 + 4*h + h. Let t = 80 + -86. Let g be w(t). Are g and 1 non-equal?
True
Let g = -86675/5307 - 2/1769. Which is smaller: g or -17?
-17
Suppose -3*w = 15, -20 + 0 = 5*h + 4*w. Which is greater: 1/9 or h?
1/9
Suppose -2*d - 2*f = -72, -4*f - 4 = 4. Is d less than 38?
False
Let g = -5 - -2. Let d be (-4)/(-5) - 19/5. Is g greater than d?
False
Let a = -119.06 - -118. Let g = 7.76 + a. Let c = g + -7. Which is greater: c or 2/7?
2/7
Suppose 0 = -2*q + 8 + 2. Suppose s = -4*j - 1, q*j + 2 + 0 = -2*s. Suppose 0 = -j*h - 2*h. Which is smaller: 3/7 or h?
h
Let k(p) = p**3 + 6*p**2 + 6*p + 4. Let x be k(-4). Does 12 = x?
True
Let w be (-18)/(-4) - 2/(-4). Let i(l) = l**3 - l**2 - 3*l - 4. Let t be i(3). Is w != t?
False
Let q = 0 - -0.1. Let m = -24.1 - -23. Let f = 0.1 + m. Which is smaller: q or f?
f
Suppose 2*h - 14 = 4. Let d = -14 + h. Suppose -56 + 50 = x. Which is bigger: x or d?
d
Let r = 4 + -2. Let t = 0 - r. Suppose -4*a + 6 = s, -s - 2*a - 10 + 12 = 0. Is t bigger than s?
False
Let z = 70817 + -356352/5. Let h = -452 - z. Is -1/4 bigger than h?
False
Let f = -59 + 59. Which is bigger: f or -1/69?
f
Let w = 5 - 5. Let d = 1 - w. Let j be (4/70)/(1/(-5)). Do j and d have different values?
True
Let t be ((-3)/(-18)*-2)/1. Let o(g) = -g. Let z be o(1). Let l be (z + -1)*(-1)/2. Which is bigger: l or t?
l
Let y = 44.2 - 40.14. Let b = y + -0.06. Let a = 4.3 - b. Are -1/3 and a non-equal?
True
Let c = -6 - -11. Let n be (56/7 - 7)*-1. Is n less than c?
True
Let o(l) = -l**3 - 9*l**2 - 9*l - 9. Let c be o(-8). Let v(z) be the second derivative of -z**4/12 + z**3/2 + 2*z. Let q be v(3). Are c and q equal?
False
Let l(d) = d**3 - d**2 - 1. Let g be l(0). Let u be (-3)/(-6)*(-3 - -3). Is u > g?
True
Suppose 19 + 17 = -3*f. Is -12 at most f?
True
Suppose 2*k + 25 = -3*k - 3*b, 3*b + 9 = -3*k. Let d(l) = l**3 + 7*l**2 - 9*l - 6. Let n be d(k). Which is greater: 0.1 or n?
n
Let g be 8/(-108)*(-3)/2. Let j = -1 - -2. Is j > g?
True
Let l = 12 + -12. Which is smaller: l or -2/13?
-2/13
Suppose -2*m = -0*m - 14. Let d = -1 - m. Let i be (45/10)/((-42)/d). Are i and 2 nonequal?
True
Let h = -20 + 29. Let k be ((-2)/15)/((-1)/h). Is -0.2 >= k?
False
Let m = 0.2 - 0.11. Let k = m - 0.03. Which is greater: -1/3 or k?
k
Suppose -4*j - x + 0*x - 25 = 0, -13 = 4*j + 5*x. Let g = j - -8. Let v be (-2)/(-6)*9/2. Which is smaller: v or g?
g
Suppose 1 = -l - 2. Let c be l + (-3 - -2) + 2. Let t be c/8 - 1/4. Is t >= 2/3?
False
Let n(x) = -5*x + 3. Let g be n(2). Suppose -5*m = -4*m + 4. Let r be (-18)/(-4)*m/3. Which is smaller: g or r?
g
Let x(j) = 2*j**2 + 6*j + 1. Let p be x(-4). Let t(k) = -k**3 + 10*k**2 - 10*k + 13. Let h be t(p). Let r be h/(48/10) - 1. Is 0 >= r?
True
Let g = -14/41 - 95883/287. Let w = g + 335. Is w smaller than 0?
False
Let r be (1 - 3)/((-14)/8). Let c be 3/6 - (-1)/2. Which is smaller: c or r?
c
Let z = -37.09 - -37. Which is smaller: 0.3 or z?
z
Suppose 3*i + i - 8 = 0. Let c(t) = 2*t - 4. Let p be c(7). Suppose 7*w - p = i*w. Do 3 and w have different values?
True
Let t be (16/(-24))/(-1*(-26)/12). Which is greater: -1 or t?
t
Let i be ((-2)/3)/(35/15). Let n = -30 + 29.8. Which is smaller: i or n?
i
Suppose 3*u = -51 - 6. Is -20 <= u?
True
Let k(l) = l**2 + 12*l + 22. Let s be k(-10). Suppose -2*m = f + 2*m - 1, 0 = 5*f + 2*m - 5. Which is smaller: f or s?
f
Let n be (3/(-10))/(2/4). Let r(w) = w**2 + 9*w + 3. Let o be r(-9). Suppose 0*c = 3*c + o. Is n at most as big as c?
False
Let a = 25/3 - 47/6. Which is greater: 1.1 or a?
1.1
Let g be 65/(-39) - 4/(-6). Let z = 15 - 52/3. Which is smaller: g or z?
z
Let n = 3.08 - 0.08. Let f = -5 + n. Let q be (-15)/4 - (10/8 + 0). Which is smaller: f or q?
q
Let m = -103/2 - -51. Is -0.4 smaller than m?
False
Suppose -5*q = 3*v - 17, 4*v = q - 6 - 2. Which is smaller: 2/9 or v?
v
Let f = -125 - -101. Which is greater: -2/7 or f?
-2/7
Let z = 0.237 + -0.187. Let n = -3 - -3.2. Which is greater: n or z?
n
Suppose -3*q - 16 = q. Let n be 4*(q + 2)*-1. Let w = n + -25/3. Which is smaller: 0 or w?
w
Let m = -4/7 + 0. Let d(l) be the second derivative of -l**4/12 + l**3/3 - l**2/2 + 3*l. Let t be d(2). Which is bigger: t or m?
m
Let u be ((-102)/(-38))/3 + -1. Suppose 9*r - 12*r = 0. Is r less than or equal to u?
False
Let d = -553/3 - -32633/177. Are 1 and d equal?
False
Let g(x) = -x**2 - 3*x + 3. Let h(f) = -f**2 + 5*f + 10. Let k be h(7). Let j be g(k). Which is bigger: 4/11 or j?
4/11
Let b = -12 - -19. Which is smaller: 0.1 or b?
0.1
Let h = -13 - -7. Let i be 9/10*5/h. Which is smaller: -1 or i?
-1
Let z = -7.3 + -0.7. Let l = z - -8.1. Are l and -1 non-equal?
True
Let h = 280/3 + -12046/129. Are h and 0 equal?
False
Let l = -3 - 1. Let r be l/(-6)*(-6)/(-2). Let g be (-110)/(-130) + (-2)/(-13). Is r < g?
False
Suppose 5*s + 4*p + 18 = 0, 0 = 2*s + 4*p + 13 - 1. Let b be (s/5)/((-1)/(-5)). Let q be (-1)/(b*(-3)/(-12)). Which is smaller: q or 1?
1
Let c be 19/5*(-75)/120. Which is smaller: -2 or c?
c
Let i = -17 + 10. Let w = -13 - i. Let h be ((-2)/6)/(2/w). Is h bigger than 5/4?
False
Let o = 0.02 + 2.98. Let t = o - 3. Let p = 1293/7 - 185. Is p != t?
True
Let l(o) = -o**2 - 15*o - 2. Let y be l(-14). Is y less than 11?
False
Let p(j) = -j - 8. Let x be p(-4). Which is smaller: -2 or x?
x
Let p = -656 + 690.9. Let q = p - 27. Let y = -8 + q. Which is smaller: y or -2?
-2
Suppose -3*j + 33 = -0*j. Is j at most 11?
True
Let w(r) = 3*r + 13. Let m be w(-5). Which is greater: m or -1/5?
-1/5
Let b = 17 - 15. Suppose 0 = -4*g - 4*c, b = -5*g + 5*c + 22. Is g < 3?
True
Suppose -3*b + 2 = -5*b. Suppose -4*f - 4*k = -100, 0 = -2*f + 3*k - 6*k + 45. Let u be 12/f + 8/(-45). Is b less than u?
True
Let x = 131.7 + -129. Is 3 greater than x?
True
Suppose 0 = -p - 3*w + 9, -2*w + 3 = -w. Suppose -4*q + 4*s = -8, p = q + 3*s + 3 + 11. Are q and -3/4 unequal?
True
Let p(k) = k**3 + 7*k**2 + 6*k - 5. Let i be p(-6). Let r(f) = -f**2 + 6*f + 1. Let q = -6 - -13. Let z be r(q). Is z bigger than i?
False
Suppose -5*v + 2*i = -9, -4*v + 2*i = -2*v. Which is bigger: v or 4?
4
Let o = -78.062 - -78. Which is smaller: -2/7 or o?
-2/7
Let c = 106 + -88. Which is greater: c or 52/3?
c
Suppose -2*p - 5*o + 2 = 4, 3*p - 2*o + 3 = 0. Let x be (-2 - p)/((-6)/(-24)). Which is bigger: x or -2?
-2
Let l = 7 - 7.96. Let a = 0.04 - l. Which is bigger: 0.2 or a?
a
Suppose -q - 5*z = -10, -q - 4 = -4*z + 4. Let m = -6 + 8. Which is greater: q or m?
m
Let c(q) = -q**3 - 6*q**2 + 5*q - 8. Let h be c(-7). Let x = 7 - h. Which is greater: x or 0?
x
Let r(q) = 6*q**2 - 2*q + 4. Let c