 or q?
q
Let n(k) = -k**2 - 12*k - 15. Let t be n(-11). Let f be (t/(-6))/((-2)/(-42)*-2). Which is smaller: f or -1?
f
Let l(h) = 2*h**3 + 3*h**2 - 3*h - 8. Let a be l(-2). Let b be 0/(4/a*15/10). Is b less than -5/11?
False
Let t(h) = -6*h**2 + 7*h + 9. Let y(j) = 7*j**2 - 7*j - 10. Let x(c) = 6*t(c) + 5*y(c). Let i be x(5). Let d = i - 19. Is d greater than -2?
False
Let z = -38.4 - -38.2. Which is smaller: 0.9 or z?
z
Suppose 2*o + 0*o = l + 4, 4*o - 5*l = 20. Let g = 3 + -6. Let v be 2 - (33/7 + g). Is v != o?
True
Suppose -10*w + 9481 = 9*w. Is 498 less than w?
True
Suppose 3 = -5*x - 2. Suppose 0 = -5*z + 5*g - 6*g + 12, g = 3*z - 12. Let l be (x/z)/(3/9). Is 1 > l?
True
Let k be -1*(2 + -1 + 2). Let t be 5*(48/20 + k). Are t and 0 non-equal?
True
Let k(v) = v - 1. Let w be k(-3). Let m = 8 + w. Suppose 0 = 3*p + 3*i - 4*i + 44, m = -i. Are p and -16 equal?
True
Let n = 157 - 1101/7. Let c(p) = p**2 - 3*p - 2. Let j be c(4). Let i be 1*(3 - j) - 2. Which is greater: i or n?
n
Let d = 30 - 37. Let q = 19 + -28. Which is smaller: d or q?
q
Suppose -10 = 5*v - 5*b - 0, -5*v = 4*b + 28. Let p = -2 - -1. Is v smaller than p?
True
Let p = 2375/3 - 804. Let n be (-77)/14 + 20/(-8) - (-3 + 6). Are n and p non-equal?
True
Let b = 3/323 - 673/2907. Let h(w) = -2*w - 2. Let z be h(-2). Suppose -4 + 6 = z*g. Which is bigger: g or b?
g
Let m be (-6 + (-510)/(-84))*22. Is 2 >= m?
True
Let p = 16 + -11. Suppose -2*y = -p*n + 7 - 2, -5*y = 5*n - 40. Suppose -5*c + 3 = 3*v, c + 5 = y*v + 3*c. Do v and -2/31 have the same value?
False
Let o(a) = -3*a. Let s be o(1). Let i be 2 + s*2/3. Let r = 4 - i. Which is bigger: r or 5?
5
Suppose 0 = -5*a - 2*r + 121 + 464, 3*a = -3*r + 351. Let h = a - 57. Suppose j + 4 = -1, -j = 5*o + h. Which is smaller: o or -12?
-12
Let l be (25/15 - 2) + (-67)/(-3). Let j be (-114)/(-22) + l/(-121). Is j >= 6?
False
Let l be (2197/(-676))/(-1*(-1)/56). Is l at most -185?
False
Let w(i) = 4*i + 81. Let u be w(-20). Let r = u - 2. Are 6/55 and r unequal?
True
Let j = 29 - 33. Let f = j + 2. Let a be (-2)/16 + -1 + 1. Which is greater: f or a?
a
Let n = 0.8 + 0.2. Let r = 5.321 + -34.321. Is n bigger than r?
True
Let l(w) = -w**2 + 8*w - 11. Let g be l(8). Which is greater: g or -100/9?
g
Let l = -8 + 6. Let c = 0.119 + 76.881. Let v = 76.3 - c. Is l greater than v?
False
Suppose 4*g = 3*g + 2. Suppose 0 = 5*p - 8 - g. Suppose p = 19*k - 17*k. Is 3 at most k?
False
Suppose 4*d + 5*v = 889 - 3034, -4*d = 3*v + 2143. Do -532 and d have different values?
True
Let j = 70 - -8. Suppose 2*k + 18 + j = 0. Which is smaller: k or -49?
-49
Let f be 25*-1*4/10. Let g be (-2)/11 + 3298/(-374). Is g bigger than f?
True
Let r(c) = c - 3*c**2 + 0*c**2 - 2*c + 12*c**2. Let q be r(2). Which is smaller: q or 35?
q
Let p = 1415/9 + -157. Is p greater than 83?
False
Suppose r + 25 = 6*r. Let b = r + -19/3. Is b < 2/5?
True
Let u(i) be the second derivative of -i**4/6 - 25*i**3/6 + 31*i**2/2 - 81*i. Let o be u(-14). Let r = 0.2 - 0.1. Is o greater than or equal to r?
False
Suppose 3*t = 13 - 46. Suppose -1 = -3*j - 34. Is j < t?
False
Suppose 4*v - 214 + 1962 = -5*p, 2*p - 3*v = -690. Is p <= -349?
False
Let f = 189 - 95. Suppose 2*w = -g + 83, 4*g + 14 - f = -2*w. Let d be ((-240)/w)/(4/(-14)). Is d > 20?
False
Suppose 0 = 9*u - 4*u + 640. Let m = -60 - u. Is m <= 69?
True
Suppose -2*f - 32 = -3*v - 30, 2*v = 2*f + 2. Let n = -943/5 - -188. Which is smaller: v or n?
n
Suppose -5*l + 2*f = -1 - 14, -3*l + 2*f = -5. Suppose y + 0 - 2 = 0, -5*q - l*y - 55 = 0. Is -2 equal to q?
False
Suppose 5*x = -5*d - 26 + 96, 5*d + 15 = 0. Is x greater than or equal to 180/11?
True
Let i = 5 - -17. Let z be (-84)/(-9)*72/28. Is i at most as big as z?
True
Let d = -2.2 - 2.8. Let c = 4.9 + d. Is c not equal to 7?
True
Let m(f) = 108*f**2 - 8*f + 8. Let b be m(1). Is 108 smaller than b?
False
Let p(d) be the first derivative of -d**4/4 - 16*d**3/3 + d**2/2 + 18*d + 10. Let r be p(-16). Let q = -19 + 19. Which is smaller: r or q?
q
Suppose -3*x - 3*i + 31 - 13 = 0, -4*x + 27 = 5*i. Suppose -x*k - b = -24, 2*k - 2*b = -b + 21. Is 6 smaller than k?
True
Suppose 4*j + 693 = -2963. Is j at least as big as -915?
True
Let u = 1384 + -2767/2. Let k = -38.34 + 38. Let l = k - -0.04. Which is smaller: u or l?
l
Let u = 14509 + -100263/7. Suppose -4*l - 481 = 263. Let c = l + u. Does 5 = c?
False
Suppose -d - 43 = -12. Suppose 5*h - w + 163 = 0, -4*h + 4*w + w = 143. Is d at least as big as h?
True
Let w = 407 + -415. Which is smaller: w or -62/9?
w
Suppose -7*w - 81 = -256. Suppose -3*x + w = 19. Which is smaller: 11/12 or x?
11/12
Let q = -9802/11 - -891. Is q <= -1?
False
Let p(t) = -t**3 + 4*t**2 + t - 12. Let k be p(6). Is 0.1 less than or equal to k?
False
Let h(b) = -19*b - b**3 - 81*b**2 + 42 + 17*b**2 + 42*b**2. Let r be h(-21). Which is smaller: r or 2/69?
r
Let g(y) = -y**3 + 20*y**2 + 46*y - 44. Let x be g(22). Let i = -3 - -1. Let p = x + i. Which is greater: -7/6 or p?
-7/6
Let u(g) be the third derivative of g**4/12 - 3*g**3 + g**2. Let z be u(10). Let f be (-5)/((-10)/(-8)) - z. Which is greater: f or -5?
-5
Let y(w) = 4*w**2 - 2*w + 1. Let p be y(1). Suppose 0 = -4*f, 0*t = -5*t - p*f - 125. Let j = 22 + t. Are j and -14/5 unequal?
True
Let h = 5 - 5. Suppose h + 27 = -3*d. Let l be (-27)/(-46) - d/(-18). Do l and -1 have the same value?
False
Let y be (-4)/(-6)*78/22. Let b(q) = -q**3 - q + 1. Let w be b(0). Which is bigger: y or w?
y
Suppose -2*u + z + 1 = -2*z, -3 = -u - z. Let y(x) be the third derivative of x**5/60 - x**4/6 + 2*x**3/3 - 4*x**2. Let n be y(u). Is -6/25 != n?
True
Let z = -14 - -17. Suppose b + b = -4, i - z = b. Are i and -3/31 nonequal?
True
Let f = 634.7 + -635. Which is bigger: f or 88?
88
Suppose 3*o = 9, -32*y - 2700 = -37*y - 5*o. Is y greater than or equal to 537?
True
Let f be (-14)/(-112) + (-1)/136. Is -60 at most as big as f?
True
Let t = 121 - 118. Suppose v + 11 - t = -2*g, g + 4 = -v. Let k = 3 - 7/2. Which is bigger: v or k?
v
Suppose 0 = g + 7 - 2. Let l be g + 4 - 10/(-2). Let b be l + 1*(3 - 6). Which is smaller: 1/14 or b?
1/14
Suppose 3*m = -m. Suppose -4*c - 1373 = -4*i + i, -2*c - i = 699. Let q = -4513/13 - c. Is m at most q?
False
Let v(g) = 4*g**2 - 10*g - 1 - g**2 - 4*g**2. Let f be v(-6). Let k = -22 + f. Which is smaller: k or 2?
k
Suppose -11*i = 6 - 50. Suppose -i*r = -0*r + 84. Suppose -27 = 2*u + 15. Is r >= u?
True
Let z be (-1628)/12*6*(-3)/30. Which is bigger: z or 80?
z
Let d(b) = 2*b**2 - 6*b + 1. Let j be d(3). Let o be (4/(-1) + 5)*j. Which is smaller: o or -22?
-22
Suppose 2*n = 2*g - 0*n + 42, n = 0. Let h be 1216/(-57) + 6/(-9). Is h >= g?
False
Suppose -2*l - 4*l + 12 = 0. Suppose -n = -b + 12 + l, 2*n = -3*b - 3. Is n > -9?
False
Let a be 18*(-1 - 0)*54/12. Which is bigger: -79 or a?
-79
Let y(m) = 19*m - 233. Let p be y(13). Which is bigger: 44 or p?
44
Suppose -3*n + 8 + 13 = 0. Let x = 3 + 0. Suppose 5*i = 2*u + 2 + n, -x*i = -2*u - 7. Which is bigger: i or 1/12?
i
Let j = 0.52 + -0.52. Which is smaller: -12 or j?
-12
Let h = 350 + -351. Which is bigger: -1/409 or h?
-1/409
Let n = -34 + 62. Suppose -7*w + 7 - n = 0. Is w greater than or equal to -5?
True
Let g be -1 + (7 - 2) - 5/(-5). Suppose 0 = -5*c - 3*n + 96, n - 39 = -4*c + 2*c. Let l = -15 + c. Which is greater: g or l?
l
Let m be (-1)/2*(-8)/2. Let p = 10 - m. Suppose 4*h + p - 68 = 0. Which is smaller: 16 or h?
h
Let q = 49 - -21. Are q and 70 nonequal?
False
Suppose 3*w = 6*x - 2*x + 15, 0 = -2*x - 3*w + 15. Is -6/319 < x?
True
Suppose 0 = 16*o + 10*o + 832. Which is greater: o or -33?
o
Let m = 12/17 + -41/34. Is 12 bigger than m?
True
Let t = 24.9343 + 0.0657. Do 0.12 and t have different values?
True
Let b(r) = 47*r - 129. Let c be b(5). Is c greater than or equal to 106?
True
Let x be 17/4 + (-24)/(-32). Suppose -x*j + 4 - 9 = 0. Which is smaller: j or 1/21?
j
Let g = -60.2 + 69.2. Which is greater: 6 or g?
g
Let l = 0.2 - -0.6. Let k(r) = -3*r - 11. Let a be k(-5). Suppose 5*z = -a*f - 18, z - 4*z = -2*f + 2. Which is greater: z or l?
l
Let j = -48 - -27. Let z = -498.1 + 519. Let u = j + z. Which is smaller: -6 or u?
-6
Let x = 155 - 752. Which is greater: -2/3 or x?
-2/3
Suppose 0 = -2*n + n + 30. Suppose s + n = -3*l + 