9. Which is greater: 31 or c?
c
Let j be 4/(-1) - (-2 + -21). Let w be (j*-2)/(-6 - (2 + -6)). Are 20 and w unequal?
True
Let v = -12 - -12. Suppose v = -2*p + 10 - 6. Suppose -3*z - 9 = -4*h + 2*z, -h = z. Is h < p?
True
Let c be (-8)/36 - (-464)/(-18). Which is bigger: c or -25?
-25
Suppose 17*a = 16*a. Which is greater: -2/1255 or a?
a
Suppose 3*f - 3*w = 186, -4*w + 342 - 121 = 3*f. Is f smaller than 66?
False
Suppose -4*d - 5*t + 154 = 0, -3 = -2*t + 1. Which is greater: d or 69/2?
d
Let t(i) = 33*i + 38. Let s be t(-5). Is s at most -126?
True
Let t(x) = x**3 + x**2 + x + 1. Let y(p) = 4*p**3 - 4*p**2 - 2*p + 13. Let i(o) = 5*t(o) - y(o). Let s be i(-8). Let n = -2 + 1. Which is smaller: s or n?
n
Suppose 0*f + 286 = 26*f. Suppose -2*v + 3 = -v, -5*n = 4*v - 47. Does n = f?
False
Let i be 0 + 0 - (0 - 0). Suppose -5*o + 2*p = 65, i*o + 2*p = -2*o - 12. Let y = 10 + o. Do y and 0 have the same value?
False
Let f be 7/((-42)/18) + 101/21. Which is smaller: 2 or f?
f
Let f = 37 - 137. Let u = f + 99. Is -21/10 at least as big as u?
False
Let b = 1.85 - 1.8. Let m = b - -0.02. Let g = m + -0.07. Is g greater than -1/3?
True
Let d = 1609 - 1612. Which is smaller: d or -95/4?
-95/4
Let m be (-2)/(-20*(-7)/14). Is 0 less than m?
False
Let q = -1575 - -1574.888. Which is smaller: q or -8?
-8
Let c(k) = -k**2 - k + 1. Suppose -4*t - t + 5 = 0. Let d be c(t). Let r(g) = -11*g**2. Let n be r(d). Does -11 = n?
True
Suppose -1 + 7 = s. Suppose -s*v - 35 = -v. Which is greater: v or -6?
-6
Let q = -5.46 - -5.66. Which is bigger: -121 or q?
q
Let s = -180 - -580. Is s at most 403?
True
Let k = -11540 + 5527662/479. Is 1 less than or equal to k?
False
Let g = -0.134 - -0.134. Which is greater: 4/41 or g?
4/41
Let t be 4 - 30/(7 - 4). Let l = 14 + t. Suppose 0 = -r + 5*r - l. Do r and 2 have different values?
False
Let s = -282 + 282. Which is smaller: -3/82 or s?
-3/82
Let m be (-80)/112*1/2. Let z(l) = -l**3 - 8*l**2 - 7*l - 1. Let n be z(-7). Are m and n unequal?
True
Let t = -2116 + 2116.3. Let d(s) = -s**3 + 4*s**2 - 2*s + 3. Let l be d(4). Let p = l - 2. Is p at most t?
True
Suppose -4*o = 5*g - 22 + 2, 0 = 2*g - o - 21. Suppose -111*t = -88*t - 161. Are g and t nonequal?
True
Let q be 23/7 - 8/28. Suppose 0 = 2*u + 3*x + 14, -q*u - 4*x = -5*u. Suppose 6*a - 8 = 8*a. Is a at least as big as u?
True
Let h(l) = -5*l**2 + 2*l - 1. Let u be h(2). Let v = 341 + -359. Which is smaller: u or v?
v
Suppose 52 - 147 = -3*i + 4*l, i + l = 27. Let j = 25 - i. Which is bigger: -5 or j?
j
Let k = 0.095 - -33.905. Let g = -31 + k. Is -7 greater than or equal to g?
False
Suppose 239 = 6*w - 61. Which is smaller: w or 47?
47
Let k(y) = -2*y**2 + 7*y + 1. Let u(z) = -5*z**2 + 14*z + 2. Let l(f) = 7*k(f) - 3*u(f). Let h be l(-7). Let w be h/27 - (9 - 9). Which is smaller: 0 or w?
0
Suppose 5*l + 12 = 8*l. Suppose 0 = -5*y + 3*n - 10 + 26, 2*y + l*n + 4 = 0. Is 7/3 greater than or equal to y?
True
Let u = -4.4 + 1.58. Let g = 0.01 + -0.19. Let s = u + g. Which is greater: s or -0.2?
-0.2
Let g = -674 - -672. Which is smaller: g or -2/87?
g
Let m(v) be the second derivative of -v**5/20 - 7*v**4/12 + v**3/2 - 3*v**2/2 + v. Let i be m(-7). Let k = 8771 + -8794. Which is smaller: k or i?
i
Let q = 1852 + -1853. Let g = -0.045 - 49.955. Is g smaller than q?
True
Let m = 6707/4 + -1685. Which is smaller: -7 or m?
m
Let x = 579.8 + -580. Is x >= -0.167?
False
Let s be (-70)/(-14) - (-69)/(-27). Which is bigger: s or -0.2?
s
Suppose -2*p + 2*r - 4*r = 0, p = 2*r + 12. Which is smaller: p or 18/5?
18/5
Let y be 1 - (-89 + 2) - (2 + 1). Suppose -6*z - y = -z - q, 2*z = 5*q - 11. Which is bigger: z or -19?
z
Let l be 7/(-4)*(-63)/252. Which is greater: 0 or l?
l
Let b(k) = 52*k**2 - 2*k - 7. Let f be b(5). Let v = -67997/53 + f. Which is bigger: 1 or v?
1
Let f = -7 - -14. Let s = 6.5 - f. Does 3/7 = s?
False
Let q be ((-4)/42)/(20/30). Is q smaller than 1/6?
True
Let u = -223.4 - -223. Is u smaller than 10?
True
Suppose 36*o + 7 = 43. Which is bigger: -9/115 or o?
o
Let w be 55*-8*3/30. Is w equal to -41?
False
Let n be (-216)/(-90) - (1 + 4). Let f = 12 - 15. Which is smaller: f or n?
f
Let h = -2.2 - -2. Let l = 2/311 - -608/2177. Is l equal to h?
False
Let u = 1033 + -1092.6. Which is smaller: 0 or u?
u
Let l be (0 - -1)*5 - 468/92. Let b(o) = o - 5. Let f be b(4). Is l smaller than f?
False
Let j = -1.4 + 2. Let c = 143/5 - 29. Is c not equal to j?
True
Let l be 2 + (-1 - -2) - (-27 + 53). Which is bigger: -27 or l?
l
Suppose -11*p = -137 + 71. Is 80/11 bigger than p?
True
Let d(v) = 3*v**3 - 3*v**2 - 6*v + 3. Let y be d(2). Let s be 1 + (2*1)/1. Is y >= s?
True
Suppose -879*c - 27 = -882*c. Let k = 1 - -3. Which is greater: c or k?
c
Let j be 8/(-36) - (-64)/(-36). Let h be (j*(-36)/32)/(-3*1). Is -4/7 equal to h?
False
Suppose 0 = 3*y + 1 - 10, 2*u + 5*y = 7. Let c be 4/22 - u/(-22). Let a be 21/(-12) + 4 + -2. Which is smaller: c or a?
c
Let g = -88 - 34. Which is bigger: 0.4 or g?
0.4
Let r(c) = 22*c + 5. Let u be r(8). Do 180 and u have the same value?
False
Let m = 1.01 + -62.41. Let c = m - -62. Let q be (-1)/(-4) - 5/(-12). Is q smaller than c?
False
Let c be ((-1)/20050)/(1/(-2)). Let s = -19418434/90225 + c. Let j = s + 215. Which is smaller: j or -1?
-1
Let h be 106 + 2*8/(-16). Which is smaller: h or 106?
h
Let k = 1482 - 1333. Is k at least 146?
True
Let k(f) = 5*f + 322. Let w be k(-37). Is w at least as big as 275/2?
False
Suppose -4*g + 16 = 5*p, -2*g = 2*p - 6 - 2. Suppose r - 6 + 7 = p. Let s be (-1)/(-2)*(-6)/(-9). Is r smaller than s?
True
Let s(f) be the third derivative of -f**4/24 - 4*f**3 - 5*f**2. Let t be s(-17). Let h be t/(-39) - 10/30. Which is smaller: 1 or h?
h
Let s(h) = -h**2 + 8*h - 3. Let m be s(7). Let k be 1/(1*m/16). Suppose -k = -2*a - 2. Which is smaller: 3/7 or a?
3/7
Let o = -1.92 + 0.1. Is 2/3 <= o?
False
Suppose -4*x + 5*z = 16, 3 = 3*x - 3*z + 12. Let a be 1/5 + ((-139)/220 - -2). Let j = -20/11 + a. Which is bigger: j or x?
x
Suppose -h + 2 = -8. Suppose 8 = 4*s + 2*b - h, -5*b = -2*s - 21. Suppose 35*k - k = 136. Which is smaller: s or k?
s
Let l = 92 - 89. Suppose 0 = -l*o + 6, -2*r + 83 = -r - 3*o. Are 88 and r nonequal?
True
Let b = 1.046 - 0.9871. Which is smaller: b or 0?
0
Let l be (-1)/((-20)/(-8)) + 54/10. Let j be 2/(-5) - (l + (-44)/10). Which is bigger: -2/157 or j?
-2/157
Let n be ((-4)/70)/(8/10). Let k = 31/14 - n. Does 3 = k?
False
Suppose 3*s - 4*t - 23 = 2*s, -2*s + 1 = t. Suppose -2*u - 2*d - s*d - 10 = 0, 3*u + 3*d + 6 = 0. Let h be -3 + 4/1 - 8/6. Is u less than h?
False
Let n(r) = r**2 - 17*r + 12. Let l be n(16). Let o be l/10*(-10)/8. Let q be 0 + (0 - (-4)/2). Do o and q have the same value?
False
Let i be (1 + 0)/(231/(-7)). Suppose -2 = 2*b - 0. Is i at least b?
True
Suppose -15 = t - 4*s, -4*s + 19 = -t + s. Let v be 3 - (5 + t) - -3. Which is greater: v or 1/9?
1/9
Let n = -30284/19 + 1592. Which is smaller: -3 or n?
-3
Let c = -53/55 - -15/11. Is 11.4 < c?
False
Suppose n = x + 168, 5*x = -11*n + 12*n - 848. Is -170 greater than x?
False
Let j(d) be the third derivative of -d**5/30 + d**4/24 + 5*d**3/6 - 9*d**2. Let k be j(0). Let o be 3*k/(-50)*1. Which is greater: 0 or o?
0
Let i be ((-7 - -13) + -4)*(-45 - 1). Which is bigger: -91 or i?
-91
Let m be (1551/44)/(3/40). Is m less than 470?
False
Suppose n - 5 = -1. Suppose -17*z + 25 = -s - 22*z, z + 5 = 0. Is s greater than n?
False
Suppose 2*d = 5*y + 46, -3 = 2*y - 5*d + 28. Which is smaller: y or -6?
y
Let d = -397 - -397.09. Is d > -0.3?
True
Let n be (-5 - (-9)/3) + -4. Suppose 2*o - 3*r + 2*r - 10 = 0, -4*r = -o + 19. Suppose 4*c + 9 = -o*b, -38 = 3*c - 0*c - 4*b. Is c <= n?
True
Let l = 9.4 - 128.4. Let f = 119 + l. Which is smaller: -23/3 or f?
-23/3
Suppose 2*t - 50 = -2*y, 5*y = y + 5*t + 91. Suppose h = y - 27. Let b be (h/(-2))/((-12)/(-32)). Is 6 less than b?
False
Let o(z) = -z**3 + 7*z**2 - z + 6. Let x be o(7). Is -6/49 greater than x?
True
Let v = 29 + -47. Let x = v + 14. Let h(p) = -p**2 - 4*p + 1. Let z be h(x). Is z at most -1/17?
False
Let j = 795 - 1117. Which is greater: j or -323?
j
Let y = 1.9 - 2. Let t be 3 + (-1)/((-40)/(-105)). Is t smaller than y?
False
Let a = 105.3 - 71.3. Is -7/5 less than or equal to a?
True
