?
True
Suppose 5*p = 4*o - 16, -3*o + 0*o = -4*p - 12. Let f = -198 + 1977/10. Which is greater: p or f?
p
Let r = 265 + -3447/13. Suppose 4 = 2*g + 2. Is g less than or equal to r?
False
Suppose 4*q = -q + 60. Let g be q/10 - (6 - 5). Which is smaller: g or 0?
0
Let d = 0.6 + 3.4. Let m = 0.03 + -3.93. Let f = m + d. Which is smaller: 2 or f?
f
Let u be ((-2)/(-3))/((-42)/(-63)). Let l = 0.01 + 2.99. Which is smaller: u or l?
u
Let y be (-1)/(16/6 + -3). Suppose 2*t = -y*t - 5. Is t < -1/5?
True
Let w(n) = 3*n**2 + 2*n - 1. Let r be w(2). Suppose -2*b + 6*b - 4*q = 20, 5*b - 3*q = r. Suppose b = l - 5*l - 4. Is l != -3/4?
True
Let k = 0.009 - 0.109. Let r be (18/(-8))/(2/(-8)). Is r at most k?
False
Suppose 2*s = -4*i + 178, -2*i + 59 = 3*s - 36. Is i less than 43?
False
Let w(p) = -p**2 + 2*p - 4. Let r be w(0). Which is smaller: r or -1?
r
Let g = -102 - -150. Is g smaller than 48?
False
Let q = -38.1 - -38. Is 13 greater than q?
True
Let k = -0.0492 + 0.0492. Let v = 38 + -340/9. Are v and k equal?
False
Let h be 3 + (-4)/(112/92). Is -1/9 > h?
True
Let v be (-1 + 7)*(-11)/22. Let y be 15/10 - v/2. Suppose 2*i - 2*q - 6 = 0, -5*i = 2*q - y*q - 15. Is i less than 1?
False
Suppose 0*a = 2*a + 4*l - 74, 4*a + 4*l = 144. Suppose -12 = -4*m - 2*r, 0 = 5*m - 2*m - 5*r - a. Let c be 4/(-14) + (-74)/(-14). Is m bigger than c?
False
Let t = -28 + 39. Is t less than or equal to 6?
False
Let k be 0 + ((-5)/(-7) - 1). Let o = 1 + 0. Which is smaller: k or o?
k
Let h be (-4)/14 - (-37)/7. Suppose 0 = -2*a - h - 3. Does a = -4?
True
Suppose -6*p + 9 = -p - 3*s, 0 = 5*p - 4*s - 7. Do 28/9 and p have different values?
True
Let q = -1009092 + 19167351/19. Let x = -284 - q. Does x = -1?
False
Suppose 2 - 12 = -10*t. Is 1/59 at least t?
False
Let d(i) = 3*i - 109. Let a be d(34). Which is greater: a or -31/4?
a
Suppose -5*q - 10 = -10*q. Let o be -2 + (q - (4 + -2)). Is -2 >= o?
True
Let x be (-21)/(-9) + (-8 - -4). Let l(c) = -c**2. Let t be l(0). Let r be -1 + -3 + (t - -2). Which is smaller: x or r?
r
Suppose 2*l = l - 14. Let m(a) = -a**3 - a**2 + a - 14. Let g be m(0). Is l < g?
False
Suppose 0*q + 4*q + 8 = 0. Let o be 3/4 + q/(-8). Let a = o + -2. Which is smaller: -2 or a?
-2
Let r = 1 - -7. Suppose 4*u + 20 = -r. Which is greater: -6 or u?
-6
Let w be (-6)/(5/10 + -2). Let n(x) be the second derivative of x**4/12 - x**3/2 + x**2/2 - x. Let t be n(w). Which is bigger: t or 4?
t
Suppose d = -h - d + 6, 5*h - 19 = d. Let m be 1/2*h/(-3). Let i(b) = b - 7. Let u be i(5). Which is smaller: u or m?
u
Suppose 0 = 2*i - 6*i + d - 130, 5*d + 10 = 0. Are i and -32 nonequal?
True
Let w = 23 + -9. Which is smaller: 13 or w?
13
Let k be ((-80)/(-96))/((-10)/(-8)). Which is smaller: k or 3/68?
3/68
Suppose m = 2*g, -6*m + 2*g = -m - 24. Does m = 4?
False
Suppose 0*d + 11 = -5*d + 4*z, 5*d + 18 = -3*z. Let l be 1*5/15*-3. Is d at most l?
True
Let f = -0.13 - -1.13. Suppose -76 = -3*a + 7*a. Which is bigger: f or a?
f
Suppose 0*g = g - 8. Suppose 3*y = y - g. Let c be 1 - (-2)/y - -1. Is 3 at least c?
True
Let z be (-2 + 1)*2/(-8). Let k be 6 - 2 - (-3)/(-3). Suppose 0 = k*r - 2*o + 7, -r - 29 = -5*r - 5*o. Do r and z have the same value?
False
Let u = -7 - -1. Let m = 6 + u. Suppose m = 3*b + 2*b + 5*v, 4*v = 5*b. Which is bigger: b or 1/5?
1/5
Let s = -47 + 47. Which is greater: s or 51?
51
Let l = 373 - 4111/11. Do -1 and l have the same value?
False
Let j = -316/765 - -2/153. Let a be (-1)/((-3)/(1*-3)). Is a > j?
False
Let r = -2 + 17. Is 15 less than or equal to r?
True
Let u(b) = -b**3 + 4*b**2 - 2*b - 1. Let a be u(4). Are -10 and a unequal?
True
Let v = -3 - -2. Let s = -7 + 12. Suppose 0*q + 25 = 2*q - 5*j, 4*q = s*j + 25. Which is smaller: q or v?
v
Let d = 522450 - 11011969/21. Let f = -1929 - d. Let m = f + -19/84. Which is greater: -0.3 or m?
m
Let w = 1611/13 + -124. Do 0 and w have different values?
True
Suppose 0 = -2*m - 0*d - 2*d + 2, -5 = -5*m + 3*d. Let s be m - ((-2)/2 + -1). Suppose -4*v - s*z = 13, -2*z - 6 = -0. Which is smaller: -1/4 or v?
v
Let c = 0 + 0. Let u(b) = b**2 + b + 5. Let o be u(c). Suppose -o*t = 1 + 4. Which is smaller: t or -1/2?
t
Let n = 9.19 + -0.19. Let p be (-18)/(-27) + (-10)/6. Is n at most p?
False
Let y be (1 - 0) + -6 + 4. Let j = 33 - 13. Let l be 2/j - 2/4. Is l <= y?
False
Suppose -5 = -5*s + 5. Let u(b) = -s + 7 - 1 - b**2 - b. Let w be u(-3). Which is smaller: w or -1?
w
Let n be (-3)/5 + (-127)/(-195). Which is greater: n or 1?
1
Let r(a) = -2*a - 9. Let l(t) = 5*t + 19. Let v(p) = 3*l(p) + 7*r(p). Let h be v(6). Is 1/8 < h?
False
Suppose 8*r - 4*r = 0. Which is smaller: -2/7 or r?
-2/7
Let f be (-21)/(9/6*(-2 - -1)). Are f and 16 equal?
False
Suppose 2*d = d, -3 = -3*x + 5*d. Suppose -l - 4 = w + 2*l, 0 = 2*w + l - 12. Let k = 7 - w. Is k less than x?
True
Let y(d) = d - 23. Let b be y(21). Which is smaller: -10/3 or b?
-10/3
Let i(v) be the first derivative of -v**4/4 - 5*v**3/3 - v**2/2 - v - 1. Let a be i(-5). Is 5 greater than a?
True
Let l = 10.4 + -11.4. Which is smaller: -0.2 or l?
l
Let q = 0.1 - 0.27. Does -3 = q?
False
Let u(k) = k**3 - 5*k**2 + k - 2. Let o be u(5). Suppose -z + 4 = o*z. Let h = 321 - 4813/15. Is z != h?
True
Suppose -7 + 3 = 4*i. Let a be 0 - ((-56)/18)/(-7). Are a and i nonequal?
True
Let u(q) = -3*q**2 + 44*q + 20. Let d be u(15). Which is greater: 23/5 or d?
d
Let v = 6.4 - 7. Let q = -2.6 - v. Let t = 2.25 + -0.25. Which is smaller: t or q?
q
Let t(q) = -q + 2. Let x be t(4). Let d be ((-1)/(-3))/((-2)/18). Which is smaller: d or x?
d
Let o be (-18)/24*(-8)/6. Which is greater: 2 or o?
2
Let v(y) = -4*y + 2. Let g be v(-2). Let f be 3/(-2) + 19/g. Is f greater than -1?
True
Suppose 2*o = 4*o + 28. Let q be o/49 + (-30)/(-56). Suppose 0 = -4*n + 5*r - 8 - 2, -2*r + 4 = 3*n. Is n at least q?
False
Suppose 4*s = -378 + 74. Let z be 1/3 + s/48. Is 0 not equal to z?
True
Let n = 0.071 + -1.071. Which is smaller: 11 or n?
n
Let q = -347/2 - -140. Let s = -35 - q. Let a = 2 - 5. Which is greater: a or s?
s
Let i be 6*6*3/3. Let h be ((-4)/i)/((-2)/6). Is -1 at most h?
True
Let k be 0/(-1 - 3/(-1)). Let f be (k - 3) + (-104)/(-36). Which is bigger: f or 0?
0
Let i = 116 + -814/7. Let v be 3/(10/4 - 1). Is i greater than or equal to v?
False
Let z = 2 + -1. Let l be (-2)/(0 + 0 + 2). Let b = l - -2. Are b and z nonequal?
False
Let a be (-10)/4*(-18)/15. Let q(k) = k**2 - 8*k - 8. Let h be q(9). Let m be (-2)/(-4)*4 - h. Which is bigger: a or m?
a
Suppose 0 = -6*l + 4*l + 10. Let r = l - 4. Is -1/23 > r?
False
Suppose -2*y + 2 = -4*p - 0*y, 0 = -p + 3*y + 12. Let b = -4 - p. Let o(n) = -n**2 + 13*n + 14. Let v be o(14). Which is smaller: v or b?
b
Let n be 6/(-27) + (-86)/(-63). Which is smaller: 0 or n?
0
Let r(l) = 4*l + 6. Let s be r(4). Is s > 21?
True
Suppose 5*g - 18 = 2*c - 7, 5*c + 4*g - 55 = 0. Let b = -3 + c. Which is smaller: b or 0?
0
Let l = 2 - 4. Is l equal to 2/3?
False
Let w be (-88)/(-14) + 8/(-28). Does w = 10?
False
Let m(p) = p**2 + 5*p + 3. Let s be m(-4). Let x = -3 + 8. Let u be (-7)/x + (-2)/(-5). Is s less than u?
False
Let n = -363656/15585 - -2/5195. Let p(x) = -6*x + 6. Let c be p(5). Let l = n - c. Which is smaller: l or 2?
l
Let j be 2/(-4) + (-15)/(-14). Let z = -60.1 + 60. Which is smaller: j or z?
z
Suppose -s + 3*s - 18 = -4*f, 5*s = -5*f + 25. Let y be 2 + (-2 + 3)/1. Suppose 2*i - 3*j = 5*i, 2*j - 4 = -y*i. Are s and i equal?
False
Let z = -2.9 + 3. Let r = 15 + -11. Is z less than r?
True
Suppose 5*r = -2*k - 3*k + 55, 4*k - 39 = -3*r. Let c(j) = -2*j + 8. Let h be c(k). Which is smaller: h or 0.1?
h
Let i(m) = -2*m**2 + 4*m - 3. Suppose -l = 2*v, 3*l - 1 - 1 = -4*v. Let x be i(l). Which is bigger: -2 or x?
-2
Let s = 3 + -8. Let i = -4.98 - s. Which is bigger: 0.1 or i?
0.1
Let f(l) = -4*l**2 - 4*l - 2. Let h be f(-2). Let j = 248 + -259. Which is bigger: j or h?
h
Let u be (-1)/2*36/63. Which is smaller: u or -5.8?
-5.8
Suppose 3*d = -3*n - 8 - 4, 0 = -d - 4*n - 13. Let i be (-1)/2*8/(-26). Which is bigger: d or i?
i
Suppose -r - 3*a = -5, -2*r = -5*r - 2*a + 1. Is r at most as big as -4/17?
True
Let o(p) = 2*p**2 + 2*p - 1. Let g be o(1). Suppose 2*c = -2*c. Suppose g*b + 3 = -c. Is b less than -1?
False
Let z = 12.2 - 12. Let n = z + -1.2