 0.023 - -15.977. Let h = b + -15.8. Let m = 7/68 - 6/17. Which is smaller: m or h?
m
Let j be 14/(-8)*(-6)/(-19). Are j and -1 unequal?
True
Suppose -4*s + 6*s = -8. Let h(u) = 3*u**2 - 3*u**2 - u - u**3 - 4 - 3*u**2. Let z be h(-3). Do s and z have the same value?
False
Let a be ((-1)/(-2))/((-3)/(-6)). Let p be (-332)/(-20) + a/((-20)/(-8)). Let w be (-2 - 0)*(-34)/4. Is w greater than p?
False
Suppose 0 = 2*g + 4*t + 98 - 36, -3*t = 2*g + 60. Let d be (-40 - (13 - 27))/((-2)/(-2)). Which is smaller: d or g?
g
Let k be -1 + -2 - (-4 - 0 - -1). Suppose 6*a = -k*a - 6. Which is bigger: -10/21 or a?
-10/21
Let d = 606 - 1828/3. Let n(o) = -o**3 + 6*o**2 - 5*o - 2. Let j be n(5). Which is bigger: d or j?
j
Let k = -2.2 + 14.2. Let f = k - 2. Let b = f - 19. Does -2/7 = b?
False
Let r(d) = d**2 + 2*d - 4. Let g be r(-3). Let h = 79.91 - 79.78. Are h and g nonequal?
True
Let a(u) = -u**3 + 8*u**2 - u + 7. Let q be a(8). Let k be (q/(-1))/((-7)/(-28)). Let w be 1/k + 2/(-8). Which is bigger: 1 or w?
1
Let i = -16.8 - -13.8. Is i < -0.27?
True
Let g be 8/70 - (-4)/14. Let m = 56 + -278/5. Let j = m - 31/65. Is j smaller than g?
True
Let t = 1.7 + -2.1. Let w = t + -1.6. Is 2/19 at least w?
True
Let p = 0.95 - -0.05. Let u = 50.9 + -51. Is u at least p?
False
Let i(n) = n**2 - n - 1. Let u be i(1). Let p be (-12)/u*(-4)/(-8). Is 4 greater than p?
False
Let g(z) = z**2 + 10*z. Let n be g(-10). Suppose 6*k - 3*k - 12 = n, -5*k - 28 = 4*r. Let y be (-1)/3 + r/(-9). Is 1/17 at least as big as y?
False
Let z(x) = -3*x - 65. Let d be z(-22). Which is smaller: d or 2/235?
2/235
Let i = -0.133 - -0.603. Is i <= 1/5?
False
Let k(f) = 2*f + 27. Let n be k(-11). Let g = 2 + 1. Suppose n*z + d = -0*z - 26, -g*d = -3*z - 12. Is z greater than or equal to -3?
False
Let i be 1768/(-119) + 2/(-14). Is i greater than -15?
False
Suppose 0*v - 3*d - 9 = -2*v, 28 = 4*v + 4*d. Let i(x) = 166*x + 13 - 167*x + 12. Let w be i(19). Is v bigger than w?
False
Let x be (-4)/(-3) + 1/3. Suppose 8*s - 24 = -0*s. Suppose 5*l - s*h - 20 = -h, 4*l + 4*h = -12. Which is greater: x or l?
l
Suppose 0 = r + 1, 5*r - 59 = -3*n - 22. Suppose -4*j - 3*k + 43 = -2*j, -4*j = 3*k - 71. Is n not equal to j?
False
Let x = 361 - 82. Let h = x + -1956/7. Which is bigger: -0.2 or h?
-0.2
Let i = -1127.9431 - 0.0569. Is 1 at most as big as i?
False
Suppose 94 = -5*a - z, a = -2*z - 2*z - 34. Let q = a - -30. Let c be 3/q*2*-2. Which is smaller: -2 or c?
-2
Suppose 0 = 2*v + 5*k + 63, 149 = -5*v + 20*k - 24*k. Do v and -20 have the same value?
False
Suppose -5*w - j + 6 = 0, 4*j - 6 = -w - w. Let l = -996 + 996. Is l > w?
False
Let y(x) = -58*x + 112. Let n be y(2). Are n and -4 equal?
True
Let c(m) = 2*m**2 + m - 4. Let z be c(-2). Let p(g) be the third derivative of -g**6/60 + g**3/6 - g**2. Let t be p(z). Is t greater than -16?
True
Let z = -7 - -10. Suppose -3*v - 3*q = 12, -z*q = -2*v - 4*q - 4. Suppose v = n + 2. Is 2 less than or equal to n?
False
Suppose -5*j + 20 = -j. Suppose -5*u - 3*n - 13 = 0, 2*u - 3*n + 8 = -14. Let b be 9 - (5 - (-10)/u). Is j < b?
True
Let v = 66 + -94. Let z = 23 + v. Which is smaller: z or -1/3?
z
Let p = -0.16 - -0.09. Let r = -1.47 + 1.87. Is r greater than p?
True
Let w be (396 + 5)*-1 - -5. Let t be 1/3*w/55. Which is bigger: t or -1?
-1
Suppose -3*k - 28 = k. Let j(a) be the third derivative of a**5/60 + 7*a**4/24 + 2*a**3/3 - 9*a**2. Let p be j(-3). Do p and k have the same value?
False
Let h = -50 - -47. Let n be 5/(-15) + (-22)/h. Which is bigger: n or 6?
n
Suppose 3*n = 4*n + 10. Let c = n - -10. Is -3/47 not equal to c?
True
Suppose 0 = -9*h + 4*h + 10. Let v = -1.612 - -3.412. Are v and h unequal?
True
Suppose -4*a = -6*a. Suppose -5*c + c + 3*s = -31, a = c + 3*s - 4. Let z be 24/56 + 4/c. Is 3 >= z?
True
Let l(d) = d**3 + 6*d**2 + 31*d + 131. Let k be l(-5). Let j = -2999 + 680775/227. Which is smaller: j or k?
j
Let t = -1.05 - -1. Let r = 443 - 440. Which is greater: t or r?
r
Let g = 8.64 - 11. Let q = 89.4 + -87. Let x = g + q. Is 0 > x?
False
Let k be 45/(-12) - (-4)/(-8*2). Let c be 1*k + 9 + (-2972)/596. Which is bigger: 0 or c?
c
Let n = 0.037 - 57.037. Let a = -75.9 - -76. Is a smaller than n?
False
Let z be ((-99)/(-42))/((-90)/35). Which is bigger: -2 or z?
z
Let n be 1/(10/(-4)) + (-132)/(-1080). Is 1 > n?
True
Let v = -1 - -1. Let k = 2 - 3.4. Let p = 1.7 + k. Which is smaller: p or v?
v
Let j = 92.1 - 9.3. Let g = j + -83. Is -33 less than g?
True
Let o = -19 + 25. Let t be (-45)/(-25) + o/15. Let d(z) = -3*z - 45. Let f be d(-16). Which is bigger: t or f?
f
Let o = 219 + -234. Which is bigger: -10 or o?
-10
Let i(c) be the first derivative of -c**4/4 - 5*c**3 + 8*c**2 + 2*c - 3. Let n be i(-16). Which is bigger: n or 1?
n
Let m be (0 + 3)/((-9)/(-6)). Let q be (1/m + 0)*-20. Suppose -68*b + 139*b = 77*b. Which is bigger: b or q?
b
Suppose -43 - 5 = -3*h + 3*c, -c + 20 = 2*h. Which is bigger: 23/2 or h?
h
Let a = 15 + -22.5. Let x = a + -0.5. Is 1 at most as big as x?
False
Let h = -85.4 + 78. Let b = h - -7.5. Is 2 greater than b?
True
Let u be ((-2)/((-60)/(-1010)))/(1/3). Is u != -102?
True
Suppose 0 = 5*n - 4*d - 384, -3*n = -5*n + d + 153. Let i be -2 - 140/n*-1. Are i and -1 non-equal?
True
Let z = 630577/92 + -6854. Is z equal to 1?
False
Let t(k) = -2*k - 27. Let h be 10*(-5 + 8/2). Let l be t(h). Is -7 at least as big as l?
True
Let i(b) = -2*b - b**2 - 5*b**3 + b - 1 + 2*b. Let z be i(1). Let n be z/(-44) + 1/(-2). Which is smaller: 0 or n?
n
Let g be -18 - 2 - (-46 + 35). Which is bigger: g or -107/12?
-107/12
Let i = -229 - -229.1. Which is smaller: 131 or i?
i
Let w be (-3 - -1) + (-75)/(-35). Let k = 142 + -80. Let r = -61.7 + k. Which is smaller: w or r?
w
Let l = -8 - 2. Suppose -3*o + 45 = -5*s - 2*o, -5*s - 50 = -2*o. Let q = s - l. Which is greater: q or 5/4?
q
Let v(z) = -5*z - 4. Let w be v(-1). Suppose 3*r - 4 - 14 = 0. Let y be (-3 + r)/(66/4). Do y and w have the same value?
False
Suppose 5*g - 1237 = 4*s, -3*g + 753 = -0*g + 3*s. Let v = -6187 - -19298/3. Let f = v - g. Is f not equal to -2?
True
Let k be 67/(-2) + (-15)/10. Do -35 and k have the same value?
True
Let y be (-2)/5 - 7/(-5). Let i be 4 - (1 - y) - 19. Which is bigger: -17 or i?
i
Let r(z) = 6*z**3 + 5*z**2 - 14*z - 14. Let f be r(4). Is 395 <= f?
False
Let m = 0.3 - 1.3. Let f = 390.98 - 387.78. Is f at least m?
True
Let c be ((-222)/10)/((-2)/10). Is c equal to 112?
False
Suppose 0 = -2*s - 3*z - 16, -5*s = -4*z - 3 - 3. Is -26/17 <= s?
False
Let r = 2 - 1. Let y = 571 - 560. Suppose -r = 3*x + x - j, 4*x + y = 3*j. Is x > -2/29?
True
Let o = -27177/8 - -3397. Let x be (-3)/(-5) - 6/(-15). Which is smaller: x or o?
o
Let z(m) = 2 + 1 - 10*m - 1 + 27*m. Let r be z(3). Suppose q = k - 13, 5*k - 4*k - r = 5*q. Which is smaller: -11 or q?
-11
Suppose -2*c + 35 = -3*k + 176, 4*c - k + 287 = 0. Is c smaller than -78?
False
Let f = 1306 + -1277. Let o = 6 + -5.9. Which is greater: f or o?
f
Let l = 78.41 - 0.41. Let w = l - 77.9. Which is greater: 7/3 or w?
7/3
Let i = 81 - 79. Let w be 7*-7*i*(-5)/(-10). Which is smaller: w or -0.2?
w
Let z = -111 - -108. Let c(y) = -7*y + 12. Let u be c(z). Which is smaller: u or 0.2?
0.2
Suppose 4*c + m + 38 = 2*m, -5*c + 2*m - 46 = 0. Let r be (20/(-60))/(c/12). Which is greater: r or -0.01?
r
Let x be (-2169)/(-45) + -6 + (-6 - -2). Is x greater than 39?
False
Let k = -203.9 + 204. Which is bigger: 0.071 or k?
k
Suppose -23*j + 36*j = 247. Which is smaller: j or 18?
18
Let x(j) = -j**3 + 7*j**2 - 11*j - 7. Let v be x(4). Is v <= 36?
True
Suppose 15*q + 22 - 7 = 0. Is q not equal to 2/251?
True
Suppose 2*l - 2 = n - 1, -5*l + 25 = 2*n. Suppose -p = 5*j - 7 - 0, 2*j + l*p + 5 = 0. Let q(b) = b**2 - 5*b - 7. Let m be q(5). Which is greater: m or j?
j
Let m be (4*18/(-120))/((-2)/(-670)). Do -201 and m have the same value?
True
Let q = 43.1 + -22.1. Is q at least as big as 1/3?
True
Let z = 970 - 99911/103. Does z = -1?
False
Suppose 0 = a - 2*a + 4*s - 159, 0 = -5*a + 4*s - 795. Which is smaller: a or -158?
a
Suppose -2*z - 5*r + 12 = 0, -4*r + 24 = -z + r. Suppose 2*c = -5*k + 31, -28 = -5*c + 2*k + 2*k. Let l be z/(-12)*c/(-20). Which is bigger: l or 1?
1
Let r = -35.063 + 0.063. Let y = r - -34.8. Which is grea