et v(n) = 11*n**2 + 59*n + 98. Let d(b) = -8*t(b) + 5*v(b). Let y be d(-15). Is m > y?
False
Let b be (0 + 0 - -1)*(66 - 70). Let t be (b/5)/((-168)/30 - -6). Which is greater: 19 or t?
19
Let j be (-9)/1 + 90/9. Suppose n + 3*n = 12. Let f be (n/(-1518))/((-4)/(-16)). Which is bigger: j or f?
j
Suppose 5*g - 11 + 1 = 0. Let v be (-7 + 4)*886/6. Let d = v + 442. Is g greater than or equal to d?
True
Let g = -14284 + 14317.1. Let b = -1.4 + 0.4. Is g > b?
True
Let b = 1753865932615/4238 - 413842821. Let d = -2/2119 + b. Suppose -4*g + 3*c + 2*c = -47, -3*g + 5*c + 34 = 0. Which is greater: g or d?
d
Let j = 8562 + -13240. Let x = -51398/11 - j. Is x greater than 1?
True
Let i = 33488.99 + -33624. Let q = i + 135. Which is bigger: q or -20?
q
Let m be 95/12 - (-3)/9. Let o(w) = 23*w**3 + 4*w**2 - 10*w - 24*w**3 + 24 + 5*w**2. Let u be o(8). Which is smaller: u or m?
u
Suppose 5*s + 44 = -q, -3*q + 8*s - 52 = 3*s. Let n(c) = -8*c**2 - c + 7 - 31 + 9*c**2. Let p be n(0). Is p smaller than q?
False
Let a = -10 - -12. Suppose 0 = -t + 5*p + 9, -t + a*p + 24 = -0*p. Suppose t + 14 = u. Is u != 49?
True
Let v(h) = h**2 - 3*h + 6. Let b be v(2). Suppose -2*m - 19 = p, 3*m = -5*p + 6*p + b. Is -1 less than p?
False
Let z be 160/26 - 6 - 72/(-39). Suppose 3*j = 3*n - 81, 0 = 5*j - 2*n - z*n + 138. Suppose -h - 26 = -3*s, -2*h - 45 = -s + 12. Is j less than or equal to h?
True
Let o = -8260.834 - -8260. Which is greater: o or 0.3?
0.3
Let m be 2/170*4/2. Let t be ((-6)/18 + 1)/(36/27)*-2. Which is smaller: t or m?
t
Suppose 183*j + 261 = 184*j + 3*z, 2*z = -2*j + 538. Which is bigger: j or 249?
j
Let t = -35582 - -35579. Is t != -359?
True
Let t be 3*2/(-3) - -4. Suppose 17*j - 14*j = -2*y, 0 = -3*j - 3*y. Suppose a = -p + 2, -t*p + j*a = -3*a + 6. Which is smaller: p or -6/13?
-6/13
Suppose 7*t = 3*t. Let z(c) = c**2 + c - 1. Let v be z(t). Let u(f) = 16*f + 47. Let x be u(-3). Is x bigger than v?
False
Let r(b) = -4*b**3 - 2*b**2 + 2*b - 1. Let q be r(2). Suppose -2*m = -3*a - 122, -56*a + 61*a + 170 = -5*m. Which is smaller: a or q?
a
Let m be 1/2*8/134. Let g = -0.3045 - -0.4045. Which is smaller: g or m?
m
Let f(w) = -w**3 + 5*w**2 + 4*w + 90. Let n be f(7). Suppose 4*k + 36 + 24 = 0. Let i be 1/((k/63)/(-5)). Is n > i?
False
Let r = -91 + 179. Let t be 0 + -6*6/r. Which is smaller: t or 0?
t
Let n = -135.71 + 135.69. Is 15/32 less than or equal to n?
False
Let x = -7353 - -10287. Are 2932 and x equal?
False
Let u(c) = 2*c**3 + 40*c**2 - 8*c - 35. Let y be u(-20). Let i = -130 + y. Let q be -1 + i + 3 - -4. Which is smaller: q or 5/7?
5/7
Suppose 44*j = 51*j + 1330. Let u = 134 + j. Is u equal to 1?
False
Let k(z) = 6*z**3 + 448*z**2 + 38*z + 50. Let x be k(-75). Which is smaller: -14051 or x?
-14051
Let l = 0.9 - 60.9. Let z = 4330.5 - 4328.5. Are l and z equal?
False
Let l be 1*((-136)/(-16) - 9). Which is bigger: 53.6 or l?
53.6
Let s(l) = l**3 + 8*l**2 + 13*l + 6. Let u be s(-6). Suppose u = 5*c + p, 0*c - 2*c = 2*p + 8. Let o = 2928/43297 - -2/1493. Which is bigger: c or o?
c
Suppose 1051392 = 27*n + 101*n. Which is bigger: 8215 or n?
8215
Let h be -1*26/6 - -2. Suppose 24 = -q + 9*q. Suppose -c + 3*a = -6 - 5, 2*a + q = 5*c. Is c greater than h?
True
Let h be ((-5024)/(-2988) - 2) + (-2)/(-9). Let i = 313/664 + h. Is 0.06 greater than i?
False
Let v(d) be the third derivative of d**4/6 + 2*d**3/3 - 15*d**2. Let k be v(-4). Let f be 183/(-60) + k/(-15). Is f at least -1?
False
Let z = -21264 + 48418127/2277. Which is greater: 1 or z?
1
Let g = 885 + -884. Is g at most as big as -9/47?
False
Let v = -0.1152 - 0.6358. Let f = v - -0.551. Which is bigger: 2/15 or f?
2/15
Let a be 16/(-24)*(-1)/((-4)/12). Let o(b) = 0*b + 2*b - b - 1 - 2*b. Let k be o(a). Which is smaller: 2/37 or k?
2/37
Let w = 34755/31 - 1121. Suppose 23*m + 0 = 23. Which is smaller: w or m?
w
Let p be ((-1256)/(-160) + -8)/((-4776)/32). Is p < 1?
True
Let f = -0.02373 - -2.02373. Which is smaller: 1226 or f?
f
Let b = 5322 + -5190. Which is smaller: 137 or b?
b
Suppose -424 - 1286 = 57*n. Is n bigger than -433/14?
True
Let j be 40/(359*(-18)/27). Is 1 less than or equal to j?
False
Let d = 52824 + -1003388/19. Does d = 14?
False
Let f be 139/(-4) - (-1)/(-4). Let g = 378 + 181. Let y = g + -595. Is f equal to y?
False
Let v = -14 + 41. Let b = v - 30. Let o = -90/11 - -349/44. Are o and b unequal?
True
Let s = 14446.878 - 14447. Which is bigger: 0.1 or s?
0.1
Let f = 47/76 + -7/380. Are f and 2 equal?
False
Suppose -v + 83 = -0*f + 2*f, -16 = -4*f. Suppose 0 = 5*l + 18 - 43. Which is smaller: v or l?
l
Let j = -46506/37 + 1257. Suppose 6*p - 696 = -66. Let c be -3 - p/(-40) - (-10)/(-16). Which is smaller: j or c?
c
Let u = -15 - -17.1. Let d = -2.058 + u. Let n = d + -0.142. Which is bigger: -9 or n?
n
Let r = -0.4357 + 0.4357. Is -183 < r?
True
Let n(q) = -5*q**3 + 13*q**2 - 17*q + 9. Let u(l) = -6*l**3 + 12*l**2 - 18*l + 8. Let o(w) = 5*n(w) - 4*u(w). Let f be o(16). Which is greater: f or 59?
f
Let i = -1342 + 1999. Is i less than or equal to 657?
True
Let j(i) = -4*i**3 + i**2 + 2*i + 1. Let a be j(-1). Suppose a*r - 5 = -1, 4*r = -3*m + 40. Suppose -17*n + 272 = 68. Is n less than or equal to m?
True
Suppose 3*u - 5*s = -1, 14*s - 17 = -5*u + 13*s. Let q(z) = 9*z**2 + z - 2. Let y be q(-2). Suppose 4*b + 48 = -u*w, 0 = -5*b - 5*w - 33 - y. Is -7 less than b?
False
Let d(t) = -t - 18. Let q be d(13). Let n(w) = 168*w - 11. Let b be n(3). Suppose 0 = 12*l - 133 + b. Do q and l have the same value?
False
Let k(u) = 16*u + 1. Let d be k(-4). Let n = -4.54 - -4.1. Let a = n - -0.34. Which is bigger: d or a?
a
Let f = 993 + -1475. Let l = f + 481.9. Is -8.2 not equal to l?
True
Let o = 6/5189 - -175184/1074123. Let d = 1338164/115 - 11636. Let y = d - o. Which is smaller: y or -1?
-1
Let d(w) be the first derivative of -w**6/120 + w**5/30 - w**3/6 - 35*w**2/2 + 16. Let j(f) be the second derivative of d(f). Let v be j(3). Is v != -10?
False
Let x = 9098 - 9098.13. Which is smaller: -281 or x?
-281
Let t = 1.226 - 24.226. Which is greater: -173 or t?
t
Let v = 72 + -73. Let p(o) = o + 9. Let u be p(-2). Let n be (v/u)/(3/3). Is n smaller than 5?
True
Let b = -206.265 - -0.265. Let o = b - -130. Let t = o + 76. Is t at least as big as -10?
True
Suppose 10 + 45 = -55*f. Is f >= -43/55?
False
Let j = 521/5 - -2647/5. Let o = 634 - j. Which is greater: -0.4 or o?
o
Let x(t) = -t**3 + t**2 + 5*t + 1493. Let z be x(0). Suppose 51*o + 14 - z = 0. Do 29 and o have the same value?
True
Let k(d) = 10*d - 23. Let i(p) = p - 3. Let q(g) = i(g) - k(g). Let c be q(0). Which is bigger: c or 24?
24
Suppose 4*a - 2*o + 190 = -o, 2*a + 100 = 3*o. Let d = a + 142/3. Let i be 374/33 - (-38)/57. Which is smaller: d or i?
d
Let v(p) = p**3 - 7*p**2 + 7*p - 4. Let t be v(6). Suppose -3*g - 9 = 0, -2*o = -23*g + 20*g - 13. Is t < o?
False
Let t = 568.28 + -484. Let g = t - -0.72. Which is greater: g or -1?
g
Let z be (-2)/(16/12)*(-6 + 2). Let h = -1 - -9. Let d = 14 - h. Do z and d have the same value?
True
Let b = -835020/11 - -76224. Is b equal to 312?
False
Let d(c) = -c**3 - 35*c**2 - 299*c + 42. Let n be d(-19). Is 0.23 not equal to n?
True
Let v = 22201.6 - 22205. Let n be 3/(-12)*4/6. Is n bigger than v?
True
Let x = 50 + -53. Let p be (260/36 - 4) + x. Let v = -33 - -27. Are p and v nonequal?
True
Let i = -4 + 0. Let u be 3*6 + 19080/(-840). Which is bigger: i or u?
i
Let h be 26/(-3)*15/10. Let k be (4/44)/((-2)/314). Let z = k - h. Are 0 and z unequal?
True
Let k = -959 - -960. Let i be k/(-5)*(0 + 5). Let c = -729/155 + 24/5. Which is smaller: c or i?
i
Let b be (-115 - -97) + 1*-34. Which is bigger: b or -173?
b
Suppose 395 = 3*y - d, -2*d - 3*d = -4*y + 545. Suppose c + j = -j + 133, 2*j = -2*c + 262. Which is smaller: c or y?
c
Let w(v) = -52*v**3 - 4*v + 6. Let i be w(3). Let m = 148054/105 + i. Does 1 = m?
False
Let n = 64 + -61. Suppose -5*p - 4*a - 1079 + 217 = 0, 0 = 2*p - n*a + 354. Is -174 bigger than p?
False
Let b = 271 + -272. Let m = -91 + 87.3. Which is bigger: m or b?
b
Let y be 47/159 + 6/(-18). Suppose w = 2*w - 1. Suppose -3*d - 2*b + 3 = w, -5*d = 2*b - 2. Is d at least y?
True
Let z(p) = 2*p**3 + 11*p**2 - 6*p + 5. Let j be z(-6). Suppose 4*g + 2*s - j*s = 269, -186