 z + 9. Which is greater: a or 6?
a
Let t = 0 + 5. Let j(p) = p**3 - 12*p**2 + 12*p + 7. Let v be j(11). Suppose 0 = 5*b - 2 - v. Is t equal to b?
False
Suppose -9 + 2 = -7*l. Is 1/4 at most as big as l?
True
Suppose -110 = 7*o - 18*o. Which is greater: 13 or o?
13
Let o be (2/((-16)/(-30)))/(-3). Suppose 10*m - 17*m = 0. Which is greater: o or m?
m
Suppose 0 = 3*c - 15, 5*y + 4*c - 16 = 3*y. Let b = 0.02 + 4.98. Let l = -3 + b. Which is bigger: y or l?
l
Suppose -c + 12 = -6. Suppose 2*k = -a - 6, -5*a - 3 = k + c. Which is smaller: -6 or a?
-6
Suppose -284 - 176 = -5*w. Let h be w/(-260) + 4/26. Is -1 >= h?
False
Let j = 10 + 4. Suppose -h + 15 = j. Are h and -3/10 equal?
False
Let w = 0 - 0. Let t = -36.07 - -36. Let l = t - -0.08. Which is bigger: l or w?
l
Let v be ((9 - 8)/(-16))/((-1)/(-3)). Which is greater: v or -2?
v
Let s be (4 + -2)/8 - 3. Which is greater: -2 or s?
-2
Suppose 0*h = 4*h. Suppose -2*c + 6*c + 16 = h. Let g = 0.9 - 1. Which is bigger: g or c?
g
Let a = -25 - -26. Which is smaller: -0.02 or a?
-0.02
Let f be (-1)/(-2) - 195/(-26). Let o = f - 9. Which is greater: o or 3/7?
3/7
Let y = -1.1 - -1. Let i = 251/6 - 916/21. Let s = 16/7 + i. Which is smaller: s or y?
y
Let h = -8 - -9. Suppose -i = h + 2. Let w = -2 - -3. Which is greater: w or i?
w
Let a = -6 + 5. Let k = a + 2. Let y = -64/3 + 460/21. Is y <= k?
True
Suppose -w - 5*l - 21 = -0*w, 0 = 4*w + l + 27. Let g be 1/(-2*(-3)/w). Let b = 4 - g. Which is smaller: b or 4?
4
Let s be -7*(1 - (-44)/(-28)). Let w be 0*(-1)/s*1. Is 2/11 not equal to w?
True
Suppose 0 = -5*w - 0*w - 5, -4*n + 2*w - 18 = 0. Let j be 2/(-8) + n/(-4). Which is smaller: 0 or j?
0
Let f(x) be the first derivative of -x**2/2 + 2*x - 1. Let d be f(1). Let c be (0 + -1 - -1)*d. Does c = 0?
True
Let p be (-4)/10 + 4/10. Let c be (1/27)/(14/84). Which is bigger: p or c?
c
Let o = 6 + -2. Let z = o + -3.7. Which is bigger: z or -1?
z
Let o = -629/1775 - 15/142. Let b = o + 19/25. Is b equal to 1?
False
Let y = -0.1 + 0.2. Let t = 52.38 - 53. Let v = -0.12 - t. Is y at most as big as v?
True
Suppose 2*c = c. Suppose i = -5*v - 10, -v + 5*i - 8*i = -12. Is v > c?
False
Let d = 0.2 - 0.3. Let s = 4 + -3.97. Let z = s + -0.03. Which is greater: z or d?
z
Suppose 4*l = -5*z - 4, -l - l + 4*z - 2 = 0. Let r = 16 - 10. Suppose -r*b + b = 0. Which is smaller: b or l?
l
Let w be 2 + (3/2)/((-3)/12). Is w <= -7?
False
Suppose 0 = -4*q + 2*q. Let s be q - (-1 - -1 - 2). Is 2 less than or equal to s?
True
Let c be 14/(-78) + -1*(-6)/(-39). Which is bigger: -9/8 or c?
c
Let c(s) = -2*s**2 - 8*s - 4. Let i be c(-6). Is -28 less than i?
False
Suppose n + h - 1 = 0, 2 = n + 5*h - 3. Let x be ((-1)/(-4) + 0)/((-105)/(-84)). Is x not equal to n?
True
Let y be 3/9 - 16/3. Let p be -3 + (-3 - y - -2). Is 1/7 > p?
False
Let u = 56 + -71. Is u at least as big as -14?
False
Let q(w) = -w + 19. Let i be q(13). Suppose x = i*x - 5. Is x less than 1?
False
Let g(y) = 3*y - 3. Suppose -4*o - 4*i - 8 = 0, 0*o - 2*i - 6 = o. Let p be g(o). Suppose 3*b - 5*d = -26, p = 4*b + 3*d - 1. Is -2/5 greater than b?
True
Let d(h) = h + 7. Let x be d(-5). Suppose m = x*m + 3. Suppose -3*u = 5*w + 16, 0 = -3*w + 4*u - 2*u - 2. Is w greater than m?
True
Let l(q) = q**3 - 13*q**2 + 11*q + 3. Let b be l(12). Let r = b + 8. Which is bigger: r or 1/11?
1/11
Let b be -4 + (-3)/(-1) - 2. Is b at most -7?
False
Let z = -18 + 17.9. Which is bigger: z or 0.06?
0.06
Let u(f) = -4*f + 2. Let r be u(-1). Which is greater: 0.1 or r?
r
Let l(u) = 6*u + 1. Let b be l(1). Let g = b - 4. Is g greater than or equal to 3?
True
Let r = 0.05 + 2.95. Let q = r + -3.1. Is q equal to 5?
False
Let b = -1560/19 + 82. Is b >= 0.1?
False
Let x be (-1)/2 - 21/(-18). Is 6/5 equal to x?
False
Let f be (-3)/(-2*(-6)/8). Let r be (-1 - -2)/(f + 3). Let x be 0*r/((-1)/(-1)). Is 0 smaller than x?
False
Let c = 6 + -4. Let p = -9 + c. Let k = p + 5. Is k less than -1/2?
True
Let q be (0 + (-20)/(-15))*-3. Is q greater than -1?
False
Let w be 513/(-90)*6/(-9). Is w bigger than 5?
False
Let r = -4139/19446 + -2/1389. Is r bigger than -1?
True
Let a = -0.3 - -0.7. Let g = 1.1 - 1.6. Let m = a + g. Which is bigger: m or 0.4?
0.4
Let w(h) = -h**3 + 3*h**2 + 2*h - 2. Let k be w(2). Let o = 4 + k. Which is greater: o or 11?
11
Let s be 1 + 5 - (4 + -3). Suppose 0 = s*c + 4*f + 10, -2*c - 2*f - 1 = 3. Is c bigger than -3?
True
Let f = 3/5 + -1/10. Let g be (-8)/(-3) - 20/30. Which is smaller: g or f?
f
Suppose 7*m - 12 = 4*m. Suppose 0 = 4*l + i - 9, l = 3*l + 3*i + 3. Is m < l?
False
Let s be 924/(-238) - (-2)/(-17). Is -4 smaller than s?
False
Let n = 17.8 - 2.8. Let x = n - 18. Is 2/7 less than x?
False
Let q = -15 - -21. Let a be -3 + 0 + -1 + q. Are a and 3/2 equal?
False
Suppose -5*n = -n. Let h(r) = r - 2. Let t be h(-2). Let v be t/6*3/(-10). Are n and v non-equal?
True
Let u = 0.25 - 0.35. Let c be (-2)/((-1)/((-6)/3)). Which is smaller: u or c?
c
Let a(m) = -m**2 + m. Let s be a(-1). Let h be ((-2)/6)/(s/24). Let t = 3 + 0. Is t at least as big as h?
False
Let x be ((-111)/9)/(1/(-3)). Is x at most as big as 35?
False
Let o be 9/(-36)*(1 - 0). Is 0.1 <= o?
False
Suppose 0 = -j + 2*f - 7*f - 16, -f = 3. Which is greater: -6/29 or j?
-6/29
Let q be 294/12 - 1/2. Let z = 11 - 8. Let s be z*(q/63)/(-4). Which is greater: s or 1/3?
1/3
Suppose 6*u = 3*u + 15. Suppose 1 = 2*c - 3*q, -30 = -3*c - 0*c - u*q. Is c equal to 4?
False
Suppose 0 = -3*v - v. Suppose v = 2*p - 3*p. Is p >= -2/11?
True
Let m = 37 + -22. Suppose u - 2*v = -11, -10 = -5*v + m. Let l(p) = -p**2 + p + 4. Let c be l(3). Which is smaller: u or c?
c
Let g(o) = -o**3 - 7*o**2 - 9*o - 2. Let b be g(-6). Let t be 7/4 + (-12)/b. Is t > 1/4?
True
Suppose 2*o + 12 + 28 = 0. Let w be 32/o - (-4)/(-10). Let c = w + 1. Is -1 at most c?
True
Let y = 3.1 + -6.1. Which is bigger: -13 or y?
y
Let l be (0 - 1)*2/(-38). Suppose -2*g = p - 1 - 6, -3*g = -12. Which is smaller: l or p?
p
Let h be ((-6)/1026)/(6/1557). Let s = h + 1/57. Is -0.2 <= s?
False
Let n(b) = -10*b**3 - b**2 + 2*b - 2. Let d be n(-2). Is d not equal to 69?
True
Let i be 1*3/6*-14. Let j = i + 9. Is 2 smaller than j?
False
Let h(l) = -l + 10. Let a be h(0). Let g be -1 + 0 + -9 + a. Which is smaller: g or -2/39?
-2/39
Suppose 5*o - 6 = 2*o. Let s be o/56 - (-10)/(-35). Is 1 greater than s?
True
Suppose -3*u - 3*a - 2*a + 22 = 0, 20 = -5*u + 3*a. Let c(v) = -5*v**3 + v**2 + v. Let r be c(u). Let x = r + -5. Is 0 not equal to x?
False
Let c(m) = -3*m**3 + 9*m**2 + m + 7. Let p be c(4). Which is smaller: p or -36?
p
Let u be (49/35)/((-4)/(-5)). Which is greater: u or -0.1?
u
Let t = 14 - 18. Let v = t + 49/13. Let y be 1/(-1) + -2 + 4. Are v and y equal?
False
Let s = 2 - 1. Let p be 4/10*s/2. Which is greater: 1 or p?
1
Suppose z - 4 = -2*o + 3*o, 3*o + 5*z = 28. Which is bigger: 2/15 or o?
o
Let h(x) = -x**3 + 8*x**2 - 2*x - 14. Let z be h(8). Is z bigger than -28?
False
Suppose 0 = 5*f - 2*z + 151, z = 5*f + 2*z + 142. Is f at most -30?
False
Let s be (0 + 4/(-136))*-2. Let r be (-2)/(-4) + 33/306. Let u = s + r. Is u at least as big as 0?
True
Let a(y) = y**2 - 5*y + 3. Let n be a(4). Is -1/19 smaller than n?
False
Let n(l) = -4*l**3 + 6 - 8*l - 2*l**3 + 8*l**2 + 5*l**3. Let c(m) = -m**3 - 3*m**2 - 2*m + 1. Let r be c(-3). Let t be n(r). Which is greater: -6/5 or t?
t
Let z = -6 + 7. Is z at most -1/26?
False
Let v be 0*(-2 - (-3)/2). Let a = v + 1. Which is smaller: a or -1?
-1
Suppose 0 = -2*t - 2*t + 60. Suppose -5*v + t = 35. Which is smaller: -5 or v?
-5
Suppose y + 0*y - 4 = -o, -3*o + 20 = -5*y. Let t = 57/520 - 1/104. Which is greater: y or t?
t
Let z = -8 - -11. Suppose -i + 10 = 5*r - z*i, 9 = r + i. Let l be r/(5/((-5)/(-2))). Which is smaller: l or 1/2?
1/2
Let v = -1/54 - -13/54. Let r = 2 - 2.1. Is r greater than or equal to v?
False
Let w = 3.1 - 3. Let g = 3 + -3. Let l = g - -1. Is w at most l?
True
Let q(d) = d - 1. Let x be q(-8). Is x smaller than -9?
False
Let s = 23/24 + -5/8. Let t be (20 + -22)*(-3)/6. Are t and s nonequal?
True
Let k be (-1)/(-10)*(-25)/(-10). Suppose b - 4*b + 2*w = 12, 0 = 5*b - 5*w + 25. Do k and b have different values?
True
Let b = 0.2 - 2.2. Let r = 2 - 2. Is b not equal to r?
True
Let f be (43/14)/(-1