 5. Is r at most as big as f?
True
Let y(v) = v**3 + 4*v**2 - v - 3. Let b be ((-8)/30)/((-20)/(-50))*-3. Let i be y(b). Is 19 at least i?
True
Let u(z) = 4*z + 6. Let a be u(-4). Suppose 3*r + 4*n - 42 = 0, 4*r + n = 2*n + 75. Suppose -s - r = s. Do a and s have different values?
True
Let k be 5 + (-2)/((-6)/(-21)). Which is greater: k or -7/9?
-7/9
Let w be -8 + 4*(-7846)/(-3920). Which is greater: w or -1?
w
Let v(l) = -11*l**3 - 12*l**2 + 3*l + 3. Let i be v(-3). Is i equal to 184?
False
Let f = -0.53 - 9.87. Let o = 10.1 + f. Let x = 4 + -1. Is o < x?
True
Let j = 556 + -837. Which is smaller: j or 0?
j
Let r be ((-6)/248)/((-2)/8). Suppose 7*c + 10 = -137. Let z = -21 - c. Is r greater than or equal to z?
True
Let w = -237 + 348. Suppose 4*z - 4*n = -3*n - 163, 3*z - 3*n + w = 0. Is -1 greater than z?
True
Let d(n) = 691*n - 44. Let g be d(-2). Is g at most -1427?
False
Let d be (-26)/(8 + 10/(-4)). Is -4 != d?
True
Let y(s) = 3*s**2 - 149*s + 94. Let i be y(49). Let p(d) be the second derivative of d**4/12 + 2*d**3/3 + d**2/2 - d. Let t be p(i). Is t at least -3/8?
True
Let c be (3106/104)/(-3 + 1). Let t be 42/8*507/182. Let g = c + t. Is g at least 1?
False
Let n = -0.016 - 0.984. Let c = n + -4. Which is smaller: c or -0.2?
c
Let t be (-3)/2*(-12 - -6). Let w be (0 - (-90)/4)*2. Let c be (-7)/(-20) - 27/w. Is t greater than or equal to c?
True
Let i be -4 - -1 - (-40 + 6). Let x = -32 + i. Is x <= 1/47?
True
Let v = 69361/124431 - -4/2109. Is 2 != v?
True
Let i(q) = 2*q**2 + 9*q + 5. Let r = -40 + 35. Let z be i(r). Which is greater: z or -3?
z
Let v = 2026 + -79010/39. Suppose 0 = -0*j + j - 3, j = h + 4. Which is smaller: v or h?
h
Let h = 75 + -42. Let w = -33 + h. Are -0.13 and w non-equal?
True
Let x = -23.258 - -0.258. Do 0.1 and x have different values?
True
Let v = -2.4 - -3. Let t = 3.6 - v. Let y = 291.4 - 291.1. Is t equal to y?
False
Suppose 0 = -21*m + 22*m + 4. Let s be 0 + (m - -4) + 6. Let x be (s/88)/(15/240). Which is bigger: 1 or x?
x
Let r = -22 + 20. Let h(c) = -2*c**3 - c**2 + 3*c + 1. Let y be h(r). Is 8 > y?
True
Suppose k = -4 - 0. Let c(v) = -v**3 - 8*v**2 + 8*v - 10. Let a be ((-3)/(-5))/((-8)/120). Let u be c(a). Which is smaller: k or u?
k
Let d = -1557 + 1535. Is -15 at least as big as d?
True
Suppose 0 = 7*o - 13 - 8. Suppose -3*p = -2*k + 11, -3*k - o*p = -2*p + 11. Let u = 4 - 7. Does k = u?
False
Suppose -97 = -4*k - 9. Let h = k + -21. Are 1/45 and h nonequal?
True
Let d be 69/(-372) - (-4)/16. Suppose -3*o - 14 = -4*g, -g + 0*o = 3*o + 4. Suppose 0 = g*v - 5*y - 18, -2*v + 3*y = -4*v - 14. Which is smaller: d or v?
v
Let b = -4 - 22. Suppose 0 = -2*w + 30 + 18. Let g = b + w. Which is greater: g or -8/7?
-8/7
Suppose 2 = -3*l + r, -2*l + 4*r + 3 = -9. Let q = 9 + -8. Let x be (-12)/(-4) + q + l. Is 2 not equal to x?
False
Let n = -11 - -16. Let z = n + -7. Let l be ((-22)/z)/(-11 + 12). Are l and 10 unequal?
True
Let z = -1.3 + 1.52. Let n = -0.03 + z. Are 0.1 and n non-equal?
True
Let r be (-3)/1 - (-7 + 0). Let d be 36/(-16)*16/(-3). Let k(z) = -z + 17. Let o be k(d). Is r bigger than o?
False
Suppose n = 3*a + 10, -3*n - a + 20 = -8*n. Let x = 0.04 - 1.44. Let z = 0.4 + x. Is n greater than or equal to z?
False
Let c(n) = n**2 + n + 1. Let z be c(0). Let m = -98 + 98. Is z bigger than m?
True
Let u = -521 - -498. Are u and 3/2 unequal?
True
Let m(s) = -3*s - 5. Let k be 19/(-6) + (-5)/(-30). Let t be m(k). Suppose t*j - 15 = 5, -15 = -5*g - 2*j. Is g smaller than 2/9?
False
Let j = 5 - -4. Let n be (-45)/j - (1 + 0). Let k = n - 4. Is k > -11?
True
Let t be (-1068)/238 - (-552)/(-966). Is -6 != t?
True
Let o = -9 + 19. Let g(j) = j - 9. Let h be g(o). Suppose -l - h - 4 = 0. Is l at most as big as -4?
True
Let q be 477/53 - (-199)/(-7). Which is greater: q or -19?
-19
Suppose -19*w + 21*w + 17 = -j, 0 = w - 5*j + 14. Is w at least as big as 2?
False
Let y = 353/70 - 79/14. Let u be (-1)/(-2) - (-3)/(-6). Which is greater: u or y?
u
Let x(m) = -79*m + 0*m**2 + 104*m + 2*m**2 + 12. Let u be x(-12). Let t(k) = k**3 - 5*k**2 - k + 4. Let j be t(5). Which is greater: u or j?
u
Let j be -9 - (-6 + 4 + 1). Let z(p) = -2*p - 16. Let x be z(j). Which is bigger: x or 5/7?
5/7
Suppose 0 + 3 = -3*s. Let p = 2/21 + -127/231. Is s less than or equal to p?
True
Suppose -2*g + 2 = o, -5*o = -4*g - 12 + 2. Which is smaller: -14/83 or g?
-14/83
Let w(d) = 2*d**2 - 10*d - 13. Let x be w(6). Suppose 4*r + 4*h + 21 = r, -4*r + 3*h = 3. Which is smaller: r or x?
r
Let f(g) = -g + 4. Let p(k) = -k**2 - 8*k - 2. Let b be p(-7). Let z be f(b). Let d = 4692 + -117302/25. Which is smaller: d or z?
z
Let w be 3*((-42)/(-9))/7. Let y be (-1)/(-5)*(w + 3). Which is smaller: 2/3 or y?
2/3
Let a = 8100698/1413 + 17256/157. Let p = a + -5826. Let x = p - 1154/63. Which is greater: -2 or x?
x
Let x = 27 + -27. Suppose 5*p + 4*z - 25 = x, -2*p + 0*p - 4*z - 2 = 0. Suppose -4*q = p + 7. Which is bigger: -8 or q?
q
Suppose 0 = 3*m - 5*m + 50. Suppose -i + 0 = 3*j + 2, 5*i = -m. Which is bigger: j or -2/123?
j
Let i be (-21)/84 - 26/(-8). Let b be (-561)/(-154) + 1/((-2)/1). Is i at least b?
False
Let z = -714.527 + 715. Which is smaller: 2 or z?
z
Let j be ((-834)/(-18) - -1)*(-6)/(-4). Which is smaller: j or 73?
j
Let m(n) = 3*n - 33. Let g be m(12). Which is smaller: g or 36/13?
36/13
Let i = 33.23 - -0.77. Let k = i + -35. Let t = -0.8 - -0.5. Which is greater: k or t?
t
Let x be (1/(-2))/((-2)/(-76)). Let h = x + 25. Let q = 11 - 6. Which is smaller: q or h?
q
Let y = 20 + -33. Let n = y + 13. Let w = -3 - n. Is w not equal to 1?
True
Let k = -100.57 + 101. Let r = -4.03 + k. Let l = -3.9 - r. Which is smaller: l or -3?
-3
Let l be (-2 + -1)*(-11)/(154/(-54)). Which is bigger: l or -12?
l
Let u = -1.87 + -74.13. Let k = -37 - u. Let q = -33 + k. Are 0 and q nonequal?
True
Suppose 16*t - 635 = 3333. Let s = t - 2230/9. Is 0 > s?
False
Let f = 34 + 19. Let c = f - 52. Do 6/19 and c have the same value?
False
Let v = 165 - 165.2. Which is greater: v or -11?
v
Let r = 57 + -47.5. Let m = r + -9.7. Which is smaller: m or 8/9?
m
Let i = 32 + -32. Let n be 290/22 - 10/55. Is i less than n?
True
Let c = 4 + 4. Let w be (1/10*-28)/(((-33)/(-9))/(-11)). Which is greater: c or w?
w
Suppose -8 - 12 = -4*w. Let a = -9 + 12. Let p = a + w. Which is smaller: p or 9?
p
Let k be (-184 - -174)*(-12)/(-565). Which is smaller: 0 or k?
k
Let a = 32 - -96. Is a at most as big as 130?
True
Suppose -7*m - 52 = -6*m. Let q = m + 51. Are q and -1 unequal?
False
Suppose 0 = 4*x - 25 + 9. Suppose 3*y + 4*r + 0*r = x, -3*r = -3*y + 18. Suppose 0 = -2*s - 5*o + 22, 2 = s - y*o + 17. Which is smaller: 0 or s?
0
Let q(w) = -w**2 - 9*w + 16. Suppose 4*r + 56 = 3*y, r + 2*y + 1 = -2. Let b be q(r). Let i be (-4)/(-3)*(-9)/b. Which is greater: 2/3 or i?
i
Let c = 222 + -222. Let w = 1029/8 - 129. Which is greater: c or w?
c
Let j be ((-261)/6)/(3 + 150). Let r = j - -2/17. Which is bigger: 0 or r?
0
Suppose -3*i = -i - 2*l - 8, 5*l + 30 = -5*i. Let a be (-1 - 2)*(2 + 1 + i). Is -4 > a?
True
Let k be (-72)/120 - (-34957)/(-5). Let m be k/(-832) + (-4)/26. Is 8 less than m?
True
Let v be (-15 - -3)/((-2)/4). Let s(r) = 1 - v*r - 4 + 19*r. Let z be s(-1). Which is greater: z or 0.1?
z
Suppose 7*f - 8*f = 2. Let t be (-57)/56 - f/(-16). Is -1 >= t?
True
Let v be -2 - 12/(-63)*(-810)/(-78). Which is greater: -1 or v?
v
Let i = 49.6 - 9.6. Which is bigger: 4 or i?
i
Let w = 77/8 + -599/88. Let l = w - 959/352. Is l less than 0?
False
Let x be -1 + 0 + 285/295. Let u = 133 - 133. Is x equal to u?
False
Let c = -0.211 + -0.789. Which is greater: -0.114 or c?
-0.114
Let m = -3.19 - -2.19. Is m bigger than -102?
True
Let g = -2 + 11. Let p = 4 + -3.9. Let j = p + -0.1. Are g and j nonequal?
True
Let g(p) = -3*p + 8. Let i be g(4). Which is smaller: 51 or i?
i
Let q(j) be the second derivative of 23*j**4/12 + j**3/6 - j**2/2 + 3*j. Let r be q(1). Let o be 20 + -2 + 0 + -8 + 13. Is o at most r?
True
Let k = 62.974 - -0.026. Let h = 62.6 - k. Is -1/6 less than h?
False
Let w be (-10)/5 - (-206)/(-12). Is w smaller than -19?
True
Let j = -1436 + 1392. Which is greater: -1 or j?
-1
Suppose 1 = 205*f - 206*f. Which is greater: 5/124 or f?
5/124
Suppose -4*p + 21 = 1. Let z