rue
Let k(j) be the second derivative of -j**3/3 + 2*j**2 + 2*j. Let m be k(3). Let r be ((0 - m)/(-4))/3. Which is bigger: -1 or r?
r
Let u(t) = -t**3 + 7*t**2 - 7*t + 8. Let j be u(6). Suppose 4*o - 5 - 3 = -j*k, 5*o + 2*k = 10. Suppose -g + a - o = 0, -4*a = 3*g - g - 8. Is g equal to 2?
False
Suppose t + 2*t = 0. Let q(m) = m**2 - 5*m - 4. Let b be q(5). Let u(f) = f**3 + 4*f**2 + 1. Let z be u(b). Do z and t have the same value?
False
Suppose 3*i = 2*i + 18. Let v be 2*(3 - 51/i). Suppose -8 = 2*t, -4*t = 3*y - t + 21. Which is smaller: v or y?
y
Let s be (-18)/(-8) + (-1)/4. Suppose -2 = s*b - 0*b. Let w be 32/(-84) + (-4)/(-6). Is w less than b?
False
Let j = 5 + 11. Let l = j - 15. Which is greater: l or -0.06?
l
Let r be 6/9 + 8/(-3). Let w = -2929/7 + 417. Which is smaller: r or w?
r
Let f = 895/2 + -458. Which is bigger: -10 or f?
-10
Let o(h) = -3 - 3*h + 0 - 5 + h. Let r be o(-6). Suppose r*v = v. Is 0 at most as big as v?
True
Let v = 2069/15 + -138. Is 0 less than v?
False
Let m be 1 + (-2)/8*103. Let f = -25 - m. Is -5 bigger than f?
False
Suppose 4*z - 40 = -2*w, 9 = z + w - 3. Let v = -6 + z. Let c be (-2)/2*0/v. Are c and 0 nonequal?
False
Let s = 258 + -180. Let a be s/105 + (-3)/5. Suppose -5*d + 0*l - 5*l = 30, 20 = -4*l. Is a >= d?
True
Let z be (-2)/(-3)*18/12. Is z less than or equal to 1/3?
False
Let k = -45 - -39. Let n(a) = a - 3. Let m be n(-3). Let x be (m/44)/(k/8). Are x and 0 nonequal?
True
Let m = 5 - 4.9. Let n = -0.09 - -6.09. Which is smaller: n or m?
m
Let a be (2/4)/((-4)/(-96)). Suppose -6*s + s - 3*b = -7, a = 3*b. Which is smaller: s or 2/47?
s
Let n(y) = y - 10. Let h be n(6). Let i = -3 - h. Are -2/81 and i nonequal?
True
Let r = -32 + 30. Which is smaller: -3 or r?
-3
Let q be 2 - (70/16 + 0). Let m be (-83)/(-40) - 1/(-2). Let w = m + q. Which is smaller: 1/3 or w?
w
Let g be (-9)/(-15)*(3 + -8). Which is smaller: g or -1?
g
Let j = 202/3 - 66. Suppose -3*q + 7 = -5. Suppose q*u = u. Which is smaller: j or u?
u
Suppose 10 = 3*m + 2*m. Suppose -3*p = -7 - m. Suppose 3 = -p*k - 0. Is k > -2/9?
False
Let f be 33/(-108) + (-1)/4. Let o = f - -1/18. Let l = 0.01 + 1.99. Which is bigger: o or l?
l
Let l = -0.03 - 1.97. Let q = l - -2.2. Let m = q - 0. Are m and 1 nonequal?
True
Let i = 31.3 - 32. Which is smaller: i or 2?
i
Let i be (-39)/(-2) + (-12)/8. Suppose 4*w = -10 + i. Do 3 and w have different values?
True
Let x(r) = -3*r + 7. Let y be x(3). Is y < -1?
True
Let h = 2 - -15. Let j = 11 - h. Which is smaller: -7 or j?
-7
Let i = 4 + -3.9. Suppose 2*c = 5*f + 4*c - 19, 3*c = -2*f + 12. Suppose f*d + 0 = 3. Which is smaller: i or d?
i
Let s(r) = r**3 + 7*r**2 + 10*r + 21. Let h be s(-6). Is h greater than or equal to -1?
False
Let w = -5045/14 + 360. Is w at least as big as 0?
False
Suppose 2*y = -3 + 1, -3*y + 7 = 5*j. Which is greater: j or -13?
j
Suppose 3*n = 3*c - 8*c, 0 = 2*n - 4*c. Does n = -5?
False
Suppose 2*f - 3*f + 1 = 0. Let h = 189 - 3585/19. Is f bigger than h?
True
Let a be 1 - (-29)/(-1)*-1. Which is bigger: 31 or a?
31
Let m(b) = -b**2 + 5*b + 14. Let v be m(7). Let w be 4 + (-6)/2 + v. Is 2 != w?
True
Let u be (1/4)/(1/(-2)). Let o(g) = -g**3 - 8*g**2 - 7*g + 8. Let m be o(-7). Let n be (4/21)/(m/(-12)). Is n < u?
False
Let f be 3 - (-2 - -2) - 0. Let l(t) = -t**3 - 4*t**2 + 8*t + 5. Let y be l(-6). Suppose -y = f*r - 7*r - 5*w, -r + 26 = 5*w. Which is greater: 0 or r?
r
Let c(l) = -l**2 + 13*l + 11. Let y be c(13). Is y < 4?
False
Let x = -2 + 7/3. Let g = 263/3 + -87. Are x and g unequal?
True
Let o = 1486/5 + -299. Which is smaller: -3 or o?
-3
Let s(f) = -f**2 + 5*f + 6. Let y be s(5). Let i = y + -7. Let p be -1*(1 + 0/(-2)). Is i equal to p?
True
Let s be (-2)/4 - (-2)/(-4). Let y = 283 + -3115/11. Is s bigger than y?
False
Let m be (-1 + -1 + 2)/2. Let i = -3 - m. Let h be 2*1 + 1 + -7. Is i smaller than h?
False
Let z = 48 - 25. Suppose 0*p + z = -3*q + 4*p, 5*p = -3*q - 5. Which is smaller: -6 or q?
-6
Let u(c) = -c**3 - 10*c**2 - 12*c - 7. Let r be u(-8). Which is greater: -40 or r?
r
Let x be 5 + (-2 - -1)*1. Let f = x + 0. Is f > 3?
True
Let s be 0/2 - (0 - 0). Let p = 3 + -1. Suppose z = -z - p. Which is greater: z or s?
s
Let y = 998/957 + -32/29. Suppose s - 2*s = 4*s. Which is bigger: s or y?
s
Let u = -7 + 10. Suppose 5*f + u*t + 21 = -t, -5*t = 20. Which is smaller: f or -2/9?
f
Let v = -18 + 18. Let f be ((-6)/(-4))/(6/8). Let c be f/4 - (v + -1). Which is smaller: c or 3?
c
Let o = 2 + 0. Suppose -j - 3*l + 5*l = -6, 39 = 3*j + l. Let q be -4*(0 - 3/j). Which is bigger: o or q?
o
Let r(k) = -3*k**2 - 3. Let q be r(4). Are -51 and q nonequal?
False
Let s(p) = 13*p**2 + 3*p - 12. Let n(y) = -7*y**2 - y + 6. Let q(h) = 11*n(h) + 6*s(h). Let a be q(-8). Let w = -2 - -1. Is w > a?
False
Let a = -38/1883 + -1420297/67788. Let d be -1 - (316/16 - 0). Let g = d - a. Is g at most as big as -1/6?
False
Let a = 0 - -3. Does 7/4 = a?
False
Let y(q) = -q**2 + 13*q - 12. Let s be y(12). Which is bigger: -1/84 or s?
s
Let m(a) = -a + 4. Let z be m(3). Let i = z - 5. Suppose -o - 5 = -0. Are o and i equal?
False
Let h(d) = d - 4. Let i be h(3). Suppose -3*y - 3*b = b - 37, 5*y - 58 = -3*b. Suppose -5*v = -1 + y. Which is greater: i or v?
i
Let c = -20 + 63. Do c and 1 have the same value?
False
Let w = 8 - 7. Is 3/11 at least as big as w?
False
Let w = 58.14 - 0.14. Let k = 64.2 - w. Let c = k + -6. Which is smaller: c or 2/7?
c
Let p = -21401/41 - -522. Which is bigger: p or 1?
1
Let y = -52 + 574/11. Which is smaller: 1 or y?
y
Let i = 0.2 + -0.3. Let l = -91.9 - -97. Let z = 5 - l. Is i bigger than z?
False
Suppose -4*s = 4*m + 15 + 1, 2*s = -5*m - 14. Is s != -4/7?
True
Let r = 2 - 1. Let q = 182 + -1636/9. Which is smaller: r or q?
q
Let t be (-24)/(-2 - 0) - 0. Let x = t + -8. Let s = -5 + x. Is s bigger than -2/3?
False
Let z = -18.02 + 0.02. Which is greater: z or -2?
-2
Suppose 2 = -9*i + 8*i. Which is smaller: -4 or i?
-4
Let v be (-2)/(1 + 1)*(-23 - -20). Do v and 4 have the same value?
False
Suppose -5*z + 0 = -25. Suppose 6 = -3*k + l - 0, 2*l = -z*k + 1. Is k greater than -2?
True
Let u = -5 + 3. Suppose 0*w = -4*j + 2*w, 0 = 4*j - w + 4. Let b be 0/(-5 - -2) + j. Is u greater than b?
False
Suppose j + 4*j - 10 = 0. Let a be ((-1)/(-6)*j)/(-1). Let z be (-1)/((-8)/12 + 1). Is z at least as big as a?
False
Let q = -152/3 - -331/6. Let k(v) = -v**3 - 5*v**2 - 4*v - 6. Let r be k(-4). Let l = q + r. Which is greater: 1/4 or l?
1/4
Suppose 0 = 2*x - 3 + 19. Let r = 4 + x. Is -4 <= r?
True
Let y = 0 - -2. Let a be 1*(0 + 3) - 8. Let p = a + y. Is p less than or equal to -2?
True
Let v be -6 + 6 - (-1 - -2). Which is smaller: v or 7/3?
v
Let l be -1*(3*1)/1. Let k be (-3)/(-9)*(2 - -1). Let c be k/(-5) - 18/10. Which is bigger: c or l?
c
Let y(p) = -3*p**2 + 3. Let i be y(2). Is -8 greater than or equal to i?
True
Let v be ((-6)/(-5))/((-45)/300). Is -7 < v?
False
Let x = 801 - 18426/23. Do x and 1 have the same value?
False
Let b be 4/17*(4/8 - 0). Is 1 smaller than b?
False
Let p = 5 - -1. Suppose -3*b + 6 = t, -b - 10 = 2*t - p*b. Suppose -a + 6 = -2*u, 3*u + 5*a = 2*u + 8. Which is smaller: t or u?
u
Let y(x) = -x**3 - 3*x**2 + 4*x - 3. Let m be y(-4). Let h = 17 + -30. Let z(u) = u**2 + 14*u + 11. Let d be z(h). Which is smaller: d or m?
m
Suppose -10 = -m - 4*m. Suppose m*c - 4 = u, -3*c + 8*c - 5*u = 0. Suppose -b - 5 = -q, -c = -b - q - q. Is b less than -2?
False
Let w = 6 + -1. Suppose -3*q = -2 + w. Let a(r) = -r**3 + 6*r**2 + 7*r. Let j be a(7). Is q equal to j?
False
Let o = -4 + 1. Let i be -6*(-2 - 16/(-6)). Which is greater: i or o?
o
Let d = 98 + -99. Is d <= -1/12?
True
Let f = 3 - 3. Let w = f - -0.2. Which is smaller: w or -2/9?
-2/9
Let r = -30 + 47. Let u = 7 - r. Let a = u - -11. Is 2/11 bigger than a?
False
Let r = 7 + -15. Let d = r - -2. Is -6 <= d?
True
Suppose 2*a + 1 = -3. Let u = a + 3. Let f = -311/10 + 31. Which is greater: u or f?
u
Let s be (-3)/9 - 32/(-6). Let k = -0.028 - -0.028. Are k and s non-equal?
True
Let m = 8 - 5. Suppose m = b + 4*c, 0 = 5*b - 3*c - c + 9. Is -2 at most b?
True
Let g = -2 + -1. Let c = -5 + 10. Suppose 0*h + 3*p = -c*h - 35, 3*h + 22 = -2*p. Is h smaller than g?
True
Suppose 0 = -4*s - 11 + 31, 0 = -3*