44. Let s be v(15). Does s = u?
True
Let x = -4 - -4. Let z(n) = x - 4 - n**2 - 3*n + 6. Let y be z(-3). Which is bigger: y or 3?
3
Let j(g) = -3*g - 113. Let h be j(-39). Let a be 12/(-4) + h - 10. Let f(r) = r**2 + r - 8. Let z be f(0). Which is smaller: a or z?
a
Let d = -78.7 + 80.7. Let u be 16/12*18/76. Which is smaller: d or u?
u
Suppose -11 = 5*c - 5*j + 4, c + 2*j = -6. Let r(k) = -k**2 - 17*k - 43. Let o be r(-11). Suppose 2*x - 14 = 4*z - 0*x, 5*z + 3*x = -o. Is z less than c?
False
Let g = 193 + -128. Is 331/5 equal to g?
False
Let j be ((-30)/8)/(1/4). Let w(b) = b**2. Let x(s) = -6*s**2 + 7*s + 7. Let r(h) = -5*w(h) - x(h). Let c be r(6). Are j and c equal?
False
Let x be (-3 - -5)*(0 + (-3)/(-6)). Which is bigger: x or -16?
x
Let n = 1212.2 + -1212. Are n and 944 unequal?
True
Let n = 343 - 281. Is -2 >= n?
False
Let j(o) = 0*o**2 - 5*o - o**2 + 4*o - o + 24. Let l be j(-6). Which is bigger: 1/7 or l?
1/7
Let a be ((-1908)/(-462) - 4)*-7. Is -12 != a?
True
Let b = -445 - -443. Is b >= -1/31?
False
Let z be 685*(-16 - 2/(-2)). Let i be 1 - z/(-55) - 4. Let s = 190 + i. Which is bigger: 0.3 or s?
0.3
Let i be -741 + ((-13)/(-5) + -2)*-5. Let a be -1 + ((-2)/3)/(208/i). Are a and -1 equal?
False
Suppose -34*q = 5*q - 4212. Is 547/5 less than q?
False
Suppose 5*u = 4*o - 202, u + 32 = -0*u + 5*o. Which is smaller: u or 9?
u
Let l = 50 - 143. Is l at most -5/3?
True
Let z(t) = -t**3 - 2 - 1 - 5*t + 2*t**3 - 2 + 3*t**2. Let y be (-2 - 0) + -2*1. Let q be z(y). Which is smaller: 1/18 or q?
q
Suppose 0 = -0*z + 4*z + b - 57, 0 = 2*z + 5*b - 15. Let r = 17 - z. Suppose 0 = -0*t + 2*t + n - 2, -4*n - 12 = -r*t. Which is greater: 0 or t?
t
Let y be -2*((-8)/52 - (-33099)/(-78)). Is y greater than -2/3?
True
Let u(a) = -a**2 - 23*a + 5. Let p be u(-23). Let k be ((8/p)/4)/((-5)/(-575)). Is 46 less than k?
False
Suppose -5*b + 3*b - 3*i = -13, 3*i - 17 = 2*b. Let x = -1493/429 - -38/11. Which is smaller: x or b?
b
Suppose 3*l + 8 = 5*u, -6 = 3*u + 5*l - 4. Let c = 41 - 40. Let r be (c + 0)*20/15. Does r = u?
False
Suppose -5*h = 26*h - 31. Is -2/499 smaller than h?
True
Suppose 0 = -13*p + 14 - 1. Let u be 1/(7/18) - 2. Is p at least as big as u?
True
Let a = -480 + 479.8. Let r be 0 - (28/(-16) + 1). Which is smaller: r or a?
a
Let i = 19 + -10. Let m = i + -5. Let d = 8501/5 + -1695. Is d equal to m?
False
Let x be 12/66 - 3*(-2)/(-33). Suppose -10*d - d = x. Which is bigger: 5/13 or d?
5/13
Let s = 17.79 + -18. Let f = 0.41 + s. Does 0 = f?
False
Let l = 23 - 22.62. Let m = -2.62 - l. Is 1 <= m?
False
Let h be 176/396*(-6)/(-212). Is 0.5 at most h?
False
Suppose -48 = -4*b - 4. Let h = -26 - -15. Let i = b + h. Which is smaller: 1/2 or i?
i
Let s = -38 + 26. Which is greater: -0.11 or s?
-0.11
Suppose 23 = -2*s - 5. Suppose 0*l + i = -2*l - 24, 0 = 2*i. Is s at least as big as l?
False
Let s(n) = -n**2 + 8*n + 24. Let y be s(10). Suppose 0*t + y = 2*t. Which is smaller: t or 0?
0
Let d be -3 + (2 - 0) + 1. Let v be (14/4 + -4)*d. Is v greater than 1/12?
False
Let v(s) = -6*s**2 - 4*s. Let i be v(-7). Let j be (-18)/27 - i/(-6). Let k be j/(-18) - (-1 + 4). Which is smaller: 0 or k?
k
Suppose -3*z - 13 = -4*z. Let c be 246/78 - 2/z. Suppose -5*u + 3*j = 63, 0 = -c*u - 3*j - 39 - 18. Is u < -14?
True
Let j be (-834)/(-30) + (-2)/(-10). Let t(i) = 5 - 21*i + j*i + 4*i**2 - 3*i**2 + 0*i**2. Let w be t(-6). Is w less than -11/5?
False
Let o = 389 - 384. Is -9 < o?
True
Let z(y) = -4 + 6*y**2 - 6*y**2 + y**3. Let d be z(0). Let c be 1 + 0 + d - -2. Is -1 < c?
False
Let p(x) = 3*x**2 - 4*x + 3. Let j = -1 - -3. Let s be p(j). Let b = -98 - -104. Which is greater: s or b?
s
Let n = -0.13 - -0.33. Let p = -173.09 - -173. Is n bigger than p?
True
Suppose 0 = -3*z + 5*x + 13, 2*z = -4*x + 25 - 9. Suppose 4*l = -z*d + 2*d + 12, -4*l + 10 = 3*d. Are l and 0.12 equal?
False
Let q = 431 - 863/2. Let k(j) = -j - 2. Let o be k(-6). Suppose 5 - 1 = -o*p. Which is smaller: q or p?
p
Let f(a) = -a**2 - 7*a + 5. Let w be f(-8). Let p(z) = z + 3. Let i be p(-4). Let o = i - w. Which is bigger: o or 1/2?
o
Let b be (-48)/(-64)*104/6. Is 195/14 < b?
False
Let j = -53/13 + 545/156. Let w = j + 1/4. Let y = -196 + 195. Is w < y?
False
Suppose -5*t + 0*a = -5*a + 145, 0 = -5*t - a - 181. Let p(l) = -9*l + 2. Suppose -15 = -4*s - r, 11 = s - 5*r + 2. Let k be p(s). Are t and k equal?
False
Let n(f) = -f**2 - 7*f - 8. Let w be n(-6). Suppose -3*d - 3 = -12. Let g be (d/10)/(54/(-24)). Which is smaller: w or g?
w
Suppose 7*y - 2*y = s + 54, -2*s = y - 13. Suppose -y = -4*g + 1. Is g <= 4?
True
Let b(n) = n**3 + 8*n**2 + 7*n - 1. Let m(y) = y**2 - 11*y - 2. Let d be m(13). Let j = d + -31. Let l be b(j). Is l smaller than 1/17?
True
Let a be 22/(-99) + (-96)/(-189). Is a less than or equal to 0?
False
Let t(u) = 14*u + 15*u - 28*u - 6. Let y be t(3). Is 1 at most y?
False
Let y = 2/18981 - 297415/436563. Let k be ((-2)/4)/(138/(-4)). Let o = y + k. Is 13 smaller than o?
False
Suppose 0 = -5*z + 3*z - 6, 12 = 3*h + z. Let n be (-1 - h)*4/(-6). Is 4 less than n?
False
Let x be 72/(-198) - (-65)/(-11). Is -5 <= x?
False
Let r(k) = -k + 5. Let c be r(0). Let f = -426 - -673. Let p = f + -730/3. Is p at most c?
True
Let x be ((-4)/(-938))/(14 + (-202)/14). Which is greater: x or -1/3?
x
Let f = -80.5 + 15.5. Let j = f - -65. Which is greater: j or 0.04?
0.04
Let p = -5.8 - -6.2. Let z = p - 1. Is 5 less than or equal to z?
False
Let b(f) = -6*f - 27. Let j be b(-5). Suppose 3*i + 12 = j*s, -3*i = s - 1 - 3. Which is bigger: -1/24 or i?
i
Let a(s) = 2*s - 18. Let l be a(8). Let n be (205/(-10))/(l/(-4)). Is n bigger than -41?
False
Suppose 8*v - 5*v - 4 = 5*h, 5*h = 5. Let a(b) = -b**3 + 4*b**2 + 2*b - 4. Let p be a(4). Which is smaller: p or v?
v
Let k be 16/176 + (-270)/66. Let m be (-36)/10*10/11. Is k at most m?
True
Suppose -3*h + 4 = s - 3, -3*h + 17 = -4*s. Suppose -o - h = -7. Let g be o/(-3)*45/(-50). Is 1 less than g?
True
Let i be 8*1/(-130)*10/1. Which is smaller: 13 or i?
i
Let b be (-112)/196 + 201/609. Which is smaller: 0.05 or b?
b
Let p = 0.1804 - 0.2774. Which is smaller: 4/3 or p?
p
Let v = 89/18 + -40/9. Let h = 188 + -195.83. Let i = h - 0.17. Which is bigger: v or i?
v
Let o(l) be the second derivative of -l**5/20 - 5*l**4/4 - l**3/6 + 11*l**2/2 - 14*l. Let s be o(-15). Is 24 != s?
True
Let m be ((-285)/(-9))/(50/30 - 2). Which is smaller: -86 or m?
m
Let d be 7/42 - (-173)/6. Let u = -24 + d. Let h be (2/(-4))/(u - 4). Is 0.2 bigger than h?
True
Let f(v) be the second derivative of v**4/12 - v**3/2 + v**2 - 3*v. Let m be f(2). Let s be 11/(-30) - 1*(-2)/4. Which is bigger: s or m?
s
Let u = 226 - 237. Is u at least as big as -23?
True
Suppose 0 = -k + 4*y - 3, -2*k - 19 - 11 = 4*y. Let r be ((-5236)/(-160))/k + 3*1. Is -1 smaller than r?
True
Let s be -3*(-2)/3 - -2. Let g = -5 + 5. Suppose -2*d - 3*u + 6 - 1 = g, -3*d + 17 = -5*u. Is d > s?
False
Suppose 5*l + 20 = -30. Let i be 6/l - 49/35. Let z(v) = v**2 + 4*v + 3. Let r be z(i). Is r greater than -1?
False
Let u be (-2)/1 + -1 - -5. Suppose 21 = u*p + 2*j + j, 4*j = 3*p - 6. Do 2/3 and p have the same value?
False
Let q = -25.4 - 2.6. Let l = -29 - q. Let p = -1 - l. Which is smaller: p or 0.04?
p
Let q be (318/18)/(2/(-6)). Let o = 74 + q. Is o equal to 21?
True
Let x = -2029/4380 + -1/292. Let a = x + -1/30. Let b = 0 - a. Do b and 0.9 have the same value?
False
Let b = -3.91 + 4.31. Which is greater: 18 or b?
18
Let n(y) = y**3 + 34*y**2 + 38*y + 165. Let j be n(-33). Is j > -2/2565?
True
Let b(m) = 2*m**3 - 43*m**2 + 59*m - 4. Let q be b(20). Which is smaller: -2 or q?
q
Let z = -10935/17 + 643. Is z less than or equal to 0.3?
True
Let y(t) = 3*t**2 + 38*t - 35*t - 5 - t**2 + t**3 - 4*t**2. Let c be y(2). Which is greater: c or 3/7?
c
Suppose 0 + 4 = -2*k. Let c = -11 - -7. Do k and c have different values?
True
Let u = -1 + 12. Suppose -7*r - 56 = -u*r. Suppose 4*j - j - w - r = 0, -5*j = -w - 26. Which is smaller: j or 7?
j
Let m = 705 + -592. Is 4 <= m?
True
Let k be (3/126*-4054)/9503. Let h = k - -1/903. Let n = h - 420/2431. Which is smaller: n or 0.1?
n
Let h(w) = -w - 7. Let m be h(-7). Let f(p) = -2*p + 1. Let i be f(-1). Suppose -q - q + 8 = -2*j, -i*j + 8 = q. Which is bigger: 