e
Let i = 8 - 15. Let f = -8 - i. Is -6/5 bigger than f?
False
Suppose -2*m + 4 = -4*k, -5*m - 16 = -2*k + 14. Let c = m - -7. Is -1/6 < c?
False
Let m = -2627/18 + 146. Is 1 bigger than m?
True
Let x be (-1)/4 - 188/16. Let a(k) = k**2 + 12*k - 1. Let t be a(x). Is -2 <= t?
True
Let a = -132.1 + 140.07. Let v = a - 8. Let k = 9/5 + -41/20. Which is greater: k or v?
v
Let w = 21 + -33. Let u be 1/w*(-32)/6. Suppose -19*t = -3*t. Which is bigger: u or t?
u
Let q(w) = w**2 + 7*w + 8. Let m = -19 - -13. Let t be q(m). Let a = 8 - 6. Is a at most t?
True
Suppose y + 64 = 5*l, -35 = -l - 2*l + 4*y. Suppose r + q = 6*r + l, r = 4*q - 14. Is 0.4 >= r?
True
Let m be 7/28*4/1. Suppose 3 = k - m. Suppose 0 = -2*g - k*i - 10, 0*g + g - i - 4 = 0. Which is bigger: -2/7 or g?
g
Let r = 0.4 + -0.2. Let y = -8 + 7. Are y and r equal?
False
Let v = -7094/3 - -2387. Which is smaller: 22 or v?
22
Let h(f) = -f**2 + 5*f + 7. Let p be h(6). Let m be (-7)/21 + (-52)/(-66). Which is greater: p or m?
p
Let t(k) = -k**3 - 7*k**2 - k - 7. Let b be t(-7). Is -12 >= b?
False
Suppose -3*r + 5*r - 4 = 0. Suppose r*c - 12 = -c. Suppose -c*k + 7 = -5*t, -t - 17 = -3*t - 5*k. Is t smaller than 1?
False
Suppose -4*z + 2*d = 8, 0 = 2*z + 2*z + 2*d + 16. Which is bigger: -6 or z?
z
Let w(c) = -2*c - 7. Let l = -22 + 15. Let x be w(l). Let r(h) = -h + 2. Let v be r(x). Which is bigger: v or -6?
v
Suppose 3*x - 3 = 3. Let d be x/(-3)*(-6)/4. Is d <= 1/8?
False
Let v = 17 + -16.7. Let g = -20 + 18.7. Let d = g + v. Which is greater: -2/13 or d?
-2/13
Let n = 1 + -3. Let v be n/10*(-10)/8. Let r(i) = i**2 - 1. Let u be r(-1). Which is bigger: v or u?
v
Suppose -4*f = -4*a - 24, 2*a + 4 = 3*f - 10. Which is greater: a or 1?
1
Suppose 10 = u + 4*u. Suppose 0 = u*h - 7*h. Suppose h = -s + 5*s. Is s at most 1?
True
Let q = -315/4 - -78. Let n = q + 1/2. Does 1 = n?
False
Let u be 1 - -1 - (1 + 1). Suppose -x = -6*x - 15, 4*v + 3*x + 1 = u. Suppose 2*s + 0 + v = 0. Do s and -2 have different values?
True
Let h(z) = z**3 + 2*z**2 - z + 1. Let r be h(0). Suppose 0*v + v + r = 0. Is v bigger than 10?
False
Let k(q) = -3*q**3. Let v be k(-1). Let d be (v + -1)*2/(-10). Let o be ((-18)/(-21))/(-2 - -4). Is o at most d?
False
Suppose 4*r = 3*r. Which is smaller: r or 3/17?
r
Let y = -6.7 - -7. Let o = 0.02 - -5.98. Let s = o - 6. Is s at least y?
False
Suppose 0 = g - 4*g - 3. Is -1 greater than g?
False
Let q be (-20)/12 + (-40)/(-15). Is q at least -1/41?
True
Suppose d = 4*g + 1 + 5, -g = -d + 3. Let b = -1148537/9 - -127832. Let c = -217 + b. Does c = g?
False
Let p = -695/6 + 115. Let t = 1 - 1. Is p > t?
False
Let p = -137 - -279/2. Which is bigger: 4 or p?
4
Let n(g) = -g**2 + 10*g - 12. Suppose p + 0*b = -2*b + 5, 5*p - 47 = b. Let a be n(p). Is a at least as big as -3?
True
Let i(w) be the first derivative of 2*w**3/3 + 2*w**2 + 3*w + 4. Let z be i(-2). Which is bigger: z or 2?
z
Let b = -44 + 1537/35. Do b and -1 have different values?
True
Suppose 5*z + 3*z - 16 = 0. Which is smaller: z or 3/4?
3/4
Let m be ((-8)/10)/(-15 + 13). Which is smaller: -1 or m?
-1
Let y(u) = -u - 4. Let r be y(-2). Let i be 0/r + 2/9. Do i and -1 have the same value?
False
Suppose 5*p - 51 = -2*t, -t + 3*p = t - 11. Suppose 0*y + t = -3*y - 5*v, -4*y + 21 = -v. Which is smaller: y or 5/2?
5/2
Let j = -14.06 - -14. Are -1 and j equal?
False
Suppose 0*l - 12 = -4*l. Let f = 0.06 + 0.04. Which is greater: f or l?
l
Suppose -3*l = l - 4. Let v(q) = q - 5. Let s be v(4). Let p(z) = -2*z**2 - z - 1. Let r be p(s). Which is greater: r or l?
l
Suppose 9 = 5*h - 3*l + 4, -3*l + 5 = 5*h. Are h and -3/23 nonequal?
True
Let n(q) = -q**3 - 2*q**2 - 2*q + 1. Let u be n(-2). Suppose 4*i - 36 = 2*i. Suppose 5*t - 15 = 5, -u*y = -2*t + i. Which is smaller: y or 1/4?
y
Suppose -5*w = -3*r - 4, 0*w - r - 6 = 3*w. Is -3/13 at least as big as w?
True
Let c be 93/(-10) - (-8 - 1). Let b(h) = h - 6. Let z be b(5). Is c greater than or equal to z?
True
Suppose 30 = c - 4*c. Let s = -713 + 2110/3. Let v = s - c. Do 1 and v have the same value?
False
Let m = 11 - 10.2. Let n = m - -0.2. Let q = 0.8 - n. Is q greater than 0.1?
False
Suppose 9*r - 42 = 7*r. Suppose 5*d + r = 8*d. Are 8 and d non-equal?
True
Let g be (2 + (-849)/426)*10/5. Which is smaller: -1 or g?
-1
Let x(i) be the second derivative of -i**3/2 - 2*i**2 - 3*i. Let j be x(-3). Suppose 3*w + 2*w - j = 0. Is 4/3 bigger than w?
True
Let i(y) = -y**2 + 4*y - 1. Let k be i(5). Is k greater than or equal to -5?
False
Let w be -3*(-3 - (-2 - 0)). Suppose -53 = -5*y - g - w*g, 3 = y - 3*g. Let v = 11 - y. Which is smaller: 3 or v?
v
Let q(n) = n - 22. Let d be q(9). Is d less than -12?
True
Let b = 0.1 - 0.2. Which is smaller: 10 or b?
b
Let a = -2 + 2.9. Let t = 0.2 - 0.3. Let h = t - a. Which is smaller: h or 1?
h
Let p be (-150)/4*(-12)/(-15). Which is smaller: -31 or p?
-31
Suppose 0 = -4*k + 24 - 0. Suppose 5*t + 0*t - 2 = -3*b, 3*b - 3*t = -k. Is b less than 2/37?
True
Let r = -3 - -1. Let s be (r - (1 + 1))*-1. Let n be (-1 - -1) + 1/s. Is 1 bigger than n?
True
Suppose 0 = 3*k + 3*k - 384. Is 66 less than k?
False
Let i be (2/4)/(-2*26/64). Is i greater than 0?
False
Let z be -1*(-3 - -2)*5/(-5). Does -2/21 = z?
False
Let d = 0 + -7.9. Let g = 8 + d. Which is smaller: g or 3?
g
Let w = 12.2 + -12.23. Which is bigger: 6 or w?
6
Let r = 0.5 + -0.3. Suppose 0 = 3*l + 2 + 10. Let n be 16/(-100)*10/l. Which is smaller: r or n?
r
Let q(z) = z**3 - 5*z**2 - 3*z + 14. Let n be q(5). Suppose 4*y + c = -7, 2*y - c + 0*c + 11 = 0. Is y at most n?
True
Let k be (-1)/7 - (-30)/(-35). Let b be k - 4 - (0 + -2). Is -2 at least b?
True
Let b(s) = -4*s + 13. Let r be b(3). Which is smaller: 1/59 or r?
1/59
Let g = -20/27 - -53/108. Which is bigger: g or -43?
g
Let l = -3 + -3. Is -7 less than or equal to l?
True
Suppose 4*k = 2*k. Let o be 5 - 5 - (-1)/5. Are k and o nonequal?
True
Let o be (-74)/5 + 12/15. Let w = -15 - o. Which is greater: w or 0?
0
Suppose 4*b = 3*n, n = 3*b - 0*n. Suppose 2*g - 2*d + 14 = -b*g, -2*d + 6 = 2*g. Is -3/4 > g?
True
Suppose 2*q = -7*q. Which is bigger: 8/9 or q?
8/9
Let p be (-2 + 0)*2/(-4)*-1. Is 9/34 less than p?
False
Let g(l) = l**3 + 6*l**2 + 6*l + 6. Let r be g(-5). Let j = -5 + -1. Let t = j + r. Is -6 equal to t?
False
Let w = 846338/1226403 - 5/28521. Let s = 1/43 - w. Which is bigger: s or 2/7?
2/7
Let v be (-10)/14 + (-4)/14. Suppose i + 73 = -103. Let q = i - -1582/9. Is q less than or equal to v?
False
Let x be (7/28)/((-1)/4). Is x bigger than 1/52?
False
Let x(p) be the third derivative of p**4/24 + 3*p**3/2 - p**2. Let r be x(-8). Which is greater: r or -3/7?
r
Let u(q) = 0*q + 3 - 3*q + 4*q - 2*q. Let b be u(7). Let m be b/(-2) - (-48)/(-15). Does m = -1?
False
Let b = 60/91 - -2/273. Which is greater: 1 or b?
1
Suppose -p = 4*i + 21, -4*p + 3*p - 2*i - 11 = 0. Suppose 0*l + 88 = 4*l. Let w = -22 + l. Is p at least as big as w?
False
Suppose -d = -3*d + 14. Let h(f) = -f + 10. Let u be h(d). Let a(q) = q**3 - 2*q**2 - 3*q - 2. Let p be a(u). Is p smaller than -1?
True
Let m(d) = -6*d - 2. Let y be m(-4). Suppose -66 = -5*t - 4*s, -3*t + 0*s = -2*s - y. Let x = t + -72/7. Is x smaller than 1?
True
Let g = 166/5 + -34. Suppose -u - 10 = -5*d - 1, 5*d - 4*u - 6 = 0. Suppose -2*j + d*p = -j - 4, 10 = -2*j - 5*p. Which is smaller: g or j?
g
Let k = 2 + -3. Do 9 and k have different values?
True
Let n = -226433 + 144934. Let i = 14832743/182 + n. Let o = 3/182 - i. Is 1 at most o?
False
Suppose 4*g = 4*p, p = -4*g - g + 18. Is p > 2?
True
Suppose 0 = u + u. Let c be (-3 + 1 - -4) + u. Is 2 less than c?
False
Let k = 101 + -299/3. Let l = 17/15 - k. Is l > -1?
True
Let c = 1.3 + -0.3. Let y = 11 - 16. Let x = y + 4. Is x not equal to c?
True
Suppose -10 = -2*i - 8*i. Let j(g) = -g**2 - 2*g. Let t be j(-2). Is i equal to t?
False
Suppose -3*w = 4*y + 11, -7*y = -4*w - 2*y - 25. Let h = -121 - -115. Which is bigger: w or h?
w
Let k be -1*(14 + (-6)/2). Is -13 less than k?
True
Suppose 0 = -x + 4*i - 4, 2 = i - 0. Suppose -5*l - 4 = -x*l + 3*s, 2*l - 1 = -3*s. Suppose -l*g - 2*d + 4*d = 2, -4*d = 16. Is g at least -1?
False
Let d(f) = 2*f**2 - f - 3. Let i be d(3). Let j = 17 - i. Which is smaller: j or 4?
4
Let u be 2/(-4) - (-46)/(-4). 