
True
Suppose 13*f = 16*f - 4605. Is f composite?
True
Let g = -104 + 183. Is g prime?
True
Suppose 3*h - c = -2*h - 45, -3*h + 4*c - 10 = 0. Let d = -5 - h. Suppose o + 140 = d*o. Is o composite?
True
Let f(h) = 4*h + 1. Let o(d) = 3*d + 1. Let s(m) = 5*f(m) - 7*o(m). Let v be s(-3). Suppose -2*w + v + 3 = 0. Is w a prime number?
True
Let a(v) = -v**3 + 3*v**2 + 5*v - 5. Let o be a(4). Is ((-95)/(-10))/(o/(-2)) composite?
False
Suppose 0 = -5*j + 1028 + 1407. Is j a composite number?
False
Let b = -701 - -1194. Is b a composite number?
True
Is (2582/(-3))/((-4)/6) a prime number?
True
Let d(p) = 6*p**3 - 1. Let t be d(1). Suppose -t = 4*b - 41. Is b prime?
False
Suppose 0 = 3*p - 5*v + 3*v - 12, 2*p = -5*v + 8. Suppose 2*u + k - 254 = 0, u - p*k = -k + 127. Is u composite?
False
Suppose -5*s = 5*j - 10*s - 1335, 2*s - 1335 = -5*j. Is j a prime number?
False
Is (-1616)/(-5) + (-18)/90 prime?
False
Let w(q) = 23*q**2 - 1. Is w(-2) composite?
True
Is -1 + (2 - -337 - 3) prime?
False
Is 42/(-9)*(-59652)/24 prime?
False
Let n = 168 + -76. Suppose 48 = -u + 191. Let x = u - n. Is x prime?
False
Is (2 - 1 - -1360) + 0/2 prime?
True
Suppose -2*a + 0*r = 5*r - 1, -4*a - 4*r = -20. Suppose -5*y = -y + a. Let n = y + 6. Is n a prime number?
False
Let t(j) = 17*j**2 + 8*j. Is t(7) composite?
True
Let m = -1 - -4. Suppose 150 = 3*k + m. Let y = k - 28. Is y prime?
False
Let u(r) = -r**2 - 2*r**2 - 4*r + 89 + 3*r + 4*r**2. Is u(0) a prime number?
True
Suppose -6244 = -9*k + 7085. Is k a prime number?
True
Let l(p) = -151*p**3 - 2*p**2 + 2*p + 2. Is l(-1) composite?
False
Let q = 1 - 2. Let a be 3 + (2 - 2)/q. Is a*(260/(-6))/(-5) a composite number?
True
Let v be 10/((5 - 3)*1). Suppose -2*p = 3*y - 2*y - 9, -v*p = -3*y - 50. Is p a composite number?
False
Suppose -13*m + 440 = -5*m. Is m a composite number?
True
Let t(r) = 51*r + 1. Is t(7) a prime number?
False
Let o = -610 - -1527. Is o composite?
True
Let z(u) = u**3 + 5*u**2 - 7*u - 1. Let t be z(-6). Suppose -l + 0*l = -t. Suppose 0 = l*p - p - 380. Is p a composite number?
True
Let g be 1019 + (-6)/(2 - -1). Let i(j) = -j**3 + 5*j**2 - 2*j - 5. Let u be i(4). Is (-2)/u*g/(-6) composite?
False
Suppose 3*i - 2*i - 9 = 0. Is i/12 - (-291)/12 prime?
False
Let w = -139 + -210. Let v(r) = 30*r**3 + 3*r**2 + 2*r + 2. Let l be v(-2). Let o = l - w. Is o prime?
False
Suppose 4*v + 0*f + 3*f - 336 = 0, v + 5*f - 67 = 0. Is v a composite number?
True
Let p = -118 + 267. Is p a composite number?
False
Suppose 0 = 5*g + 3*g - 5896. Is g prime?
False
Suppose -2*z - 10 = 0, 3*q + 0*q + 5*z + 274 = 0. Let d be ((-4)/(-10))/(6/(-30)). Is (d - q) + 4/2 a prime number?
True
Let l = 9 - 9. Suppose j + 1 = 0, -k - 6*j + j + 95 = l. Suppose 4*g = 5*p + 80 - 29, p = -5*g + k. Is g composite?
False
Let c(g) = -g**2 + 11*g + 4. Let f be c(11). Suppose -z + 715 = f*z. Is z a prime number?
False
Suppose 0 = -n - n + 90. Suppose u - 4*u + n = 0. Is u prime?
False
Let s(h) = -21*h + 20. Let l be s(8). Let v = l - -425. Is v a composite number?
False
Suppose -z + 119 = -58. Is z a composite number?
True
Let k(l) = -4 + 10*l - 1 + 4*l + 4*l. Is k(4) a prime number?
True
Let m be 2 - 2 - (1 - -2). Is 1*764/(-12)*m prime?
True
Suppose 4*j - 16 - 1156 = 0. Is j a prime number?
True
Let k = 6 - 4. Suppose -4*v + 16 = 2*r - k*v, -34 = -2*r + 4*v. Is r composite?
False
Is (7/14)/(3/3030) composite?
True
Suppose 4*f + 3*y = 23, 2*f + 3*f = y + 5. Suppose -f*i + 299 = -6*o + 3*o, 4*i - 589 = 3*o. Is i a prime number?
False
Let l = -124 + 60. Let f = l - -145. Suppose -x - 28 = -f. Is x a composite number?
False
Let p(k) = 6*k**2 - 9*k + 32. Is p(7) composite?
False
Let h = 3 + 1. Let q be (-159)/1*(-14)/6 + 3. Suppose 3*z = h*r + 175, 5*z + r + 90 = q. Is z composite?
True
Suppose 3*h + 6 = -6. Is (0 + 53)/(h/(-20)) a prime number?
False
Let f(m) = -37*m - 20. Let j(a) = -7*a**3 + a**2 - a + 1. Let c be j(1). Let t(d) = -12*d - 7. Let o(y) = c*f(y) + 17*t(y). Is o(1) a composite number?
False
Let c = 6 + -4. Let l(t) = -2*t**3 + t**3 - c*t**2 - 4 + t + 4 - 3. Is l(-3) a composite number?
False
Suppose -h = 3 - 6. Let b = h - 1. Suppose -b*t + 41 = -5*w, 3*t - 4*t + 28 = -w. Is t prime?
False
Let o = 5 + -2. Suppose o*z + 13 = -4*s, -2*z + 0 = 5*s + 18. Is ((-14)/8)/(1/s) a composite number?
False
Let b(r) = -16*r**3 - r**2 + 2*r - 1. Is b(-2) prime?
False
Let y(q) = q**2 - 12*q + 5. Let u be y(12). Suppose 0 = u*m - 334 + 39. Is m a prime number?
True
Suppose -f + s - 2*s = -4165, 4177 = f - 2*s. Is f prime?
False
Let i(j) = -j**3 + 4*j**2 + 3*j - 4. Let g be i(4). Suppose 0 = 2*p - g - 54. Let d = -22 + p. Is d composite?
True
Suppose -2*p + 0*p + 712 = 4*o, 2*o = 8. Suppose 3*g - 398 = g. Let r = p - g. Is r composite?
False
Suppose 0*p = -3*p + 396. Suppose -p = -4*f - 3*h, -2*h - 52 = -0*f - 2*f. Suppose f = 4*c + c. Is c composite?
True
Let p = -1 - -5. Suppose 3*n + p + 26 = 0. Let a = n + 32. Is a a composite number?
True
Suppose -6 = 4*z + 10. Let u = 6 + z. Suppose u*c + 3*c = 95. Is c prime?
True
Let v be 3/6*-2*0. Is ((-4 - -3) + v)*-51 a prime number?
False
Is 0 - (700 - 1)/(-3) composite?
False
Let u(c) = -c**3 + c**2 + 5*c + 5. Is u(-8) composite?
False
Let x(r) = 20*r - 3. Let t = 5 - 0. Is x(t) a composite number?
False
Let j = 29577 - 20185. Let u = j + 8296. Is u/32 - (-2)/8 a composite number?
True
Let f(x) = 11*x + 17. Let u be f(12). Let b = u + -72. Is b composite?
True
Suppose 88 = 3*k - 2*k. Suppose 3*n - 5*g = -0*g + 64, -4*g - k = -4*n. Is n a composite number?
False
Let w(j) be the first derivative of -85*j**2/2 + j + 4. Is w(-1) composite?
True
Suppose -4 - 16 = -5*t. Is 469/2 - (-2)/t a composite number?
True
Suppose 3*c + 2 = 8. Suppose -c*b + 0*b = -66. Is b a prime number?
False
Is 89 + 0 + -3 + -3 prime?
True
Let q = -81 + 156. Is q/5 - (-1 - -1) prime?
False
Let o(g) = 13*g**2 + 2*g + 2. Let z(w) = w**3 - 3*w**2 - 2*w + 3. Let j be z(3). Is o(j) a prime number?
True
Suppose 3*j - 2*n - 641 = 0, -7*n - 205 = -j - 2*n. Is j composite?
True
Let s = 6978 - 3823. Is s composite?
True
Let v = 1426 - 307. Is v a prime number?
False
Let l(d) = d - 5. Let o be l(5). Suppose 3*t = 12, 5*y + 4*t = -o*t + 26. Suppose 0*s - y*s + 262 = 0. Is s prime?
True
Let t(o) = o**2 + o + 3. Let p be t(-7). Is (-1)/(-2 + p/23) composite?
False
Let q = -7 - -10. Suppose q*g = g + 98. Is g a prime number?
False
Let q(u) = 5*u**2 - 9*u - 7. Let l(h) = h**2 - h - 1. Let n(w) = 4*l(w) - q(w). Let y = 33 + -30. Is n(y) a composite number?
True
Suppose 0 = 5*w + 18 - 53. Let p = -3 + w. Suppose -2*f = -5*d - p*f + 74, 2*d = -2*f + 32. Is d a composite number?
True
Let b be (5/(-10))/(2/48). Let l(t) = -t**3 - 10*t**2 + 16*t - 17. Is l(b) a prime number?
True
Let i(h) = 7*h**2 - 2*h + 1. Let g be 3 + -1*0/3. Is i(g) a prime number?
False
Suppose -3*d + 0*d = -225. Let c = d + -54. Is c a prime number?
False
Let o be 2/((-1)/1 + 3). Let u = 3 - 3. Is (o - u)/(3/201) prime?
True
Let d(o) = 10*o**2 + 10*o + 6. Is d(-8) a prime number?
False
Let w be ((-1)/(-2))/(1/6). Suppose -283 + 59 = -4*r. Suppose -w*b + r = b. Is b composite?
True
Suppose 258 - 21 = 3*f. Is f a composite number?
False
Let w be ((-30)/25)/((-1)/(-10)). Let b = w + 121. Is b prime?
True
Suppose -2*f + 3*f - 3*v - 12 = 0, -6 = 3*v. Suppose -j + f*j - 245 = 0. Suppose -o = -a + o + 12, 2*a - j = -o. Is a composite?
True
Suppose -4*f - 151 = o, -4*o = -f + 332 + 204. Let v(l) = l**3 + 5*l**2 - 10*l + 2. Let a be v(-9). Let c = o - a. Is c composite?
False
Let x = -25 + 23. Is 572/12*(5 + x) prime?
False
Is (3 - 1)/(4/434) a prime number?
False
Suppose w - 5*w + 776 = 0. Is w composite?
True
Suppose 0 = -2*t - 0*t + 298. Is t composite?
False
Let t(d) be the second derivative of 2*d**4/3 + d**3/3 - d**2/2 - 2*d. Is t(3) a prime number?
False
Let k = -524 - -783. Is k a prime number?
False
Let u(w) be the second derivative of 8*w**4/3 - w**3/3 + w**2/2 - w. Suppose 2*j + j = -4*g + 19, 3*j + 1 = g. Is u(j) prime?
True
Let i be (-2)/9 + 10/45. Suppose i*k + v - 17 = k, 5*k + 5*v = -65. Let b = -5 - k. Is b a composite number?
True
Let u = -33 - -102. Is u composite?
True
Let a = 1861 + -1202. Is a a prime number?
True
Suppose -26 = 5*x + 9. Let s = -4 - x. Is -1 - (s - (