- 0 - 180/(-27). Is 31/5 less than w?
False
Let q = -8.7 + 9.7. Let v = 1.5 + 2.3. Let d = 3 - v. Is d equal to q?
False
Let l(g) be the first derivative of 4 - 4*g + 2/3*g**3 - 5/2*g**2. Let j be l(4). Which is smaller: 9 or j?
j
Let m be 18/(126/(-35)) + 2/(-1). Let a(z) = -z**3 + 3*z**2 - 1. Let n be a(3). Is n greater than or equal to m?
True
Let k(i) be the first derivative of i**4/4 - 4*i**3/3 - i**2/2 + 7*i - 16. Let t be k(5). Are t and 28 nonequal?
True
Let p = 34 + -32. Suppose -p*j = -2 + 12. Which is smaller: j or -6?
-6
Let f be 16216/(-18) + (-5)/45. Is -901 bigger than f?
False
Let y = -31 + 39. Suppose 21 = -6*h + h + 4*x, 0 = 4*h - x + y. Is -2 > h?
False
Let v = -34 + 27. Let u(i) = -i. Let n be u(v). Is n greater than 7?
False
Let v = 684/7 + -98. Let y = -3 - -1. Let j = 1.97 + y. Are v and j unequal?
True
Let w be -3 + 0/(-1) - -142. Suppose -5*l + w - 19 = 0. Let p be ((-2)/50)/(l/180). Are 0 and p non-equal?
True
Suppose -3*h - 2 = -4*h. Suppose h*d = -d + 12. Let w be (8/6)/(d/24). Which is greater: 7 or w?
w
Let q = -0.55 + 0.21. Let s = q + 19.34. Let r = 8 - s. Which is bigger: r or 0.1?
0.1
Suppose -17 = -2*u - 15. Let g be u/3 + (-10)/45. Is g > 0?
True
Let y be 7/(-2086)*-2*-1. Is y smaller than -1?
False
Let y be (18/6 - 2588/372) + 4. Which is smaller: y or -1?
-1
Let r(n) = n**2 - 15*n - 16. Let u = -121 - -137. Let h be r(u). Suppose 2*c - 3*w + 3 = -2, -3*w = -5*c - 8. Which is bigger: h or c?
h
Suppose -2*g - 4*z = 43 + 3, -3*z = 0. Let c = g + 28. Is 0 equal to c?
False
Let m = -960 + 820. Do m and -139 have the same value?
False
Let d(r) = r**3 - 12*r**2 + 10*r + 10. Let m be d(11). Let p(i) = 20*i - 4. Let q be p(3). Let l = q - 951/17. Which is greater: m or l?
l
Let d(s) = s**2 - 7*s + 3. Let n be d(7). Let x = 0 - n. Is x greater than -4?
True
Suppose -17 - 9 = -b + 3*o, 2*b + 3*o - 34 = 0. Is b at most 18?
False
Let x = 2/4959 - 59530/54549. Which is greater: x or -1/5?
-1/5
Let q = -391 - -391. Which is bigger: q or -329?
q
Let o = -0.505 - -1.505. Is -26 greater than o?
False
Let x be 5/6 - 1/(-6). Suppose b + 4*l = 3, 2*l + l = -3*b + 9. Suppose 5*k = 2 + b. Is x at least k?
True
Let t be (-18)/(-24)*2*2. Let a = -495 - -501. Which is smaller: t or a?
t
Let q(b) = -b**3 + 8*b**2 - 20*b + 15. Let g be q(3). Which is smaller: -2/2677 or g?
-2/2677
Let o be (5 - (5 + 2)) + 72. Let q = o - 91. Which is smaller: q or -19?
q
Let g be ((-48)/(-40))/((-6)/(-220) + 0). Let c = 90 - g. Is 0 at most as big as c?
True
Let j = -1.42 - -0.32. Let c = -2 + 2.1. Let n = j + c. Is -0.01 > n?
True
Let c(k) = k + 10. Let u be c(-24). Is u less than or equal to 7?
True
Suppose 24 + 108 = 6*a. Suppose -15 = -5*b, -5*b + 0*b = -f - a. Is f less than -9?
False
Let c(h) = -2*h + 6*h - 1 + 0*h - 3*h. Let m be c(-1). Let x(j) = j**2 + 12*j + 10. Let s be x(-11). Is m bigger than s?
False
Suppose -27*t + 477 = -26*t. Let j = 16694/35 - t. Do 1 and j have the same value?
False
Let l be (-12)/54*6/(-4). Let s = 1.9 + -1.69. Let c = -0.11 + s. Is c less than or equal to l?
True
Let r(c) = -c**3 + 5*c**2 - 5*c. Let o be r(4). Is -5 > o?
False
Let s = 0.43 + -0.4. Let k = s + 1.97. Let l = 93 - 92. Which is bigger: k or l?
k
Let i = 1670 + -1759. Is -90 less than i?
True
Let d be 1080/(-408) + 2*2. Is 0 at most as big as d?
True
Let q = 8 - 6. Let z = 1 + q. Suppose -9 = z*g, -5*t = -4*g - 19 + 2. Which is greater: -3/8 or t?
t
Let x = -46973119/31 + 1515402. Let l = x - 140. Are 1 and l non-equal?
True
Let q = 0.1 - -0.1. Let a = -270 + 281. Is a less than q?
False
Let u = 33087/5 + -6640. Suppose 207 = 4*a - 13*a. Let p = a - u. Is -16 smaller than p?
True
Suppose -15 = -6*a + 9. Suppose 0 = r + a*n + 8, -3*n - 82 = 5*r - 4*n. Which is bigger: 0 or r?
0
Let c be ((-6)/(-3) - 36) + -3. Is -34 at least c?
True
Suppose -3*l = -x - 11, 3*l = -2*x + x + 1. Let g be (l - 0)/((-32)/6). Which is smaller: 1 or g?
g
Let k = 5132 - 5130. Let a be (-1)/(2/32 - 0). Let m be 12*(-1 + a/(-14)). Which is greater: k or m?
k
Let o = 53 - 29. Let q = -27 + o. Which is greater: 1 or q?
1
Let r = -421 - -420.73. Let w = 4.3 - 4. Is w smaller than r?
False
Let i = -10.674 + 5.52. Let h = -0.204 - i. Let v = h - 5. Is v less than or equal to 1?
True
Let i be 14 + -10 - 3972/994. Is -1 at least as big as i?
False
Suppose -5*j + 7 - 12 = 0. Let z be (-3)/4 - 87/(-132). Is z greater than or equal to j?
True
Let b(v) = -v**2 - 1. Let z be b(0). Let l be 4*1/(22*z). Let i be 0/(-2)*(-15)/30. Is l greater than i?
False
Let z(c) = -21*c + 82. Let x be z(-27). Which is bigger: x or -1?
x
Let m = -178346/75 + 2378. Which is greater: m or 0?
m
Let l(y) = -y**2 + 7*y - 2. Let w be l(4). Let k = 11 + w. Is k < 21?
False
Suppose -9*c = -7*c. Let d = -10 - -7. Let m = 1 + d. Which is bigger: c or m?
c
Let h = -52.8 - -52.416. Which is smaller: 1 or h?
h
Let z = 231 + 879. Is z less than or equal to 1109?
False
Let b be (-1 + 94/70)/(1449/(-1380)). Is b greater than 1?
False
Let o be 117/(-52) + 11 + 2/(-8). Which is smaller: o or 10?
o
Suppose -u = -2*w + 9 - 8, -5*w = 3*u - 19. Which is greater: 41/26 or u?
u
Let g be (728/(-308))/(2/3). Which is greater: g or -3?
-3
Let t = 1473 + -1351. Is t > 125?
False
Let u(h) = -8*h**2 - 5*h - 2. Let l be u(-1). Is l not equal to -70/13?
True
Let t = 5 + -12. Let g = 9 + -4. Let a be (-3)/(-5)*g - 9/1. Which is smaller: a or t?
t
Let h be 0 - 6*(2 + 1). Let m be (-8)/2 + -5*(-126)/(-45). Are h and m unequal?
False
Let j = 55.98 + 0.02. Let i = j - 68. Do i and -0.3 have different values?
True
Let w = -459 + 482.2. Which is greater: w or 2?
w
Let c = -22528/15 + 263239/195. Let g = 152 + c. Which is smaller: g or -1/5?
-1/5
Suppose -13 + 3 = 5*h. Let v be ((-1)/(-3)*0)/(-1 - -4). Which is smaller: v or h?
h
Let t be (124/(-1953))/((-4)/18). Is t < -80?
False
Let v = 53 - 12. Let h = v - 163/4. Let k = -44.14 - -43.14. Which is bigger: k or h?
h
Suppose -5*a = -64 - 21. Let i(w) = 5*w + 3. Let f be i(11). Suppose 3*p - g = f, -5 - 11 = 4*g. Which is bigger: a or p?
p
Let x(p) = p - 2. Let b be x(4). Suppose 16 = -5*t + b*h, -2*t - 2*h - 4 = 3*t. Let n be 0/(t - -6) + 4. Which is smaller: n or 6?
n
Let h = 13.8 - 14. Let z = 8 - 5. Suppose 0 = -2*a - 1 - z. Which is smaller: h or a?
a
Let p = -6087/7 + 868. Which is smaller: p or -3?
-3
Let w(a) = -a**3 + 8*a**2 + 11*a. Let z be w(9). Suppose -z*m = -15*m. Which is greater: m or 2/123?
2/123
Suppose y + 4*j = -493, -3*y + j = 5*j + 1463. Let b be (50/(-26) - -2)*6299. Let h = y + b. Is h <= -1?
False
Let b be (-36)/(-24)*4/(-6). Which is smaller: b or 21/187?
b
Suppose 2204 = 74*r + 73688. Is -966 equal to r?
True
Let r(l) = -126*l + 22. Let u be r(-1). Which is greater: u or 147?
u
Let q = 12/7 + -193/133. Let i be (-3)/(-2)*(-6)/(-9). Which is greater: i or q?
i
Suppose -5*z - 17 + 2 = u, -2*z = 4*u + 6. Let r = -114/5 + 3118/135. Which is smaller: u or r?
u
Let w be 4/(-6) + (-12)/9*-2. Suppose 5*k = w*x + 6 - 1, -7 = -3*k + 2*x. Which is smaller: 0.32 or k?
k
Let k(m) be the third derivative of m**4/4 + 13*m**3/6 + 26*m**2. Let d be k(-6). Is -22 != d?
True
Suppose 6*m - 15 = m. Let r be m/10*(-26)/13. Which is greater: r or 0?
0
Let a = 2/13745 - 662511/13745. Are a and -47 nonequal?
True
Let z = 137 - 138. Is 577 at least z?
True
Let m = -8 - -11. Suppose 0*p = -11*p + 11. Let r = p - m. Which is smaller: r or -6/7?
r
Let t be ((-1503)/(-18))/(14/(-44)). Let o(x) = -6*x**2 - 7*x - 5. Let k be o(6). Let q = k - t. Which is smaller: q or -1?
-1
Let n be (534/(4 + -6))/(9/6). Let y be 12/(-42) + 1*n/(-672). Which is greater: -1 or y?
y
Let r(z) = -2*z - 12. Let g be r(-6). Let k be (1482/513)/(4/(-15)). Is g bigger than k?
True
Let b(n) = -2*n + 29. Let l be b(-4). Is l less than 35?
False
Let y be (-3*(-5)/(-45))/((-2)/(-6)). Let v = -397/780 - -14/39. Is v at most y?
False
Let v = -117 + 139. Let o = 12 + 12. Is v less than or equal to o?
True
Suppose -9 - 7 = -4*p. Let v(j) be the second derivative of j**3/3 - 5*j**2 - 2*j. Let y be v(7). Are y and p non-equal?
False
Let g = -35.48 - 0.52. Let t = 36 + g. Is t > 4?
False
Let o(x) = 14*x - 1. Let z be o(-1). Let j be (-6)/10 - ((-54)/15)/1. Suppose -38 - 3 = 2*w + j*g, -5*w = g + 83. Which is greater: z or w?
z
Let i