4). Let s be j/(-9) - 12/(-54). Is 3/19 at least s?
True
Let b(h) = h**3 - 13*h**2 - 3*h + 15. Let y be (-80)/((-10)/(-2))*-1. Let q be b(y). Let v = q - 30137/41. Does -1 = v?
False
Let r(d) = -d**3 - 3*d**2 + 7*d + 5. Let h be r(-4). Let a be 9*(h/(-3) + -3). Let v be (2 - 0) + a/4. Is 7 bigger than v?
True
Suppose -d + 3 = 5, 5*d = 2*m - 12. Let n be (-51 + 52)/(1*(-2)/4). Let p be 22/(-1221)*n/(2/3). Which is smaller: p or m?
p
Suppose 4*y = 8*y - 48. Suppose 2*b = -0*b + 4*r - y, b + 4 = r. Let a = -0.04904 + -0.06096. Which is smaller: a or b?
b
Let h = -1088 + 1210. Which is bigger: h or 1?
h
Let u = -56 - -58. Let w be (u/(-6))/((-21)/(-36)). Which is smaller: 2 or w?
w
Let n = 2384 + -2383. Is n less than or equal to 2/1503?
False
Suppose -v + 4*v = -33. Suppose 303*s - 292*s + 99 = 0. Which is smaller: v or s?
v
Let d = 98 + -154. Which is bigger: -0.1 or d?
-0.1
Let w be 5*-6*(-4)/(-20). Let r be 4/(-6)*w/(-10). Let v = -0.7 - 2.3. Is v > r?
False
Let q(d) = d**3 - d**2 + 3. Let a be q(0). Let m = a - -1. Suppose 0*y = m*y + 16. Does -2/7 = y?
False
Suppose p = -2*q - 0*q - 73, 4*q - p = -137. Let l be 4 + 2 + 205/q. Is 2 greater than l?
True
Let b = 7.453 - 0.053. Let n = 2.8 + -1.4. Let z = n - b. Is 1 bigger than z?
True
Suppose u + 2*u - 22 = 5*y, 3*y = -2*u + 2. Let m = u - 5. Is m less than -2/21?
True
Let t(m) = -m**2 + 34*m + 67. Let x be t(32). Is 131 less than x?
False
Let r(k) = 8*k**3 - 24*k**2 + 2*k + 6. Let o be r(4). Which is greater: 144 or o?
144
Let a(z) be the first derivative of -5*z**3/3 - z**2/2 + 2*z - 38. Let l be a(1). Let d be (-2*(-2 + 0))/(-1). Does d = l?
True
Let c = 3.09 - 3.29. Which is greater: 90 or c?
90
Suppose 0*q - 2*q + 1 = -i, 5*q = -3*i + 8. Suppose 5*h = -3*l + 532, -l + 3 = -1. Let y be 16/h - (-5)/(-117). Is i < y?
False
Let k(u) be the first derivative of u**3/3 + 5*u**2/2 - 8*u - 7. Let d be k(-6). Let n be (-12)/(2 - d)*-1. Which is smaller: 6 or n?
n
Let b = -0.18 - 1.02. Let c = b - -0.2. Let p = 0.8 + c. Which is smaller: 0.05 or p?
p
Let p = -25 - -16. Let v = p - -32. Suppose -4*f + 2*z = -2*z + 56, -3*z = -2*f - v. Is f != -19?
False
Let k(l) = -l**2 + 5*l - 3. Let p be k(3). Suppose 1 = -o - x, -2*o + x - p = -7*o. Let n be (o + -1)/1 - 3. Which is greater: -7/3 or n?
-7/3
Suppose -422*x + 585 = -435*x. Which is smaller: x or 1?
x
Let p be 2/(-3)*36/44. Let r = 19 - 19. Does p = r?
False
Let a be (1 - (0 - -1))/(-1). Suppose -s + 6*s - 5 = a, 0 = -u + s. Let j be 0 + u/(-13)*-3. Is j not equal to 1?
True
Let l = 10 + -15. Let v = 277 + -282. Are v and l unequal?
False
Let v = 1262 + -5045/4. Which is smaller: 0.282 or v?
0.282
Let f = 1/43 - 47/172. Let x = 35.4 + -36.9. Is x <= f?
True
Let b be (8 - 2)*-1*6/28. Is b >= 1?
False
Let c be (-23)/(-276)*8/3. Is -2 != c?
True
Let u(b) = b + 1. Let s be u(-1). Let d be (1 + 2 + 0)/(1 - s). Is d greater than or equal to 1?
True
Let k(g) = -4*g + 2. Let c be k(7). Let y = c - -27. Suppose -15 = 2*a + 3*a + 5*b, -3*a - b = -1. Which is greater: y or a?
a
Let p = 0.034 + -0.006. Let s = p - -5.972. Let o = -0.1 - -2.1. Does s = o?
False
Let f = -52 - -52. Suppose f = -2*y - v + 4, 0 = -5*y - 0*v + 5*v - 20. Is -2/37 < y?
True
Let n be 20031/3366 + 12/(-2). Which is greater: n or -1?
n
Let t be (3/(-6))/((-5)/(-20)). Let p be t*((12 - 1) + 3). Is p > -28?
False
Let p = -52 - -53. Let w be 3/((-23)/(-2) - p). Is 0 >= w?
False
Let y(q) be the first derivative of q**4/4 - 7*q**3/3 - 9*q**2/2 + 8*q - 4. Let u be y(8). Let a(f) = -f + 6. Let h be a(9). Is u less than h?
False
Let r = -1797 - -1799. Which is bigger: -1/670 or r?
r
Suppose -2*m + 137 - 141 = 0. Let b be 39/182*m/(-3). Suppose 4 = 3*h - 2*u, 3*h - 2*u + u - 2 = 0. Which is smaller: b or h?
h
Let z be 2/5 + -3 + 198/30. Suppose 34*b - z = 38*b. Let h = -1600 + 97602/61. Are h and b nonequal?
True
Suppose -6*i + 27 = 5*y - 2*i, -2*i + 3 = -y. Suppose 0 = -4*o + 2*q - 8 + 4, -q = -o - y. Is 2/89 bigger than o?
False
Let b = 0.43 + -0.25. Let l = b - -0.16. Let v = 0.25 - l. Which is bigger: v or -1/2?
v
Let a = 2.352 + -2.505. Which is greater: 2/5 or a?
2/5
Let q = 1348 + -22934/17. Which is bigger: -2 or q?
q
Suppose -54 = 4*l - 2*i, -5 + 14 = -3*i. Is l smaller than 4?
True
Suppose 2*j + 2*l - 4 = 0, 5*l - 9 = 4*j + 10. Is j > -1/164?
False
Let n = -1289 - -1289.5. Is 2.59 greater than or equal to n?
True
Let l = -10.59 - 38.11. Let b = -32.6 - l. Let u = 16 - b. Which is smaller: 5 or u?
u
Let c(y) = y**3 + 9*y**2 - 4. Let i be c(-5). Let m = 4126/43 - i. Is m equal to 0?
False
Let a be (4414/(-906))/(22/48). Let b = a - -117/11. Let j = b + -309/1057. Which is smaller: j or -0.2?
j
Let t = 0.0436 + -13.0436. Which is bigger: t or 16?
16
Let f be (-357)/(-49) + -7 - 732/(-280). Are f and 2 equal?
False
Let v be ((819/(-2))/21)/((-1)/2). Which is smaller: 38 or v?
38
Let w be 662/(-12) + (18 - 14) - -2. Which is smaller: w or -48?
w
Let h = -33 + -43. Let n = 85 + h. Are n and 4 non-equal?
True
Suppose 2*c = 2*m + 126, -2*c - 2*m + 189 = c. Let k = -61 + c. Do k and 2 have different values?
False
Let p(w) = -w**3 - 10*w**2 - 19*w + 10. Let o be p(-7). Which is greater: o or -0.03?
-0.03
Let t = 0.39 + -0.62. Let m = -0.06 + -0.04. Is t at most m?
True
Let n be ((-57)/(-38))/(-1 + (-69)/(-78)). Let z = 0.3 + -0.5. Which is greater: n or z?
z
Let j be (-228)/9 + (-10)/15. Let s be ((-39)/j)/(3/2). Are s and 4/7 unequal?
True
Let t(b) = b**3 - 16*b**2 + 15*b + 8. Let g be t(15). Suppose 68 = -6*y + g. Which is greater: y or 0.3?
0.3
Suppose -30*p + 1216 - 406 = 0. Is p bigger than -19?
True
Let y be (3 + 2)/((-12)/(-696)) - 2. Does 289 = y?
False
Let j = -0.7 - -0.9. Let m = 13.2 + 3.8. Let v = -14 + m. Which is bigger: v or j?
v
Let r be -1*(-3)/(-3) - 100. Let j = 2321/23 + r. Let g(v) = -v + 4. Let h be g(5). Which is bigger: h or j?
j
Suppose -41 = -2*n - x, 0 = -3*n + 2*x - 0*x + 65. Suppose 6*v = -3 + n. Let t(k) = -k**2 + 3*k + 2. Let u be t(v). Which is smaller: u or 5/4?
5/4
Let y = 1232/15 - 82. Does 2/15 = y?
True
Suppose 2*z - 14 = -4*k + 4*z, -3*k = -z - 10. Let a be (-88)/40 + k/15. Which is smaller: a or -1?
a
Suppose -3*o + 14 = -5*o. Let j be o/((-1)/(2/10)). Is j greater than or equal to 0?
True
Let g be 1*(4/4 + -2). Let c be (-40)/45*5 + 4. Do c and g have the same value?
False
Let z = 1965 + -1960. Which is greater: z or 3.5?
z
Let c(m) = 2*m - 16. Suppose -4*i + 3*d + 37 = 0, -i - 2*d + 23 = -0*i. Let q be c(i). Which is greater: 9 or q?
q
Let i = -0.1 + 0.15. Let x = -1.8 + 1.67. Let p = 1.13 + x. Which is smaller: i or p?
i
Let s be -35 + (-39)/(-26)*2/12. Is -35 at most s?
True
Let u = 24 + -28. Let v = -5.8 - u. Which is bigger: v or 1/2?
1/2
Let i = 0.19 - 0.37. Let a = -0.05 - i. Let n = a - -0.07. Do n and 0.1 have the same value?
False
Let m = -268 - -641. Is 373 smaller than m?
False
Let n = -0.4 - -0.5. Let z = n + 0.9. Let j = 20.1 + -19.9. Is j != z?
True
Let g = -95 + 56. Let m = g - -49. Is 10 at most as big as m?
True
Suppose -1 = 3*i - 4. Let r = -487375/174 - -2801. Is i not equal to r?
True
Let i be 75/110*(-3608)/110. Which is smaller: i or -21?
i
Let s = -664 - -665. Do 1/454 and s have the same value?
False
Let l = 32 - 30. Let f be -1 + -3 + 37 + -2. Which is greater: l or f?
f
Let v(j) = -j**3 - 16*j**2 - 28*j. Let h be v(-14). Does h = -1/76?
False
Let w = -0.018 + -0.982. Is w >= -1.9?
True
Let a = -1/7 + 4/77. Which is bigger: 1 or a?
1
Let d(b) be the second derivative of 5*b**3/3 + 3*b**2/2 + 11*b. Let z(i) = -9*i - 2. Let a(x) = 4*d(x) + 5*z(x). Let u be a(-2). Which is smaller: u or 14?
u
Let a = 128 + -30. Which is smaller: 97 or a?
97
Let p = -47 - -97/2. Suppose 5*u - 16 = -5*d + 3*d, 5*u - 26 = 3*d. Let f be (1 - (d - -3)) + 1. Which is smaller: p or f?
f
Let o be 1571/393 - (-6 + 3 + 7). Are o and 0 non-equal?
True
Let h = -113 + 127. Suppose -h = -12*v - 2. Which is smaller: -2/9 or v?
-2/9
Let h(f) = -f**3 - 8*f**2 - 6*f + 7. Let b be h(-7). Let t be (2 + (-8)/10)/((-116)/10). Which is greater: t or b?
b
Suppose 1794 = -5*q + 4*d, -17*d = -12*d + 20. Which is smaller: -363 or q?
-363
Let b = -84/59 + 293/413. Let y = 0.07 - 3.07. Let d = y - -3. Which is smaller: d or b?
b
Let k = -312 + 92. Let h be 5379/(-44)*(-16)/9. 