rime number?
False
Let g = 5380 - -5817. Is g a prime number?
True
Let v be (3954/5)/(18/60). Let c = 4095 - v. Is c composite?
False
Let v = -7 + 15. Suppose -539 - 6669 = -v*m. Is m a prime number?
False
Let y = 1116 - -9685. Is y a composite number?
True
Suppose 6*r - 19 = -7. Suppose -3*k + 15 + 39 = 3*h, -5*k + 97 = -r*h. Is k composite?
False
Suppose -2*m - 11585 = -7*m. Suppose q - 8*q + m = 0. Is q a prime number?
True
Suppose 0 = -6*j + 5*j + 5. Suppose -q + 1746 = j*q. Is q composite?
True
Suppose 4*j - 18978 = 2*y, 10*j + 3*y = 9*j + 4762. Is j composite?
True
Let d = 15 - 12. Let g be 18/4*2/d. Is 3*3*1/g a prime number?
True
Let p = 524 + 135. Let u = 393 + -745. Let y = p + u. Is y a prime number?
True
Suppose 51*l - 14077976 = -37*l. Is l a composite number?
False
Suppose -49*z - 1761 = -50*z. Suppose -122*l = -119*l - z. Is l composite?
False
Let u = -141 + 9044. Is u a prime number?
False
Suppose 4*r - 440 - 324 = 0. Is r a prime number?
True
Let x(g) = -50*g - 21. Let z(b) = -b - 1. Let q(l) = -x(l) + 3*z(l). Let c(h) = 1. Let u(y) = 3*c(y) - q(y). Is u(-6) a prime number?
False
Let x be ((-14)/3)/((-6)/(-243)). Let r = 460 + x. Is r a composite number?
False
Let l(z) = -208*z**3 + 5*z**2 + z - 19. Is l(-3) a prime number?
True
Suppose -5*v = -3*v - 3530. Let t be (-8)/(-12)*(-15)/(-2). Suppose -4*q - 2*a = q - 1765, -5*a - v = -t*q. Is q prime?
True
Suppose 0 = x - 1, -4*d = -8*d - 5*x + 176385. Is d a composite number?
True
Is ((-5)/(35/(-11158)))/2 a prime number?
True
Let w(y) = 2*y**2 + 16*y - 37. Is w(-14) prime?
True
Let d = 251533 + -117560. Is d composite?
True
Let s(b) = b**3 + 9*b**2 - 11*b - 5. Let x be s(-10). Suppose 0 = -x*t - 2*d + 3 + 1, -3*t + 21 = -5*d. Suppose h + t = 115. Is h a prime number?
True
Let r(d) = -d**2 - 6*d + 3. Let h be r(-6). Let a be (38 - -5)/(-2 + h). Suppose 5*w - 2*i = a, -2*i + 20 = 4*w - 0. Is w a composite number?
False
Suppose -5*f + s - 10 = 0, 0 = -2*f - 2*s + 3 - 7. Is ((f + 0)*-59)/2 a composite number?
False
Let l = 171 - -1669. Let y = l + -177. Is y composite?
False
Is -7414*(10/75 - 76/120) prime?
False
Suppose 0 = 983*p - 977*p - 140394. Is p a prime number?
True
Let n(i) = -2*i + 32. Let m be n(14). Suppose -u + 142 = 5*h, -3*u + 369 = -0*u - m*h. Is u prime?
True
Is -2*(-6240 - (-2 + 9))/2 a composite number?
False
Suppose 0 = -33*c + 31785 + 55896. Is c composite?
False
Let x = -31521 + 47288. Is x composite?
False
Let p(j) = -j**2 + 2. Let q be p(0). Let f = q - -20. Suppose b = f + 1. Is b a prime number?
True
Is 7770 + 1 - (40 + -38) a prime number?
False
Let r(k) = -6*k - 4. Let s be r(-1). Suppose -4*t + 1526 = -2*v - 0*v, 4*t + s*v = 1530. Is t prime?
False
Is (11091 - 40/(-8))*1 - 7 a prime number?
False
Suppose 4*i = i. Suppose m = 3*a - 13, -2*m + i*a + 14 = 2*a. Suppose -m*v - 93 = -5*v. Is v composite?
False
Let b(o) = -5048*o + 733. Is b(-14) prime?
False
Suppose -16 = -5*h + 4. Suppose s = h, 4*k + s = -s + 6636. Is k a prime number?
True
Suppose n = -3*i + 5*n + 37215, -5*i = 4*n - 62057. Is i composite?
False
Is 279/372*((-709031)/(-3) - 1) composite?
False
Let w(o) = o**3 + o**2 + 3*o + 2. Suppose 4*g = 3 - 11. Let d be w(g). Let y(j) = 3*j**2 + 5*j + 6. Is y(d) prime?
False
Let r be (-24)/(-9)*(-15)/(-10). Let x(k) = 87*k - 11. Is x(r) a prime number?
True
Let s(p) = p**3 - 41*p**2 + 51*p + 5. Is s(46) a composite number?
True
Suppose 518 = 2*q - 958. Let a(b) = -42*b**2 - b - 4. Let h be a(3). Let c = h + q. Is c composite?
False
Let f(q) = 22*q**2 - 4*q + 41. Is f(-15) composite?
False
Is 4 + ((-2776389)/11)/(-7) a prime number?
True
Suppose -2*z - 10 - 276 = 0. Let b = z - -366. Is b a prime number?
True
Suppose 29984 + 32600 = 5*u - 3*c, 0 = 3*u - 3*c - 37554. Is u a composite number?
True
Suppose 8*a - 3*a = -4*j + 35789, j = -2*a + 8951. Is j a composite number?
False
Let k be (12/(-8))/(3/(-20)). Suppose -f - 4*f + k = 0. Is (1137/(-6))/((-1)/f) composite?
False
Let l = 13 + 20. Let n = 119 + -67. Let s = n - l. Is s a prime number?
True
Suppose -10*o = -15*o + 1805. Suppose 4*n = 3907 + o. Is n composite?
True
Let n = -15832 + 23583. Is n prime?
False
Let p be 46/6 - 15/9. Let r be (-1545)/p - 1/(-2). Let u = 666 + r. Is u composite?
False
Let t(w) = w - 5. Let v be t(-6). Let y be (v - -6)*(1 - 2). Suppose 5*b = 0, -3*g + y*b + 175 = 2*g. Is g prime?
False
Suppose 11*z - 21 = 34. Let f(m) = 193*m + 12. Is f(z) a prime number?
True
Suppose 2*x + 2*i - 27298 = 0, -4*x = x - 4*i - 68245. Is x a prime number?
True
Let b be -4 + 4 + 2 + 3. Is 18966/5 - (-9)/(-225)*b a composite number?
False
Let u(s) = s**3 - 19*s**2 + 24*s + 7. Let c(z) = -2*z**3 + 18*z**2 - 24*z - 7. Let i(q) = -2*c(q) - 3*u(q). Is i(-19) composite?
False
Is 7 + 0 - (3 + -1045) prime?
True
Let h = 2049 - 268. Is h a composite number?
True
Suppose 42 = 7*b + 7. Let p(f) = -f**2 + 6*f + 6. Is p(b) composite?
False
Let y = 279 - 557. Let h = -155 - y. Is h a composite number?
True
Let b be ((-5812)/8)/((-1)/2). Suppose 5*d + b = -187. Let a = d - -519. Is a composite?
False
Let b be (-65)/(-15) - (-1)/(-3). Suppose 2242 = b*c + 158. Is c composite?
False
Suppose 1924 - 399 = 5*u. Suppose n = -4*o + u, -n - 2*o = -3*o - 320. Is n a composite number?
False
Suppose 0 = -5*q - 15, 3*q + 102 = 5*c - q. Let a = c - 14. Is (-3942)/(-22) - a/22 a prime number?
True
Let o = 10225 - -7318. Is o a composite number?
True
Let z(f) = -8*f - 4*f + 0*f + 3. Let q be z(-2). Is 639/q + 2/(-3) a composite number?
False
Let j = 94 + -57. Suppose s + 5*c = 75, -335 = -4*s - 2*c + j. Suppose 4*u - t - s = 0, -t + 9 = -4*t. Is u composite?
False
Let i = 273 + 3032. Is i a prime number?
False
Let v be (-38)/4 + 3/6. Let r be 3/v - 9818/(-6). Suppose -3*a + r = a. Is a composite?
False
Let p(k) = k**2 + k. Let w(l) be the first derivative of -8*l**3/3 - 13*l**2/2 + 2*l + 7. Let v(j) = 22*p(j) + 2*w(j). Is v(3) a composite number?
True
Suppose 0 = -9*d + 6*d + 12. Suppose -3*j + 2632 = j + d*g, -2*j - g = -1320. Is j prime?
False
Let d(o) be the first derivative of -3*o**2/2 - 19*o - 1. Let u be d(-10). Suppose -u = c - 2*c. Is c a prime number?
True
Let s(m) = m**3 + 22*m**2 - 23*m + 7. Let y be s(-23). Is (y - (7 + 2)) + (471 - 0) a prime number?
False
Suppose -l = 2*c - 3637, 7*c - 5442 = 4*c + 3*l. Is c a composite number?
True
Let p = 8 + -5. Let g be -3 + (4 - p) + 6. Suppose -730 = -4*f - 5*h, g*f - 562 = -4*h + 170. Is f a composite number?
True
Let p(g) be the third derivative of 7*g**2 + 0 + 0*g - 71/8*g**4 - 1/3*g**3. Is p(-1) a prime number?
True
Let y be (-8 - -11)/(2/4). Suppose -3*x + y*x - 1552 = -2*a, -4*x - 4*a + 2076 = 0. Is x a prime number?
False
Suppose -27 = 3*n - 2*b - b, -3*n + 5*b = 33. Is (-18)/12*3656/n - 1 a prime number?
False
Let d be ((-4)/(-6))/((-10)/(-75)). Suppose 2*t - 2*b = 2, 4*b + b - 45 = -d*t. Suppose -t*g = -26 - 369. Is g a prime number?
True
Suppose 3*i - 3*a - 3289 = 3788, 2*a - 7077 = -3*i. Suppose -4*w + i - 27 = 0. Is w composite?
True
Suppose -3*l - 9 = -t, t = -4*t - 3*l - 27. Is (-1)/((-634)/211 + t/(-1)) a composite number?
False
Let l = 3049 + 761. Let u = l - 2267. Is u composite?
False
Is 14/(-63) - 204898/(-18) prime?
True
Let o be ((-4)/(-8))/((-2)/956). Suppose -3*h = 4*p - 0*p + 2756, -3704 = 4*h - 2*p. Let c = o - h. Is c prime?
False
Let o be (-11)/55 - (-172)/10. Suppose o*g - 3884 = 13*g. Is g prime?
True
Let t = 25 + -25. Suppose 0 = -u - t*u + 161. Is u prime?
False
Let n be (-73 + -1)*(-5)/(80/248). Suppose -3481 = -5*f + k, 3*k = -3*f + 956 + n. Is f prime?
False
Is ((-1)/(16/(-53260)))/(6/24) a prime number?
False
Let z = 12 - 11. Let o be (z - 0)*294/(-6). Let b = o - -118. Is b a composite number?
True
Let y(q) = q**3 - 6*q + 199855. Is y(0) composite?
True
Let v = 2870 - 579. Is v a composite number?
True
Let l be (25/(-3))/(8/(-24)). Let y = l - -12. Is y composite?
False
Let j = 24669 - 8486. Is j a composite number?
False
Let w be -1*(-2 + 3 + -4). Suppose 5*m - w*m = 22. Let f = m + 78. Is f prime?
True
Let i(v) = -v + 70. Let m be i(22). Suppose 2538 = 6*a + m. Is a a composite number?
True
Let j = -42 - -63. Let s = j + -18. Suppose -s*u = 34 - 100. Is u composite?
True
Suppose 11*u - 512654 - 86912 = 0. Is u prime?
False
Let r