a?
0
Let g(z) = -z**2 + 3*z - 6. Let b be g(4). Let u be (1 + 1)*25/b. Let i = 6 + u. Is i less than -1/5?
False
Suppose 2*z = 4*l - 4, -5*z + 11 = 5*l - 39. Let t be ((-4)/12)/(2/z). Is -1 >= t?
True
Let w be -1 + -1 - 0 - -9. Let n = w - 5. Let k be -3 + 3 + n/(-7). Which is greater: -2 or k?
k
Let v = -6.05 - -6. Let d = v + -0.05. Is d bigger than -6?
True
Let s(k) = k**3 + 7*k**2 + 5*k - 3. Suppose 6 = -p - 2*r - 6, 0 = r + 3. Let g be s(p). Is 3 smaller than g?
False
Let v be (-1)/((1/(-2))/(3/(-6))). Is -3/52 greater than or equal to v?
True
Let m be 1 - 2*2/(-4). Suppose 0 = -m*h - 1 + 3. Let d = h - 2. Is 0 <= d?
False
Let f = 3.9 - -21.1. Let x = -20 + f. Which is smaller: x or 0?
0
Let m be (-2 - -5)*(-2)/(-6). Suppose -2*i + 5*w + 0*w - 12 = 0, 3*i - m = -2*w. Is i at most as big as -1/7?
True
Let u(q) = 3*q - 1. Let w be u(-3). Do -8 and w have different values?
True
Let d = 11.1 - 11. Do -14 and d have the same value?
False
Let u = 7 + -9. Let t(a) = -a**3 + a - 2. Let d be t(u). Is 5 less than or equal to d?
False
Let c(j) = 3*j**3 - j**2. Let u be c(1). Is 30/17 smaller than u?
True
Let o be (-3 - 2)*18/(-30). Is 3 less than o?
False
Let q = 9426737/261 + -36118. Let j = -1/87 - q. Which is smaller: j or -4?
-4
Let l = 72 + -22. Is l <= 50?
True
Suppose 2*l + 0 - 1 = f, -5*f = -2*l + 45. Let q = 3 + -13. Which is bigger: f or q?
q
Let w = 684/7 - 98. Let x be (-1)/(1 - -1)*2. Which is bigger: w or x?
w
Let w be 5/(-30) + (-2)/(-12). Let t = -3 - -4. Which is greater: w or t?
t
Let f(g) = -g + 7. Let y(b) = b**3 - 4*b**2 + 3*b - 4. Let c(s) = -s. Let q be c(-4). Let l be y(q). Let x be f(l). Which is bigger: 0 or x?
0
Let i = -0.2 - 0.6. Let b = -0.1 - i. Let r = b - 2.7. Is 1/4 at most r?
False
Let l = -14 + 16. Suppose -3*p + 5 = l*p. Which is smaller: -6/13 or p?
-6/13
Let c = -17 - -8. Is -1/2 >= c?
True
Let o(y) = y**2 - y - 1. Let v be o(1). Let m be (-1)/v + (-305)/207. Let k = -16/23 - m. Which is greater: 1 or k?
1
Let n = -11.9 - 0.1. Let y = n + 8. Which is greater: y or 2/7?
2/7
Suppose -3*i + 9 = -3*d - 0*d, d - 3*i = -5. Which is bigger: -7/6 or d?
-7/6
Let s(g) = g**2 - 4*g + 3. Let p be s(4). Suppose v + p*v + 8 = 0. Let r = -29 - -27. Is r smaller than v?
False
Let c be ((-3)/(-2))/(54/8). Let t = -1 + 4. Suppose 0*w - t*h = -2*w - 13, 5*w + h = 10. Which is bigger: w or c?
w
Let x be 3/(-4)*-39*(-28)/(-21). Is x less than 38?
False
Let i = -2 + 2. Suppose s + 3 + 7 = i. Let a(x) = x**2 + 9*x - 10. Let p be a(s). Is 2/19 not equal to p?
True
Suppose 11*i = 6*i + 5. Suppose i - 15 = -2*y. Are y and 8 non-equal?
True
Suppose 4 = -5*l + 24. Let n be 32/180 - l/18. Is 1 greater than or equal to n?
True
Suppose 2 = -14*f + 13*f. Suppose 3*k + 9 = -0, 15 = -4*i + 3*k. Let r be f + ((-9)/i)/(-3). Are r and -3 unequal?
True
Let o = 1 - -1. Let n be ((-4)/(-8))/(o/(-32)). Let m be 25/14 - n/(-28). Is m smaller than 1?
False
Let v = -5/7 - -1. Let q = 5 - 5.07. Is q smaller than v?
True
Suppose 0*z + z = 0. Let l be (-1285)/(-525) + 4/14 + -3. Which is smaller: l or z?
l
Let c = 0.049 + -0.029. Which is smaller: 0.4 or c?
c
Let m = -709 - -4955/7. Suppose -5*z = -3*l + 15, -4*z - l - 25 = -6*l. Which is smaller: z or m?
m
Let v be (-420)/320*2/3. Which is bigger: v or -2?
v
Suppose -3 = 4*a - 4*v + 1, -3*a - 7 = -5*v. Suppose 3*n - 18 = 141. Let h = n - 263/5. Which is bigger: a or h?
a
Let q(b) be the second derivative of -b**3/6 - b**2/2 + 2*b. Let n(y) = -y - 7. Let z be n(-5). Let l be q(z). Which is smaller: 2 or l?
l
Suppose -5*m + 3*b = 0, -2*m + m - b = 0. Suppose 2*n - 16 = 26. Let s be 3*(44/n + -2). Is m >= s?
False
Let u(c) = c - 3. Let w be u(3). Suppose -23 + 67 = m - 2*z, 2*z + 6 = w. Let n = 192/5 - m. Are -1 and n equal?
False
Let b = 0 + 2. Let k = 134 + -2681/20. Let l = k + 23/60. Which is bigger: b or l?
b
Suppose 9*k - 8*k - 14 = 0. Let b be 4/(-2) + 0 - -16. Is k equal to b?
True
Let x = 962/165 + -112/15. Which is smaller: -1 or x?
x
Let i = -3.04 - -0.04. Let r = 2 - i. Let l = 5.5 - r. Is l >= -2/5?
True
Let y be 6/45 + 1*(-2)/10. Is -1 at most as big as y?
True
Let a(i) = 2*i + 4. Let k be a(6). Is k greater than 16?
False
Let w be 9 + -10 + (-25)/(-3). Is w greater than 7?
True
Suppose -2*p + 15 = 3*p, -5*x = 4*p - 47. Is -2 at least x?
False
Let o = 23 + -38. Let x be o/(-6)*18/(-15). Which is smaller: -5 or x?
-5
Let k = -22 + 21. Let i be 2*(15/42 - 1). Which is bigger: k or i?
k
Suppose 2*l = -2*l - 24. Let i be (2/l)/((-4)/(-12)). Which is greater: i or 0?
0
Suppose -4*v + 0*v = -16. Suppose 3*q + v*y = 2, -4 = 4*q + 2*y + 2*y. Is 2 != q?
True
Let m = -0.05 + 0.14. Let g = -0.01 - m. Is g < -3?
False
Let d(f) = -f**2 - 9*f + 9. Let o be d(-10). Let s be 2/o + 3 + 2. Which is bigger: s or 13/4?
13/4
Let l(d) = -3 + 5 - 4*d - 3. Let c be l(-1). Which is bigger: 0 or c?
c
Let a = 125/4 - 31. Let x = -11 - -10. Let p = -2 - x. Which is smaller: p or a?
p
Suppose l = -3*h - 6, -2*l - 3*l - 4*h = 41. Let m = 6 + l. Let s(y) = y + 2. Let q be s(-5). Is q smaller than m?
False
Let q be 2 + 12/(3 + -2). Is 14 at most as big as q?
True
Suppose 0 = -h + 3 - 2, 5*k + h = -44. Is -9 > k?
False
Let k = -3937/13 + 303. Let b be -1 + (-3 + 3)*(2 - 1). Which is greater: b or k?
k
Let s(o) = -2*o**2 - o + 4. Let m = -17 - -14. Let f be s(m). Which is greater: f or -12?
f
Let t(o) = -2*o - 2. Let b be t(2). Let i be b/(-8)*(-1)/2. Which is bigger: i or -1?
i
Suppose -r + 11*r - 450 = 0. Which is greater: 47 or r?
47
Let h = 21 - 15. Which is bigger: 7 or h?
7
Let z be (-2 + 0)*(-1)/5. Let l be (4 - 17/4)*(-12)/15. Is l <= z?
True
Let t be 5/(-8)*6/(-15). Suppose -27 = 4*n - n. Let y be (6/n)/((-10)/(-6)). Is y less than or equal to t?
True
Let o = 2/9 + -8/9. Do o and -3 have the same value?
False
Suppose -3*z - 48 = 3*r - 6*r, 3*r - 46 = 2*z. Is r less than or equal to 15?
True
Let b = -10 + 9.96. Let f = 31 - 123/4. Which is smaller: b or f?
b
Let l be 960/(-72)*(-6)/4. Do -2 and l have different values?
True
Let j = -20/21 - -2/7. Let x = 28 + -83/3. Is x at least as big as j?
True
Suppose 6 - 1 = d. Suppose -d*l + 2*v = -3*v - 10, -5*l = v - 4. Is l at most -3/8?
False
Let y = -386/11 + 35. Let i be (-1 - 3 - -3) + 1. Is y greater than i?
False
Let h = -0.117 + 0.017. Is 3/13 > h?
True
Let q = -3 + 2.8. Let i = q + 0.1. Suppose 47*f + 117 = 399. Is i smaller than f?
True
Let f = 19 - 6. Is f less than -1/2?
False
Let o = 0.02 - 0.62. Let b = o + -0.4. Is 1/2 != b?
True
Let p = -1709/11 - -155. Is 0 != p?
True
Let a be 3/(-6)*1/2. Are a and -4 unequal?
True
Let v = 1300883/95 + -13693. Let g = -2/19 + v. Which is smaller: g or -0.07?
-0.07
Let i be (-4)/(-2) - (1 - 3). Suppose 2*g - 6 = i*g - 4*b, 0 = g - 4*b + 5. Let h be (1 - 2)*(-2 + 3). Is g not equal to h?
False
Let o(j) = 5*j + 12. Let y be o(-5). Let k = -12 - y. Which is bigger: -1/4 or k?
k
Suppose -4*m + n = 27, -3*m + n - 11 = -m. Let d be ((-2)/m)/(315/(-56)). Which is greater: d or 0?
0
Let s be (-4)/(-30) + (-8)/60. Let r = 2 + s. Is r at least as big as 4?
False
Let f(o) = o + 12. Let k be f(-7). Let u(d) = d**3 - 6*d**2 + 5*d. Let t be u(k). Is t >= -1/10?
True
Let g be (0 + 1)*(-7 - -11). Is 5 less than or equal to g?
False
Let u = 3/4 - 23/28. Let k(r) = -r**2 - r. Let z be k(-1). Is u > z?
False
Suppose -2*g = -2*p - 1 - 3, -3*p - 3*g + 18 = 0. Suppose c = p*c. Let i be (-28)/(-16) - (c - -2). Is i at most as big as 0?
True
Let u = 3.58 - 4.7. Let k = u - -0.12. Let o = 10 - 3. Is k smaller than o?
True
Let s(i) = i**2 + 3*i - 2. Let g be (-2)/8 + (-30)/8. Let o be s(g). Suppose 4*w = 4*a + 16, o*a = 5*w - 0*a - 5. Is w not equal to 1/4?
True
Suppose -34 = 3*i - 7*o + 2*o, 0 = -4*o + 20. Let l = i - -2. Which is bigger: l or 2/11?
2/11
Let m = 0.102 - 0.402. Which is smaller: m or -2/17?
m
Suppose -4*x = -2*z - 8, 4 = -3*z - x - 1. Suppose 3*h + 4 = -5. Is h greater than or equal to z?
False
Let l = 6 + -3. Let k = -7 + l. Let z be ((-2)/k - 0)*-2. Is -1/2 > z?
True
Let w(h) = h**3 + h**2 - h + 2. Suppose -q = -1 + 3. Let m be w(q). Is m equal to -2/9?
False
Let q be 4/(-6) - 16/(-33). Let b = 96 + -95. Which is bigger: b or q?
b
Let q(r) = -6*r - 1. Let u be q(1). Let f(k) = k**3 + 8*k**2 + 9*k + 10. Let g be f(u). Suppose -w + 15