-40)/(-36))/5*-4. Are t and -1 nonequal?
True
Let i = 4 - 2. Suppose 4*a + 8*v + 18 = 3*v, i*a + 2*v = -8. Let o be a/(-9) + (-44)/36. Which is greater: o or -3?
o
Let b be (-30)/135 + 4/(-9). Is b at least -0.1?
False
Let t = 77 - 32. Let a be (-12)/t*6/(-4). Let y = 0.2 - -0.2. Is a bigger than y?
False
Suppose -3*d + 9 = -0*d. Suppose -2*s + 4 = -0*s. Suppose -4 = w, -4*w - 17 = v - s*v. Is d > v?
True
Let l(h) = h**2 + 5*h + 1. Let k be l(-6). Suppose 2*y - k*y + 4*d - 12 = 0, -y + d = 2. Let v be (-2)/y + (-3)/6. Which is smaller: -1 or v?
-1
Let r(l) = l + 8. Let h be r(-5). Suppose -16 = -5*v - 4*x, -2*v = -h*x - 4 - 7. Let q be 3/6*v/(-6). Which is smaller: q or 1?
q
Let z(s) = -2*s**3 - 3*s**2 - s - 2. Let x be z(-2). Suppose -5 = x*b + 3. Which is greater: -3 or b?
b
Let n = -7.2 + 7. Which is smaller: n or 2?
n
Suppose 4*c + 41 = -15. Let i = c - -14. Is 1/6 at most i?
False
Let g(v) = 1. Let a(b) = -b + 15. Let w(y) = -a(y) + 6*g(y). Let k be w(9). Let p(z) = z**3 - z**2 + z - 1. Let s be p(0). Is k >= s?
True
Let l = -0.2 - -0.26. Let h = l + -0.06. Which is bigger: 1/5 or h?
1/5
Let q = 16 - 26. Let k = -8 - q. Is k < 1/5?
False
Let g = -26 + 16. Let z be (-3)/12 + g/(-8). Let x = 0 - z. Which is bigger: 1/3 or x?
1/3
Let d be (-2)/(-12)*-13 + 4. Is d less than or equal to 1?
False
Let t = 0.2 + -0.4. Let v = -14 + 20. Let a be 9/(-12)*2/v. Is a equal to t?
False
Let i(v) = v**3 + 2*v**2 - 3*v. Let s be i(-3). Let f be (8/(-10))/((-1)/5). Suppose 2*k - f*u + 16 = 0, -2*k - 8 = k - 2*u. Do k and s have the same value?
True
Suppose -2*d + 25 = 3*d. Let n(a) = a**3 - 6*a**2 + 6*a - 7. Let m be n(d). Which is bigger: m or -1?
-1
Let z = 29 + -28. Which is greater: z or 1/18?
z
Let n(p) = -2*p - 4. Let j be n(0). Are j and 2/5 equal?
False
Let c = -4.2 + 4.37. Which is bigger: -2/3 or c?
c
Let q be 59/(-6) - (-4)/(-24). Let l be (4/q)/(12/20). Let v = -5 + 3. Do v and l have the same value?
False
Let j(v) = v**2 + 2 + 0 - 3. Let d be j(-1). Let o = 5/2 + -2. Is o bigger than d?
True
Suppose -19 - 11 = -5*f. Which is smaller: f or -0.2?
-0.2
Let s = -486 - -4364/9. Is s greater than 0?
False
Let x = 0.2 + -4.2. Let w = -3.08 - -0.08. Let o = x - w. Which is greater: o or 0?
0
Let q = -14/229 + 4304/2977. Do q and 2 have different values?
True
Suppose -390 = 5*h - 0*a + 2*a, 415 = -5*h + 3*a. Let p be h/26 + 2 + 1. Is 1 at least as big as p?
True
Let j(g) be the second derivative of -g**5/20 - 5*g**4/12 + g**3/6 + 7*g**2/2 - 2*g. Let h be j(-5). Let p be (-8)/(-28) + 19/7. Which is bigger: h or p?
p
Suppose 0*m = m - 4. Suppose -3*n - m = -4*n + 3*r, 0 = -3*n - 3*r. Let l be 2/((-4)/2 + 3). Which is smaller: l or n?
n
Let u = 34 + -34.5. Which is bigger: 1/4 or u?
1/4
Let j(o) = -o**3 + 6*o**2 + 3. Suppose -2*i - 2*i + 5*q = -9, 5*q - 45 = -5*i. Let c be j(i). Which is bigger: c or 2?
c
Let y(l) be the first derivative of l**4/4 - 5*l**3/3 - 3*l**2 - 5. Let k be y(6). Is -6/11 less than or equal to k?
True
Let v = -1 + 5. Suppose 0*a + v*a = 8. Is a equal to 3?
False
Let q be 4/(-18) + 12/54. Suppose 2*n + q = -3*z + 3, z - 3*n - 1 = 0. Let y = 59 + -237/4. Is z at most as big as y?
False
Let u = 11/2 + -5. Is 1/2 > u?
False
Let z be 2/(-5) + (-215)/25. Which is smaller: -0.3 or z?
z
Let c = -188 - -1694/9. Are -3/14 and c equal?
False
Let v be (-187)/(-595) + 2/7. Let b = 11/10 - v. Is -2/5 greater than b?
False
Let h = 17 + -17.11. Let a = h + 2.11. Is -0.1 less than or equal to a?
True
Let x(h) = -h - 5. Suppose -l + 12 = -2*f, 0 = 5*f + 5*l + 16 + 14. Let s be x(f). Is s < 2/33?
False
Let d = -0.041 - -12.141. Let p = 12 - d. Is 8 <= p?
False
Let o = -658/9 + 73. Let y be (1 - (-12)/(-4)) + 3. Let j be 3 - (3 - 0)*y. Is o < j?
True
Let o(s) = s + 2. Let m be o(-3). Let d = -41 + 25. Let p = d - -47/3. Is m <= p?
True
Let h = -19 - -7. Let j be (-26)/(-34) + (-13 - h). Which is bigger: -1 or j?
j
Let j = -13/8 - -23/24. Let z(o) = o**3 - 7*o**2 + 7*o. Let t be z(6). Suppose -3*d = -t*d. Is d at most j?
False
Suppose -3*p - p = -12. Let m(s) = -s**2 + 5*s - 3. Let g be m(p). Suppose 0 = -g*r - 0 - 18. Is -7 < r?
True
Let o = 13 + 2. Suppose -3*f - 3 = -o. Suppose 5*w - 9 = 4*g - 5*g, 3*w - 2 = -f*g. Which is smaller: g or 1?
g
Let u = -1.398 + -0.002. Is u smaller than -3?
False
Let r(m) = -62*m**2 + 2*m + 1. Let s be 5/10 + 10/(-4). Let q be r(s). Let v = q - -1754/7. Which is smaller: -1 or v?
-1
Let b = 591/424 + -1/53. Which is smaller: b or 1?
1
Let v = 3 + 0. Suppose v*c - 50 = 8*c. Is c at least -10?
True
Suppose 4*g + 3*q - 83 = -0*g, -2*q = -3*g + 41. Which is greater: g or 18?
18
Suppose 3*g - 246 = g. Let j = g - 1227/10. Which is smaller: 1 or j?
j
Suppose -v - 4 = 0, -2*l = 2*v + 5 + 1. Which is bigger: l or -39?
l
Let p(y) = -y - 30. Let w be p(-19). Let z = 11 + w. Is -2/3 less than or equal to z?
True
Let o(s) = -s**3 - 8*s**2 - 8*s - 1. Let i be o(-7). Let m(d) = d**2 - 5*d - 6. Let g be m(i). Which is bigger: 6/5 or g?
6/5
Let o = 8 - 6. Suppose -o*k - 4 = -6*k. Let t = 0.9 - -3.1. Are k and t non-equal?
True
Let p(g) = 2*g - 3. Let h be p(3). Suppose 3*t = -4*q + 28, 2*q + h*q - 4*t = 4. Is q equal to 2?
False
Suppose -3*k + 0 = -12. Let n be 2/4*0/(-3). Suppose 4*p + n*p = 16. Do k and p have different values?
False
Let m be (-2)/2 - 1/1. Let t(d) = d**2 + 3*d - 1. Let w be t(-3). Let p = m - w. Which is smaller: p or -1/2?
p
Let v = 9 + -11. Is -4 < v?
True
Suppose 3 - 8 = 5*q. Let j be (1/5)/((-4)/5). Is j less than q?
False
Let v = 29 - -19. Is v at least as big as 48?
True
Let i = -41 + 46. Let r be ((-3)/4)/((-1)/4). Which is bigger: r or i?
i
Let n be (-3)/(12/104)*1. Let o be 4/n + 8/(-286). Which is bigger: o or 0?
0
Let p be 1/2*8/(-6). Suppose 2*q + 5*m - 5 = -0, -3 = -3*m. Which is smaller: p or q?
p
Let w = 504 - 9578/19. Let t(i) = -i**2 + 12*i + 13. Let g be t(13). Which is greater: g or w?
g
Let b be (-3 + 9/15)*1. Let n = 1/10 - b. Which is smaller: 2 or n?
2
Let u be 1*((-8)/(-844) - 0). Which is bigger: u or 0?
u
Let p = -103 - -104. Which is smaller: p or -2/271?
-2/271
Let a be (-63)/6*(-1 - -5). Let h be 2 + a/10 + 2. Suppose -6*k = -2 + 8. Which is smaller: h or k?
k
Let h = -29/6 - -179/42. Which is greater: -1 or h?
h
Let q be (-3 + 15)/4*1. Suppose 6 = 3*w - w. Is w > q?
False
Let g be 6/(-4) - (-2 + 5/4). Which is smaller: g or -2?
-2
Suppose 0*s - 3*s = -18. Let y be (s + -3)/(2/(-1)). Which is smaller: y or -3?
-3
Suppose -4*l + j - 19 = 0, -3*l - 18 = l - 2*j. Are l and -5 unequal?
False
Let i = -26 - -8. Let y be (-14)/4 - i/(-12). Does -5 = y?
True
Let l(n) = -n**2 - 6*n - 6. Let v be l(-5). Is v greater than or equal to -0.079?
False
Let t(s) be the third derivative of s**6/30 + s**5/60 + s**4/12 + s**3/6 + s**2. Let m be t(-1). Let a be -3 + 2 + (-1)/m. Which is smaller: 0 or a?
a
Suppose 0 = -2*g - 5*d + 2*d + 27, 5*g - 80 = 5*d. Suppose 5*a = 5*z + 15, 7*z - 5*a = 3*z - g. Let x be ((-2)/30)/((-1)/3). Is x less than or equal to z?
False
Let g = -18 - -42. Let x = -23 + g. Is 0.4 at least x?
False
Let l(w) = -w**3 + 9*w**2 - 8*w - 3. Let b be l(8). Let a be (9/(-3) - b)*-1. Suppose 2*y + 2*n + 4 = 0, -4*y + 2*n + 22 = -a*n. Which is smaller: -2 or y?
-2
Suppose 2*u + u - 12 = 0. Let v = -3/11 - 2/33. Which is smaller: u or v?
v
Let a be (-2)/((-12)/(-30)) + 14. Which is bigger: 12 or a?
12
Suppose 15*m + 129 - 99 = 0. Let i = -2 + 4. Is i at most as big as m?
False
Let k = 20 - 19. Suppose -13 = -4*c - k. Suppose -7 = -z + o, -4*o - 15 = -o. Is z greater than c?
False
Let t = 0.42 - 0.32. Let p = -29 + 30.1. Let f = -0.1 + p. Which is smaller: t or f?
t
Suppose 0 = -x - 0*h + h - 10, 0 = 4*x + 3*h + 5. Let l(z) = -z - 3. Let s be l(3). Is s greater than x?
False
Let y = -2 - -1.94. Let f = -5 - -5. Which is smaller: f or y?
y
Suppose 0 = 4*c - 16, -8 = 5*u - 3*c + 9. Let n be -1*(-4 - (-54)/15). Which is greater: u or n?
n
Let k = -2 - -4. Let i be k*(-1)/(3/(-12)). Suppose -2*w + 0*w - i = 0. Which is smaller: -5 or w?
-5
Let z(g) = -6*g**2 - 7*g + 7. Let p be z(5). Let n = 2312/13 + p. Which is greater: n or -1?
n
Suppose 0 - 9 = 3*x. Let z be 3/5*x/3. Is z smaller than 2/7?
True
Suppose -4*s + 6 = -2*s. Let t be 4/5*(-10)/(-4). Suppose n - t - 1 = 0. Are s and n equal?
True