number?
True
Suppose -2*u + 4*r + 684 = -90, -5*u - 3*r + 1896 = 0. Is u composite?
True
Let r be (-11 - -1)*(-8)/20. Suppose -h - r*t + 14 = 0, -6 - 9 = -h - 5*t. Is h a composite number?
True
Suppose 0 = c - 3*c + 2. Let i(k) = k**3 - k**2 - k + 1. Let v be i(c). Suppose 4*g - 2*u - 656 = v, -g + 3*u + 167 = u. Is g a composite number?
False
Suppose 5*g - 6*c - 965 = -c, -c + 189 = g. Is g prime?
True
Let w be 3/(-4) - (-1890)/24. Suppose p + 4*v + 0*v - 39 = 0, -2*p - 3*v + w = 0. Is p a composite number?
True
Let r be 1 + -10 + 1 + 0. Let x(l) be the first derivative of l**3/3 + l**2 + l - 8. Is x(r) a composite number?
True
Suppose 5*w - 4803 - 172 = 0. Is w prime?
False
Suppose 4*b - 5*p - 1 = -0*b, -3*b = 5*p + 43. Let q be (3/b + 0)*-2. Is (-1 - -2)*(118 + q) composite?
True
Let a(z) = -z + 11. Let c be a(8). Let x = 1 + c. Let r = x + -1. Is r composite?
False
Let b(t) = 7*t**2 - 7*t + 2. Is b(4) composite?
True
Let g(p) = 75*p**3 + 3*p**2 + 4*p - 3. Is g(4) prime?
True
Is ((-2)/(-6) - 0) + 51376/114 prime?
False
Let z(l) = -l + 8. Let n = 22 + -16. Let h be z(n). Is 2 - 66/(-4)*h a prime number?
False
Let r = 1210 + 1219. Is r a composite number?
True
Let m be (-1)/(-2*1/274). Let y = m - 88. Is y composite?
True
Let l = 975 - 288. Let j = -384 + l. Is j composite?
True
Suppose -32 = -5*q + r, -8*r - 13 = -4*q - 3*r. Suppose -q*d + 4*d = -771. Is d a prime number?
True
Let m = -15 - -38. Is m a prime number?
True
Suppose 4*o = -2*i + 5*o + 21, -5*i + 50 = -2*o. Let g(h) be the third derivative of 5*h**4/12 + 11*h**3/6 - h**2. Is g(i) composite?
True
Suppose -6*d = -4*d. Suppose i + 4*i + 110 = 5*q, -q - 5*i + 22 = d. Let w = q + -15. Is w a composite number?
False
Suppose 3809 = 3*t - 7*y + 3*y, 0 = 2*t + y - 2532. Is t composite?
True
Suppose -16 = -3*x + 2*x. Let a = x - -7. Is a a composite number?
False
Suppose w + 3*o - 1219 = 0, 4*o + 1393 = 2*w - 1025. Is w a prime number?
True
Let q be (0 - 2)*(-34)/4. Suppose -2*j + 501 + q = 0. Is j prime?
False
Suppose -2*u + 36 = -4*u. Let t be 4/u - 3475/(-45). Suppose 3*z = t - 2. Is z a composite number?
True
Let z = -47 - -25. Let g = z - -41. Is g composite?
False
Let h be -1*(-1)/1 - -5. Let z be 1/(2/h) + 0. Suppose 4*c = z + 25. Is c a prime number?
True
Let b(o) = 5*o**3 - 3*o**3 + 1 + o**2 + 2*o**3. Is b(2) prime?
True
Suppose 2*a - 63 = -21. Suppose -x + a = -1. Is x a composite number?
True
Let f = 184 + -86. Let y = -103 - -56. Let s = y + f. Is s a prime number?
False
Is -1 + -1 + (-5 - -46) prime?
False
Let b be (-1)/((2 + -3)/4). Suppose -b*y = -3*y - 5. Is 4/(-10) + 172/y composite?
True
Let z(w) = -w**2 + 10*w + 10. Let t be z(10). Let o be (1 - 6/t)*35. Let b = o - 7. Is b prime?
True
Suppose 0 = 2*g - g - 2. Let a(l) = -l**3 + 3*l + 2. Let o be a(-2). Suppose 2*c - x - 262 = 4*x, 0 = -o*c - g*x + 476. Is c a composite number?
True
Let h(r) = -2*r**3 - r**2 - 6*r - 2. Suppose w - 4*w - 9 = 3*f, 4*f = -w - 18. Is h(f) composite?
True
Suppose 0 = 4*k + 2*i + 3*i - 26, 2 = i. Let v = 15 + k. Is v a composite number?
False
Suppose -3*n = -0*n. Suppose -4*o = -2*o + x - 118, 3*x = n. Is o a prime number?
True
Let v = -1 + -3. Let q = 11 + v. Suppose q = 2*x - 1. Is x a prime number?
False
Let x be (2/(-5))/(4/220). Suppose 5150 = -8*o + 3*o. Is o/x - 4/(-22) prime?
True
Let d(w) = 3*w**2 - 6*w - 5. Let o be d(5). Suppose o = -0*b - b. Let h = 117 + b. Is h composite?
True
Let n(k) = 0*k - 4*k + k**3 - 2*k**3 - 6*k**2 + 3. Let a be n(-5). Let h = 4 + a. Is h composite?
False
Suppose 3*c - 550 - 635 = -4*u, 1580 = 4*c - 3*u. Is c prime?
False
Suppose -3*u = 4*p - 2695 + 82, 3*p - 3*u - 1944 = 0. Suppose -6*s + 3*s = -p. Is s prime?
False
Let f(z) = -z - 2. Let n be f(-7). Suppose -5*p = -n*r + 285, 192 = 5*r + 4*p - 75. Is r prime?
False
Let a be 68/16 - 6/(-8). Suppose -4*x - x + 155 = -a*n, 2*n - 31 = -x. Is x a composite number?
False
Is 3/(-5) - (-1 - 73/5) a prime number?
False
Suppose v - 3*d = 379, 769 = 3*v - 3*d - 368. Is v a composite number?
False
Let z = 1059 - 704. Suppose 1054 = -5*l - 2*a, -4*l - a + 0*a - 842 = 0. Let x = l + z. Is x composite?
True
Let l(c) = 22*c + 2. Suppose 10 = 2*q - 2. Is l(q) prime?
False
Let o be -2 + 3/((-9)/(-12)). Suppose a + o*n - 119 = 34, -a + n = -147. Is a composite?
False
Let q = 8 - 2. Suppose -q*y + 830 = -4*y. Is y composite?
True
Let o(w) = 7*w**2 + 7*w - 19. Is o(-14) a composite number?
True
Let p = 11 + 67. Let c be 121/(-3) - 4/6. Let k = p + c. Is k prime?
True
Let a be 1212/9 + 1/3. Suppose -42 + a = f. Is f a prime number?
False
Suppose 23 = b + 2*g, 0 = -4*b + g + 100 - 26. Let w = b + 0. Is w prime?
True
Let h(d) = d - 4. Let r be h(-5). Let x be (6/r)/(1/(-144)). Let b = x - 19. Is b composite?
True
Let z(b) = -b**3 - 6*b**2 + 3*b + 3. Let v(y) = -y. Let w(t) = -5*v(t) - z(t). Let n(a) = -4*a. Let s be n(1). Is w(s) prime?
False
Let w(t) = t**2 - 6*t + 1. Let p be w(8). Suppose -139 = -4*z + p. Is z a composite number?
True
Let l = 360 - 249. Is l prime?
False
Let o = -4 - -4. Suppose 0*s - 110 = -5*s + z, -2*s + 3*z + 57 = 0. Suppose x = -l + 21 + 2, x + 2*l - s = o. Is x a prime number?
False
Suppose 3*g + 21 = -0*g. Let c(d) = d**3 + 11*d**2 + 6*d - 5. Is c(g) prime?
True
Suppose -o = 5*b - 512, 7*o + 2*b - 984 = 5*o. Is o prime?
True
Let o = 1 + 2. Is (-5)/((-22)/7 + o) a prime number?
False
Let v(i) = 13*i**2 + i - 1. Let n be v(2). Suppose -q = -2*q + n. Is q a prime number?
True
Let a be 4 + (2 - 0 - 5). Let m(k) = 21*k**2 + 2*k - a - 11*k**2 + 2. Is m(-3) a composite number?
True
Is (301 - (0 - 2)) + -4 a composite number?
True
Is (-1912)/(-10) + (-1)/5 prime?
True
Suppose 3*n = 658 + 245. Is n a prime number?
False
Suppose -6140 - 1097 = -l. Is l composite?
False
Suppose 0*b - 10*b + 1130 = 0. Is b prime?
True
Suppose 5*a - 3*a = 4. Is 2 + 154/a - 2 prime?
False
Suppose 16 - 4 = 3*x. Suppose -x = 4*i - 20. Suppose -5*u + 3*p = -182, -i*p + 6 = 2. Is u composite?
False
Let v(l) = 19*l**2 - 5*l - 3. Is v(-4) composite?
True
Let z = 1 - 1. Let n be 13 - (-2 - (0 + z)). Let j = n + -8. Is j composite?
False
Let i(y) be the first derivative of -5*y**2/2 - 6*y + 5. Let a = -10 - -6. Is i(a) composite?
True
Let j be (-2)/4*(-48)/6. Suppose -5*f + 1201 = -j*u, 0 = -2*f + 3*f + 3*u - 225. Suppose 0 = t + 2*t - f. Is t a prime number?
True
Is 126 + 0 + -8 + 4 a composite number?
True
Suppose -6*c - 371 + 2741 = 0. Is c prime?
False
Let z(i) = i**2 + 7*i - 6. Let r be z(-8). Let u = 0 + r. Suppose 5*a + 7*c - u*c - 45 = 0, a = -5*c + 5. Is a prime?
False
Let n(i) = i**2 + 2*i - 3. Let s be n(2). Suppose 0 = -s*r + 5, 0 = -5*t + t + 4*r + 232. Is t a prime number?
True
Suppose -4*s + s = -c - 1, -3*c = -5*s - 9. Is (-56)/(-1) - (c - 7) a prime number?
False
Let j(r) = 46*r**2 + r + 1. Let c = -12 + 11. Is j(c) prime?
False
Let c be 60/9 - 8/12. Is (-1486)/(-6) - 4/c a prime number?
False
Let c = 166 - 72. Is c a composite number?
True
Suppose -3*w = w - 1468. Let f = w + -236. Is f composite?
False
Suppose -5*g - 12 + 227 = 0. Is g a composite number?
False
Let c be -6 - -4 - (-105 + 0). Suppose -c = -d + 100. Is d prime?
False
Let x = -61 + -11. Let q be ((-56)/(-6))/((-16)/x). Suppose 0 = -5*v + q + 68. Is v a prime number?
False
Let t(b) = b**3 - 7*b**2 + 8*b - 9. Suppose -k = 3*z + 41, 9 - 42 = 4*z - 3*k. Let d = -6 - z. Is t(d) a prime number?
True
Let q = 36 - -127. Is q composite?
False
Let r = 5 + -5. Suppose -3*k + 3*v = -r*v - 27, -4*k + 21 = v. Is k prime?
False
Suppose 5 = d - 0. Suppose -5*w + d*c + 258 + 2 = 0, 3*w + 2*c = 181. Is w a composite number?
True
Let s(c) be the first derivative of c**4/4 + 7*c**3/3 + 2*c**2 + 2*c - 4. Is s(-4) a composite number?
True
Let z be -1*(0 + 1 - -2). Let k(r) = -45*r - 2. Is k(z) a composite number?
True
Let i = 101 - 6. Let t = 220 - i. Suppose 0 = 4*m - 3*b - t, 4*m - 2*b = -5*b + 155. Is m prime?
False
Let u(c) = -6*c**3 - 2*c**2 - 2*c - 1. Let w be u(-1). Let g(s) = -w*s**2 + 5 + 6*s**2 + 13 + 5. Is g(0) a prime number?
True
Suppose 5*b - 3*m = 1250, -5*b - m + 1894 - 664 = 0. Is b composite?
True
Is ((-37)/(-2))/(3/66) a prime number?
False
Let d be (-1 - 11)*(-5 - -2). Let n be (4/(-6))/((-8)/d). Suppose w = -1 - 1, -n*m + 5*w + 79 = 0. Is m composite?
F