 803. Suppose 15 = j*h, 0 = u - h + 3 - x. Is u a prime number?
True
Suppose h = -5*d + 120, -4*d = -0*d - 4*h - 72. Is d prime?
True
Suppose 0 = -2*o + 309 + 129. Suppose o = 2*n - 43. Is n composite?
False
Suppose 3*u = 5*o - 143, 0*u - 54 = -2*o + 2*u. Is o prime?
True
Let d(a) = -2*a**3 - a**2 - 1. Let z be d(-3). Let k = z + -22. Is k composite?
True
Let c = 12 + -7. Suppose c*x = 2*r - 637, 1581 = 5*r + x - 2*x. Suppose -2*q + 6*q = r. Is q prime?
True
Suppose 5*r - 2*y = y + 2926, 1189 = 2*r + 5*y. Is r a composite number?
False
Suppose j = -2*j + 5*r - 50, -48 = 3*j - 3*r. Is (-1642)/(-7) - j/35 composite?
True
Let c(k) = -k**3 + 5*k**2 - 3. Let n be c(4). Let r be 1 + (1 - 2)*3. Let l = n + r. Is l prime?
True
Let x = -2 - -1. Let j be (1/3)/(x/(-18)). Let w(r) = 44*r - 7. Is w(j) a prime number?
True
Let i be 2 + -1 + (2 - 3). Suppose -4*u - 4 + 208 = i. Is u a composite number?
True
Suppose -19 = -2*y + 219. Suppose 1434 - y = 5*h. Is h composite?
False
Suppose -12*x + 14*x = 3314. Is x composite?
False
Let p be 2 + 1 - 24/4. Let h be -12*(7/2 + p). Is ((-7)/4)/(h/168) prime?
False
Suppose 0*a - 3*a - 3 = 0. Is -1 - (68/a - -2) a composite number?
True
Let a = 74 + 36. Suppose -a + 18 = -4*z. Is z a prime number?
True
Suppose 0 = p - 4, -2*i - 2*p + 376 = -570. Is i prime?
False
Let p(i) = -i**3 + i**2 - 2*i + 5. Let r be p(-4). Let u = r - 14. Is u a prime number?
True
Let q(m) be the second derivative of -m**3/3 + 3*m**2/2 - 3*m. Let a be q(-5). Is a + 3/(3/(-2)) prime?
True
Let a be (-10)/4*4/(-5). Is (-382)/(-3) + a/(-6) composite?
False
Suppose 5*p + 4*n - 351 = 0, 2*p = -2*n + 5*n + 122. Let x(g) = -3*g**2 + 1. Let i be x(-1). Is (i - -4)*p/2 prime?
True
Let o(v) = -v**3 + v**2 - v - 5. Is o(-4) prime?
True
Let d(q) = -11*q - 6. Let z = -10 + 3. Is d(z) prime?
True
Let k = -7 - -10. Suppose 3*a + 5 = t, k*t - a - 1 - 6 = 0. Let m = t + 17. Is m a prime number?
True
Let h(d) = -4*d**3 - 4*d**2 + 3*d + 5. Is h(-4) a composite number?
True
Suppose -2*w - 5 = 3*w. Let v(d) = d**2 + d. Let l be v(w). Suppose -5*o + 207 - 22 = l. Is o composite?
False
Let y(g) = 14*g**2 - 12*g + 11. Is y(12) prime?
False
Let m(z) = -z**2 + 5*z - 4. Let t be m(3). Let q(c) = 25*c**3 + 3*c**2 - c + 1. Is q(t) a prime number?
True
Let h = 489 + -286. Is h composite?
True
Suppose 10 = -5*d - 10. Is (-309)/d + 3/(-12) a prime number?
False
Suppose 0 = -3*y + 12, 2*y - 1119 = -5*k + y. Is k composite?
False
Suppose -5*k + 5*o = -0*k - 415, -3*k = 2*o - 249. Is k a composite number?
False
Is (6 + -2)*(4 - (-3075)/4) a prime number?
False
Suppose -6*g = -5*g - 4. Suppose n - 4*n = -g*s + 59, s + 2*n - 12 = 0. Is s a prime number?
False
Let v(o) = 5*o**2 + 5. Let f be v(-3). Suppose -5*n + 3*x = 5*x - 69, 4*n = x + f. Is n composite?
False
Suppose 3*a = 425 + 469. Is a composite?
True
Is 59*(1 + (-4)/(-2)) a composite number?
True
Suppose 13 = -4*c + 401. Suppose -g - 3*l + c = 0, -5*g + 429 = 3*l - 2*l. Let y = g - -12. Is y composite?
False
Let p(x) = x**2 + 7*x - 13. Let z be p(-9). Suppose -4*s - 3*a + 832 = 0, 453 = -z*s - 4*a + 1492. Is s prime?
True
Let x be 2*5/(10/4). Suppose -x*s = -2*s - 74. Suppose b = s + 14. Is b a composite number?
True
Suppose 0 = n + 5*l + 18, 4*n - 15 = -3*l - 2. Let i = n - 4. Suppose 0 = 5*c - i*y - 73, -4*c - 5*y = -2*y - 53. Is c prime?
False
Let l = 4 + 1. Let h(n) = n**3 - 4*n**2 - 5*n + 6. Is h(l) prime?
False
Suppose -5*y = 6*x - 2*x - 143, 0 = -5*y - x + 137. Is 1397/9 - 6/y a composite number?
True
Suppose 0 = 2*i + 3*i - 955. Is i a composite number?
False
Suppose 2*w - 6*w + 36 = 3*q, 5*q - 28 = 4*w. Is q/28 + 1041/7 a prime number?
True
Suppose -3*d + 2 = -2*d. Suppose 345 = 5*c - 5*l, -d*c + 130 = 2*l - 12. Suppose -41 = -3*j + c. Is j a prime number?
True
Let u be -72 + 1 + -5 + 3. Let w = u + 170. Is w composite?
False
Let t = 633 + -226. Is t composite?
True
Let j = 16 - 20. Is -14*(j + (-7)/(-2)) a prime number?
True
Suppose -4*v = 2*u - 64 - 4, 0 = -3*v - 4*u + 41. Suppose 29 = -4*m - v. Let q(a) = -a**3 - 11*a**2 + 10*a - 13. Is q(m) a prime number?
True
Is (-12)/(-16) - (-473)/4 a composite number?
True
Suppose -2*x - h = -792, -2*h = -3*x - 179 + 1374. Suppose t + x = 2*t. Is t composite?
False
Suppose 4 + 0 = 2*a. Let m(u) = 23*u**2 - u + 2. Let g be m(a). Suppose 0*q = 4*q - g. Is q prime?
True
Let j(t) = t**2 - 3*t - 3. Let m be j(-2). Suppose 0 = 3*x + 4 - m. Suppose 0 = -2*o - x + 63. Is o prime?
True
Suppose -2*z + 3*q + 14 = 8*q, 0 = -5*q. Let v(t) = 11*t + 10. Is v(z) a composite number?
True
Let u = -409 + 708. Suppose -3*v + u = -148. Is v prime?
True
Suppose 2*j - j = 0. Suppose -3*f - 5*a + 9 = 0, j = -f - f - 2*a + 6. Suppose 0 = f*s - 11 + 2. Is s a composite number?
False
Suppose 5*s - 2012 = -3*o + 2766, -3*s + 2869 = 4*o. Is s composite?
True
Suppose -302 = -v + 279. Is v a prime number?
False
Let r be 3*24 + 0 + 3. Let i = 149 - r. Is i a prime number?
False
Let b(d) = -d**3 + 2. Let a = 2 + -2. Let u be b(a). Suppose -u*z - z + 45 = 0. Is z prime?
False
Let q(w) = 4*w + 12*w**2 + 5*w**2 - 2 - w + 5. Is q(-2) a composite number?
True
Suppose 4*s = 3*s + 1379. Is s prime?
False
Let o = 32 + -26. Suppose -o*k = -3*k - 117. Is k prime?
False
Let a(s) = 2*s - s + s**3 + 3 + 5*s + 7*s**2. Let i be a(-5). Suppose -q = 5, -i = -0*p - 4*p - q. Is p a prime number?
True
Let p(f) = -1 + 0 - 4 - 3*f. Is p(-8) composite?
False
Let g(i) = -i**3 + 6*i**2 - 6*i + 7. Let d be g(5). Let l = d + 13. Is l a composite number?
True
Is (-2 - (-1 - 0))*-237 a prime number?
False
Let x = -447 + 1309. Is x composite?
True
Let u(q) = 315*q - 83. Is u(12) composite?
False
Let w = 7 + -4. Is w/5 - 6660/(-25) prime?
False
Suppose 0*h + 417 = 3*h. Suppose 3*j = 5*f - j - 207, -3*f = 5*j - h. Suppose -158 - f = -3*v. Is v composite?
False
Is 1080 + (9/3 - 6) a prime number?
False
Suppose 3*d + d = -172. Let s = d - -126. Is s a composite number?
False
Let b(t) = -6*t - 11. Let z be b(-10). Let y = 87 - z. Is y a prime number?
False
Suppose -4*o + 200 = -332. Is o composite?
True
Suppose 3*a - 3*k - 18 = -2*k, 0 = 5*k. Let x be (9/a)/(6/8). Suppose 29 = f + n, -3*f + f + x*n = -74. Is f prime?
False
Suppose 7*l = 9*l - 118. Is l a prime number?
True
Let r = -638 + 1076. Suppose -4*u + r + 406 = 0. Is u prime?
True
Let u = -56 + 155. Suppose -3*t + 252 = 3*r, -3*r + 4*r - 2*t - u = 0. Is r prime?
True
Let a(d) = -d + 5. Let u be a(3). Suppose -3*t + 2*k + 246 = -u*k, -5*t = 4*k - 442. Is t prime?
False
Let v(s) = s**3 - 7*s**2 - 3. Let w be v(7). Suppose f = -0*f + 6. Is -3*(f/w + -15) prime?
False
Let z be 1 + -1 + (-2 - -22). Suppose 2*l + 3*l + z = 0. Is 5/20 - 339/l a composite number?
True
Suppose 4*m - 8 = -3*g - g, 10 = -3*g + m. Let r(k) = -8*k**2 - 4*k + 3. Let o(j) = -15*j**2 - 9*j + 7. Let i(x) = 2*o(x) - 5*r(x). Is i(g) a composite number?
True
Let w be ((-2)/6)/((-2)/6). Let d(a) = 78*a**2 + 1. Is d(w) a composite number?
False
Suppose 3*b - 4*b = -5*a - 673, -3*b - 4*a + 2019 = 0. Is b a prime number?
True
Suppose 7*a - 60132 = 19913. Is a a composite number?
True
Let u(v) = 2*v**2 - 7*v - 5 - 3 + 9. Is u(6) composite?
False
Let z be (0 - -1)/((-2)/(-10)). Let b(x) = -x**3 - 5*x**2 - 6*x - 4. Let g be b(-4). Suppose -g*u - 5*j = -44, -u + 8 = -z*j - 3. Is u prime?
True
Suppose -37921 + 12971 = -10*l. Is l prime?
False
Let m(b) = -35*b - 7. Let y be m(-5). Suppose -3*o + 6*r = 3*r - y, 170 = 3*o - r. Is o prime?
False
Suppose 0*b + 5*b - 3*w - 2104 = 0, b - 2*w - 425 = 0. Is b composite?
False
Suppose 0 = -h + 3*q + 34, 2 = 4*q - 3*q. Let a be 125/(-15) + (-2)/3. Let o = h + a. Is o composite?
False
Suppose 4*g + 2780 = 8*g. Is g a prime number?
False
Let x(u) = -5*u**2 - 2*u + 5. Let z(f) = 40*f**2 + 15*f - 40. Let q(n) = -25*x(n) - 3*z(n). Is q(2) a composite number?
True
Let c = 599 - 330. Is c a composite number?
False
Suppose 0 = 2*o - 7*o - 45. Let y(m) = -3*m + 13. Let t be y(o). Suppose -3*x = 2*q - 35, q - t = -q - 4*x. Is q a prime number?
False
Suppose 3*p = 4*g + 23, 4 = -5*p - 3*g + 23. Suppose -p*w - 107 = -v, -v + 63 = -2*w - 38. Is v a prime number?
True
Let n = 98 - 61. Is n a prime number?
True
Let i(h) = -h + 8. Suppose -3*k + 10 = -8. Let l be i(k). Suppose 0 = -7*g + l*g + 125. 