44. Suppose -7*y - 25 = 3*n + 2*n, -3*n + 6 = 0. Let b = a + y. Which is smaller: b or -27?
b
Let u = 9392 + -9959. Is u at least 0.4?
False
Let j(t) be the second derivative of -t**5/20 + 5*t**4/6 + 4*t**3/3 - 27*t**2/2 - 80*t. Let o be j(10). Which is smaller: o or 56?
o
Let y(v) = 4*v - 24. Let z be y(11). Let b be (-59048)/z + (-12)/(-30). Let s be 3/14*b/(-54). Which is greater: s or 12?
12
Let m = -1467 + 2487. Let u = 5153/5 - m. Is 10 bigger than u?
False
Suppose -221 + 745 = -4*k. Let m = 637741 + -637870. Is k smaller than m?
True
Let m = -0.627 - -2.627. Suppose 2*v + 0*v - 371 = 3*g, -3*v + 2*g + 549 = 0. Suppose -2*q = -4*r - 82, 5*q - 2*r + 4*r = v. Which is smaller: m or q?
m
Let m(f) = -43*f + 404. Let q be m(11). Is q at most as big as -80?
False
Let f(l) = -l**2 + 739*l - 4401. Let o be f(6). Suppose 5*g + 38 = 2*y, 0*g - 5*y = -5*g - 50. Which is bigger: g or o?
o
Suppose -31*a - 11679 = 44927. Are a and 1 equal?
False
Let y(j) = -j**3 + 9*j**2 - 18*j + 27. Let f be y(7). Let p be f/2*(-54)/(-9). Is p at most -16?
False
Let j be (54/(-12) - -5) + 234/(-12). Which is bigger: j or -124?
j
Let x = 24991913/1030 - 24264. Does x = 1?
False
Suppose -244*v + 14866 = -43635 - 90583. Is 613 not equal to v?
True
Let c be (-36)/(-60) + (2 - 113185/(-25)). Is c less than 0?
False
Let m be 0 + 0 + 9/(432/1136). Is m != 25?
True
Suppose 18*v - 13*v + 10 = 0, 3*u + v - 7957 = 0. Is u greater than 2655?
False
Let l = -4505 + 4527. Is -0.36 < l?
True
Suppose -5*f + 82 = 4*v - 6*v, -v = 3*f + 19. Let x = 1/14215 - 4022854/127935. Let h = x - v. Is 0 equal to h?
False
Let i be 16 + 1560/(-90) - (-1)/3. Is 3/2452 >= i?
True
Let z be 126/175*3/(-171)*5. Which is greater: 0 or z?
0
Suppose 8*s - 7*s + 10 = 0. Let g be 1 + s - (2 - 10). Is 9/49 greater than g?
True
Suppose 3*p + 955 = 940. Let t be (-4)/21*((-270)/(-24) + p). Do t and -2 have the same value?
False
Let v be 1/(-4) - (-494)/5624. Suppose 0*w = -2*w. Which is bigger: v or w?
w
Let r(u) = -u**3 + 11*u**2 + 22*u + 26. Let x be r(14). Let h = -284 - x. Which is smaller: h or -28?
h
Let n = 12597 - 12955. Which is smaller: 8 or n?
n
Let a = 26 + -22. Suppose 2*u + 5*t - 12 + 0 = 0, 0 = -a*t + 8. Which is smaller: -1/98 or u?
-1/98
Let c(g) = 3*g**3 - 124*g**2 + 9*g + 303. Let z be c(41). Which is bigger: -1008 or z?
-1008
Let y = -92.54 - -92. Let q = y + 0.44. Are q and 33 unequal?
True
Let n = -395/909 - 1/101. Let b = 84 - 74. Suppose b*g - 1 = 9. Which is smaller: g or n?
n
Suppose -17*b + 10*b = -u + 108, 3*u - 434 = -b. Which is greater: u or -46?
u
Let i(o) be the second derivative of -o**4/3 - 5*o**3/3 - 5*o**2/2 + 8*o. Let m be i(-7). Let c = 92 + m. Which is smaller: -38 or c?
c
Let w = -29 - -40.7. Let o = -11.831 + w. Is 0.1 less than o?
False
Let i = 1218 + -1218. Let z = -0.4 - -0.29. Let k = -0.06 - z. Does i = k?
False
Let f = 20.177 - 20.2. Let r = -89.023 - f. Do 0 and r have different values?
True
Suppose -4*k + 49 = -2*g + 901, 36 = 9*g. Is -849/4 <= k?
True
Let x(v) = 1935*v + 36774. Let m be x(-19). Let q be 0 + (1 - (-41)/5). Which is smaller: q or m?
m
Let v(l) = -l**2 - 51*l - 2364. Let j be v(-29). Is -1729 at least j?
False
Let z = 8.6 - 8.6107. Let l = 180.9893 - z. Which is smaller: l or 0.1?
0.1
Let t = 10720443/3347 + -3203. Is 1 != t?
True
Let r be 214*4*30/(-16). Is -1605 smaller than r?
False
Let c be (-1372)/132 + 10 - 21/77. Which is greater: -8810 or c?
c
Let g = 79 + -88.1. Let m = g + 9.4. Let l = -9 - -11. Which is bigger: m or l?
l
Let z(k) = -5*k**3 + k**2 - 18*k + 40. Let o be z(2). Which is smaller: -641/20 or o?
-641/20
Let p(a) = a**3 - 23*a**2 - 80*a + 53. Let b be 3/(3/23) - (-8 + 5). Let j be p(b). Are 1/435 and j equal?
False
Let f = -3.3139 - -1.3139. Is 2115 at most as big as f?
False
Let d(p) = 9*p + 4 - 3*p**2 + 0*p**2 + 4*p**2 - 2*p**2. Let c be d(9). Suppose -5*l - 27 = -2*w, -36 = 21*w - 25*w + 4*l. Which is bigger: c or w?
w
Suppose 0 = -3*t + 8 + 22. Let f be 2*(-2)/t*1. Let b = 61/153 - 3/17. Which is smaller: b or f?
f
Let u be (-51834)/3763*(-9)/(-62) - 2/(-1). Which is smaller: u or -1?
-1
Let v be (-144)/(-60)*20/(-6). Let q(c) = c**3 + 7*c**2 - 7*c + 12. Let j be q(v). Let k(o) = -o + 5. Let t be k(j). Which is bigger: 2/37 or t?
t
Suppose 12*q + 902 + 646 = 0. Let a = q + 125. Let w be ((-18)/a)/9 - (-1)/(-4). Do -0.39 and w have the same value?
False
Let x = 5483 - 5702. Is -231 at most as big as x?
True
Let d = -0.297 - -7.297. Let x = 124 + -152. Is d less than or equal to x?
False
Let r(z) = 2*z**3 - 17*z**2 + 28*z + 11. Let o be r(12). Let v be (463422/(-9))/((-76)/(-2)). Let x = v + o. Which is greater: 1 or x?
1
Let k = -656.2 + 656. Let r be (1 - 573/575)*-1. Let d = r + -2286/4025. Which is greater: d or k?
k
Let c = -1177 - -1147. Is -16 not equal to c?
True
Let a = -12670629/31 - -408781. Is a <= 50?
False
Suppose 4*m - 117 = m. Let o = 4.88 - 7.2. Let f = 3.32 + o. Is f at least m?
False
Let k be (-8330)/56*(-60)/(-150). Let j be (-1)/(-3) + (-184)/3. Is k at least as big as j?
True
Let k = 41.3 + -36. Let o = -5.7 + k. Is o at least -0.23?
False
Let c = -3.8816 + 18288.8816. Which is smaller: c or 0.1?
0.1
Suppose -4*a + 2*n + 22 = 0, -3*a + 3*n + 29 = -n. Suppose a*t + 102 = 4*z, -3*t - 5*z - 48 = 27. Let f be 85/(-3) - 2/3. Are f and t equal?
False
Let c be 12/(-15)*(15 - (-300)/(-24)). Is 334 <= c?
False
Let q(t) = -6*t + 32. Let s be q(-9). Let l(a) = -21*a**2 - 2*a + 3. Let y be l(2). Let d = y + s. Which is greater: 4/21 or d?
d
Let x = -2196 + 54896/25. Which is bigger: x or -0.91?
x
Let a be (-3)/54*-9*-64. Suppose w - 4*q = -17, q - 2 = w - 0*q. Suppose 140 = -5*m - w*g, 4*m - 2*g + 4*g + 114 = 0. Which is smaller: m or a?
a
Let b = 6/3109 + -6248/15545. Suppose 4*x - 4*g + 2*g - 10 = 0, -5*x - 5*g = -35. Suppose -x - 1 = -5*w. Which is smaller: w or b?
b
Let r be (-4)/(45888/(-8668)) + 12/(-16). Is 1 < r?
False
Let w be (-144)/84*7/2. Let u be 351/81 - (-1)/w*2. Suppose 0 = -u*b + 71 - 7. Which is smaller: 12 or b?
12
Let s be 40/(-16)*(6 - 34/5) - 2. Which is smaller: s or 19/44?
s
Let w = -628 - -723. Let k be 2/(2 - 6) - w/(-10). Is k at most 132/13?
True
Let y be (9/(-6))/(-3)*65. Let k(m) = 2199*m + 18 - 2204*m + 14. Let j be k(0). Which is greater: j or y?
y
Let x = 4239 - 29621/7. Let k(b) = 2*b**2 + 6*b. Suppose -8 = -2*l - 4*v, 2*v = -4*l - 2*v. Let s be k(l). Is x equal to s?
False
Let z = -16.63 + 0.63. Let w = z + -17. Let v = w - -33.1. Which is greater: v or 16?
16
Let t = 9727/280 - 243/7. Let s(i) = -i**3 + 6*i**2 + 57*i + 10. Let b be s(-5). Which is smaller: t or b?
b
Let p be (-2)/2 - (-9 + 62). Let n be -11*(-5)/2*(15 - 17). Is n greater than or equal to p?
False
Suppose 0 = 17*b - 10*b - 2548. Let h = 363 - b. Which is greater: h or 2/1547?
2/1547
Let m be 54130/(-252) + (-3)/21. Let g = m + 215. Is g less than or equal to 0?
False
Suppose y = -w + 10, -2*w - 4*y + 6 = -20. Suppose -5*h - 2*c - 54 = 0, -w*c + 2*c - 30 = 2*h. Is 4 at most h?
False
Let v = -4623.2 + 4623. Let k(n) = n**3 - 29*n**2 - 21*n + 57. Let p be k(30). Which is greater: p or v?
p
Let u = 19.4 - 18.43. Let x = u + 0.43. Let w = x - 1.2. Is 12 at most w?
False
Suppose 32*q = 774 - 582. Which is smaller: q or -182?
-182
Let x(r) be the third derivative of -r**5/60 + 11*r**4/12 - 19*r**3/2 + 4*r**2 - 10. Let o be x(3). Is o less than -5/14?
False
Let x = -524 - -150. Let l = 296 + x. Which is smaller: l or -76?
l
Suppose -2*f = 5 + 39. Let s be ((-18)/(-9))/(1 + f/(-8)). Let x = 221/330 - s. Which is bigger: x or -1?
x
Suppose 26*h = 44*h - 306. Suppose -3*s - 4*o + 5 = 18, -5*s + h = -3*o. Which is smaller: s or -1/248?
-1/248
Let t = 18798 - 18795. Is t greater than -582?
True
Let c be (168/(-70))/((-4)/10). Let l be 273/(-49) + c + (-3)/7. Let r = 781/54509 - 2/599. Which is smaller: l or r?
l
Let q = 1.074 - 1. Let w = -0.026 - q. Which is bigger: w or 21?
21
Let m be 8/(-10) - 1007/(-1140). Let o = -205 - -239.2. Let q = o + -34. Is q <= m?
False
Let q be (117/221)/((-518)/(-42)). Is -1 less than q?
True
Suppose 642*w - 3500 = 1344*w - 667*w. Do -395/4 and w have the same value?
False
Let a be 20/(-30) + 10/6. Suppose -16*l + 5*r = -14*l - 5, -4*l - a = r. Are 2/271 and l non-equal?
True
Suppose -d = 3