- 244. Suppose b - 8*b = -s. Which is smaller: 10 or b?
b
Let v(l) = 10*l + 80. Let k be v(-8). Let r(o) = 15*o. Let b be r(-7). Let j = b - -529/5. Is j at least as big as k?
True
Let s be 268/(-60) - 12/27. Let v = s + 46/9. Is v <= 53?
True
Let t(j) = 9*j - 38. Let u be (-18)/(-36)*(1 - 1). Let o be t(u). Is o equal to -38?
True
Let a be (-22)/(3 + -1) + (-2)/(-2). Let w be 21/a*8/12. Let m be (3/(-9))/((-1)/(-3)). Which is greater: w or m?
m
Let c be -3 - 72916/(-36) - ((-174)/(-9))/(-29). Is 2022 less than or equal to c?
True
Suppose d = -3 + 4, 2*z + 10 = 4*d. Let c be 1/3 - (-31)/z. Suppose 378 + 1129 = -151*h + 14*h. Which is bigger: h or c?
c
Let w(d) = -d**3 + 4*d**2 + 2*d + 30. Let u be w(6). Let r(t) = 3*t**2 + 3*t - 12. Let x be r(4). Suppose -6*m = x + 132. Do m and u have the same value?
True
Let j = 27 + -79. Let u = j + 52.015. Let l = 0.085 + u. Which is smaller: -47 or l?
-47
Suppose 5*b - 5*p - 375 = 0, -3*b + 233 = -17*p + 12*p. Are b and 69 unequal?
True
Let z = 0.1886 - 0.1049. Let h = 93.9837 - z. Let v = h + -94. Which is bigger: v or -31?
v
Let x be (-9)/((-36)/8)*1/2. Is -8/2737 != x?
True
Suppose -11*v - 493 = -16*v + 3*t, 2*v - 3*t - 199 = 0. Suppose -l + 90 = v. Is l less than -1?
True
Suppose 13*w - 91 = -10*w - 68. Which is bigger: -108 or w?
w
Suppose 0 = -f - 21 + 3. Let u be ((-30)/f)/(15/18). Suppose u*a + 2*a - 4 = 0. Is a != 1/58?
True
Let s(t) = -4*t**2 + 3*t - 5. Let d be s(5). Let h = -84 - d. Let a be (4/8)/((-2)/(-28)). Is h <= a?
True
Let k = -26/9 - -11/9. Let y = 74 + -30. Let z = y + -45. Is k at most as big as z?
True
Suppose 0 = -4*g - 5*f + 4260, -5*g + 3629 = -f - 1667. Suppose 4*b = 5*m + 9*b - g, 3*b = 5*m - 1092. Which is smaller: -1 or m?
-1
Let q(a) = -2*a**3 - 3*a**2 - 6*a - 10. Let f be q(-5). Let l be (6/f)/((-10)/1650). Is l greater than or equal to -4?
False
Suppose -2*y + 3*y - 4*d = 7, d - 28 = -4*y. Let u = y - 6. Which is greater: -2/51 or u?
u
Let p be 1*7/(-42) - (-193531)/78. Is 2484 at most p?
False
Let p(u) be the third derivative of u**5/15 + u**4/8 - u**3/2 - 11*u**2. Let o be p(1). Let y be -3 - -1 - (o - 280/45). Is y bigger than 8?
False
Let i be (-3 + (-108)/45)/(27/(-28935)). Which is bigger: i or 5788?
5788
Let t(c) = -3*c**3 - 13*c**2 - 8*c - 7. Let k be t(-3). Which is greater: -246/13 or k?
-246/13
Let l = -15226.19 - -15242. Are -3 and l equal?
False
Let f(z) = 4*z**3 + 189*z**2 + 449*z - 16. Let p be f(-46). Which is smaller: p or -10091?
-10091
Let n be 774/30 + -6 - (-2)/10. Let b = 20 - n. Let w = 0.1 - -0.3. Do b and w have the same value?
False
Suppose 47 = 3*h + 50. Let v be 0 - (1 + 0) - 0. Let y be -4 + v/(255/(-1026)). Which is smaller: h or y?
h
Let x be 1*-25 - (-263 - -236). Suppose -35 = g + 4*g. Which is greater: g or x?
x
Let q = -2255/2 - -1162. Let x be 1/(-5 + (-1056)/(-210)). Is q >= x?
False
Let u be 1635/(-654)*4/(-10). Is u at least 1476?
False
Let c be (121 - (3 + -7))/(-1). Which is bigger: c or 1/6?
1/6
Suppose -2*t = 5*o - 47, 64 = 3*t + 4*o - 3. Let q = -104 + 103.972. Let i = -0.172 + q. Is i at most t?
True
Let m(z) = -5*z**2 + 5*z + 4. Let l be m(-1). Let d be (-6)/(l/2) - (4 - 1). Suppose 0 = 4*h + a - 2, -2*a + 3*a = -2*h. Are h and d equal?
False
Let n be (-3 - (-34)/10) + 136/10. Suppose 4*w = -2 + n. Suppose -7 = b + x - 3, -3*x = 5*b + 10. Is w at most as big as b?
False
Let s = -12132 - -12677. Is s at most -2?
False
Suppose -19*z = -253*z + 702. Is z >= 63/16?
False
Let c = 1.185 + -528.185. Is -2/5 equal to c?
False
Let o(a) = -2*a**3 + a**2 + a + 2. Let r be o(-3). Suppose 60*u - r*u = 6. Suppose 2*x - 6 = -2. Is x greater than or equal to u?
True
Let p = 307 - 919/3. Let r = -9 - -9.9. Let s = r - 0.2. Is s at least as big as p?
True
Suppose h - 4*c = 17, 2*h - 19 = -h + 4*c. Let y be 6/(2/h) - -2. Suppose -4*t + 29 = -3*g - 91, 0 = -y*g - 3*t - 171. Is g at most as big as -36?
True
Suppose -q = -4*c - 218 - 24, -460 = -2*q - 4*c. Suppose 3*s = 5*p + q, -5*p - 2*s - s = 246. Let a = 4 + -3.9. Are a and p unequal?
True
Let g = 18741/31920320 - -2/21685. Is 0.2 < g?
False
Let m(t) = -t**2 - 6*t + 38. Let l be m(-10). Let r be 36/(-16) + (l - (0 + 0)). Is 1/4 greater than r?
True
Let k be (-4)/(-4) - 3 - (1 - 3). Suppose k = 191*n - 183*n - 64. Is 44/5 >= n?
True
Let b be (-2074)/(-8) - (-116)/(-464). Let d = -131 + 390. Is d smaller than b?
False
Let h = 25072 - 25072. Which is smaller: 3.189 or h?
h
Let d = 1812.79976 + 0.20024. Which is greater: 12 or d?
d
Suppose 4*j + z - 63 = 0, -3*z - 49 = -3*j + j. Suppose -j + 53 = -12*t. Let d be 1*4/(-8)*(-11 + t). Which is bigger: -0.1 or d?
d
Let c be (0 + -3 - -2) + 160/1. Let t = c - 124. Is 35 != t?
False
Let v = 65 - 65. Suppose -7 = -2*w + w - 2*a, -2*a - 2 = v. Suppose -11*i = -w*i - 6. Which is smaller: i or 19/5?
i
Let k = 2.95 + -4. Let p = k + 0.05. Let w = -2688.11 - -2688. Which is smaller: w or p?
p
Let v = -70 - -49. Let y = 23 + v. Let p = 158 - 157.9. Is p > y?
False
Let d be (-29)/(1827/(-18))*(365/362 - 1). Are d and 0 non-equal?
True
Suppose -4*f = -11 - 5. Suppose 15 = -v - 3*q, f*q + 20 = v + 3*v. Let c be v - -1 - 0 - -9. Is 10 at most c?
True
Let w be 2/(-3)*(-180)/(-40) - -10. Suppose w = -3*c - 4*c. Which is smaller: -18/41 or c?
c
Let m = 172 + -46. Let b be (-36)/m + (-106)/70. Let k = 5 + -8. Are b and k nonequal?
True
Let q = 969 + -968. Is 61/44 != q?
True
Let b(y) = 723*y - 2861. Let k be b(4). Do -26 and k have different values?
True
Let g = 235.3 + -138.3. Which is greater: -3 or g?
g
Let s = 2.9 + 147.1. Let y = s - 133. Which is greater: -1 or y?
y
Let d(m) = 21*m**2 - 18*m + 3. Let y(r) = -31*r**2 + 27*r - 5. Let x(s) = 7*d(s) + 5*y(s). Let a be x(-3). Is -103 equal to a?
True
Let p = 86/117 - 48667/1638. Let t = -29 - p. Is 1 != t?
True
Let c = 440158/7 + -62768. Do c and 112 have different values?
True
Let f = -610.86 + 71.86. Is f >= 0.1?
False
Let c be 23/46*(-211)/(-10). Is 11 less than c?
False
Let q be (-1 + 0)*-1 + -2. Let i be 63/120*32/1960. Which is smaller: i or q?
q
Let c be 620/8 - 1 - (-4 - -7). Let x = 9667/40 - 1574/5. Let k = x + c. Which is smaller: 1 or k?
k
Let o(j) be the third derivative of -j**5/12 + j**4/12 - 12*j**2. Let x be o(3). Let k = 23 + x. Is -16 at least as big as k?
True
Let q(k) = -10*k**2 - 60*k. Let z(r) = -9*r**2 - 57*r. Let p(u) = 3*q(u) - 4*z(u). Let c be p(-8). Which is greater: 36 or c?
36
Suppose 657*z - 609*z + 44928 = 0. Which is smaller: -3 or z?
z
Let j(b) = b**2 + 22*b - 23. Let m = 157 + -180. Let d be j(m). Let w = -111/2 - -227/4. Is d not equal to w?
True
Suppose -4*b = 2*a + 16 - 58, -5*a = -3*b + 25. Let m(j) = -11*j**3 + 2*j**2 - 7*j - 7. Let k be m(-1). Which is smaller: k or b?
b
Let g = 104 - 101. Let o be (-6)/g*(15/6 + -2). Is 2/133 less than or equal to o?
False
Suppose 15*m = 113 + 67. Suppose -m = -3*z, q + 3*z = 20 - 1. Suppose 4*g + n = 36, -2*n + 6*n - 8 = g. Which is smaller: g or q?
q
Let y(z) be the second derivative of -z**4/12 - 5*z**3/2 + 11*z**2/2 + 123*z - 2. Let m be y(-14). Which is smaller: 23 or m?
23
Let l = -0.014 - 0.086. Let h = 525 - 550.42. Let y = 0.42 + h. Is l less than y?
False
Let f = -2004887/1724373 + 315/271. Is f less than or equal to 0?
True
Suppose 47*h - 44*h + 15 = 0. Let s be -83 - -86 - (-1 - h/1). Is -2/33 <= s?
False
Let f = -9 - -17. Let o = -2852 - -2863. Which is greater: o or f?
o
Let c(q) = -457*q**3 + q**2 - 7*q - 9. Let w be c(-2). Let l = 66025/18 - w. Which is bigger: 2 or l?
l
Let r(q) = -4*q - 20. Let x be r(-10). Suppose -j + 107 + x = 0. Is 128 less than j?
False
Suppose 5*r + 124 - 67 = -4*x, 0 = -4*r - 4*x - 48. Which is smaller: r or -220/27?
r
Let z = 26352 - 26352. Which is bigger: z or -8/5535?
z
Let w = 45.1 - 6.1. Let q = w - 38.9. Let u = -135 - -138. Is u >= q?
True
Let i = -89 + 257. Let j = -671/4 + i. Which is bigger: j or -3.9?
j
Let z be 6*4/10*(17808552/287226 + -62). Which is greater: 0 or z?
z
Let n = 6.91 - 6.41. Are n and 2/591 unequal?
True
Let b be (-26 - -36)/((-14)/(-16)*6). Suppose 3*c - 1 = 2*c. Which is bigger: b or c?
b
Let m(t) = -29*t + 202. Let d be m(7). Is d less than or equal to 115?
True
Let z = 229/5 - 47. Let v = 1212 - 1214. Is v < z?
True
Suppose -1729 = 14*l - 1757. Let r(a) = -a + 2. 