t n be g(-4). Suppose -n*m = 4*q - 4*m - 456, 464 = 4*q + m. Is q a prime number?
False
Let w(a) = -a**3 - 9*a**2 + 11*a + 7. Let o be w(-10). Let h(z) = -25*z - 4*z + 1 - 1. Is h(o) a prime number?
False
Let j(w) = -w + 14. Suppose -5*z = -0*z - 75. Let u = -8 + z. Is j(u) composite?
False
Let d = 212 - 123. Is d a composite number?
False
Suppose 5*p - 152 = 4*f + 182, 0 = 3*p - f - 206. Suppose 3*t = 8*t - p. Is t a composite number?
True
Suppose 2*u = u. Suppose 5*y + d = 695, 2*y + u*y + 2*d = 278. Is y prime?
True
Suppose 5*i - 6752 = -4*t - 0*i, -i = t - 1689. Is t prime?
True
Let a(d) = d**3 - 5*d**2 - 6*d - 6. Let t be a(6). Let j(p) = -p**2 - 12*p + 3. Is j(t) composite?
True
Let g = -98 + 309. Is g prime?
True
Let t be (-1 - -19)*-1 + 2. Let u = 10 + t. Is (-6)/u*(1 - -52) a prime number?
True
Let y = 10 + -7. Suppose y*u - 7*u = 4. Let w(c) = -86*c**3 - c**2. Is w(u) a prime number?
False
Suppose 0 = -0*h - 4*h + 1424. Let b = -241 + h. Suppose -5*n + 0*n + b = 0. Is n prime?
True
Suppose -q - 46 = -161. Let i be (-4)/(-14) + 1258/7. Suppose 2*d = 2*j + q - 15, -3*d - 3*j = -i. Is d prime?
False
Let q(s) be the second derivative of -3*s**5/10 - s**4/4 + s**2/2 - 2*s. Suppose -m + 4 = -2*m + 2*t, m + 4*t - 2 = 0. Is q(m) composite?
False
Suppose 2*m + 1832 = 6556. Is m composite?
True
Let a(o) = o**3 + 6*o**2 + 4*o + 3. Let d be a(-5). Let s(r) = 8*r - 5. Is s(d) prime?
True
Suppose 10*h - 4615 = 5*h. Is h composite?
True
Let w be -3 - (-3)/(3/10). Let b(o) = 44*o - 5. Is b(w) composite?
True
Let z(u) = 3 + 3*u - 6 + 2*u**3 + u**2 + 0*u**2. Let y be z(3). Let b = 124 - y. Is b composite?
True
Suppose -4 = 5*n - n. Is (n + -2)*-12 + 1 a prime number?
True
Is 15610/28*(-8)/(-10) a composite number?
True
Let o(t) = -7*t**3 - 4*t**2 + 1. Let a be o(-3). Suppose 4*g - a = 222. Is g composite?
True
Suppose -2*x + 4*x = 178. Is x a composite number?
False
Suppose -18*u + 899 = -17*u. Is u a composite number?
True
Let g(s) = 9*s**2 + 11*s + 5. Let k(i) = -i**2 - i + 1. Let j(r) = g(r) + 2*k(r). Is j(-6) a prime number?
False
Let n = 3 - 3. Suppose 0 = -l + 5 - n. Suppose -2*o = -4*p - 102, l*o + 117 = p + 381. Is o a prime number?
True
Let t(b) = 2199*b + 2. Is t(3) composite?
False
Let n = 98 - 45. Is n composite?
False
Suppose -2*j + 4*j + 41 = b, 0 = 2*j - 2*b + 42. Is (-4)/10 - 1348/j a composite number?
False
Suppose 10*s - 15*s = -5575. Is s composite?
True
Suppose 5*p - 3*l = 22, 0 = -4*p + 3*l + 2*l + 15. Let f(h) be the second derivative of h**5/10 - 5*h**4/12 - h**3/3 - h**2 + h. Is f(p) composite?
False
Suppose -5*n + 0 = -20. Suppose -y - n*y + 190 = 0. Suppose v + 3*l - y = 0, 0*v - 3*l - 67 = -2*v. Is v a composite number?
True
Let g = -15 - 0. Let s be 66/(-15) - 6/g. Let c = 15 + s. Is c a composite number?
False
Let q = -1 + 3. Suppose z - n - 7 = 0, -2*z + n + 16 = -q*n. Suppose -2*c + 133 = z*j, -4*c + 5*c + j = 62. Is c prime?
True
Suppose 5*v - 2*v = 12, 2*o - v - 250 = 0. Is o prime?
True
Suppose 3*k - 972 = w, k + 0*k - 310 = 5*w. Suppose -5*l = -4*s - k - 630, -4*l + s + 753 = 0. Let a = l + -132. Is a prime?
False
Let y be (-1)/(3 - 7/2). Suppose y*s - 201 = -s. Is s a composite number?
False
Suppose -435 = -4*h - 171. Suppose 0 = -2*j + 58 + h. Let t = -29 + j. Is t composite?
True
Suppose 5*u = 2*z - 114, 0*u = -4*z - 3*u + 228. Is z a prime number?
False
Let d = -32 - -83. Is d composite?
True
Let o(p) = p**3 + 6*p**2 - 6*p + 10. Let s be o(-7). Suppose -75 = -3*b + s*z, 2*b + 26 - 79 = -z. Is b prime?
False
Let u(d) be the third derivative of d**5/20 + d**4/3 + 4*d**3/3 - 8*d**2. Is u(7) a composite number?
False
Let f(l) = -18*l - 7. Let w be f(6). Let z be 1362/(-8) - (-24)/96. Let m = w - z. Is m prime?
False
Let b = 27283 - 18824. Is b prime?
False
Suppose -2*m = -15 - 5. Suppose 0 = 5*h + m, 0 = 5*r + 4*h - 173 - 84. Is r a composite number?
False
Let q = -10 - -34. Suppose 0 = -4*t - 0*t - q. Let l = t - -37. Is l a composite number?
False
Let h(k) = -k**3 - 2*k**2 + 4*k + 1. Let s be h(-3). Let g(f) = -47*f - 3. Is g(s) a composite number?
True
Let b(r) = 20*r. Let p(g) = -g + 2. Let a be p(0). Let y be b(a). Suppose -4*o - 5*z = -z - y, -2*o = z - 16. Is o a prime number?
False
Suppose 5*y + 95 = 600. Suppose -5*b + 14 = 3*f, 2*b - 33 = -3*f - 4. Suppose 0 = 4*u - y + f. Is u a prime number?
False
Let m = 1546 - 911. Is m prime?
False
Is ((-2)/3)/((-12)/3978) a composite number?
True
Let t(i) = 3*i + 5. Let n be t(-2). Is ((-148)/4*n)/1 prime?
True
Suppose 4*t + 1 = o, -5*t + 5 - 2 = 3*o. Suppose -24 = -d - d + 3*l, -4*d - 3*l + 66 = t. Is (-372)/(-10) - 3/d a composite number?
False
Let w(c) = c**2 - 7*c + 4. Let x be w(9). Suppose x = 5*s + 7. Suppose -47 - 32 = -3*v + 5*z, -s*z = 2*v - 40. Is v prime?
True
Let g = 286 - 155. Is g a composite number?
False
Suppose -3*r - 5379 = -6*r. Is r a composite number?
True
Suppose -4*m + 236 = -4*p, 0 = m + 4*p - 52 + 13. Is m a prime number?
False
Suppose 0 = a - 5 - 71. Let g be a/10 + 2/5. Let z(o) = o**3 - 8*o**2 + 3*o - 10. Is z(g) composite?
True
Let u be (-62)/(2 - 3) + -3. Suppose u + 10 = 3*t. Is t a prime number?
True
Let a(r) be the second derivative of -11*r**3/3 - r**2/2 + 3*r. Is a(-4) composite?
True
Suppose 3*s - 4*p - 376 = -s, -4*s = p - 391. Is s a prime number?
True
Suppose 293 = 5*o + 108. Is o composite?
False
Let n be (-2)/(-8)*-2*-8. Suppose 5*w + n = 6*w. Suppose 0 = w*h - 62 - 254. Is h prime?
True
Let o(r) = -r - 1. Let u be o(-5). Let x(v) = 3*v + 3. Let y be x(-3). Is (4/y)/(u/(-294)) a prime number?
False
Suppose -3*q + 2*l + 16 = -0*l, 5*l = -25. Suppose -z = -h + 40, 0 = 3*h + q*z - 0*z - 105. Is h composite?
False
Suppose 2*r = j + 934, -j - 1868 = -4*r + 3*j. Is r a prime number?
True
Let b = 246 - -241. Is b prime?
True
Let v be (1 + 0)/((-2)/(-132)). Let g = 103 - v. Is g a composite number?
False
Is (-8)/4 + 1*1201 composite?
True
Suppose 36 = -4*u - 116. Let v = -1 - u. Is v composite?
False
Is 2/(-3) + 537/9 composite?
False
Let k(x) be the third derivative of x**5/30 - x**4/12 - 5*x**3/6 + x**2. Let d be k(4). Suppose d + 23 = 2*u. Is u composite?
True
Suppose 8 = -3*q + 41. Let z(n) = n + 13. Let w be z(-8). Suppose -j = -q + w. Is j composite?
True
Let p(n) be the second derivative of n**5/60 - n**4/24 - 4*n**3/3 + n**2 - 3*n. Let k(d) be the first derivative of p(d). Is k(7) composite?
True
Is 2/((10/(-2065))/(-1)) a prime number?
False
Let v(g) = g - 6. Let f be v(0). Let d be ((-2)/(-3))/((-1)/f). Suppose -n - 1 = -d. Is n prime?
True
Suppose 0 - 2 = -b, 4*n + b - 18 = 0. Is 137/n - (-2)/(-8) a prime number?
False
Let p be 3/(-12) + (-6)/8. Let z(g) = 146*g**2 + g. Is z(p) a composite number?
True
Let d(h) = -236*h + 1. Let t(w) = -w - 6. Let v be t(-5). Let y be d(v). Is -2*y/(-6)*1 prime?
True
Is (-2957*2)/(62/(-31)) a prime number?
True
Is (1 - 0/1) + (65 - 1) prime?
False
Suppose y + 4 = -2*n + 77, 0 = -5*n - y + 175. Is n prime?
False
Let w be 2*-2*(-57)/12. Suppose -3*g = -490 + w. Is g prime?
True
Suppose -9 = -m - 2*m, -1628 = -x + m. Is x prime?
False
Let g(z) = -4*z**2 - z + 4. Let f be g(5). Let b be (f - -3) + (0 - 1). Is b/(-6)*2/3 a composite number?
False
Let f(k) = k + 7. Let m be f(-5). Is 46/(-16)*m*-20 a prime number?
False
Let c be 6/(-8) - (-1)/(-4). Let a(u) = u**3 - 9*u**2 - u - 4. Let g be a(9). Is g/2*(c - 1) prime?
True
Let n = -3492 - -4991. Is n composite?
False
Suppose -g = 2*g - 471. Let m = g - 90. Is m composite?
False
Suppose j = 2*j + 3*h - 482, 3*j = 4*h + 1459. Is j composite?
True
Suppose -2*q - 5703 = -5*q. Is q prime?
True
Suppose 2*a = -a. Let i be -4*2*(-1)/4. Suppose a = 3*v - i*v - 67. Is v prime?
True
Is ((0 + 1)*-367)/(5/(-5)) a composite number?
False
Suppose 4*y + 8 = 2*c - 18, 5*c = 3*y + 51. Let d(x) = c - 2 + 18*x + 0. Is d(5) a composite number?
False
Suppose 2*d + 3*u - 11 = -0*d, 3*u = 2*d - 5. Suppose b - 70 = 85. Suppose b = d*t + t. Is t prime?
True
Let w(y) = y**2 + 3*y + 4. Let j be w(-3). Suppose 3*z + 4 = -4*k + 2, -2*z - j*k - 8 = 0. Is (-86)/(-6) - (-4)/z a composite number?
True
Let d(o) be the second derivative of -o**4/12 + 3*o**3 - 9*o**2/2 - 6*o. Is d(14) composite?
False
Is (-5)/(-10)*-10 + 312 composite?
False
Let d(l) = l**3 - 12*l**2 + 2. Let u