- r. Are k and -3 equal?
True
Let t = 6.61 - -0.09. Let a = t + -7. Let q = a - -0.4. Which is bigger: -2 or q?
q
Suppose 190 = 4*d + 5*n, 0 = 5*d - n - 60 - 163. Is d less than or equal to 44?
False
Let x = -9 + 13. Suppose -4*i - 32 = -3*k + 7*k, 0 = -2*k + 2*i + x. Suppose -5*z + d - 19 = 0, -3*z = -0*z - d + 13. Is k greater than or equal to z?
True
Let o = 4 + -2. Let t(k) = 3*k**2 + 4*k - 2. Let a(i) = -10*i**2 - 12*i + 7. Let g(d) = -2*a(d) - 7*t(d). Let b be g(-3). Which is smaller: o or b?
o
Suppose 2*k = -5 + 15. Suppose -k*g = 12 + 18. Is g less than -6?
False
Let v be (-5)/((-100)/88) + -5. Which is bigger: v or -2?
v
Suppose 1 = 2*c - 1. Suppose c = q - 0. Which is smaller: q or 0.1?
0.1
Suppose 15 = 5*x - 2*x. Suppose 0 = -2*r - 2*n - 4, -4*r + x*n + 20 = -8. Is r <= -3/7?
False
Suppose -4*p + 8 = -0*w + 2*w, 2*p = w. Which is smaller: -5/23 or p?
-5/23
Suppose 0 = -5*n - 4*m + 16, n = -2*n - m + 4. Let a = n + -1. Let j = 0.021 - 0.021. Which is smaller: j or a?
a
Suppose 0 = -5*p + 20 - 60. Is -9 >= p?
False
Suppose 15 = -2*q - 3*q. Which is smaller: -2 or q?
q
Let s be 3/15*(-10)/(-8). Let u = 7 + -7.1. Which is smaller: u or s?
u
Let i = 1.01 - 0.01. Let a(k) = 2*k + 1. Suppose -2*f = -0*f + 2. Let x be a(f). Which is smaller: x or i?
x
Suppose -10*w = -6*w - 40. Is w smaller than 9?
False
Suppose 0*u - q = 2*u + 19, u + q + 7 = 0. Which is smaller: u or -16?
-16
Suppose 0 = h - 6 + 7. Is -9/14 not equal to h?
True
Let b(t) = -t - 5. Let l be b(-4). Which is smaller: l or -8?
-8
Let b = -8 + 9. Let i = b + -3. Which is smaller: -8/7 or i?
i
Let h = 26 - 27. Let j = -0.1 + 0. Let z = 0 - j. Which is greater: z or h?
z
Let d be (3200/(-204))/(-8) + (-2)/1. Is d > 0?
False
Let z = 93 - 102. Is z at least -9?
True
Let o = -63/2 - -435/14. Let k(c) = -c**3 - c**2 - 3. Let n be k(-2). Is n at least o?
True
Let s = -1374 - -72824/53. Is 0 < s?
True
Let m = 969 + -7769/8. Let z = -67/24 - m. Do -0.1 and z have different values?
True
Let i(m) = -m**2 + 6*m - 2. Let o be i(5). Suppose -10 - 8 = o*a. Is -6 < a?
False
Let i(t) = t**2 - 10*t - 21. Let r be i(11). Which is bigger: -6 or r?
-6
Let q = -7 + 14. Suppose -q = 2*x + 3*t, -2*t - 3 = 3. Is 2/21 not equal to x?
True
Let s = -2.051 - -0.081. Let q = 0.03 - s. Are q and -1 unequal?
True
Let u = -52.8 - -59. Let t = -6 + u. Do -2 and t have the same value?
False
Let m = -0.112 + 0.412. Which is smaller: m or -1?
-1
Let y = 16.44 - 2.34. Let n = y - 14. Does n = -0.2?
False
Let l be (-888)/520 - -1*3/(-5). Are -3 and l non-equal?
True
Let w = 1.6 - 0.6. Let h = 5 + 2. Which is smaller: w or h?
w
Let f = -103/28 - -24/7. Let v(i) = i - 3. Let b = -17 + 20. Let c be v(b). Which is smaller: c or f?
f
Let t be (-30)/(-35)*4/(-6). Is t < 0?
True
Let j = -11 - -17. Suppose -4*l - 3*d + 9 = 0, -5*l + 3*d = -8*l + j. Let v be (-3)/2*2/l. Is v smaller than -3?
False
Let p(i) = i - 4. Suppose -3*f = -13 - 2. Let r be p(f). Is r greater than -1/21?
True
Let n = 7.3 - 7.3. Does 0.036 = n?
False
Let j = -20 - -19.99. Which is smaller: 0.4 or j?
j
Let u be (-38)/(-8) - 6/8. Is u <= 4?
True
Let k be (-8)/(-12) - 21*2. Let v = k + 42. Let t = -0.1 - 0.1. Is v less than t?
False
Let m = 6 + -7. Let g be ((-3)/((-9)/(-3)))/m. Suppose -2*w = -w + g, 2*b - 5 = -w. Which is greater: 5 or b?
5
Let x(n) = n**3 - 4*n**2 + 2*n - 5. Let l be x(4). Suppose l*m = -m. Which is smaller: 0.1 or m?
m
Suppose -3*w = 120 - 111. Do w and -8 have the same value?
False
Suppose 22 = 3*a - 11. Suppose 5*j = 1 - a. Let w be 26/(-36) - 1/j. Are w and -1 equal?
False
Suppose -5*u + 0*u = 0. Suppose -2*w - 2 = 0, 2*w = -4*t - 3 - 3. Let b = 2 + t. Which is smaller: b or u?
u
Let i(h) = -h**2 - 9*h - 8. Let g be i(-7). Suppose n + 3*n = -136. Let w be (-4)/6 - n/g. Which is smaller: 3 or w?
3
Let l be (-66)/(-1 - -1 - 161). Let y be 3991/(-10465) - (-4)/10. Let v = l + y. Which is smaller: 1 or v?
v
Let q = -3/352 - 659/5280. Does -1/4 = q?
False
Let k be 5/((-5)/8*4/(-10)). Are k and 23 equal?
False
Suppose -5*v + 14 + 81 = 5*b, 4*b - 67 = -v. Is 74/5 < b?
True
Let f = -33 + 27. Is -2 != f?
True
Suppose -3 - 3 = t. Let h = t + 10. Is h > 3?
True
Let j be ((-10)/(-20))/(1/26). Which is smaller: j or -2/5?
-2/5
Let m be 4/(-1 - 2/(-3)). Let d be ((-2)/(-44))/(9/m). Let u = d + 5/22. Which is smaller: -1 or u?
-1
Let f = 3 - 1. Suppose -5*i - x - 6 = -2, 4*i + 8 = -f*x. Is i bigger than 1/20?
False
Suppose 2*w = 3*w - 11. Is w less than -0.1?
False
Suppose -4*y + 0*y = 4236. Let h = y - -11657/11. Is 0 greater than h?
False
Let v be 4/(-12) - 14/(-6). Suppose 0 = -c + 3 - v. Suppose -r + 0*r + 2 = 0. Is c < r?
True
Suppose -97 = 2*f - 95. Suppose -10 = -2*p - 4*n, 4*p + 0*p = 5*n + 7. Suppose -2*x = -x + p. Which is greater: f or x?
f
Let w = 3.5 + 0.1. Let l = w - 0.6. Are l and -0.3 unequal?
True
Let d(r) = r**2 - 5*r - 9. Let m be d(7). Suppose b = m*s + 26, 2*s - 1 = -5*b - 6. Are 4/21 and b nonequal?
True
Let k = 15 - 15. Let s(r) be the second derivative of -r**3/6 + 3*r**2/2 - 2*r. Let h be s(k). Which is smaller: 2 or h?
2
Suppose 4*n + 295 = -n. Let g = n - -533/9. Are 0 and g non-equal?
True
Let x(z) = -3*z**2 + 25*z - 13. Let y be x(10). Which is smaller: -64 or y?
-64
Let y be 18/4*4/6. Suppose -h - 10 = 4*p - 2, -13 = p + y*h. Let d be p/5 + 4/120. Is d at least as big as -0.2?
True
Let q be (1 + 3)/(2*1). Suppose 0 + 2 = q*v. Is 5/6 >= v?
False
Let i be 4/(-14) + (-708)/(-2184). Is -1 <= i?
True
Suppose 3*b - 5*o + o = -21, -7 = b - 2*o. Which is smaller: b or -8?
-8
Suppose 3*x + 0 = 3. Let n = 76/9 + -538/63. Which is smaller: n or x?
n
Suppose 0 = 3*l - 5 + 158. Are -50 and l non-equal?
True
Let f = 557 + -1763/3. Does f = -30?
False
Let x = -4 - -2. Let n be 1 - x - (-100)/(-30). Which is smaller: 0 or n?
n
Let b = 2.1 - 0.1. Suppose 0 = -z + 4*y + y + 30, 4*y = -z - 15. Let j = z - 4. Is j greater than b?
False
Let r be 4*19*1/(-2). Is r <= -36?
True
Let c be 4/(-9) + 10/(-45). Is -1 != c?
True
Suppose 0 = -2*v + 4, 5*r - 5*v + 15 = -0*v. Let c be (3/6)/(r/(-6)). Which is smaller: 4 or c?
c
Let n be (-18)/(-4)*(1 - (6 - 3)). Which is bigger: n or -11?
n
Let u = -22 + 14. Let m = -5059/674 + 2/337. Do u and m have the same value?
False
Suppose 2*l = 5*a - 10, 2*a = l - 4*l + 4. Suppose -a*u = 3*u - 5. Let g be -5*1/15*2*-3. Does u = g?
False
Let i be 6/10*15/6. Suppose -2*d + 5*d - 13 = 5*h, -4 = 4*d + 4*h. Are i and d unequal?
True
Suppose 4*h - 6 = -10. Let c be ((-6)/4 - -1)*1. Which is bigger: h or c?
c
Let o = 43/6 - 89/12. Which is smaller: o or 20?
o
Let v = -21 - -17. Which is smaller: -5 or v?
-5
Let n(f) = f**2 - 6. Let y be n(3). Let i be (1/52)/((-9)/(-12)). Let c = 115/78 + i. Which is smaller: c or y?
c
Let m = 176 + -191. Is -15 < m?
False
Suppose 4*p - t - 87 = 0, -4*t + 43 = -p + 2*p. Is -0.1 less than or equal to p?
True
Let u be (-4)/6 + (-46)/(-69). Is u greater than 4/59?
False
Suppose -3*w = -4*h - 4 - 0, -3*h - 4*w - 3 = 0. Is 1/28 greater than h?
True
Let s be (4/(-6) - -1)*12. Let u = s - 5. Is u greater than -9/4?
True
Let k be ((-12)/(-10))/(6/(-4)). Let v = -19 - -10. Let o = v + 9. Which is smaller: o or k?
k
Let m(p) = -p**2 + 6*p + 8. Let i be m(7). Is 2/41 greater than or equal to i?
False
Let u(b) = -3*b**2 + 1. Let j be u(1). Let k = 5 + j. Is 5/2 greater than k?
False
Let i = -2.2 - -16.2. Let b = 15 - i. Do 1 and b have the same value?
True
Let d be 3/(-2)*(-126)/7. Let j = d + -26. Is j less than or equal to -1?
False
Suppose -4*i + 2*k - 24 = -2*k, 3*k - 9 = 0. Let b = -3 - i. Suppose -4*m - m - 5 = 0. Is m less than b?
True
Let n be (-2)/7 - (-36)/(-21). Let w be n*11/26 - -1. Suppose 3*h = 4*h. Which is smaller: w or h?
h
Let c = 8 - 13. Which is greater: c or -1?
-1
Let r = 3/199 - 479/5373. Which is smaller: r or 1?
r
Let w be 3/(-1) - 5/((-10)/(-4)). Let p(m) be the second derivative of -m**5/20 - 5*m**4/12 + m**3/6 + 3*m**2 + m. Let z be p(w). Is z at least 1?
True
Suppose -20*c + 21*c + 5 = 0. Is -1/2 at most c?
False
Suppose -y - 8*y = 63. Is -7 not equal to y?
False
Let g(l) = l**2 + l. Let a be g(1). Suppose -12 = -0*u - a*u. Let s = 4 - u. Is -2 at most s?
True
Suppose -9*y = -4*y - 55. Do 11 and y have the same value?
True
Let g(k) = k**3 - 8*k**2 + k - 9. L