 94/10. Let r = -4579/5 - -927. Which is bigger: r or v?
r
Let p(z) = z**3 - 97*z**2 - 369*z + 378. Let i be p(101). Are 3913 and i non-equal?
False
Let o(m) = 3*m - 1. Let p be o(2). Let x be p/2*(-8 - -10). Suppose -x*g = 4*i, g = 4*i - 5*i - 1. Which is greater: -26/5 or i?
i
Let z = -2420 - -1731. Is z != -692?
True
Let t(d) = -d**2 + 2*d + 520. Let s(h) = h**3 + 15*h**2 - 34*h. Let w be s(-17). Let j be t(w). Suppose 18*c - j = 8*c. Is 52 greater than or equal to c?
True
Suppose -11*g = 2*k - 15*g + 36, -3*k - 9 = -g. Is -2/10163 at most k?
True
Let a = 32.09 + -0.09. Let x = a - 32.1. Let k be -3 - (-3)/((-18)/14). Which is smaller: k or x?
k
Let n(q) = 13*q - 45. Let m(a) = 14*a - 45. Let z(x) = -5*m(x) + 6*n(x). Let l = -63 + 69. Let i be z(l). Which is smaller: 6 or i?
i
Let d(m) = 126*m - 379. Let i be d(3). Let k be (-1)/7 + (-31)/273. Are i and k equal?
False
Let s be 952 + 13 - (-2 + -2 + 2). Are s and 967 unequal?
False
Let f = -2206 + 2251. Is 49 at least as big as f?
True
Let u = -37/19 - 1153/608. Is u greater than or equal to -4?
True
Suppose -u = 47*o - 42*o - 46, -16 = 4*o. Let i be 7/((-28)/8) - -27. Suppose -x = 4*b - 63, i = 4*x + 5*b - 238. Which is smaller: u or x?
u
Suppose -32348 + 701298 = 124*u + 46*u. Which is bigger: 3933 or u?
u
Let z(b) = -782*b**2 + 2582*b + 12. Let v be z(6). Which is greater: -12649 or v?
v
Let p = -63.92 + -1.08. Let d = -1075 - -972. Let i = p - d. Which is bigger: i or -1?
i
Suppose 0 = 5*p - 4*d + 2*d - 431, 5*d = 3*p - 270. Which is smaller: 55 or p?
55
Let u(l) = l**3 - l - 1. Let f(b) = -19*b**3 - 2*b - 3. Let c(j) = f(j) - 2*u(j). Let x be c(-1). Let h = 22 - x. Is 1/2 not equal to h?
True
Let b = 0.09 + -0.19. Let t = 17.9 - b. Let a = 4.9 + -4.8. Which is bigger: t or a?
t
Let a(d) = 13*d**2 + 577*d - 90. Let f be a(-44). Is 4 at least as big as f?
True
Suppose 4*w = -5*k - 177, 3*w + 2*k = 2*w - 48. Let u = -57.4 + -6.6. Let t = u - -63. Which is bigger: w or t?
t
Let d = -1660/9 + 8282/45. Let g = 2 + -2. Is d at least as big as g?
False
Let u be (-16)/(-6)*24/(-2). Let l(s) = 4*s**2 + 10*s - 18. Let x be l(-8). Suppose -152 = 5*m + j, 6*j - x = 5*m + 5*j. Is u at most as big as m?
True
Let y be ((12/(-5))/(-1))/(6/20). Let q be (-4)/18 + 390/54. Which is bigger: q or y?
y
Suppose 16 = -4*b, 276*b - 275*b + 290 = r. Which is smaller: 260 or r?
260
Suppose -4*f - 1 - 3 = 0, -3*f = -3*v + 12. Suppose 0 = -5*j - y - 10, 3*j - v = j + y. Let m = 10 + -9.95. Is m greater than j?
True
Let x = -1.953 + 2. Let t = -0.058 + x. Let q = t - 0.189. Which is smaller: 0.5 or q?
q
Let a = 81.033 - 81. Let t = -0.267 - a. Which is smaller: t or 39?
t
Suppose -5*i = 5*j - 21 + 6, 0 = i - 5*j + 3. Suppose -4*y = -i*y + 494. Which is greater: -249 or y?
y
Suppose 3*g - 4*t - 113 = -101, -15 = 5*t. Is -19/172 < g?
True
Let y(h) = h**2 + 20*h + 62. Let p be y(-7). Let x be (-20 + 2)*(-6)/6. Let g = x - 46. Is p not equal to g?
True
Let w = -6663 - -6528. Is -269/2 != w?
True
Let y(t) = 168*t + 492. Let j be y(-3). Which is smaller: -306/25 or j?
-306/25
Let l be 23/(-2)*(0/7 - 22). Suppose -5*b + 250 = 3*p, -l = -3*p - 3*b + b. Let s = 118 - p. Do 33 and s have the same value?
True
Let r(i) = -3*i**2 - 9*i + 46. Let c be r(-10). Let x = c - -163. Which is greater: 1/155 or x?
1/155
Let a(x) = 135*x + 65. Let y be a(-3). Let m = y - -347. Which is smaller: -3 or m?
-3
Let k be (288/216)/(75/21 - -3). Which is greater: k or 0?
k
Let c be (-156)/15*(-195)/(-6). Let s = 343 + c. Let n = -0.21 - 5.79. Which is greater: n or s?
s
Let q(z) = z**2 + 6*z + 5. Let v be q(-5). Let i(l) = -3*l**3 - l**2 + 26*l + 132. Let b be i(-6). Let s be 217/b + 5/(-60)*1. Is v at most s?
True
Let b(t) be the first derivative of t**4/4 + 5*t**3/3 - 13*t**2/2 - 8*t - 4. Let a be b(-6). Let n = 63 - a. Which is greater: 1 or n?
n
Let x = 13784/3 + -137843/30. Which is greater: -433 or x?
x
Let x be 2 + (-374 - 4)/(-6). Suppose -234 = -2*n - f - x, 4*f = -20. Which is smaller: 86 or n?
86
Let k(s) = -3*s**3 + 38*s**2 - 19*s - 35. Let z be k(12). Is 35 bigger than z?
True
Suppose -5*c - 900 = -200. Let b be (-1270)/c - -1*2. Let p = 11 - b. Which is greater: p or 0?
0
Let m = 152.8 - 153. Do -0.445 and m have different values?
True
Suppose 358 = 42*f - 5396. Which is bigger: f or 30?
f
Let s(c) = 8*c**2 + 1639*c**3 + 6*c - 1638*c**3 + 2*c - 15. Let p = -11 + 4. Let f be s(p). Is f greater than or equal to -107/5?
False
Let d = 214 + -115. Let i = -99 + d. Which is greater: i or 5/21?
5/21
Let f = 17586 + -17590. Is -0.2399 bigger than f?
True
Let y = 1001900/91 + -11010. Which is smaller: y or 0?
y
Let b be ((-1282)/((-4)/(-4)))/(4/10). Let q be (2 - (-38)/(-18)) + b/315. Which is greater: q or -9?
-9
Let r = 840 + -1958. Let d = r + 3238/3. Is d <= -38?
True
Let p(y) be the second derivative of -y**3/2 - y**2/2 - 18*y. Let s be p(-1). Suppose -2*i + 6 = 2*z - s, 0 = 4*i. Which is greater: -2 or z?
z
Let f be (-390)/4*(164/12 + -11). Is f greater than 0.3?
False
Let y be (-2)/(0 + -2) - -2. Suppose 3*s + v - 193 = 159, -3*s - 4*v + 364 = 0. Suppose -s = y*r - 8. Which is smaller: r or -35?
r
Let o = -4309/25818 - -1/4303. Which is bigger: 1070 or o?
1070
Suppose -21*n + 18*n - 2720 = 5*p, 5*p - 3*n = -2690. Is -543 at most p?
True
Let l = 3402 - 3295. Is -2 greater than or equal to l?
False
Let i be (-33192)/22192 + (-15)/(-10). Which is greater: 0 or i?
i
Let p = -51 - -52. Suppose -6*x = -7*x - p. Let s be x/(-4)*176/(-286). Which is bigger: s or -1?
s
Let q = -461 - -132. Let x = 1975/6 + q. Let i = 11 + -12. Do x and i have the same value?
False
Let g(z) = 11*z**3 + 6*z**2 + 13*z + 28. Let k be g(-2). Let s be (-3)/((-6)/(-116)) - 2. Is k greater than s?
False
Let j = 103.8 + -113. Let o = 9.9 + j. Let n = -0.4 + o. Which is bigger: n or -17?
n
Let b(g) = g**3 + 14*g**2 + 14*g + 23. Let d be b(-13). Suppose 0 = 4*t - d - 6. Are t and 11/3 equal?
False
Let f be (-6)/(-10) - (-6562038)/(-4830). Is 1 not equal to f?
True
Let r be (-9)/8409*((-24)/(-8) - 2). Let x = -106493/19621 + r. Which is smaller: x or -1?
x
Let g = 37 + -31. Suppose -5*v = 5*b - 75, 27 = v - 5*b - 0. Suppose -11 = -4*h + v. Which is greater: h or g?
h
Let t(x) = 2*x**2 - 37*x + 102. Let v be t(22). Let w = v + -189. Is w at least 135/2?
False
Suppose -2*g + 426 = 2*n, -4*g + 3*n + 619 = -212. Are 216 and g unequal?
True
Let x = -0.013 + 0.213. Is x > -1339?
True
Let i(q) = -44*q + 3109. Let g be i(59). Which is smaller: 4/5 or g?
4/5
Let x be (-6)/2*-3*(-34 - -43). Let l be 104/(2/(-8) - x/(-36)). Let s = l - 34. Which is smaller: 17 or s?
17
Let i = 5612 + -1139227/203. Let r = -5729/1015 + i. Which is smaller: r or -5?
r
Let x be -12*2/8 + (-7 - -9). Are -2/5311 and x equal?
False
Let j be (240805/230)/(1/(-1192)). Let c = -1248310 - j. Let o = -312 - c. Which is smaller: 0 or o?
o
Let b = -46.28 - -46.18. Which is smaller: b or 11768?
b
Let s be ((-310)/50 - -7) + (-5673)/(-15). Which is smaller: s or 381?
s
Let y = -1858.54 + -0.46. Is -2/5 at least as big as y?
True
Let l = -843.62 - -808.62. Let t = -0.05 - -0.25. Let o = t - 2.2. Do o and l have different values?
True
Let a = 3510 - 4026. Is -511 at least a?
True
Let d(f) = 34*f - 129. Let w(u) = -11*u + 43. Let s(q) = 6*d(q) + 17*w(q). Let l be s(4). Which is bigger: l or 1?
l
Let q(u) = -u**3 - 5*u**2 - 6*u - 7. Let z be q(-4). Let r be 52/(-234) - (-1)/(504/76). Which is greater: r or z?
z
Suppose 2*d + 17808 = u, 59 = -3*u + 83. Are d and -8900 unequal?
False
Let k = -32647297/2320245 + 1196/85. Which is greater: k or 0?
0
Let i = -9983/650 + 257/100. Is i greater than -13?
True
Let s = -0.9 + 0.8. Let d = 9.97 + -10.49. Which is bigger: d or s?
s
Let u be (((-42)/9)/7)/(8/(-48)). Suppose 4*w - 3*k - 64 = 0, -3*k + 44 = u*w - k. Is w > 101/7?
False
Let j = -5564 - -5562. Which is greater: j or 944.1?
944.1
Let i be ((-13)/(-4))/(1/4). Let m(f) = f**2 - 16*f + 31. Let s be m(i). Let g = s - -10. Is -4 < g?
True
Let m = 25.9 - 25. Let y = 2.4 + 1. Let l = 3.4 - y. Is l bigger than m?
False
Suppose 0 = -4*m + 4*u - 33272, -7252 = 5*m - 2*u + 34332. Is -8317 at least m?
False
Suppose -1099*u + 354*u - 27160 = -465*u. Let z = 52 - 147. Is z != u?
True
Suppose -33*v - 3*q + 15 = -29*v, 5*q = -4*v