 j(q) = a(q) + 5*m(q). Let l be j(10). Is 22 greater than or equal to l?
False
Let w = 98 - 97. Let n be w/(-6) + (-1)/((-30)/(-85)). Let f be (-594)/(-204) + (2*-3 - n). Which is bigger: -1 or f?
f
Let k = -0.0526197 - 229.5183803. Let m = k - -230. Let q = 0.029 - m. Which is greater: q or 10?
10
Let j = -46 - -56. Suppose -2*n = 5*k - 33, -5*n + j = -3*k + k. Suppose 18 = -5*v + n*q, -2 = -3*v + 5*v + q. Which is smaller: v or 14?
v
Let x = -933455/7 + 133787. Which is smaller: x or 437?
x
Let a = 537 + -536.9707. Let v = a - -2.9707. Which is greater: -0.18 or v?
v
Let j be (-1)/(272/40 - 7). Let i be 204/(-15)*j/2. Is i greater than -35?
True
Let k = -44 + 45.54. Let f = -199.4 - -201. Let q = f - k. Which is smaller: q or 0.4?
q
Suppose 3*l - 132 = -81. Suppose 86 = -l*i - 152. Is 3 less than or equal to i?
False
Let x(i) = -i**3 + 22*i**2 + 87*i - 897. Let s be x(22). Which is smaller: 1035 or s?
s
Let t = 22011/5 + -4407. Is t < 0.6?
True
Let q = -1410 + 1363. Is q greater than -25?
False
Let v = 5 - 3. Let u be 3*(-3)/(9/v). Suppose 4*g + 4*h = -68, -2*g + 2*h + 2*h - 28 = 0. Is u greater than or equal to g?
True
Let a be (-6)/18*(-6)/(-4). Let r be (-22)/(-6) + 2/(-3). Suppose 0 = -3*f + 5*n + 44, r*n - 16 = -3*f - 4. Which is greater: f or a?
f
Let x be (4/16)/(11/(-176)). Suppose 0 = 5*m + 2*d + 14, d = -0*m - m - 1. Let p = 1 + m. Is p less than or equal to x?
False
Let v be 9/27 + 2/3. Suppose -111 = 2*h + h. Let k = h + 21. Is v at most k?
False
Let y = -6474 - -7298. Is 829 at least y?
True
Suppose -12*u + 6 = -10*u. Let x = 3 + u. Let s(z) = -2*z**2 + 10*z + 10. Let d be s(x). Is d bigger than -6/7?
False
Let m = 47242 - 234907/5. Let u = m - 261. Is 3/19 less than or equal to u?
False
Let l(o) = 6*o - 7. Let j be l(2). Let y be (-1)/j*0 + 31. Suppose -165 = 5*i - 5*r, 2*i + 0*r + y = -5*r. Is i at least as big as -27?
False
Suppose 0 = -12*y + 66 + 6. Which is bigger: y or -32?
y
Let z = -17063/11 + 1553. Let u = 67/55 - z. Let y = -17.6 + 1.6. Which is greater: y or u?
u
Let i be (28/(-42))/((-137)/516 + 1/4). Is i less than 67?
True
Let r(z) = z**3 - 2*z**2 - 5*z - 2. Let c be r(4). Let q(i) = -i + 16. Let h be -4*(-1)/(-8)*-12. Let l be q(h). Is l >= c?
True
Let z = -18.1783 + 0.1783. Is z at least -0.11?
False
Let j = 0.22 + 0.08. Let n = 537.446 + -537. Let p = n + -6.446. Are j and p non-equal?
True
Let j = -82765/141 - -587. Let q = 40 + -40. Is q at least as big as j?
False
Let v = -230 - -233. Let w be 5 - ((-182)/(-35) - v). Is w equal to -2/3?
False
Let z(x) = 2*x. Let g be z(-1). Let p be 53*4*(1131/(-2366))/(-29). Let c = 12/13 - p. Which is smaller: c or g?
c
Let b(t) = t**2 + 168*t + 36. Let f(x) = -x**2 - 1. Let a(y) = b(y) + 6*f(y). Let i be a(32). Is 286 less than or equal to i?
True
Let v(k) = 5*k**2 + 8*k + 5. Let j be v(-5). Let a be 232/(-2) + -1 + -1 + 3. Let r = 205 + a. Do j and r have different values?
False
Let u be -3 + -933*(-134)/144. Let y = 865 - u. Is -0.3 equal to y?
False
Let d be -4 + 10590484/2744 - 4/(-8). Let o = d - 3856. Which is smaller: o or 1?
o
Let w = -9030 + 6595. Which is smaller: w or -2433?
w
Let n be (27 - 15 - 13)/((-21)/401). Let f be (-236)/18*6/4. Let z = n + f. Which is smaller: z or -3?
-3
Let g be (-5)/((-775)/(-1401)) + 9. Let h(y) = -3*y**2 - 10*y + 8. Let q be h(-4). Are g and q equal?
False
Suppose 2*y - 9 = -z, 3*y - 5*z + 15 = -2*y. Suppose y*a + 63 = -a - p, a = p - 17. Is -17 smaller than a?
False
Let j be 6*(0 - (-4)/(-36)) + (-137)/(-216). Is j <= -1?
False
Let w = 4817.97 - 5050. Let t = w + 232. Is t != 11?
True
Let u = 6588 + -13325. Is u < 0?
True
Let r be (-2)/(-6) + 66/(-9). Let q be r - -5 - (-4)/(-1). Let w = 12.26 - 10.26. Which is smaller: w or q?
q
Let l(g) = -38*g**2 - 358*g - 609. Let d be l(-7). Suppose -4*j - j + 170 = 0. Are j and d equal?
False
Let i = -521 - -521.068. Let w = -0.012 + -0.02. Let d = w - i. Which is smaller: -19 or d?
-19
Let h = -31 + 154. Let q = 122 - h. Is -2/153 bigger than q?
True
Let s(k) = -k**2 + 11*k - 10. Let l be s(10). Let i be -8 - -4*3/2. Let m be (i - 70/(-23))*1/2. Which is smaller: m or l?
l
Let u = -12.93 - -13. Let a(i) = -7*i - 84. Let h be a(-17). Let o be 91/h + 4/10. Which is smaller: u or o?
u
Let d = -1309/3156 - 1/526. Suppose 0 = 2*j + 16 + 2. Let m = 8 + j. Are d and m nonequal?
True
Let h = 330 + -570572/1729. Are 0 and h non-equal?
True
Let s be 3*(-10)/(7/7). Which is smaller: 13 or s?
s
Suppose 4*j + 0*l = 3*l + 26, 3*j - 5*l = 25. Let s be (9 + 2)*(j + -3). Suppose 15*w + 70 = s*w. Is w > 13?
False
Let r = 127 + 50. Suppose -2*d - r + 673 = 0. Is d <= 247?
False
Let q(t) = -603*t**3 + 2*t**2 + 4*t + 4. Let w be q(-2). Is w equal to 4829?
False
Let o = 4805 - 4733. Which is greater: -39 or o?
o
Suppose -w = -3*w - 112. Let a = w - -104. Let x = -37 + a. Do x and 11 have the same value?
True
Let p(k) be the first derivative of -3*k**4/2 - 5*k**3/3 - k**2/2 + 2*k - 133. Let u be p(-1). Do u and 4 have the same value?
True
Let b(a) = -46*a + 76*a - 43*a + 9. Let c be b(1). Let u be 42/189 - (1 + c/(-18)). Is u at least -4?
True
Let j(l) = 2*l**3 - 3 + 14*l + 15*l**2 + 3 - 25*l**3 + 1 + 25*l**3. Let f be j(-7). Let s = 0.2 - 0.3. Is f smaller than s?
True
Let y be 237/(-105) - 2 - (1 - 4). Let s = y + 20/7. Is 13 not equal to s?
True
Let h = 9.1 + 140.9. Let q = h - 150. Let z = 0.42 - 0.5. Which is greater: q or z?
q
Suppose -4*n + n = -39. Suppose -55*y + 1216 = 9*y. Let a be -2 + n/(-2) - y/38. Do a and -5 have the same value?
False
Let c(z) = 5*z**3 + 12*z**2 - 29*z + 5. Let g(v) = v**3 + 1. Let r(n) = c(n) - 4*g(n). Let p be r(-14). Let u = 50 - 34. Which is smaller: p or u?
p
Suppose 0 = 381*k - 373*k + 240. Let g be 46*10/(-75)*5. Is k smaller than g?
False
Let x = 0.42097 - 219.09097. Let p = x - -219. Are 1 and p equal?
False
Let y = -803374323339/22100 + 72703559/2. Let r = -3/884 + y. Let f(n) = -n + 3. Let m be f(2). Is m bigger than r?
True
Let a(u) be the second derivative of -u**5/20 + 7*u**4/4 + 50*u**3/3 - 33*u**2/2 + 64*u. Let f be a(25). Which is smaller: f or -32?
f
Let l = 2/173 + -360/1211. Let f = 2470 - 2458.7. Which is bigger: f or l?
f
Suppose -4 = -l + z, 3*l - 3433*z = -3428*z + 20. Which is bigger: l or -70.83?
l
Suppose 2*w + 3 = 5*w. Let s be (10/(-7))/(350/(-980)). Suppose -2*g + 3*h - s = -0*g, 5*g - 3*h = -w. Is 1/6 >= g?
False
Let n(k) = -k**3 - 41*k**2 - 54*k - 496. Let a be n(-40). Is 64 smaller than a?
False
Let y be (4/(-4))/((-5 - (-10 - -4))/(-1)). Is y smaller than -15/41?
False
Let i be (0 - -4) + (-3400)/844. Let f = 604856567311/10550 - 57332376. Let k = f + i. Which is greater: k or 0?
k
Let x = -6.938 - -6.438. Which is smaller: x or -170?
-170
Let j be 81/(-135) + (-46)/(-10). Suppose -j*i + 4*z + 1682 = 3*z, 3*i - 5*z = 1270. Is i less than or equal to 421?
True
Suppose 3*c = 5*n - 19, -5*c - 17 = -2*n + n. Suppose -3 = -4*p + w, 2*p - 11 = -w - n. Let t be (-612)/(-2142) + (-52)/(-28). Which is greater: t or p?
t
Let h = -470 + 685. Suppose 5*t + 183 = l, 23 - h = 5*t - 4*l. Do t and -37 have different values?
True
Let v = 25754 - 25933. Is v at least as big as -3392/19?
False
Let d be 1/2*(-1938)/21. Let h = -112074/2429 - d. Which is smaller: 1 or h?
h
Suppose -44*q + 47*q - 1326 = 0. Let p be (q/52)/(2/56). Is p greater than 237?
True
Let u be 270/960*(10/12 + -2). Do 1 and u have different values?
True
Let a be (-1098)/10*(-1 + 80/65). Let q = a - -124/5. Which is smaller: q or -1?
-1
Let d(l) = -40*l - 21 - 9*l + 37*l. Let c be d(-2). Is 12/7 at least c?
False
Let t be (-4)/(-19)*1/(-4). Let r = -409 + 409. Let n be (-11 - -10)/(1 - r). Which is greater: t or n?
t
Let d = -2821.1223 - -2821. Let g = d - 22.9177. Let i = g - -23. Which is bigger: 2/9 or i?
2/9
Let p be (51023/49 - -6)/(1/7). Is 7332 not equal to p?
True
Let w(a) be the second derivative of 5*a**3 - 9*a**2/2 - 5*a. Let x be w(-4). Let c = x + 1035/8. Which is smaller: c or 0?
0
Let i(f) = 24*f - 69. Let l be i(-9). Let b = 289 + l. Let v(x) = x**2 + 3*x + 4. Let g be v(-3). Is g at least as big as b?
True
Let n be ((-2)/32 - 16330/(-25760)) + 150/(-189). Let m = -6 + -3. Which is smaller: n or m?
m
Let l = -1749/296 + 140/37. Let q = -5320 + 5319. Which is smaller: l or q?
