
False
Let z(h) = 5*h**2 + 3*h + 1. Let a be (-6)/(-4)*(-4)/6. Let r be z(a). Is 3 less than or equal to r?
True
Let l be ((-24)/(-10))/((-39)/(-10)). Let f = l - 50/39. Let b(s) = s**2 - 5*s + 2. Let k be b(4). Which is bigger: k or f?
f
Let g = 1 - 0. Let h be (3/2)/((-2)/(-12)). Let i = -13 + h. Do i and g have the same value?
False
Let a(x) = -x**2 - 7*x - 1. Let y be a(-7). Let j(i) = -5*i**3 - i**2 - i - 1. Let m be j(y). Which is smaller: 1 or m?
1
Let h be (-2)/(4/(-14))*-9. Let j = h - -817/13. Which is smaller: 1 or j?
j
Let x be ((-1)/(-6))/(20/12). Suppose -17 = 5*m - 3*p, -2*p - 3*p = 4*m - 16. Is m < x?
True
Let s(i) = -i**2 - 11*i + 12. Let w be s(-12). Do 1/2 and w have the same value?
False
Let b(y) = -y**3 + 2*y**2 - y + 1. Let s be b(2). Let q be (s/(-33))/(6/(-18)). Which is greater: q or 0?
0
Suppose -6*h + 10 = -4*h. Let b = 6 - h. Which is smaller: b or 0?
0
Suppose 8 = 5*b - 2. Let w be -6*(-213)/(-780) + b. Let j = w - -1/26. Which is smaller: j or -0.1?
-0.1
Let w be 12/15 - 12/20. Let o = -6 + 5. Which is bigger: w or o?
w
Let l(r) = r - 3. Let t be l(4). Is 9/10 at least t?
False
Suppose -2*u - 1 = -9, 0 = -x - 5*u + 20. Let g be (1/2)/(2/32). Is g less than or equal to x?
False
Let a = 101 + -98. Which is smaller: a or 3/10?
3/10
Let f = -5 - -1. Let k be (f/4)/(1/(-2)). Which is smaller: k or 3/4?
3/4
Let s(n) = -32*n. Let t(y) = 31*y. Let g(c) = 3*s(c) + 4*t(c). Let h be g(1). Let p be (12/18)/(h/6). Is p less than 1?
True
Let v be 21 + -7 + 2/2. Is v less than or equal to 15?
True
Suppose -492 = -5*n - 512. Let a be (0 - (-1 + 0))/(-1). Are n and a equal?
False
Let h = -61679/12 - -5143. Let k = h - 10/3. Is k at most as big as 0?
True
Let k(n) = n - 29. Let i be k(24). Let z = 0 + -5. Is i > z?
False
Let t(f) = f**3 + 4*f**2 + 4*f + 1. Let s be t(-3). Let b(k) = k**3 + k**2 - k + 2. Let q be b(s). Let j(w) = w**3 - w - 2. Let n be j(q). Is -2 greater than n?
False
Suppose 0 = -2*o + 6 - 2. Let z(h) = 10*h**o - 4*h**2 + 0*h - h. Let u be z(1). Is 5 < u?
False
Let w be (-1)/(-6)*6/(-4). Let r(x) = -x**3 + 10*x**2 - 9*x + 1. Let y = -21 + 30. Let f be r(y). Is f < w?
False
Let z be 2 - ((-4)/(-1) - 24). Which is smaller: z or 23?
z
Let d be (-1)/(((-5)/(-2))/5). Let v = d - 1. Let c be (-8)/v*5/30. Are c and 0 non-equal?
True
Let t be 5 - 6/(1 + 2). Let k be ((-12)/8)/(t/(-4)). Which is greater: -2/5 or k?
k
Let i = -4 + 4. Let b be -2*1*(-2)/10. Is b bigger than i?
True
Let n(d) = -d + 2. Let s be n(9). Do -5 and s have different values?
True
Let t be ((-2)/4)/((-1)/4). Suppose -6*m - 4 = -t*m. Let q = -3/209 - -463/3135. Is m at least as big as q?
False
Suppose 2 + 8 = 5*p. Let v = -19 - -29. Let w be v/14 + 2/7. Is w less than or equal to p?
True
Let d be 24/(-84) - 452/(-14). Suppose 4*t - 4*s + d = 0, 3*t + 4*s - 1 - 3 = 0. Is -3 greater than t?
True
Let z = 8 - 7.8. Let b = 79/58 + 4/29. Is z less than or equal to b?
True
Suppose 4*n + 7 - 19 = 0. Let o = -1 - -1. Is o greater than n?
False
Let p be (16/12)/(6/(-837)). Let b be ((-5)/(-15))/((-4)/p). Let v = 16 - b. Which is smaller: v or 1?
v
Suppose 0*s = 5*u - 2*s + 442, -4*u + 4*s - 344 = 0. Let i be u/(-40) - 1/4. Does i = 2?
True
Suppose -2*u + 1 = 3*b + 7, 0 = -3*u + 5*b + 29. Suppose 0 = -u*i - 6 - 3. Is i >= -1?
False
Let h be 5 - (-2)/(-1)*1. Suppose -h*m = 4*u + 16, 3*m - 5*m - 4*u = 8. Is m at most -8?
True
Let h be 2*(-3 - (-10)/4). Let l be (160/(-3))/(-4) - 0. Let u = -79/6 + l. Is h at most u?
True
Suppose -6*o + 2*o = 0. Suppose 2*f = -2*r - o*r - 8, 2*r - 4*f = 4. Suppose -4*t = -2*h + 2, -3*t + 3*h + 2 = -1. Is r <= t?
True
Let b be 87/(-7) + (-12)/21. Which is bigger: 2/9 or b?
2/9
Suppose 0 = -0*o + 2*o + 2. Which is greater: o or -8/15?
-8/15
Let v(b) be the first derivative of b**2/2 - 8*b + 8. Let z be v(8). Which is bigger: -1/9 or z?
z
Suppose 0 = 5*x - 10*x. Suppose -3*w - 1 = -4*w, x = -2*m + 4*w - 16. Is m smaller than -4?
True
Let v(a) = a + 1. Let z(j) = -j**3 - 4*j**2 + j + 3. Let h(u) = 4*v(u) - z(u). Let d be h(-3). Let s be -3 + 30/9 + 1. Are s and d equal?
False
Let k be ((-4)/(-10))/(48/(-40)). Which is bigger: -1 or k?
k
Let f be 1082/(-14) - (-4)/14. Let p = -266291/9 - -29665. Let l = p + f. Is -1 < l?
True
Suppose -126 = 4*t + 5*g, 0 = 6*g - 2*g + 8. Which is smaller: 1 or t?
t
Let r = -0.1 + 0.5. Let q = 11 - 8.2. Let t = q + -3. Is r greater than t?
True
Suppose -5*a + 22 = 4*u, -4*u + 3*u - 1 = -2*a. Let d = u + -2. Let h be (7/3)/d - 2. Is h greater than 1?
False
Let s be (-27)/18*1/(-6). Is s < -1?
False
Let s be -20*2 + 5 + -4. Which is greater: s or -40?
s
Let x(f) = -f - 5. Let c be x(-5). Let g = -2 + c. Which is smaller: g or -3?
-3
Suppose 3*w = 2*k - 29, -4*w + 0 = -k + 27. Suppose k*c - 3 = 4*c. Let o be -1 + (c - (-6)/(-21)). Is o at most as big as -4?
False
Suppose 0 = -5*w - 4*f - 0*f - 121, -45 = 2*w + 5*f. Do -26 and w have different values?
True
Suppose 0 = 2*p - 7 + 1. Suppose p*a + 5 = 4*l - 9*l, 0 = 3*l + a - 1. Is 1/2 at least as big as l?
False
Suppose -5*a + 9 = -4*z, 7*a - 20 = 3*a. Let m(c) = 0 - 2*c**2 + 2 + 7*c**2 - c**3 - 4*c. Let n be m(z). Is n at most as big as 2?
True
Let l = -84 + 78.9. Let b = l + 5. Which is smaller: b or -1/3?
-1/3
Let y = -261/100 - 116/25. Is y at most -7?
True
Let l = -4/49 + 261/196. Is l not equal to 1?
True
Let s(z) = 2*z**2 - 6*z + 4. Let m be s(4). Let r = m - 12. Is r < 2?
True
Suppose 2*a - 5*a - l + 5 = 0, -5*l = 5*a - 5. Suppose -a*g + 3*g = 0. Is g <= -1?
False
Let z = -18/55 + -4/55. Is 34 at most z?
False
Let q(h) be the second derivative of -h**4/12 + 2*h**3/3 - 3*h**2/2 + h. Let s be q(2). Let i be 6/15 - (-1 + 1). Is s at most as big as i?
False
Suppose -6 + 8 = -2*z. Which is greater: -1/6 or z?
-1/6
Let b = 0.16 + 0.24. Is 1 greater than b?
True
Let l be (-1)/(1*3/(-6)). Suppose 0 = -z + l*z. Which is greater: -1/2 or z?
z
Let n = 28 - 28.14. Let g = n - -0.1. Is g less than 2?
True
Let u = 0.03 - 0.13. Let p = u - 0. Is p smaller than 1?
True
Let z be ((-30)/8)/(27/(-6)*1). Which is smaller: z or 0.1?
0.1
Let a(l) = -6*l + 13. Let v be a(3). Are v and -2 non-equal?
True
Suppose 5*z = -5*s + 20, 3 = -4*s - 17. Let b = -9 + z. Does 1 = b?
False
Let w = -21/2 - -11. Let d = -1.2 + 1. Let m = -0.2 - d. Are m and w nonequal?
True
Suppose m - i + 3*i = -104, 2*m - 4*i = -240. Let r be 2/(-7) - 60/m. Is r bigger than 1?
False
Let s = -7006/17 - -412. Suppose -k = -0*k - 1. Which is bigger: s or k?
k
Suppose -3*g + 2*h = -30, 3*g + 2*h = 9 + 9. Suppose 0 = 5*y - y - g. Are 5/8 and y nonequal?
True
Let o(y) = y**2 - 3*y + 6. Let b be o(5). Let r = -11 + b. Suppose 0 = -r*p + g - 3*g + 9, 0 = -4*p - 4*g + 12. Is p at most as big as 1?
True
Suppose -4*m - 2*m - 36 = 0. Which is bigger: m or -11?
m
Suppose -3*o + 1 + 2 = 0. Suppose -2*h + 14 = 4*f - 3*f, -5*h + 34 = 2*f. Which is bigger: h or o?
h
Suppose 3*r + 4*b = 6*r - 22, 0 = 3*r - b - 10. Suppose r*l - 6 = 0, 0*l + l - 3 = -5*i. Which is bigger: i or -2?
i
Let j(k) = -k**2 + 2*k + 7. Let t be j(3). Let h be t/(-10)*14/4. Which is bigger: -1 or h?
-1
Let y = -3/5774 - -58091/675558. Let n = y + 1/39. Which is greater: 1 or n?
1
Let z = -0.2 - -13.2. Let o = -12 + z. Which is smaller: -1/2 or o?
-1/2
Let b = -10 - -9. Is b >= -15?
True
Let m be (2/1)/(2/(-120)). Which is smaller: -121 or m?
-121
Let n(m) = m**3 + 3*m**2 - 5*m - 5. Let w be n(-4). Let x(t) = -9*t**3 + 1. Let p be x(w). Suppose 0*q = 3*q + 15, -p = -3*d + 2*q. Which is smaller: d or -1?
-1
Suppose 0 = -2*s + 2*g + 8, 2*s - 14 = -3*s + 2*g. Which is smaller: s or -19?
-19
Let h = 7 + -11. Let w be 0*(-1 + (-6)/h). Is 5/6 equal to w?
False
Let j = -284 + 2269/8. Suppose -y + 27 = -4*z, -2 + 23 = -3*z + y. Let x be z/(-4) - 3/6. Are x and j equal?
False
Let h be ((-3)/(-5))/(3/15). Suppose -2 = h*i - 8. Let t be (5 + -1)*1/i. Is t at least as big as 1?
True
Let x = 77 - 76. Is x at least as big as -3/11?
True
Let g be 3 + -2 - (3 + -4)*0. Which is bigger: g or 2?
2
Let h = 45/112 - 11/16. Let f(t) be the first derivative of -t**4/2 + t**3/3 - t + 1. Let q be f(-1). Is h greater than q?
False
Suppose 5*z + 76 = 4*j, 0 = -3*j - 7*z + 4*z + 84. Which is greater: 28 or j?
28
Let o = 1.7 + -1.76. Let d = 0.94 - o. Which is smaller: 1/2 or 