se -h + 4*j = -545, 4*j = -0*j - n. Is h a composite number?
False
Let s(o) = 2 - 11*o + 7*o**2 + 11*o + 6*o - 2*o**3. Is s(-5) a prime number?
True
Suppose -4923 = -3*d - 3*r, 0 = 4*d + 3*r - 1476 - 5086. Is d prime?
False
Let t = -198 - -311. Is t a prime number?
True
Let h be 2/6 - (-21373)/87. Let x(l) = -l**2 + 3*l + 1. Let c be x(3). Is h + (-6)/(-3) + c a prime number?
False
Let c = 22508 - -5439. Is c composite?
False
Let s = 4 - 2. Let y = 141 - 139. Suppose y*w = -h + 297, s*h + 2*w = 3*w + 569. Is h prime?
False
Let p be 15/(-5)*(-22)/6. Let w = p + -9. Is -10*(-27)/w + -2 a prime number?
False
Let r(n) = n + 2. Let w be r(-2). Let p be (w + 3)*2/(-3). Is (p - -2) + -2 + 147 a composite number?
True
Suppose 11 = -5*z - 4. Let a be ((-11)/z)/(5/165). Suppose 2*i - 3*x + 44 - a = 0, x + 5 = 0. Is i a prime number?
True
Let q = 49 - 44. Suppose 3004 = q*c - c. Is c prime?
True
Suppose 0 = -4*r + 21 - 5. Suppose 1498 = r*g - 2*g. Is g prime?
False
Let d(z) = z**3 + 6*z**2 + 5*z + 3. Let w be d(-5). Suppose -3*l + 2*p + w = 4*p, -5*p - 15 = 0. Suppose -2*j = -47 + l. Is j prime?
False
Let v(t) = t**3 + 7*t**2 + 7*t. Let a be v(-6). Let l = a + 4. Is 3/6 - 177/l prime?
True
Suppose -20 = 4*u, -u = -5*r + u + 30255. Is r a prime number?
False
Suppose m = -4*y + 36360, 2*y - 7*m + 8*m - 18178 = 0. Is y a composite number?
False
Let q = -11 + 12. Suppose 4 = -3*b + 5*p, -2*b + 4*p = b - q. Is b prime?
True
Let k be -3 + 3 + 6 + (-4)/2. Suppose -k*q - 7*q + 19514 = 0. Is q a prime number?
False
Suppose 0*c + c = 3. Suppose c*v = -2*a - 69, 2*a + 3*a - 3*v + 162 = 0. Let n = a + 92. Is n a prime number?
True
Suppose -4 - 2 = -3*d, -s = -5*d + 8. Suppose s*t - 43 = 95. Let c = t + -38. Is c a composite number?
False
Let a(q) = 159*q**2 + 7*q - 1. Is a(-7) prime?
True
Let m = 2 + 0. Suppose -m*u + 0 = 12. Is (-21)/(-2)*(-68)/u a prime number?
False
Let l be (-69)/9 + 2/3. Is (-4822)/l - 2/(-14) a composite number?
True
Suppose 2*d = 5*d - 9. Let n = d + -5. Let w(t) = -77*t - 5. Is w(n) prime?
True
Let w(p) be the second derivative of -6*p + 1/2*p**2 + 0 + 7/4*p**4 + 2/3*p**3. Is w(-2) composite?
True
Let b be ((-32)/(-44))/4 + (-8840)/(-22). Let o = b + -241. Is o a composite number?
True
Let g(t) = t**2 + 5*t - 9. Let s be g(5). Let b = 60 - s. Is b a prime number?
True
Is 291*-2*2/(-6) a prime number?
False
Suppose 2*v - 28970 = -3*o + 18888, 4*o = 2*v - 47858. Is v a prime number?
True
Let i(c) = -24 + 11 + 5*c + 91*c**2 + 110*c**2. Is i(-4) a composite number?
True
Let f(j) = -418*j**3 - j + 98*j**2 + 2 + 32*j**3 + 3837*j**3 - 101*j**2. Is f(1) a composite number?
False
Suppose 0 = 2*b + 5 - 9. Suppose 4*c + 6 + 10 = 0, -b*c + 92 = 4*x. Suppose -331 = -4*v + x. Is v prime?
True
Let p = 991 - 366. Suppose -5*o + p = 35. Is o composite?
True
Let d be (-3 + 48/(-4))*-32. Suppose 0 = 4*g - d - 836. Is g a composite number?
True
Is (-2458)/(-4)*88/44 a prime number?
True
Let c be (2/4)/(2/(-188)). Let z = -32 - c. Is 1698/z - (-6)/(-30) prime?
True
Let j = -86 - -86. Suppose j = -4*d - d - a + 4326, -d + 3*a = -862. Is d a prime number?
False
Suppose 16*n - 14241 = 2927. Is n a composite number?
True
Suppose -17*d - 2749 = -18*d. Is d a composite number?
False
Let s be 8 + 0/((-3)/1). Suppose -x - 3 = -3*d, -3*d - 2 + s = -2*x. Suppose d = 3*q - 8*q + 385. Is q composite?
True
Let f = 7063 + -5000. Is f composite?
False
Let g be 9005 - (-2 + (-8)/(-2)). Suppose 5*y - 857 = -3*i + 4551, 5*i - 2*y = g. Is i composite?
False
Suppose -5 + 41 = l. Suppose -c = 3*c - l. Is (-1 + 2)/(c/297) prime?
False
Let g(t) = -t**3 + 5*t**2 + 10*t + 9. Is g(-5) a prime number?
False
Let c(r) = r**3 + 2*r**2 - 22*r + 11. Is c(10) prime?
True
Let v = -323 + 1283. Suppose 5*y = -0*y + 5*g + 1190, -4*y = 4*g - v. Is y a composite number?
False
Let h(l) = -l**2 - 9*l - 16. Let t be h(-4). Suppose -x + 8*z + 270 = t*z, -1012 = -4*x - z. Is x a composite number?
True
Suppose 5*n + v - 13 - 17 = 0, -2*n - 2*v = -20. Suppose -3*z = z + 4*s - 1988, 2*z - n*s - 1029 = 0. Is z composite?
True
Let r = -2348 + 3917. Is r prime?
False
Suppose 5*d + 517 = -u + 3*u, 0 = -u - 2*d + 263. Suppose a - 1 = -2*h + 1, -2*h - 4 = 0. Suppose a = 3*c - u. Is c prime?
True
Let z(o) be the first derivative of -341*o**2/2 - 9*o - 9. Is z(-2) prime?
True
Suppose 267 = -r + 13. Let m = 83 - r. Is m a prime number?
True
Suppose 21 = -5*l + 76. Let g = -7 + l. Suppose -110 + 754 = g*h. Is h a composite number?
True
Suppose -119 = -5*r - x + 157, -2*x = -2. Suppose 21*n = 20*n + r. Is n composite?
True
Let z(g) = 9*g**2 + 133*g + 116. Is z(53) a composite number?
True
Suppose -9*p + 1291 = 4261. Let r = -128 - -52. Let g = r - p. Is g composite?
True
Let j(l) = 25*l**3 - 2*l**2 + l + 1. Let b be j(-1). Is -1 + (-33)/b - 75412/(-36) prime?
False
Suppose 4*o = -o. Suppose o*c + 5*c - 935 = 0. Is c composite?
True
Suppose 254 = 5*f - 3*f. Suppose -2*c - 2*g = -238, -c + 3*g = -0*g - f. Is c composite?
True
Is (5/15)/(6 + 29825/(-4971)) prime?
True
Suppose 0 = -0*s + 4*s + 4*t + 28, 0 = t - 5. Let v = 21 - s. Is v a prime number?
False
Suppose 2*o - 5803 = -2081. Is o a prime number?
True
Suppose 0 = -15*c + 20*c - 3245. Suppose -237 = -2*j + c. Is j a prime number?
True
Suppose -120 = 3*j - z + 4*z, 3*z + 157 = -4*j. Let a = 40 + 31. Let o = a + j. Is o composite?
True
Suppose -116 = x + 33. Let h = x + 257. Suppose -3*v = h - 489. Is v a prime number?
True
Is ((-4)/6)/((-2)/50412*4) a prime number?
True
Suppose -2*m + p + 7328 = 0, 3*m - 6071 = -3*p + 4903. Is m a prime number?
False
Let b(q) = 1023*q + 12. Let o be b(4). Suppose 3*s + o + 1852 = 5*d, 4*d + 4*s - 4784 = 0. Is d a composite number?
False
Suppose i - 3 = -0*i. Suppose -i*k - k = 964. Let s = 420 + k. Is s a composite number?
False
Suppose 3*h = 4 + 5. Suppose 2*a = h*a + 4*j - 317, 4*a - 1358 = 2*j. Is a a composite number?
False
Let u be 112/49 - 2/7. Suppose 4*b - u*o - 8 = -2, -b = 4*o - 24. Suppose -b*j + 1033 = 5*w, -193 = -5*j + 5*w + 1087. Is j a prime number?
True
Let s = -2357 + 5316. Is s a prime number?
False
Suppose -4946 - 1076 = -2*s. Is s composite?
False
Let m(l) = -l**3 + 5*l**2 + 6. Let o be m(5). Suppose -11 = 5*c + 9. Is 6/c*(-316)/o prime?
True
Let n be (-8)/(-8)*0/(-3). Let c(a) = a**2 - 3*a - 1. Let b be c(4). Suppose n = i - b*f - 235, f = -4*i - i + 1111. Is i a prime number?
True
Let z = -22 - -64. Let u(p) = -p**3 + 11*p**2 + 8*p - 5. Let q be u(5). Suppose -a - z = -q. Is a a composite number?
True
Let s be -4 + (1 - (-5 + 4)). Is 112/196 + (-53458)/(-14) + s prime?
False
Let b(a) = a**3 - 7*a**2 + a. Let r be b(7). Suppose 2831 - 1074 = r*q. Is q a prime number?
True
Suppose -8*z = -13*z - 30. Is (-1952)/(-6) - (0 - (-4)/z) a prime number?
False
Let g = 13 + -11. Suppose -g*i = 3*i - 1265. Is i a composite number?
True
Let f = 0 + 0. Let b(q) be the first derivative of -q**4/4 - q**3/3 + 23*q - 32. Is b(f) prime?
True
Let z be 4/(-10) + (-44)/(-10). Is 164 + 4/z*-3 prime?
False
Let j(n) = 67*n**2 + 25*n - 5. Is j(7) prime?
False
Let b be 8*(20/8 - 3). Let y be (1 + 3 + b)/2. Suppose y*d + 674 = 2*d. Is d prime?
True
Let l be 68/(-2)*(-1)/2. Suppose -3*k = -3*q + 33, l - 4 = -3*k - q. Is 12/k - (-1 - 144) prime?
False
Suppose -2*k = 2*k. Suppose -2*h - 83 = 4*q + 157, 3*h - 6 = k. Let u = q - -144. Is u prime?
True
Let m = 2148 + 649. Is m prime?
True
Suppose 854492 - 42726 = 62*x. Is x prime?
True
Let l(s) = s**2 - 4*s - 31. Let a be l(0). Let z be 351/6 - 1/2. Let b = z - a. Is b composite?
False
Suppose -12 = -x - 9. Suppose 0 = -2*y + 5*f + 49, 17 - 106 = -2*y - x*f. Is y a composite number?
False
Suppose -22*v - 12*v = -65756. Is v a composite number?
True
Suppose 0 = 5*j - 5*r + 30, 6*j = 7*j - 3*r + 14. Is 56 - (12/(-8) + 2)*j composite?
True
Is (-2 - -32261)*(-11 + 102/9) a prime number?
True
Let w = -102270 - -231718. Suppose 0 = 4*g - 8*g - w. Is 3/2*g/(-33) a composite number?
False
Is 63737 + (9 - ((-245)/(-5))/7) composite?
True
Let x = -2910 - -5756. Suppose 11*q - 13*q = -x. Is q prime?
True
Let y be ((-6)/(-5))/(9/30). Is y/6 - (-14371)/63*3 a prime number?
False
Let m be (19/2)/(-1 - 6/(-12)). Is m/((-2)/(7 + -1)) prime?
False
Let w = -20 + 22. Suppose -w*r + r + 273 = 0. Suppose 0 = 6*