+ 50/3. Which is greater: -0.2 or f?
-0.2
Let n = 0.4 + 0. Let q = -2.4 + n. Is 1/3 <= q?
False
Let k be 0 + ((-3)/(-5) - (-41)/15). Are k and 2 non-equal?
True
Suppose 3 + 17 = -3*z - 5*f, 3*z = 5*f - 10. Let v be (-2)/2 + z/(-4). Suppose -5*p + 6 = l - 4, 0 = 2*l - 10. Which is smaller: p or v?
v
Let k be 1 + (-2)/2 - -10. Suppose -3*v - v + 40 = 0. Let y = v - k. Which is greater: 2/5 or y?
2/5
Let u be (-3)/(-9)*(-2439)/(-6). Let b = 132 - u. Which is bigger: b or -5?
b
Let y be 6/(-4)*12/(-9). Suppose -s + 6 = y*s. Is 5/7 greater than or equal to s?
False
Let n be (-1)/2 + (6 - (-60)/(-8)). Is 2/5 bigger than n?
True
Suppose -5*p = -7*x + 2*x + 10, 4*p = 0. Suppose 2*k = 5*o - 57 + 13, -x*k + 2*o - 32 = 0. Let f be (k/18)/(1/3). Is f > -1?
False
Let i = -1246 + 3638/3. Let j = 33 + i. Are -1 and j equal?
False
Let n(u) = -2*u + 9. Let i be n(6). Is i less than -3?
False
Suppose -u - u = 3*t - 27, -u + 4*t = 14. Let n(a) = -a**3 - 4*a**2 - a + 1. Let k be n(-4). Is u less than k?
False
Suppose -10 = -4*m - 2. Suppose p + 5*y = -p - 12, -y = -m*p. Let n be 2/(2*(-10)/(-4)). Which is bigger: n or p?
n
Let f = -6 - -5. Which is bigger: 1 or f?
1
Suppose -j - 15 = 2*q, -3*j + 15 = -5*j - q. Which is greater: j or -31/6?
j
Suppose -4*s - 5*m = -9*s - 5810, 2*s + 4*m + 2306 = 0. Let d = s - -12739/11. Which is smaller: d or -1?
-1
Suppose 2*b = -2*c + 16, -3*b + 33 = 4*c + 8. Let i(a) = a - 5. Let p be i(b). Is p not equal to 1/2?
True
Suppose 9*w = 5*w. Which is bigger: 6/47 or w?
6/47
Let s = 0.1 + -6.1. Let x = s - -7. Let k = -0.9 + x. Which is bigger: k or 1/4?
1/4
Let d be (-27)/141*12422/(-4). Let c = 465611221/782738 - d. Let y = 2/757 + c. Which is greater: y or -1?
y
Let x = -0.24 + 0.04. Let d = -0.5 + 0.4. Does d = x?
False
Let z be ((-6)/(-8))/((-60)/32). Is z < 1?
True
Let c be 2/16 - 609/(-56). Which is smaller: 10 or c?
10
Let h be (-6)/4 + (-1)/2. Let a(r) = r - 8. Let g be a(5). Which is greater: g or h?
h
Let r(a) = 6*a**3 - 2*a**2 + 1. Let h be r(1). Let x be (-6)/4*h/(-6). Is 2 less than or equal to x?
False
Suppose -3*j - 8 = 3*n + 10, 0 = 2*j - 2*n - 4. Let m = j - -2. Let l = 0 + m. Is l bigger than 0?
False
Let s be 6/(-8)*(-2)/(-12). Let v = -5 + 0. Let h = v + 5. Which is smaller: h or s?
s
Suppose -5*u + m - 10 = -4, 5*u + 5*m = 0. Suppose -2*a - 6 = c - 2, -2*a - 4*c - 10 = 0. Are u and a equal?
True
Let p = -0.64 + 0.8. Let n = p - -12.84. Let w = -10 + n. Is -2 at most w?
True
Let s(v) be the second derivative of -v**4/12 + 133*v**2/2 + v. Let m be s(0). Let u = 663/5 - m. Is -0.4 < u?
False
Let n be (((-6)/(-4))/(-3))/((-28)/56). Let j(o) = o**3 + 4*o**2 - 2*o - 4. Let q be j(-4). Which is greater: n or q?
q
Let t(i) = -i**3 - 6*i**2 + 4*i - 8. Suppose -49 = 2*b + 5*b. Let q be t(b). Are q and 14 equal?
False
Suppose 2*o + q = 3*o, -2*q + 2 = 0. Let m = -34 - -33. Which is bigger: m or o?
o
Suppose 17 = -2*n - 3*w, -14 = 4*w + 6. Let v be 2 - 15*12/99. Which is smaller: v or n?
n
Let o = -6.987 + 0.087. Let v = 9 - 2. Let s = v + o. Is s less than or equal to -0.01?
False
Let s = 9 + -6. Suppose -5 + s = -c. Suppose 1 = c*z - z. Do z and 4/3 have the same value?
False
Let v = 427 - 887. Let l be 155/v - (-2)/8. Which is greater: l or 1?
1
Let v be (4/(-12))/(2/42). Let q(y) = y + 8. Let m be q(v). Which is greater: m or 9/5?
9/5
Let l be (-68)/(-6) - (-2 - (-5 + 3)). Which is greater: l or 10?
l
Let k = 15 - 6. Let o = 11 - k. Is o less than 0.1?
False
Let f be 2 - 1 - 38/57. Is f equal to 0.53?
False
Let d be ((-10)/5)/(8/50). Let f = -13 - d. Suppose 3 = -3*h - 0*h. Which is bigger: h or f?
f
Let v be (42/20)/(12 - 16). Let b = 109/40 + v. Which is smaller: 3 or b?
b
Let a = -547 - -3293/6. Is 3 less than or equal to a?
False
Let w(y) = -28*y**2 - 5*y + 1. Let s be w(6). Let n = s - -63259/61. Let u = n + -69/244. Is u >= 1?
False
Suppose -5*j - 654 = 101. Let m = 751/5 + j. Let y(k) = 2*k + 24. Let q be y(-12). Is q > m?
True
Suppose 2*v + 20 = -4*y, 2*v - 3*y - 15 = -v. Let h be (2 + -1 + v)*7. Which is smaller: 6 or h?
6
Let s = 1 + -1. Let p = -1 + 1. Let w be -1*(-1)/(p + -1). Which is bigger: s or w?
s
Let z = 12/11 + -13/22. Let x be (-102)/(-14) + 6/(-21). Let n = -5 + x. Do n and z have different values?
True
Let s = 424/35 + -82/7. Let v be (-84)/(-36) + (-1)/3. Suppose 4*a + 2*i = v, -1 = -4*a - 5*i + 4. Are s and a equal?
False
Let x = 6 - 4.2. Let n = 0.4 - x. Let h = -0.6 + n. Which is bigger: 0 or h?
0
Let b = -77 - -82. Which is smaller: 3 or b?
3
Let r be (4 - 5)*1/(-1). Let t be 1/(-1) - (7 - 13). Suppose 8 = 3*l + 2*q, 29 - 9 = -t*l + 5*q. Is r equal to l?
False
Suppose -4*i + 1 = -7. Which is greater: 7/3 or i?
7/3
Let z = -1674 + 3421/2. Let n = -39 + z. Is n < -2?
True
Let c(w) = -w**3 + 8*w**2 + 8*w + 8. Let y be c(9). Which is bigger: -10/7 or y?
y
Suppose 4*a - 8*a - 28 = 0. Is -8 not equal to a?
True
Let o = -3 - 0. Let h = o - -1. Which is bigger: h or -2/3?
-2/3
Let k = -6 + 12. Suppose -5*x = -k*x. Which is smaller: -1 or x?
-1
Suppose 6*x + 3 = -15. Suppose -2*j = -8, -8*s + 4*j = -4*s - 8. Suppose 0*k + s = -2*k. Does k = x?
True
Let l = -182 - -183. Which is bigger: l or -40?
l
Suppose -3*r - 3 - 15 = 0. Let v = r + 4. Which is smaller: -9/5 or v?
v
Let y = -110 + 110.1. Which is smaller: y or 21?
y
Let i = -436/1065 + 2/213. Is i >= -2.1?
True
Let a = 1/29 - -51/203. Let i(w) = w**2 + 5*w - 2. Let k be i(-5). Let y be (0 - 2)/k + -2. Which is smaller: y or a?
y
Let m = -15 + 17. Is 6/5 smaller than m?
True
Let a(q) = -19*q - 4. Let i be a(7). Let d = i - -1919/14. Which is greater: d or 1?
1
Let i be 2 - (-1 - 0/2). Let b be -1*1 + 0 + i. Suppose p = b*p + 4. Is -2 < p?
False
Let i(v) = -3*v**2 + 2*v + 2*v**2 + 1 + 2*v**2. Let f be i(-3). Suppose -3*o + f*o - 4 = 0, 0 = -3*y - 2*o + 2. Is y > -1/2?
False
Let k = 39 - 40. Which is smaller: 1/5 or k?
k
Let t be (-4)/(-16) + 1114/(-840). Let y = 493 + -10363/21. Let d = y - t. Is 2 smaller than d?
False
Let o = 0.57 + -0.6. Let u = o - 0.02. Is u less than -1?
False
Let u(l) = -l**2 - 5*l + 1. Let j be u(-5). Suppose 5*c - 4*f - 3 = 13, -20 = -5*c + 5*f. Suppose -3*t - 5*v + c = 10, 6 = -2*t - 3*v. Which is smaller: j or t?
t
Let h = 7 + -8. Let g be h + 3 + 2/(-2). Which is smaller: -1 or g?
-1
Suppose o - 9 = 3*d + 4*o, 4*d - 4*o = 12. Suppose 0*l - l + 11 = 0. Suppose -w + l = -4*k - d*w, 3*k - w = -9. Is -5/4 <= k?
False
Let h be 4*5/3060 - 0. Which is bigger: h or 1?
1
Let n = -1 + 2. Let o(a) = a - 3. Let g be o(3). Let f be g - -3*(-3)/27. Is n bigger than f?
True
Let o(u) be the second derivative of u**5/20 + u**4/6 + 3*u. Let j be o(-2). Does j = 1/17?
False
Let j(u) = u**2 - 3*u - 1. Let q be j(-2). Suppose 8*o - 7*o - q = 0. Which is smaller: o or 7?
7
Let u = -73 - -52. Is -21 bigger than u?
False
Suppose 4 = -d - 3*n - 1, 3*d + 1 = -2*n. Let i = 7 + -5. Suppose -a = -0 - i. Is d at least as big as a?
False
Let d(g) = g**3 + 18*g**2 - 18*g + 17. Let a be d(-19). Is a != 21?
True
Let b = -5 + 9. Suppose 4*c = b*r + 5 + 7, -3 = 4*r - c. Which is smaller: -6 or r?
-6
Suppose 5*k + 3 = 13. Suppose 2 = -k*m - 4. Let s = 3 + m. Is -2/9 at least s?
False
Let h(a) = a**2 - 12*a + 63. Let j be h(14). Is j less than 91?
False
Suppose 0 = -2*d - u + 9, -d = -4*u - 0*u. Suppose -4*a - 5*i - 20 = d, 11 = a - 3*i. Is -3/16 != a?
True
Let p(x) = x**3 + 7*x**2 - x - 1. Let a be p(-7). Suppose 5*z = 3*o - 75, z + o = a*z + 85. Let q = 73/4 + z. Which is smaller: q or 0?
0
Let l = -6.01 - -0.01. Which is smaller: -0.1 or l?
l
Let u = 0 + -0.4. Let h = 1.4 + u. Which is bigger: 2 or h?
2
Let s(n) = -n**2 - n. Let r be s(3). Is r at least -12?
True
Suppose 5*q - 3 = l - 4, -4*l - 5*q + 4 = 0. Let d be (-18)/(-14) + l - 2. Which is greater: d or 1?
1
Let g(p) = p**3 - 2*p**2 - 4*p - 1. Let b be g(3). Suppose -7*c + 20 = -3*c. Suppose -4 = -4*f + c*o, -4*o + 0*o - 32 = 4*f. Is f < b?
False
Let k = 0.3 + -5.3. Let y = k - -8. Let i = y + -3. Which is smaller: i or 0.1?
i
Suppose 5*w = -x + 17, -2*w - 3*x = -w - 9. Suppose p + 14 = 2*p + 5*d, 0 = d - 2. Which is smaller: p or w?
w
Let s be 1/8*6*16. Let f be -4*(45/s - 3). Is -3 at most f?
True
Let h be 147/(-35)*4/(-6). Which is bigger: 4 or h?
4
Suppose -2*c = -2*z - 3*c - 9, -z - 2 = -2