s v prime?
False
Let a(i) = -303*i**2 - 1. Let o be a(1). Let s = o + 437. Is s a composite number?
True
Let o(j) = 2*j + 2. Let f(x) = -x - 3. Let k = -6 + -3. Let d be f(k). Is o(d) a composite number?
True
Suppose 2*h - 3*a - 48 + 13 = 0, 3*h = a + 56. Suppose -h = -o + 2*s + 24, o + 4*s = 67. Is o a prime number?
False
Suppose -2*t + p - 12 = 0, -3*p + 3 = -t - 3. Is (-3)/t*-6 + 118 composite?
True
Suppose 3035 = 3*l - 4*i, -i - 3*i - 4044 = -4*l. Is l a composite number?
False
Let x(z) = -5*z**3 + 3*z**2 - 3*z + 9. Is x(-4) a prime number?
True
Suppose -10 = -5*q, 2*d + 4*q - q - 300 = 0. Let l = 214 - d. Is l a prime number?
True
Suppose 2*m - 5*h - 247 = 0, -h = -0*m - 3*m + 377. Let f = 271 - m. Is f a prime number?
False
Let b(r) = 2*r**3 + 23 - r**2 - 3*r**3 + 2*r**2. Let d = -18 + 18. Is b(d) a prime number?
True
Suppose -10*x + 5*x = -215. Is x a composite number?
False
Suppose 3*s + 2*m + 2*m - 316 = 0, -4*s + 2*m = -458. Suppose 2*j + 2*u = 6, 5*u = 5*j - 2*j - 1. Is s - 6/4*j a prime number?
True
Suppose -x - 4*h = -3*x + 1262, 3155 = 5*x + 5*h. Let y(j) = j**3 - 2*j - 1. Let w be y(2). Suppose -x = -3*g - s, 3*g - 258 = w*s + 381. Is g prime?
True
Suppose 0 = 35*v - 28*v - 2345. Is v a prime number?
False
Let q(s) = s + 5. Let t be q(-3). Let h(l) = l**3 - 8*l**2 + 7*l + 2. Let x be h(7). Suppose -16 = -4*g, -x*v + t*g = 6*g - 30. Is v composite?
False
Let x(j) = -2*j - 8. Let a be x(-5). Let w = 1 + -1. Suppose w = -a*k - 8, 0*k = z + 3*k - 67. Is z prime?
True
Suppose 3 = 3*n - 6*n + 3*a, 0 = 3*n + 4*a + 38. Let k be 326/14 - n/(-21). Suppose 3*p - 4*p + k = 0. Is p prime?
True
Suppose 5815 = 8*b - 3*b. Is b composite?
False
Let d = 28 - 46. Is (14/3)/(d/(-351)) composite?
True
Let o = -13 + 9. Is (-14)/2*(o - 15) prime?
False
Suppose -3*z + 177 = -6*z. Let y = 121 + z. Let l = y + 21. Is l composite?
False
Suppose 6*k = k. Suppose 2*j + 2 = -k. Is -3 + (-3)/j - -15 a composite number?
True
Let b(u) = -u**2 + u. Let j be b(-1). Let l be (1 + -1)*(-1)/j. Suppose l = -i + 11 - 1. Is i a prime number?
False
Let v = 8 + -2. Let w(q) = 2*q + 0*q - q - v + q. Is w(8) a prime number?
False
Suppose -3*k - 4*w = 16, 5*w - 18 = 3*k + 16. Let t(l) = -1 + 9 - 9*l + 3. Is t(k) composite?
False
Let o be 12/10*80/24. Let w(a) = 5*a**2 - 4*a + 3. Is w(o) a prime number?
True
Let n(v) = -v + 9. Let b be n(7). Suppose -7*q + 905 = -b*q. Is q composite?
False
Let k be 3/((-30)/(-152))*5. Suppose -4 = -2*n - 2*s, -5*n - 2*s + 26 = 7. Suppose 0 = -3*v - n*j + 57, k = 4*v - j + 3*j. Is v prime?
True
Let n(b) = 4*b**2 - 2*b - 2. Let m be n(-8). Let c = -143 + m. Is c composite?
False
Suppose 0 = x - 63 - 1. Let a = x - 39. Is a a prime number?
False
Suppose -v - 5 = -0*t + 5*t, 5*v + 25 = 3*t. Suppose t = -5*k - 5*m + 370, 3*k - 3*m = -k + 310. Let r = -39 + k. Is r composite?
False
Let l(d) = -53*d + 2. Is l(-9) composite?
False
Let m be (-3 + 0)/(9/(-15)). Suppose 41 = 2*h - m*z, -3*h + 14 = z + z. Suppose -3*u = 4*c - h - 33, -2*c + 33 = -u. Is c a composite number?
True
Suppose 3*o - 166 - 2813 = 0. Is o composite?
True
Let h = 2 - -2. Let u be 652/20 - h/(-10). Suppose 0 = -3*d - 3, -5*t + 2*d + u + 304 = 0. Is t composite?
False
Let m = -6 + 9. Suppose -3*i = m*q - 216, -4*q - 2*i + 82 = -216. Is q a composite number?
True
Suppose x = -m + 214, 154 = m - x - 54. Is m prime?
True
Let d = -18 - -22. Suppose -690 = -2*n - d*l - 0*l, -4*n + 5*l = -1432. Is n composite?
False
Let r be (10/4 - 2)*108. Let a = r - 11. Is a a prime number?
True
Let w(d) = -d - 4. Let b be w(-4). Suppose -s - 4*s + 60 = b. Let m = s + 19. Is m a composite number?
False
Suppose 0 = 3*d - 1077 + 36. Is d composite?
False
Let l = -10 + 12. Suppose 4*b - 14 = l. Suppose b*w + 654 = 3*c + 1, 878 = 4*c + 2*w. Is c a prime number?
False
Let o = 1590 - -881. Is o prime?
False
Suppose 2*u - 1250 = -5*x + 7*u, 4*u = -4*x + 1008. Is x a prime number?
True
Let o(x) = 2*x**2 - 2*x + 519. Is o(0) composite?
True
Let g = 0 - -2. Suppose 0 = -g*j, -3*j = -4*c + 2*c + 106. Is c a prime number?
True
Suppose 4*w = 2*w. Let g = w - 1. Is (g - -60)*(-3)/(-3) a composite number?
False
Let g = -8 + 22. Suppose 0 = 3*z - z + 10. Let l = g + z. Is l prime?
False
Let x(t) be the first derivative of -t**3/3 + 5*t**2 + 8*t + 1. Let f be x(6). Suppose 4 = -2*g, -2*l + f = 2*g - 34. Is l a prime number?
False
Let r be 42/3*(-12)/7. Is (-6)/r + 595/4 a composite number?
False
Suppose 0 = 4*f - b + 59 - 6, 2*b = -f - 2. Let q = 3 - f. Is q a composite number?
True
Suppose 3*t + 78 = -3*v, -44 = 4*v - 4*t + 20. Let n be 6/((-23)/v - 1). Let u = -20 + n. Is u a composite number?
False
Let j(r) = -r**3 + 20*r**2 + 17*r - 11. Is j(19) composite?
False
Suppose -3*p + 2*p = -145. Is p a composite number?
True
Let j be 6 - 4 - 84/(-2). Let m = -1 - -1. Suppose m = 3*k + k - j. Is k composite?
False
Let z(j) be the second derivative of -j**7/840 - j**6/180 + j**5/60 + j**4/6 + j**3/3 - 2*j. Let v(l) be the second derivative of z(l). Is v(-3) composite?
False
Let c = 19 + -9. Suppose -46 = -5*y - 4*x, -y + 2*x - c = -2*x. Let b(v) = v + 7. Is b(y) composite?
False
Let p = -44 - -133. Is p composite?
False
Suppose -1 = 5*q - 41. Suppose 6*f = 2*f + q. Is f a composite number?
False
Suppose -13*c + 10*c - 3225 = 0. Let g = 1962 + c. Is g a prime number?
True
Is -1709*2*(-3)/6 composite?
False
Is -5*(269/(-5) - (1 + -4)) prime?
False
Let k(h) = -h + 5. Let t be k(5). Suppose t = 5*n - 0*n. Suppose -3*a = 4*s - 145, n = -a - s + 58 - 8. Is a a prime number?
False
Let o = 292 + -143. Is o prime?
True
Let g be -1 - (-54*1 - 0). Let o = 8 + g. Suppose -2*f - 23 + o = 0. Is f composite?
False
Let k(t) = -t**3 - 2*t**2 - 6*t. Let q(i) = i. Let x be (-2)/(-8) - 45/(-12). Let j(r) = x*q(r) + k(r). Is j(-3) prime?
False
Suppose -t + 3 = 2. Let r be (t - 114) + (2 - 1). Let i = r - -189. Is i a prime number?
False
Let z(s) = -5*s**2 - 6*s + 4. Let m be z(6). Is (2 + -1)/((-4)/m) composite?
False
Suppose 2*t - 1 = 7. Is t/12 - 92/(-3) composite?
False
Let j be (11 - 8)/((-6)/16). Let q be 3 + j - -2 - -55. Let m = q - -91. Is m a composite number?
True
Suppose 0*u - 5 = u. Is -1 - -6 - (3 + u) prime?
True
Let f be (-1)/(-2)*0/2. Suppose f = -5*r + 5*o + 80, 5*r + 4*o - 104 = -33. Is r prime?
False
Suppose -f - 2*s + 0 + 6 = 0, 0 = -f + 3*s - 4. Let i be (f/3)/((-6)/9). Is 0 + i - (-47 - 5) prime?
False
Let v = -18 + 31. Let q be 4/(-10) - 404/(-10). Let n = v + q. Is n composite?
False
Let o be 4/(-6) - (-26)/3. Suppose 6*m = 2*m + o. Suppose -s + 117 = 5*p, 2 = -m*s + 3*s. Is p prime?
True
Let c be 0 + 0/(-2) + -2. Let p be (1/(c - -1))/1. Is p/((-2)/70 + 0) prime?
False
Let g = -19 + 41. Let m = g - 12. Suppose 5*y = -m, 2*r + 2*y + 0*y = 10. Is r a composite number?
False
Let c(t) = t**2 + 8*t - 4. Let j be c(-9). Let q(p) = 3*p - 5. Let y be q(j). Is (-2)/y + 832/10 a prime number?
True
Suppose -23 = -w + 2*i, -2*w + 6*w = -3*i + 48. Is ((-10)/w)/((-6)/207) a prime number?
True
Suppose 3*w - 1 = w + r, 0 = r - 3. Suppose -3*k - w*k = -2245. Is k a prime number?
True
Is (2 + 322)/1 - 1 composite?
True
Let p(k) = -35*k + 4. Let c be p(3). Let s be ((-4)/(-4))/(1/c). Let b = 48 - s. Is b prime?
True
Let a = -32 + -5. Let l = a - -70. Is l a prime number?
False
Let g = -9 + 12. Suppose -2*p + 387 = g*l, -l - 4*l = 2*p - 649. Is l prime?
True
Let a(z) = 2*z. Let s be a(-11). Let r = s - -47. Is r a prime number?
False
Let x(k) = 383*k - 4. Is x(1) a prime number?
True
Let k = -106 - -32. Is (-2)/(2 - (-152)/k) composite?
False
Let g be (-12)/21 + (-7328)/14. Let h = -301 - g. Is h a composite number?
False
Let h(f) = f**3 - 4*f**2 - f + 2. Let z be h(4). Let g be (-24)/(-15) + z/(-5). Is g/(-5) - (-347)/5 a prime number?
False
Suppose -483 = 3*l + 4*t - 2698, -5*l + 3745 = -4*t. Is l a composite number?
True
Suppose -5*s = -3*s + 12. Let t = 4 + s. Is 21 + 1*(-4)/t composite?
False
Is 1334*(9/2 - 4) composite?
True
Suppose 3*k = 6*k - 6. Let y = k + 0. Is -1 - -1 - -45 - y a composite number?
False
Suppose -2*o + 1 + 5 = 0. Suppose -7*j - 2*s = -2*j - 18, 20 = 2*j + 4*s. Suppose t - 37 = o*y, 0*t - 74 = -2*t + j*y. Is t composite?
False
Let b(u) = -u + 7. Let a be b(6). Let x be 2*(0 + a) - 5. Is (1 - 2)/(x/237) a com