.13. Is w at least 20?
False
Let h = 0 + 0.2. Let l = 0 - 0.1. Let a = h + l. Which is smaller: a or -0.3?
-0.3
Let t be 4149/30*16/6. Let r = -370 + t. Which is bigger: -2 or r?
r
Let q = -31 + 21. Suppose -10*p + 4*p + 0*p = 0. Does q = p?
False
Let k be 5/(((-3)/(-39))/1). Suppose 5*q + k = 5*f, -4*f - 4*q - 41 = -109. Let h be f/(-18)*-2 + -2. Which is smaller: h or -1?
-1
Let b = -0.09 + -1.91. Which is smaller: 4/5 or b?
b
Let c = -3 + 1. Let v = 0 - 0. Let b = v - c. Is b greater than 2?
False
Let t = -25 + -66. Is -92 at most t?
True
Let v(a) = a**2 + 6*a + 5. Let s be v(-4). Let p(m) = -m + 6. Let h be p(8). Let w be -4*s/8*h. Is w less than -1?
True
Let c = 321176/1011855 + 56/5189. Let o = c - 3/65. Let g = -2/39 - o. Which is smaller: g or -1/4?
g
Suppose 15 = -3*o, -o - 30 = -5*z + 45. Is 14 != z?
False
Let j be (-62)/(-2)*5/5. Is 32 bigger than j?
True
Let x(d) = d**2 + 7*d + 3. Let h = -7 + 9. Let r be ((-4)/3)/(h/9). Let u be x(r). Is u greater than or equal to -3?
True
Let o = 13/8 - 9/8. Do o and 1 have different values?
True
Let r = 8.4 - 10. Let w = r + 1.6. Is w greater than or equal to 4?
False
Let x be 581/7 - (-1 - -1). Let m = x - 499/6. Which is smaller: 0 or m?
m
Let c = 1 + -1.2. Let o = c - -0.3. Let m = o - 0.1. Is m <= 1/4?
True
Let j = -2.18 - -2.28. Are 54 and j nonequal?
True
Let v be 6 + -1 - (-9)/(-3). Let l be (-2)/v - (-1 - 1). Which is smaller: 4/3 or l?
l
Let k = 6 + -4. Suppose 3*n + k = 11. Suppose 0*i + 3 = -n*i. Is -2 bigger than i?
False
Let d(j) = -59*j + 2. Let n be d(-3). Let h = 2329/13 - n. Is 1 less than or equal to h?
False
Let i = 0.19 - -1.81. Which is greater: i or -2/7?
i
Let f = 1 - 1.5. Let u = f - -0.2. Let q = 0.7 - u. Are q and 1 unequal?
False
Let b = -7 - -7.02. Let c = 1.98 + b. Let u = 6 + -7. Which is smaller: c or u?
u
Suppose 4*k - 4*n = -12, 4*k + 5 = -n - 7. Let i be (k - -3) + (-8)/6. Suppose 0 = -2*o + 5*o - 5*s - 20, s = -4. Which is bigger: i or o?
o
Let z be 6/(-15) - (48/(-45) - -2). Is z greater than 0?
False
Let f be (-2)/(-9) - (-4)/(-18). Suppose 5*r + 17 = 3*s - 0*s, f = -4*r + 2*s - 12. Is 0 at most r?
False
Suppose -3 = u + 3. Let h = u - -5. Is -1/15 less than h?
False
Let c = 7 + -2. Suppose c*u + 5 = -5*y, -2*y + 5*u - 2 = -0. Which is greater: y or -2/13?
-2/13
Let c(o) = o**3 - o**2 - 4. Let j be c(2). Let f be (2 - -1)*(-1 - j). Is f >= 0?
False
Suppose 0 = x - 4*x + 15. Suppose -x*d + 1 = -5*b + 6, -d + 7 = 3*b. Is b at most as big as 3/4?
False
Let k = -50 - -50.94. Let r = -0.02 - -0.08. Let x = k + r. Do x and -1/4 have different values?
True
Let m = 1/22 + 7/88. Which is smaller: -0.1 or m?
-0.1
Suppose 0 = -12*j + 7*j. Is j >= -4/45?
True
Let o be 2*(1 + 2)*2. Let u be ((-2)/o)/((-16)/24). Which is bigger: 0 or u?
u
Let h be 2/(-7) - (-138)/42. Suppose 0 = h*f - 0*f. Suppose 3*j = 4*j. Are j and f equal?
True
Suppose 49*f - 4 = 45*f. Let g be 10*((-2)/24)/(-1). Is f at most as big as g?
False
Let v be -3*(8/(-3) + 2). Suppose -5*a = v*b - 26, -b + 32 = 5*a - 2*b. Let z be a + -7 - (-18)/14. Is -1 greater than z?
False
Let m = 0.7 + 1.3. Which is smaller: m or -5?
-5
Let d be (-10)/12*(-8)/(-90). Let f = 1 + -2. Is d greater than f?
True
Suppose 2*n - 5*j = 14, 3*n - n + 4*j = 14. Which is smaller: 8 or n?
n
Let z = 10 - 12. Let s = z - -6. Which is bigger: 0.1 or s?
s
Let o(h) = h + 9. Let b be o(-10). Is 0 greater than b?
True
Let g be 2*(9/(-6) - -1). Which is smaller: g or -6/5?
-6/5
Let d be (23 - 21)*(-1)/(-2). Is d equal to -2/95?
False
Let n = -9 + 13. Let m be (0 - 1) + n*3. Is m greater than 11?
False
Let j(h) = h**2 + 7*h - 11. Let x be j(-8). Let n be (-15)/12 + x/(-12). Is -1 bigger than n?
False
Let y be 2 + -1 + 2 - 0. Let f = -1 - y. Let a be (-8)/(-4) + f/2. Is 5/4 at most a?
False
Let b = 3183/13 - 245. Suppose 0 = 5*x - 3*z - 12, 0*x - 16 = 3*x + 4*z. Let s be (x - (-1 - -3)) + 3. Which is smaller: b or s?
b
Let l(o) be the second derivative of o**4/12 - 5*o**3/6 + o**2/2 - 2*o. Let k be l(6). Let y be (-5 - -1)*k/98. Which is smaller: y or 2/3?
y
Let t(h) = -h**3 + 6*h**2 + 1. Let c be t(6). Let i = 2 - c. Let y = -61/5 - -12. Is y greater than or equal to i?
False
Suppose 5*x - x = 0, 4*m - 2*x - 44 = 0. Let a = m - 4. Are 8 and a non-equal?
True
Let c be 24/(-14) - (-4)/2. Let d = 43/2 + -22. Which is bigger: d or c?
c
Let f = -32 + 18. Let b be (f/4 - 1)/15. Suppose 4 - 1 = -3*g, -4*g - 9 = 5*k. Which is smaller: b or k?
k
Let f = 0.6 + -0.7. Is f bigger than -3?
True
Let d = 6 + -4. Suppose -22 = -4*p + j, -d*p - 3*p = -4*j - 22. Let x be p/15 + (-6)/15. Is x >= 0?
True
Let r = 99 - 113. Is r < -13?
True
Suppose -v = v - 10, -z + 3*v - 16 = 0. Let a(m) = -m**3 - 2*m**2 + m - 2. Let j be a(-3). Let s be 1 - j*2/12. Does z = s?
False
Let y = 1.6 - 1.6. Is -0.18 equal to y?
False
Let f = 1988/591 + -6/197. Let a be 1 - (0 + 1)*-1. Which is smaller: f or a?
a
Let m(g) = g**2 - 21*g - 8. Let o be m(22). Is 15 > o?
True
Let b = -1 + -1. Let a be -5 + 5/((-80)/12)*-8. Is a <= b?
False
Let i = -46.9 - -47. Is i smaller than -0.1?
False
Let o(q) = q**2 - 3*q. Let i be 60/35 + (-4)/(-14). Let m be o(i). Let g be (-24)/10 - (0 + m). Which is bigger: g or -1?
g
Let m = 38 + -21. Which is greater: 0.1 or m?
m
Let l(t) = t + 2. Let g be l(-3). Suppose 10*f - 3*f = 0. Which is smaller: f or g?
g
Suppose 1 = -4*w + h, w - 3*w + h - 1 = 0. Let l be 1 + (1 - w) - 7. Is -6 equal to l?
False
Let c = -4 + 3. Let a = -695/8052 + 2/671. Is c >= a?
False
Let a = -0.04 + 4.04. Let f = -914/3 + 304. Which is smaller: f or a?
f
Suppose 0*k + 3*k = 3*u - 21, k + 2*u = -1. Let f be 1*4/(4/k). Is f at least -4?
False
Suppose 0 = m - 0*m + 27. Let a be 1 - (-1 + (-66)/m). Is -1 > a?
False
Suppose h = m - 8, 4*m = -m - h + 10. Suppose 0 = -4*j + m + 1. Suppose -j = -f - 2. Are f and -1 equal?
True
Let f(k) be the first derivative of k**4/4 - 4*k**3/3 - 2*k**2 - k + 2. Let j be f(5). Suppose -g = j*g + 10. Which is bigger: g or -1?
-1
Let d = 193/320 + -1/320. Which is smaller: d or -3/5?
-3/5
Suppose 0 = 7*j - 11*j + 28. Let k = -1 + 7. Which is smaller: k or j?
k
Let w = 46 + -46. Which is greater: w or 2.6?
2.6
Suppose 3*o + 2*g + 237 = 5*g, 0 = 2*o + 2*g + 142. Let h be 5/(o/(-9)) - 1. Let k be 1/(-1) + (-10)/(-14). Which is smaller: k or h?
h
Let p = 34 + -36. Which is greater: p or -9?
p
Suppose -3*u = x + 3, -u - 4*x = u + 12. Let q be u - -1 - (0 + 9). Let v be (12/(-8))/((-6)/q). Which is smaller: -3 or v?
-3
Suppose -2*w = -3*x + 17, 5*w - 7*w - 12 = -2*x. Is 5/19 less than w?
False
Let n(i) = i + 1 + 2 - 1. Let q be n(-1). Which is bigger: 0 or q?
q
Let p = -37/2 + 107/6. Which is smaller: -2 or p?
-2
Suppose 0*j = j. Suppose -2*y = -j*y. Is 1 greater than or equal to y?
True
Suppose 6*f + 199 + 41 = 0. Is f bigger than -1?
False
Let a = -1221 - -9781/8. Let k = a + -127/88. Let g be (-32)/(-10) - 3 - (-1)/(-5). Is k greater than or equal to g?
True
Let o(s) = s + 7. Let x be o(0). Suppose x*c = 3*c. Are 1/3 and c equal?
False
Let z = -7 - -12. Let f = -17 - -11. Let c = z + f. Do -2 and c have the same value?
False
Suppose -q - 4 = q, 3*q - 12 = 3*t. Is -6 not equal to t?
False
Let p = 64 + -637/10. Is p greater than or equal to 0?
True
Let t(a) be the second derivative of a**3/6 - 4*a**2 + 4*a. Let z be t(7). Which is bigger: -9/4 or z?
z
Let m(o) = -1 - o**2 + 3*o + 4*o**2 - 2*o**2. Let i be m(2). Let v be (3/i)/(1/(-6)). Do v and -1 have the same value?
False
Let r be ((1/2)/1)/(8/(-78)). Is -4 less than or equal to r?
False
Let w be ((-1 - -2) + 2)*1. Let g be 2*((-38)/(-4) + -2). Suppose g = 4*i + i. Is w smaller than i?
False
Let i(g) = g**2 + g - 4. Let a be i(3). Suppose -n - a = 3*n. Let l be ((-2 + 6)/n)/(-1). Which is greater: 1 or l?
l
Let l be 105/(-196) + (-2)/(-8). Which is greater: 1 or l?
1
Let r(w) be the first derivative of -w**3/3 + 3*w**2 - 4*w - 1. Let t be r(5). Let o be ((-1)/7)/t*3. Is o > 0?
False
Suppose 0 = 3*z - 4*z. Let b be (-1)/4 - z/8. Which is bigger: 2 or b?
2
Suppose 0 = -3*f - 2 + 8. Let o be 1/(1 + f/(-4)). Is 2 smaller than o?
False
Let j(c) = c - 12. Let f be 21/(12/8 + 0). Let m be j(f). Let k be (-2)/7 + (-40)/(-42). Are m and k nonequal?
True
Let p be (1 - 2)/30*17. Let i = p - -1/15. Which is greater