k prime?
False
Let i = 5 + 7. Let v be 3/(-1)*(-3)/(-3). Let n = i - v. Is n composite?
True
Suppose -50 = -5*g - u + 1035, 852 = 4*g + 4*u. Suppose -7*s + 3*s + 12 = 0, 3*o + s = -270. Let k = o + g. Is k a composite number?
False
Suppose 0 = -2*z - 3*z - r - 897, -4*z + 4*r = 708. Let a(d) = -77*d**2 + d. Let l be a(2). Let f = z - l. Is f composite?
False
Suppose -60*i = -62*i + 110. Is i composite?
True
Is (6/15)/(-1) - 3628/(-20) prime?
True
Let z be 1/(((-3)/(-9))/(-1)). Is -47*2/(z - -1) a composite number?
False
Suppose 3 = 4*u - b + 5, -b - 5 = 3*u. Is (4/u + 3)*-211 a composite number?
False
Suppose -2*r + 3*r + 1 = -4*i, -3*i + 5*r = -5. Is -69*(-1 + i/2) a composite number?
True
Let t(c) = 58*c**2 + 2*c. Let q be t(2). Is (q/(-2))/((-2)/1) a composite number?
False
Let f = 37 - 19. Let y be (6/f)/(2/24). Suppose 13 - 33 = -y*n, 0 = 5*j - 5*n - 240. Is j composite?
False
Let j(g) = -12*g + 19. Is j(-9) prime?
True
Let b(k) = 236*k + 7. Is b(2) a composite number?
False
Let r be (-8)/(-4 - 1196/(-300)). Suppose -h - 3*h - 1636 = 0. Let x = r + h. Is x composite?
False
Let v be (4 + -6)/((-4)/10). Suppose v*x - 339 = 2*x. Suppose x - 34 = r. Is r a prime number?
True
Let k = 9 - -70. Is k a composite number?
False
Let a(n) = 2*n**3 - 9*n**2 + n + 7. Is a(6) composite?
True
Let q(f) = 11*f + 4. Is q(3) prime?
True
Let d = -4 - -4. Let m(x) = x + 1. Let j be m(d). Suppose -2*q - 2*r + 6 = 0, -q + 2*r = -2*q - j. Is q composite?
False
Let n be -1*3 - (14 - -1). Is ((-113)/(-2))/(n/(-36)) a composite number?
False
Suppose -8 + 20 = -o. Let p = 1 - o. Is p prime?
True
Suppose -532 = 11*w - 2633. Is w prime?
True
Suppose 0 = j - 3 + 2, -4*v + 10 = -2*j. Suppose -2*f + 6*f = -v*b + 66, 5*f - 22 = -b. Is b a prime number?
False
Let m(r) = r + 145. Let c be m(0). Suppose -270 - c = -5*j. Is j composite?
False
Let j = -25 + 27. Is 2/j + 186 + -2 prime?
False
Suppose -2*j - 2*j = -160. Suppose j = -y + 3*y - l, 0 = -4*l. Is 1/3 - y/(-3) composite?
False
Suppose -147 = -t + 3*a + 21, 0 = t - 4*a - 171. Let l = 142 + t. Is l a composite number?
True
Suppose 3*s + 408 + 360 = 0. Suppose h + 198 = 19. Let p = h - s. Is p composite?
True
Let v(p) = 10*p**3 - 4*p**2 + p + 2. Let d be v(2). Let t = d + -45. Is t composite?
False
Suppose 4*v - 10889 = -3*p, 4*v = 2*v - 5*p + 5441. Is v a composite number?
True
Suppose 0 = g + 2*g - 861. Is g a composite number?
True
Let c(l) = -l**2 + 3*l. Let n be c(3). Suppose -2*u = 3*f - 191 - 69, u + f - 129 = n. Is u a prime number?
True
Let n(d) = 2*d - d - 4 + 1. Let x be n(7). Suppose -k + 4*s = -101, -x*k + 343 + 48 = -3*s. Is k a prime number?
True
Suppose 2*q - 49 = 5*s, 65 = 3*q - 0*q + s. Is q prime?
False
Let q = 592 - -397. Is q a prime number?
False
Let m = -33 + 56. Suppose v - 112 + m = 0. Is v composite?
False
Let l = 4 + -4. Suppose 2*c + 2*f - 126 = 0, l = -c + 5*f - 14 + 77. Let h = -30 + c. Is h a composite number?
True
Let d = 34 - -288. Suppose k + k - d = 0. Is k prime?
False
Suppose -3*p - 5*k + 2137 = 0, 0*k = -5*p - k + 3591. Is p a prime number?
True
Let y(g) = -g**2 + 5*g + 6. Let d be y(5). Suppose -4*l - 2*z + d = -24, 3*l - 5*z = 16. Is l prime?
True
Suppose 2*f = f + 1337. Is f a composite number?
True
Let h be 1*(-1 - -2 - -1). Suppose -c - h*c + 165 = 0. Is c a prime number?
False
Suppose 7*k - 157 = 6*k. Is k a prime number?
True
Let d(t) = 489*t**2. Is d(-1) composite?
True
Let j = -1737 - -3146. Is j a composite number?
False
Suppose 5*g - 5*t = -2*t + 7340, 2*t + 5874 = 4*g. Is g a composite number?
False
Is 538 + 6/(-3) + -1 prime?
False
Let m(g) = -g + 1. Let x(k) = k**2 + 7*k - 2. Let u(f) = 5*m(f) + x(f). Is u(-7) a prime number?
False
Suppose 2*s - 2050 = 2056. Is s a prime number?
True
Let w be 4/6*6 + 0. Let b = 48 - w. Suppose 2*k = b + 30. Is k composite?
False
Let w(b) = 1 + 2 - 3*b + 3*b**2 + 2. Is w(-5) a composite number?
True
Let h(n) = n**2 - 8*n - 9. Let q be h(9). Suppose q*z - 3*z + 42 = 0. Is z a prime number?
False
Suppose -3*p - 2344 = -7*p. Is p composite?
True
Let z(i) = -i**2 - 8*i + 6. Let y(k) = -12 - 6 - 4*k + 3*k**2 + 28*k. Let f(n) = 2*y(n) + 7*z(n). Is f(-7) a composite number?
False
Suppose -3*i = -4*d - 26, 0 = -4*i + d - 5*d - 12. Suppose -z + 0*z = -i. Let m = 95 + z. Is m a prime number?
True
Is (-2)/3 + 4893/9 composite?
True
Let r(w) = w**3 + 15*w**2 + 17*w + 14. Let h be r(-12). Suppose -f + h = f. Is f a prime number?
False
Suppose -3*g = 3*u - 1074, -5*g - u = 3*u - 1794. Suppose 3*n - 3*h = h + g, 242 = 2*n - 2*h. Is n prime?
False
Let w be (-210)/27 + (-4)/18. Is (-150)/w + 8/32 prime?
True
Suppose 0 = 5*u - 15 - 10. Let a = -3 + u. Suppose -a*d + 447 = d. Is d composite?
False
Let l = -97 - -146. Suppose 0 = -2*s + l + 15. Let n = s + 27. Is n composite?
False
Is (1362 - (-3 + 2))/((-10)/(-10)) prime?
False
Suppose -g + 56 = -49. Let f = g - 68. Is f prime?
True
Let s(x) = -3*x - 12. Let h be s(-10). Let p be 4/(0 + 1 + 1). Suppose 0 = p*a, 3*a + 71 = r + h. Is r prime?
True
Suppose 124 = k - 94. Suppose 2*p - k = 156. Is p a prime number?
False
Suppose -f - 2*p + 177 = 0, -3*f = -p - 70 - 426. Is f composite?
False
Suppose -4*k + 14 = s - 6*s, -s = k - 8. Suppose 2*n - 4*n + k = 0. Is 20/n + (-5)/(-15) a composite number?
False
Let p be 3/(-3)*3 - -8. Suppose 0 = -2*l + 10, 8*l + 164 = y + p*l. Is y a composite number?
False
Suppose -12 = -3*f - f. Suppose -2*c = -4*j + 82, 0 = f*c - c + 4*j + 58. Let m = 80 - c. Is m prime?
False
Suppose -11*g = -10*g - 326. Is g a prime number?
False
Let r(u) be the first derivative of -u**4/4 - 4*u**3/3 + u**2/2 + 6*u - 3. Let s = 5 + -10. Is r(s) composite?
True
Suppose 9*h - w = 4*h + 895, -h - 4*w = -158. Is h*1*(-6)/(-12) prime?
True
Suppose 0 = -2*p + 4*p - 10. Suppose 22 = p*s - 18. Is 1084/16 + (-6)/s a prime number?
True
Suppose -3*y + 3 = -6. Suppose 0*b - 18 = -y*b. Suppose -4*p = -p + b, 3*t - 81 = 3*p. Is t a composite number?
True
Let h be 0/(1/(-1) - -3). Suppose 5*a + 37 - 222 = h. Is a prime?
True
Let d = 79 + -24. Is d a prime number?
False
Suppose 331 + 23 = 3*y. Is y a prime number?
False
Suppose -280 = -4*q - 8*v + 4*v, 4*q - 3*v - 308 = 0. Is q a composite number?
True
Let a = -9 + 19. Let q(h) = h**3 - 8*h**2 - 8*h - 7. Is q(a) a prime number?
True
Let t(k) = -k**3 + 90. Let c(l) = -l + 1. Let q be c(1). Let f be t(q). Let b = f + -57. Is b a prime number?
False
Suppose 5*d - 153 = 22. Let c = -20 + d. Is c a prime number?
False
Let d be 5608*(1/2 + 0). Suppose 5*v - d = v. Suppose -3*f - h + v = 0, -2*h + 792 = 3*f + 89. Is f prime?
True
Let f be 1*68*39/6. Suppose 2*v + 136 = f. Suppose m = 2*h - v, 3*h - 6*h - m + 242 = 0. Is h composite?
False
Suppose -18 - 18 = -2*y. Let q be ((-18)/(-8))/(y/48). Is ((-152)/q)/((-2)/3) a prime number?
False
Suppose 3*x = 6*x + o - 44872, -4*o + 29918 = 2*x. Is x composite?
False
Is (0 - (-8)/6)*(-58854)/(-68) a composite number?
True
Let j = 81 - -74. Is j a prime number?
False
Let d(y) = y**2 - 4*y - 6. Let s be d(6). Suppose 0 = s*g - 3*g - 381. Is g composite?
False
Let f = -25 - -129. Suppose 0 = -2*d + 3*o + f, 2*d + o = -d + 178. Is d a prime number?
False
Suppose -s + 12 = -5*t, -6*s - 16 = -2*s - 4*t. Let d = -4 - s. Suppose d*w = -f + 25, -2*w + 4*w + 37 = f. Is f a prime number?
False
Suppose 0 = -0*p - 5*p + 475. Is p prime?
False
Let a = 68 - -18. Suppose -a = -x + 33. Is x a composite number?
True
Let m(h) = 70*h - 3. Is m(1) prime?
True
Let i be (35 + -37)*(-1 - 41/2). Suppose 2*b = -2*s - 2, 2*b = -4*s - 0 + 4. Is i/s + 1/(-3) a composite number?
True
Let k(a) = -3 + 3*a + 0*a**3 + 5*a**2 + a**3 + 4. Let y be k(-3). Suppose -5*o = -y*o + 55. Is o a prime number?
True
Let h = -10 + 12. Suppose h*k = -4*l + 590, -4*k = -4*l + k + 555. Is l a composite number?
True
Let h be (8/(-12))/(2/(-21)). Suppose 0 = 2*l - h*l + 805. Is l prime?
False
Let k(c) = -c**3 + c**2 + 8*c + 7. Suppose n + 9 = 4*u - 5, 3*n - 2*u = -22. Is k(n) composite?
False
Suppose 4 - 11 = -o. Is o composite?
False
Suppose 3*z + 45 = 8*z. Is (474/z)/((-6)/(-9)) a prime number?
True
Let d = 507 + -294. Suppose -119 = -v + o, -4*o + 25 = 2*v - d. Is v composite?
True
Let w = 1554 - 1087. Is w composite?
False
Suppose -r + 4*r = 243. Suppose -j + 83 = -l - 3