 z be b(0). Do w and z have the same value?
False
Suppose 22*z - 26*z + 4 = 0. Let h(l) = -l - 17. Let b be h(-10). Let c be (z - -25)*b/(-14). Is c at least 12?
True
Let t(n) = -n**2 - 9*n + 4. Let d be t(-9). Suppose 3*y - d*i + 113 = 0, -4*y + 2*i - 35 = -3*y. Let h = 4919 + -4918. Is y at most h?
True
Let k = -5233 - -5238. Which is greater: -5.46 or k?
k
Let o = 29 - 52. Let l = o - -23.3. Let p = l + 0.7. Is p less than or equal to 7?
True
Let o = -1461 + 1464. Let m be 1069/(-4) + -4 - -3. Let a = m + 271. Which is greater: o or a?
o
Let g = 32 + -22. Suppose -m = -2*t - 9, -m - 5*t + 24 = -g*t. Let h be 8/(-12) - 2/(-117)*12. Which is bigger: m or h?
h
Suppose -3*y - z = -8, y - 2*z = z - 14. Suppose -3*p + 426 = 2*l, 2*l + 5*p = l + 199. Let t be 140/l - 12/18. Is y < t?
False
Let l = -5 - -11. Suppose -z - 7 - l = 0. Let n = -19 - z. Is -6 > n?
False
Let d be 29/(4/((-32)/(-8))). Suppose -5 = 12*y - d. Is 19 > y?
True
Let t = 0.964 - 2.001. Let h = 416.037 + -416. Let i = h + t. Which is bigger: -1.8 or i?
i
Let q = 38532 + -7436692/193. Is 0 greater than or equal to q?
True
Let k be (8 - (-49)/(-5))/((-4)/(4 + -44)). Suppose 3*j = 2*q - 64, -6*j + j - 5*q - 65 = 0. Is j > k?
False
Let d = 0.002377 - 0.302377. Let r = -225/2 + 655/6. Which is smaller: d or r?
r
Let k = 5897 + -5884. Which is smaller: -1.68 or k?
-1.68
Let q = -38.92 - -41.32. Is q > -475?
True
Let i(b) = -172*b + 100. Let p be i(2). Which is smaller: -245 or p?
-245
Let x = -993 + 1415. Let m be x - (-1 + -8 - -4). Is 428 greater than m?
True
Suppose 5*x + 5 = -5. Let b be (-1 - 2) + (-24)/x. Suppose -39 = 8*m + b. Which is bigger: m or -9?
m
Let z = -458 - -1845/4. Let p = z + -31/12. Let c = 2 + -1.9. Which is bigger: c or p?
p
Let c(y) = 8*y - 56. Let a(o) = -11*o - 15. Let j be a(-2). Let n be c(j). Which is bigger: 3/113 or n?
3/113
Let q = -0.81 - 130.19. Let a = 132 + q. Are 15 and a nonequal?
True
Let f be (-9)/6*(-170 - 36). Are f and 320 equal?
False
Let j be 13/2*2/(-4). Suppose 0 = -10*i + 19*i. Suppose 5*r = z + 2*r + 2, i = 3*r. Is z at most j?
False
Suppose 2*w = 3*b - 86, 0 = -5*b + w + 37 + 104. Let n(s) = 6*s - 11. Let v be n(9). Let d = v + -17. Which is greater: d or b?
b
Let w = 10.75 - 536.75. Which is smaller: w or -4?
w
Let l be ((-20)/((-93520)/21))/((-1215)/(-8)). Is l less than 0?
False
Let u(c) = 21*c + 1. Let z be u(-1). Suppose 5*x - 4*m = -126, -9*m = 3*x - 4*m + 46. Which is smaller: z or x?
x
Suppose 0 = -o - z + 7, 0 = -3*o - 2*z + 3*z + 21. Suppose k - o*k = 258. Is -42 bigger than k?
True
Let m = 0.6 + 0. Let w = 0.8 - m. Let f = 3949/7 - 565. Which is greater: w or f?
w
Let n = -797602/15 + 53238. Is 64 < n?
True
Let k = 38/2275 - 229/40950. Let n be (-3 - 0)*(-1)/1. Suppose h + 2 = n*h. Which is smaller: k or h?
k
Let c(s) = 2*s**2 - 46*s + 401. Let x be c(33). Which is bigger: 1062 or x?
1062
Let v = -35386 + 35547. Let f = -2.9 - -3. Is f greater than v?
False
Let j be ((-62)/(-78) - (-108)/(-81))/(-1). Let q be ((-54)/195)/((-8)/30). Let b = q - j. Is 9/2 <= b?
False
Let x = -97 - -98. Suppose f - x = -b, -3*b - 5*f - 3 = 2. Which is smaller: b or 9?
b
Let r = -13 + 28. Suppose -2*y = -2*k - 42, 55 = -y - 2*k + 61. Are y and r unequal?
True
Let a be 2814/90 + (-1)/(35/21). Which is smaller: a or 31?
a
Let l be -6 + 3 - 237 - (-621)/69. Are l and -223 nonequal?
True
Let u(d) = -41*d - 1401. Let z be u(-34). Which is greater: 10 or z?
10
Let f = 15 + -9. Let n be (1734/153)/(-1*2/f). Let k = n + 33. Is 2/7 less than or equal to k?
False
Let l = 246 - 118. Suppose 0 = 4*j + 4*a - 540, 0 = 4*j + a - 646 + 124. Is j < l?
False
Let s = 33865 - 35569. Is s less than or equal to -6815/4?
True
Suppose -2*j + j = -4*j. Let a be -97 - ((-12)/(-3) + j). Which is greater: -99 or a?
-99
Let w = 0.5748 - 58.5748. Is 8 at most as big as w?
False
Let r = 168 + -151. Let c(i) = i**3 - 9*i**2 - 11*i + 12. Let d be c(10). Suppose -x + r = -6*x + 3*s, 3*x + d*s = 5. Is -5 greater than or equal to x?
False
Let a be 3 + 0 + 1 + (-2 - 0). Suppose 4*i - 30 = -a*x, 2*x = -i - 2 + 17. Let c be (-3 - -2)*(x + -4)*11. Is -11 greater than c?
False
Let w = 3555679/11 + -322897. Is w < 346?
False
Suppose 4*v - 3*m + 0 = 23, v + m = -3. Let k = 10564/35 - 584807/455. Let o = 984 + k. Are v and o nonequal?
True
Let r(f) = -3*f**2 + 5*f - 5. Let a be r(2). Let i = a + 28. Let d be (i/14)/(18/(-8)). Which is greater: d or -0.45?
-0.45
Let x = -127 + 115. Let d be (-129)/(-9)*9/x. Suppose -2*a + 3*a = 1, -4*a + 14 = -s. Which is smaller: d or s?
d
Let i be (292/(-925275))/(8/(-18)). Which is greater: 1 or i?
1
Let v be (-306)/17 - (-16310)/(-105). Are 0.11 and v unequal?
True
Let y = -2436 + 2494.8. Is -5 at most as big as y?
True
Let p = 18 - 18.27. Let h = p - 0.73. Let d(u) = -u**3 + 7*u**2 - 3*u + 24. Let v be d(7). Does h = v?
False
Let r = -5424 - -10947. Which is smaller: -0.1 or r?
-0.1
Let p = 3327 - 3328. Is 31/259 greater than p?
True
Suppose -34 = 2*j + 1372*g - 1376*g, 3*g = 24. Do j and 8/201 have the same value?
False
Suppose 0 = -g + 4*u + 9, -2*g + 9 = -0*g + u. Let f be ((-22)/66)/((g/(-123))/1). Is 7 at most f?
True
Let y be 12511/(-40) + (-15)/1440*-36. Is y > -312?
False
Suppose 0 = 2*j - 9*x + 4*x - 372, -x = -2*j + 388. Let a = j + -82. Suppose 119*z - a*z = 20. Are z and 0 nonequal?
True
Let q = 44/3 - 265/18. Let f = -13/18 - q. Which is greater: 1/6 or f?
1/6
Let z be (222/(-8))/(942/1256). Let k be (-36)/((0 + 1)/1). Is z bigger than k?
False
Let a = 514 + -583. Let f be (-18)/49*1288/a. Which is smaller: 6 or f?
6
Let j = -9.3 + 16. Let r = j - 10.7. Let d = -16 + 15. Is d less than or equal to r?
False
Let v(n) = n - 16. Let q be v(17). Let a be (-15)/(-90) - 28/(-16). Which is smaller: a or q?
q
Let z(s) be the third derivative of -s**5/60 - s**4/8 + 10*s**3/3 + 20*s**2. Let n be z(-9). Let o = 33 + n. Which is bigger: o or -1/30?
-1/30
Let u = -41 + 86. Let t be (-84)/u - 4/30. Let k be -7 - (4/1 + t). Is k < -10?
False
Let d be (4/(-174) - 0)*3. Suppose -2*z + 39*b + 4 = 44*b, 2*z - 4 = -2*b. Suppose 2*i + z*h + 4 = 0, 4*i - 5*h - 9 = 8*i. Which is smaller: i or d?
i
Let m = 4.25 + -7. Let u = -26.95 - m. Let s = -24 - u. Which is smaller: -8 or s?
-8
Let x be (1415/570 - (-1 - -6)) + 4. Which is greater: x or 2?
2
Suppose 4*k - 1821 = 4483. Let m be ((-15)/25)/(k/40). Is 1 equal to m?
False
Let m(h) = -9*h - h + h - 6*h + h. Let g be m(2). Is -4 greater than or equal to g?
True
Let x = -270 - -247. Let p(y) = -12*y. Let q be p(-2). Let d = x + q. Is -1 bigger than d?
False
Let m be (-40)/8 + 0 + 11. Suppose -k + 45 = 2*k. Let c be (k/(-3650))/(m/(-8)). Which is greater: 0 or c?
c
Let b = 584.06 - 591.1. Which is smaller: -6 or b?
b
Let h = -14987 + 194801/13. Let s(g) = g**2 + 5*g. Let l be s(-5). Suppose -2*o + 9 = -3*f, 0 = 2*f - o - l*o + 5. Which is smaller: h or f?
h
Suppose 111 - 79 = 8*l. Suppose -l*i - 3*i = -833. Is i at most 118?
False
Let a be 1*2/(-6)*-9. Suppose a*t + 2*z = 0, 2*t - t + 3*z - 7 = 0. Which is greater: t or -26/15?
-26/15
Let y be (51*(-12)/(-9))/(187/1309). Which is bigger: 5239/11 or y?
5239/11
Let z(m) = 4*m - 103. Let u(g) = 18*g**3 - 3*g**2 + 13*g - 11. Let k be u(1). Let i be z(k). Are i and -36 equal?
False
Let a = -7 - -7. Suppose -4*q + a*q - 32 = 0. Let g be (q/6)/((-4)/12). Is 1 >= g?
False
Suppose -3*m - d + 5 = -5*m, -2*m = 3*d - 15. Suppose 2*v = -v - z + 94, m = -v - 5*z + 22. Let j be v/(-80) - ((-342)/130 + 1). Is j at least as big as 1?
True
Suppose 11*t = 13*t - 3*p - 191, -4*p = 4*t - 432. Suppose -3*y - 88 = 4*j - 5*j, -319 = -3*j - 2*y. Is t != j?
False
Let y = -6565 - -9669. Are 1 and y equal?
False
Let o be (-4)/20 - (-3)/15. Suppose 4*t + o*k - 56 = -5*k, 14 = t - 3*k. Are -1/5 and t equal?
False
Let p = 147 + -150.05. Let g = -3.05 - p. Let k = 12 - -4. Is g greater than or equal to k?
False
Let u(t) = 4*t + 74. Let c be u(-18). Suppose w + 54 = -c. Let g = 76 - 133. Which is bigger: w or g?
w
Let m(r) be the second derivative of 2*r**3/3 + 27*r**2/2 + 107*r. Let y be m(9). Are 64 and y unequal?
True
Let l = -29 + 26. Let v be (l + (-1 - -2))*-1. Let s be ((-6)/(-4))/((-90)/(-156)). Is v less than s?
True
Suppose 2*d + 0*d + 6036 = -2*n, -2*n - 3021 = d. Which is smaller: 