?
True
Let t be 2/(-3) + 326/84. Let y = -5/7 + t. Which is smaller: 4 or y?
y
Let n(g) = -2*g - 5*g**2 + 0*g**3 + g**3 - 6*g + 6. Let r be n(6). Suppose 11 = -2*k + 1. Which is smaller: r or k?
r
Let c = -12 - -10.99. Let z = -0.01 - c. Which is bigger: -0.2 or z?
z
Let c(o) = 2*o - 6. Let y be c(5). Suppose -5*d + 10*d = 4*a - 46, -4*d = 3*a - 19. Let b be (6/a)/(2/9). Is y <= b?
False
Suppose 2*i + 5 = 3*c, 5*c - 2*i - 2*i - 11 = 0. Let f be 11/(-5) - c/5. Is f greater than or equal to -2?
True
Suppose 3*j + 3 = -v, 3*j = -2*v - 6 - 3. Let f be 2/4*v/(-21). Let k = 49 - 50. Is f at least k?
True
Let f(p) = -p**3 - 11*p**2 + 13*p + 14. Let k be f(-12). Is 9/4 at most k?
False
Let s(t) = t**2 + 8*t + 5. Let f be s(-6). Let o(n) = -n**3 - 7*n**2 - n - 7. Let a be o(f). Which is bigger: 1/7 or a?
1/7
Let d = -3 - -3. Let h = -0.2 + d. Which is smaller: h or -6?
-6
Suppose 0 = -3*g - 0 + 18. Let w(b) = -b**2 + 12*b + 225. Let a be w(22). Is g at least a?
True
Let j be ((-12)/10)/(-1) - 1. Suppose -4*m + 4 = -4. Suppose -2*a + m*z + 2*z = -6, -3*z - 1 = -5*a. Is a greater than or equal to j?
False
Let c = -30 + 33. Let j(q) = -q**2 + 5*q - 4. Let r be j(3). Suppose -2*u - r*u + 4 = 0. Is u not equal to c?
True
Suppose -5*f + 7 = -8. Which is greater: 2 or f?
f
Let i = 19 - 14. Which is bigger: 4 or i?
i
Suppose -5*o + 24 = 4. Suppose -4*c = -5*b - 27, 8 + o = -4*b. Suppose -c*j - 18 = -4*p, 11 = -j - 0*j + 3*p. Which is smaller: j or 0?
j
Let h = 0 + 1. Let a(c) = -c**2 + c - 1. Let i(b) = b**3 - 5*b**2 + b - 6. Let g(v) = -3*a(v) + i(v). Let l be g(3). Which is smaller: h or l?
l
Let w = -7 + 27/4. Are w and 0.4 non-equal?
True
Suppose 1 = k - 2*k. Let c be (-2)/1 - (-2)/k. Let j be (-1)/(-2) + 2/c. Is 0 smaller than j?
False
Let g = 1.3 - 1. Let h = 0.5 + -0.7. Let w = h + g. Is -2 > w?
False
Let y = 83 + -83.13. Is y at most as big as -1/2?
False
Let s be (5/(-45))/(1/20). Let r = 26/9 + s. Are r and 0.04 non-equal?
True
Let z(i) = i**3 - i**2 + 5*i + 46. Let t be z(0). Which is smaller: t or 45?
45
Let q = -5 - -4.8. Let b = q - 0. Are -1/2 and b unequal?
True
Let h = 118/3 - 39. Let c(v) = 8*v**2 - v - 1. Let u be c(-1). Let p be u/(-6) - 1 - -1. Is h at least as big as p?
True
Let u = 1 - 2. Let y = -0.8 - u. Let j = -21 + 20.8. Which is bigger: y or j?
y
Suppose -2*h - o - 8 = -4*h, -h + 2*o = -1. Let c be 16/h - (-2)/(-10). Suppose -31 = 4*m - c*b, 0 = 2*m - b + 6 + 7. Do -3 and m have the same value?
False
Suppose -7*c + 3*c = 0. Suppose -a = -6*a + 25. Suppose c*g = -a*g. Is -1/5 not equal to g?
True
Let z = -25 + 25. Is 6 at least as big as z?
True
Let h be -1*((-1)/(-1) + 0). Let u = 10 - -6. Let g be (-2*2/u)/1. Is g at most h?
False
Let t(r) = r + 12. Let n be t(-16). Is n <= -4?
True
Let a = -630 - -4401/7. Is a at least -2?
True
Let c = -4 - -9. Is c at least 4?
True
Suppose -2*q + 208 = -6*q. Let s be q/(-120) - (-2)/5. Is s > 1?
False
Let t be 3 + (4 - 1) + -3. Suppose 8*h - t*h + 30 = 0. Let d = h + 2. Which is bigger: d or 0?
0
Let b = 36 - 18. Let s = b - 12. Suppose -g + 0 = s. Are g and -7 non-equal?
True
Let x be (-8)/10*(-385)/22. Suppose -4*a + 6 = -x. Which is smaller: 4 or a?
4
Let i be (-3 + 6 + -4)*-4. Suppose i*v + 24 + 8 = 0. Is v at least as big as -8?
True
Let w = -148/3 - -1646/33. Let u = 0.04 - 0.07. Let v = u - 0.07. Is v >= w?
False
Let f = -5 + 7. Let b(g) = g**3 + 8*g**2 - 8*g + 8. Let v be b(-9). Let t = f + v. Which is bigger: 2 or t?
2
Let k(f) = f**2 - 3. Let j be k(0). Which is smaller: j or 0?
j
Let d(z) = z**2 - z + 3. Let m be d(0). Which is smaller: 1 or m?
1
Suppose -4*w = -3*w - 3. Let i(h) = h. Let q be i(w). Which is smaller: q or 0?
0
Suppose -4*j - 3*a + 0*a = -7, 4*j + 1 = 5*a. Let x be (4/(-14))/(-3 + (-5)/(-2)). Is j at least as big as x?
True
Let x = -182914/9 - -20258. Let b = 66 + x. Is b < 0?
False
Let o = 34/59 + -2909/236. Which is smaller: -11 or o?
o
Let y = -4 + 9. Let p(d) = d**2 - 6*d + 3. Let i be p(y). Let g be (-7)/(-4) - 0 - (-5 - -8). Is g at least as big as i?
True
Let n be (1 - 2)/((-1)/5). Suppose -n*b = -0*b. Let l = 3 + -2.8. Which is smaller: b or l?
b
Suppose 3 = -3*s, 3*s - 6*s = 3*c + 3. Are c and 5/6 equal?
False
Let u be 1196/(-36) + 6/27. Let q be 4/22 - 27/u. Is -4 bigger than q?
False
Suppose -m + 12 = 3*m. Let b = 69/22 - 40/11. Is b > m?
False
Let q = 0.07 + -0.27. Let y = q - 0.1. Is 0.1 <= y?
False
Let t be (-4)/63*3*7/6. Which is greater: t or -0.2?
-0.2
Let l = -224.3 - -234. Let x = -10 + l. Let r be 3/(-2) + (-2)/(-4). Which is bigger: x or r?
x
Suppose 5*d - 10 = -0*d. Suppose 0 = -d*o - 4*t - 4, o + 3*t = 1 - 4. Which is smaller: 1/10 or o?
o
Let q be 8*-1*(-3)/(-78). Is 1 less than or equal to q?
False
Let x = 60.1 - 61. Which is smaller: x or -1?
-1
Let m(u) be the third derivative of u**4/24 + 5*u**3/6 + 3*u**2. Let c be m(-6). Is c bigger than -2/11?
False
Let k = 26 - 23. Suppose -3*c - u = -2*c + 13, 5*u + 49 = -k*c. Which is greater: -9 or c?
c
Suppose 2*n - 2 - 4 = 0. Suppose 0 = -2*p + 15 - n. Let u(l) = -l + 6. Let v be u(p). Which is greater: v or 2/17?
2/17
Suppose 4*q = 3*q + 2*n + 2, -4 = -3*q + 5*n. Which is bigger: -13/4 or q?
q
Let b be (-5)/(-20) - 7/12. Suppose 0 = -0*w + 2*w + 2. Is w <= b?
True
Let i = 29/4 - 7. Is -1 < i?
True
Suppose -b + 4 + 26 = 0. Is 31 at most as big as b?
False
Suppose -3*y = -6 - 0. Suppose y*j = -0*j + 8. Suppose -2*i - 5 = -j*w - 1, 8 = -5*w - 4*i. Are 1/3 and w non-equal?
True
Let r = -5 - -9. Is r greater than 6?
False
Suppose 11 = 4*m - p, -1 + 11 = 3*m + p. Suppose -u + 3*f = -12, u - m*u + 16 = -4*f. Let i be (1/2)/(34/(-8)). Which is bigger: u or i?
u
Let a be ((-39)/(-52))/(6/(-28)). Is a greater than -3?
False
Let o = 0.08 + 0.42. Let f = 0.8 - o. Is f greater than -2/5?
True
Let i(j) = 3*j**3 + 4*j**2 + 2*j. Let w be i(-2). Let a = 0 + w. Is a less than or equal to -12?
True
Let j = 0.056 + -6.056. Which is bigger: j or -2?
-2
Let p = -103 + 229/2. Let c = 11 - p. Which is bigger: -0.1 or c?
-0.1
Suppose 4*l + t + 10 = -11, 5*l + 3*t = -35. Is l greater than or equal to 2/3?
False
Let m(o) = -o + 13. Let g be m(3). Is g greater than 9?
True
Let k = 0 - 2. Let h be ((-6)/k - -1)/(-1). Which is smaller: h or -5?
-5
Let g = -0.102 + 3.902. Which is smaller: -1 or g?
-1
Suppose -4*i + 4 = -4. Is i at least -1?
True
Let k = 40 - 42. Let n = 10 + -5. Suppose -3*o + 4*y + 19 = 0, -n*o - 3*y - 1 = 6. Is k > o?
False
Suppose g + g + 6 = 0. Let q be 1/(3 + (g - 1)). Are -2 and q equal?
False
Suppose f = 3*f - 3*i + 3, -2 = -2*i. Does -1/3 = f?
False
Let u be 37 + 1 + (-2 - -3). Let h be ((-4)/u)/((-6)/(-9)). Suppose 28*x = 3*x + 25. Is h bigger than x?
False
Let c(j) = -j + 10. Let h be c(8). Suppose -2*r - h*r = 16. Let x be 3/1*r/(-6). Which is smaller: x or 4?
x
Let b = 8 + -6. Suppose 0 = -b*y + 2 - 0, 0 = 4*s - y - 31. Which is bigger: s or 9?
9
Let d be (-28)/15 - (-2)/10. Let h(s) = -s**3 + 5*s**2 + 3. Let m be h(5). Suppose m*f = -2*f - 10. Is d not equal to f?
True
Let c(q) = q + 4. Let v be 6/4 + 2/4. Suppose 10 = -4*i + v*k - 20, i + 15 = 2*k. Let u be c(i). Which is smaller: 1 or u?
u
Let l be 6/(-4)*28/21. Are l and -3/5 equal?
False
Let s(j) = 21*j + 1. Let k be s(3). Let v = k - 255/4. Is v greater than or equal to 0?
True
Suppose 3*w + 2*w - 37 = -4*u, -u = -3*w + 12. Let z be (u - 3)/(0 + 1). Let j be 90/585 - (0 - 0). Is z bigger than j?
False
Let g be (4/(-16))/((-1)/(-4)). Which is smaller: g or -11/6?
-11/6
Let p be 13/(4*(-4)/(-16)). Is 12 greater than or equal to p?
False
Suppose -l - 2*j + 6 = 1, 4*l = -2*j + 2. Let y = 3 + 0. Let d = y + -4. Is l < d?
False
Let j be (0/(1 - -4))/2. Which is smaller: 2 or j?
j
Let f be (-2)/((0 - 4) + 2). Let r be 1*(-1)/3*f. Which is smaller: 1 or r?
r
Let q be 10/25 - (-12)/(-10). Let v = q - -3/10. Which is greater: 17 or v?
17
Suppose -6*v + 3*v = 0. Let z(f) = f**3 + 8*f**2 - 9*f. Let m be z(-9). Suppose -2*d + 2 + v = m. Does d = 3/7?
False
Let k = -0.94 - 0.06. Let f = k - -0.9. Which is bigger: f or 2/3?
2/3
Suppose 3*r + 119 = -4*l + 2*l, 3*l = r - 195. Let m = 4643428/72347 - 6/6577. Let g = m + l. Are 1 and g unequal?
True
Let w = 46 - 19. Suppose -5*d = w - 67. Are d and 8 nonequal?
False
Let a = 2 - 0. Let x be (-7)/42 + (-2)/(-