. Which is greater: c or 0.06?
0.06
Let v(y) = -3*y. Let k be v(2). Let r be ((-4)/k)/((-2)/9). Let s be 4/6 + 8/r. Does s = -3/4?
False
Suppose 3*i = -7 + 10. Let m be 248/(-48) + i/6. Is m >= -5?
True
Let i(a) = 2*a**3 + a. Let m be i(1). Suppose m = -w + 4*w. Let v = 10/41 + 54/451. Does w = v?
False
Let s be (-2)/1*(-1)/(-2). Is 1/3 greater than or equal to s?
True
Let x = -2 + 6. Let q = x + -4. Let w(a) = -a**2 + 7*a + 2. Let f be w(7). Is f at least q?
True
Let d = 8 + -14. Is -8 != d?
True
Let z(j) = 4*j - 1. Let s be z(2). Suppose -5*q + s = -8. Let t(i) = -i**3 + 4*i**2 - 4*i. Let f be t(q). Is f at least as big as -3?
True
Let v be 25*1/(15/(-6)). Let x = v + 9. Which is bigger: 1/5 or x?
1/5
Let z = 0.2 - 2.2. Is z greater than or equal to 10?
False
Let d = -15 - -11. Which is smaller: -1 or d?
d
Let t(d) be the third derivative of -d**6/30 + d**5/30 + d**4/12 + d**3/6 + 2*d**2. Let i be t(-1). Which is smaller: 4 or i?
4
Let h be (-3 - -11)/((-2)/(-8)). Let x be -2 + 4/(h/12). Let n = 10 + -2. Which is smaller: x or n?
x
Suppose -3*q = -26 - 49. Does q = 23?
False
Let v = -4 - -12. Suppose -n - n = 0. Suppose 0 = -i + r + v, 4*i - 7 + n = -r. Which is smaller: i or 2?
2
Let a be (-4)/8 + (-6)/4. Let w be 1/(3/(a - 1)). Which is smaller: w or 3/7?
w
Let r = -4182 - -234201/56. Let l = r + -2/7. Is l < 1?
True
Let w(n) = -n - 4. Let j be w(4). Let d be (-4)/j*1*2. Are 2 and d equal?
False
Let n = -11 - -4. Let s = -32.98 + 40. Let r = n + s. Which is smaller: r or -2/5?
-2/5
Let x(f) = -f + 12. Let a = -2 - -5. Suppose 0 = w + w + 5*d - 18, a*w = 4*d + 27. Let o be x(w). Are o and 2 equal?
False
Let x be 4/(-294)*14/(-3). Let z = x + 5/252. Is -1 less than z?
True
Suppose 4*g - k = 3*g + 4, 0 = 5*g + 5*k - 40. Does 44/7 = g?
False
Let q = -16/17 - -178/153. Let c = 0 - -2. Which is greater: q or c?
c
Suppose -6*g + 4*g = 6. Is g >= -4?
True
Let y be ((-6)/(-4) - 2)*-2. Is -4/9 less than or equal to y?
True
Suppose 3*h - 3 = 4*h. Let l be (-12)/10 - (h + 2). Which is greater: l or 0.1?
0.1
Let w be 1902/(-4)*(-28)/63. Let a = w + -214. Is -2 smaller than a?
False
Let f be (-1 + (-2 - 0))/1. Let t be (-11)/f + 2/6. Let o be (t/10)/(36/(-20)). Does o = -1?
False
Suppose 0 = 5*m + 4*d + 1, -2*m + 3*d + 22 = -d. Suppose m*p = 2*p - 2. Let t = -3 - 0. Which is greater: t or p?
p
Let q(y) = -y**2 + 6*y + 16. Let k be q(8). Is 0.03 bigger than k?
True
Let l be (3/(-15))/((-2)/(-5)). Which is bigger: l or -2/5?
-2/5
Let d = -23 + 8. Which is smaller: -14 or d?
d
Suppose 2 = -4*t + 3*x - 4*x, 3*x - 4 = -2*t. Let k be 2 + -3 - 60/(-58). Which is greater: t or k?
k
Let n(i) = -i + 10. Let m be n(0). Do m and 9 have different values?
True
Let a = 52 + -36. Let r = a + -10. Let x = -6 + r. Is x > -1?
True
Let w be -1 + (-2 - 20/(-6)). Suppose 1 = 2*m - 5, -3 = j - m. Is w equal to j?
False
Let c = -5822 - -2766. Let u be (-6)/39 - c/2457. Let a = u + -14/27. Which is bigger: a or 0?
a
Let m(x) = -x**2 + 4*x + 3. Let o be m(5). Let s = 1 + o. Let p = -0.3 - -0.1. Which is smaller: s or p?
s
Let j be 3/8*8/12. Suppose -x - 280 = -3*a + 1, -4*x = -4*a + 372. Let b = 474/5 - a. Which is bigger: j or b?
b
Let d(o) = o**2 + 4. Let p be d(3). Suppose 20 = 2*n - 3*n. Let i be p/n - 1/(-4). Which is greater: -1 or i?
i
Let y = 15 - 13. Suppose -2 - 10 = y*l. Which is smaller: l or -2?
l
Let w be (28/42)/(-1*23/18). Which is bigger: 0 or w?
0
Let d = 0.6 - 2.6. Which is smaller: d or -0.3?
d
Let z be ((-15)/(-10))/(0 - 9/4). Is z <= -1?
False
Let s = 0.32 - 0.02. Let n = s - 2.3. Let g = -66 - -460/7. Is n bigger than g?
False
Let n(r) = -2*r + 7. Let q be n(8). Let b = -10 - q. Is b >= -3/7?
False
Suppose 2*j = -1 + 3. Let q = j - 1. Let m be (-1)/3 + (-22)/(-30). Which is smaller: m or q?
q
Suppose 0*w - w + 4 = f, -2*f + 5*w - 13 = 0. Let z be (0 - 2)/((-6)/9). Suppose f - z = -k. Is k at most 2?
True
Let g be (-3 - 0) + 3/1. Which is bigger: g or -3?
g
Let t = 1/84 - -5/21. Which is smaller: 0 or t?
0
Let i be 12/(-42) - (-69)/21. Suppose -o = m - 2*o - 5, 2*m = -5*o - 25. Which is smaller: i or m?
m
Let p = 1 - -21. Which is smaller: p or 24?
p
Let g = -34 + 33. Is -8 less than g?
True
Let d = 30 + -15. Let i = d + -10. Which is bigger: i or 6?
6
Let s = -0.018 + -17.982. Are s and -1 unequal?
True
Let z = 9 + 3. Are z and 11 equal?
False
Let a be 35/4*6/(-7). Which is smaller: -9 or a?
-9
Suppose 7*w + 48 = -120. Let d = -71/3 - w. Is d != 1?
True
Suppose -2*q - o - 11 = 0, 3*q - 3 = -4*o - 12. Which is bigger: -10 or q?
q
Let g(i) be the third derivative of 5/24*i**4 + 3*i**2 - 1/60*i**5 - 5/6*i**3 + 0*i + 0. Let c be g(4). Is -3/4 <= c?
False
Let j be ((-205)/21)/((-4)/3). Let n = -31/4 + j. Are -1/2 and n unequal?
True
Suppose 8*n - 3*n = 15. Suppose 15 = -n*j - 2*j. Let k be j/(-7 - -1)*-3. Which is bigger: 2 or k?
2
Let k = -0.65 - -0.5. Let c = k + 0.05. Which is bigger: 0 or c?
0
Suppose a - 5*a = 128. Which is smaller: a or -33?
-33
Suppose 2*i = 9 + 15. Is 11 < i?
True
Suppose 0 = j - k - 75, -j - j - 3*k = -145. Is j at most -2?
False
Let f = -14 - -9. Let k = -5.4 - f. Let a = k - 1.6. Which is bigger: a or 0.4?
0.4
Suppose -3*i + 2*k - 5*k = -12, 0 = -3*i + 3*k. Let q(o) = -o**2 - 2*o**2 + 5*o + 2*o**i + 6. Let c be q(6). Is c equal to 2?
False
Suppose -4*f + 0*r - 9 = r, 5*r = f - 3. Are -5 and f nonequal?
True
Suppose h + 2 + 0 = 0. Are -5 and h equal?
False
Suppose 0*u = 4*l + 4*u - 4, -l + 1 = 2*u. Is l < -3/14?
False
Let q be ((-52)/6)/((-14)/21). Are q and 13 equal?
True
Let o = 0.01 + 0.09. Which is greater: o or 0.4?
0.4
Let b(y) = 11*y**2 - y + 3. Let z be b(-3). Let w be (-6)/z*8030/2088. Let s = -1/406 + w. Is s less than -1?
False
Suppose -4*o + 8*o - 8 = 0. Suppose o*v = -5*z + 24, -2*z = -2*v - 0*z - 4. Which is smaller: 1 or v?
1
Suppose 0 + 20 = 5*c. Suppose 4*s - k = 4*k + 46, -c*k = -5*s + 53. Suppose -w + 7 = 3*w + x, -3*w + 4*x - s = 0. Is 3/7 equal to w?
False
Let c = -26.6 + 28. Which is greater: c or 2?
2
Let m(l) = -1. Let o(v) = v**3 - 5*v**2 + 6*v - 2. Let x(j) = -5*m(j) - o(j). Let t be x(4). Which is greater: 0.2 or t?
0.2
Let i = 5702/585 - 88/9. Is -1 equal to i?
False
Suppose 2*w - 3*i + i = -2, i = -w + 5. Let c be (w/(-18))/(4/12). Which is smaller: 0 or c?
c
Suppose 4*w - 20 = -w. Suppose -4*t + 1 = -s, s = 3*t + 5*s + w. Which is bigger: t or -6?
t
Let h = 76 + -74. Which is smaller: -4 or h?
-4
Suppose 0 = 3*d + d - 20. Let t be -2*(-3 - -2)*d. Suppose -x + z + 3*z - t = 0, -12 = -3*x - 2*z. Is x > 2?
False
Let r = -21 + 13. Let h = r - -5. Let p = h + 6. Do p and 0.1 have the same value?
False
Let j be 3 + -6 - -2*64. Suppose 4*z + 1 - j = 0. Suppose -n + 28 = 5*a, n + n + 5*a - z = 0. Which is smaller: n or 2?
2
Let p = -104224285/51 + 2213516533495/1083138. Let h = 128/259 + p. Let r = -3/41 + h. Which is smaller: r or 2?
r
Suppose 5*v - 4*v = -9. Let o = v - -10. Which is bigger: 9 or o?
9
Let w = -0.1 + 0. Let u(c) = -c**3 + 10*c**2 - 2. Let s(n) = 3*n**2 - 2*n + 2. Let g be s(2). Let i be u(g). Which is smaller: i or w?
i
Let c be (2*-1)/(3*(7 - 6)). Let x be (-2)/9 - 168/(-27). Suppose -2*g = -x*g. Is g bigger than c?
True
Let x be (8/(-4))/(245/(-28)). Which is greater: x or 1?
1
Let p be (2/10)/(2/(-5)). Let c = -4.2 - -4.6. Which is smaller: c or p?
p
Suppose -2*g + 8 - 2 = 0. Suppose 3*d + 33 = -0*d. Let v be 555/330 + 2/d. Which is smaller: v or g?
v
Let g(s) = 2 - 3*s**2 + 2*s**2 - 5*s + 0*s - 5. Let t be g(-5). Are -4 and t unequal?
True
Suppose -27 = 4*x + 4*m - 7, x - 3 = 3*m. Which is smaller: -19/5 or x?
-19/5
Suppose 2*r = r - 236. Let n = -2122/9 - r. Is n not equal to -3?
True
Let q be 1 + -6 - (-2)/(-2). Let p be (-5)/(-4)*(-17 + 13). Is q at least p?
False
Let p be (-3)/2 - (-1 + -4 + 4). Which is smaller: 6/13 or p?
p
Let g be 1*4/(-6) - (-44)/12. Is -4 > g?
False
Let a = 0.082 + -10.982. Let y = 11 + a. Which is smaller: y or -1?
-1
Let k = -536/2493 + -2/277. Let i = 0 - -1. Is i bigger than k?
True
Let l = 86 + -85. Which is smaller: l or 0?
0
Let u = 26 + -20. Which is bigger: u or 7?
7
Let t = 2 - 3. Let k = -2 - t. Let c be (-6 - k)*4/10. Which is bigger: c or -2/7?
-2/7
Let y be 0 + -3 + 45 + -1. Is y < 40?
False
Let r(u) = -u**2 + 6*u. Let i = 10 + -4. Let g be r(i).