13. Let y be a(-12). Is 1/10 bigger than y?
False
Let v = 1458 - 1440. Let b(j) = 2*j**3 - 7*j**2 + 8*j. Let w(y) = -y**3 + y**2 - y + 1. Let q(g) = b(g) + 4*w(g). Let r be q(-3). Which is bigger: v or r?
r
Let k be (-6)/(-8) + 142/(-8). Let u be (-11)/(33/(-2)) - (-250)/(-15). Is k != u?
True
Let w(c) = 80*c + 83*c - 165*c + 1. Let o be w(1). Which is smaller: 7 or o?
o
Let c = 1408 + -2187. Which is greater: c or -780?
c
Let i = 0 - 1. Let g be ((-2)/1)/(i/6). Suppose -4*d + 1066 = -2*x + 1028, -5*d - 4*x + 80 = 0. Is g bigger than d?
False
Let d = 1159/9 - 42871/333. Do d and 1 have the same value?
False
Let x = -1/1194 - -45379/8358. Is x less than or equal to 6?
True
Let j = 4 + -3. Let h be (-37210)/40 - (-2)/8. Let q be 9/(-15) - 498/h. Is q less than or equal to j?
True
Let h be ((-24)/54 - 0)*(-18)/(-4). Suppose 3*b + 4 = 7*b. Let u be 4/3 - (1 + b). Is u equal to h?
False
Suppose 0 = 8*g - 12*g. Suppose g + 5 = -5*n. Let u = -15 - n. Which is bigger: u or -12?
-12
Suppose -z + 4 = -0*z. Suppose -5*l = -z*l. Suppose 0*h - 5 = -2*h + p, 4*h + 4*p - 28 = l. Is h < -0.1?
False
Let f = 0.055 + -15.055. Let d = 14 + f. Which is bigger: 23 or d?
23
Let y(a) = -2*a - 8. Suppose 3 = -13*k + 12*k. Let o be y(k). Are o and 3 unequal?
True
Let q = -1068 + 1032. Which is smaller: -14 or q?
q
Let l be ((-7 + 5)*1)/(2/1587). Let f = 17491/11 + l. Is 4 greater than f?
True
Suppose -4*t - 2*n + 116 + 160 = 0, -5*t = 3*n - 344. Let b be t/114 + (-4)/6. Do -1 and b have the same value?
False
Suppose -36 = -4*d + 2*d. Is d >= 13?
True
Suppose 41*n + 12 = -32 - 202. Let m = -2 - 4. Is n at most as big as m?
True
Let z(w) = w**3 - 17*w**2 + 13*w - 4. Let j be z(16). Are -53 and j non-equal?
True
Suppose 7*c - 13 = 29. Is c smaller than 0?
False
Let k be 1/((-2)/4) - -8. Let x be 1 - (-20)/(-4) - -3. Let a be (x - 1/4)*-4. Which is smaller: k or a?
a
Let z be (241/75)/((-135)/(-18)). Let p = -2/125 - z. Are p and 0 equal?
False
Let z = 6 - 4. Let u = 31.083 - 0.083. Let o = -29 + u. Is o smaller than z?
False
Let x = 570/1139 + -8/17. Is x less than 1?
True
Let t = 0.8 + 51.2. Which is bigger: -2/7 or t?
t
Let p = 26 + -28. Let o be (-4 - 501/(-99)) + 5/(-15). Which is smaller: p or o?
p
Suppose 0 = u - 3*u - 88. Let k be -5*3*u/3. Let r = k - 431/2. Which is greater: 4 or r?
r
Let v = 42 + 17. Which is smaller: v or 60?
v
Let f = -63 - -64. Let s = 22 - 1. Let i be (3 - s/17) + -2. Which is bigger: i or f?
f
Let k = -62/15 + 2204/555. Let v(r) = 2*r**2 + 17*r + 9. Let p be v(-8). Which is greater: k or p?
p
Let x = -484 - -813. Let j = x + -461. Let p be 9/j - (-3)/12. Do -1/4 and p have different values?
True
Let a = -0.92 + -0.08. Let u = -14 + 14.04. Let v = -9.04 + u. Which is smaller: a or v?
v
Suppose -d + 3*h + 3 = 0, -4*d - 45 = d + 5*h. Let z be 10/8*d*1/(-10). Which is bigger: z or 2?
2
Let g be (15/30)/(2 - 14/(-4)). Which is bigger: 8 or g?
8
Let a(c) = -4*c**2 + 11*c - 11. Let u be a(5). Let x be 6/(-18)*4*(-9)/u. Which is greater: 0 or x?
0
Let l = -3659 + 3654. Let z(k) = k**3 - 5*k**2 - 4*k - 8. Let n be z(6). Suppose -16 = 4*g + n*r, -2*g + g - 5*r = 8. Is l at most as big as g?
True
Let h = -3 - -4. Let j = 44 + -47. Let i be 2 + j/24*1. Is i less than h?
False
Let r = -36637/16133901 + 1/17867. Which is smaller: r or 1?
r
Let o be (-29 - -53)*(-1)/3. Let y be 6/(-36) + 2/4. Which is smaller: o or y?
o
Let x be 1/(-3)*(-1 + -3). Let z = 57.85 + -58. Let j = z - 0.15. Is x greater than j?
True
Let k be (-20 - (2 - 4))/((-3)/(-8)). Let n be (k/18)/2 + 2*1. Which is bigger: n or 0.3?
n
Let t be (-75)/(-45) + -1*366/333. Is 0 at least t?
False
Let d = 64 + -63.69. Let a = d + 0.19. Which is smaller: a or 5?
a
Let v = 8 + -7.99. Let a = -0.19 - v. Which is smaller: -3/5 or a?
-3/5
Let z = -24.3 - -2.3. Let c = 20.9466 + 0.0534. Let n = z + c. Is n greater than -1/6?
False
Let u be (-122)/(-18) + ((-132)/54)/(-11). Suppose 0 = k + 8 - u. Which is smaller: k or 1/18?
k
Let m(k) = -k + 3. Let z be m(10). Let f = -3 - z. Suppose -f*r + 4 = -3*r. Is r greater than 5?
False
Let n be (87/(-116))/(38/8). Let l(d) = -d**3 + 13*d**2 + 14*d + 1. Let b be l(14). Is n >= b?
False
Let h be (-21)/(-27) - 8/(-36) - 3. Let a be h - ((-30)/(-33) + -4). Which is smaller: 0.1 or a?
0.1
Let h(z) = -z - 1. Let d(c) = c**3 + 6*c**2 + 8*c + 3. Let u = -14 - -11. Let o(x) = u*h(x) - d(x). Let g be o(-5). Is g bigger than -2/9?
True
Let x be (165/(-110))/(9/3630). Are -3 and x non-equal?
True
Let o = -3.32 + 1.31. Let z = -0.01 - o. Let k = 813 - 4067/5. Is k greater than z?
False
Let y be (-414)/(-12)*4/6. Suppose 2*r - y = -115. Let b = 505/11 + r. Is 0 at least as big as b?
True
Suppose -58 = 5*g - 28. Let m = g + 18. Is m at most 3?
False
Let h be 1/(-3) - (-35293)/(-87). Do h and -405 have different values?
True
Let u be (-78)/(-189) - (-4)/(-18). Which is bigger: 1 or u?
1
Suppose 0 = -30*v + 26*v. Which is greater: -13 or v?
v
Let a = 63 + -43. Let g = 21 - a. Let f be 12/(-4) + g - -3. Do 1/2 and f have the same value?
False
Let i(x) = -x + 5. Let k be i(6). Let a = -1/276 + -533/5244. Which is greater: k or a?
a
Let x = -7 + -11. Let s(l) = l**3 + 19*l**2 + 18*l - 8. Let w be s(x). Is -7 at least as big as w?
True
Suppose -t = j, t - 4*j = -t + 18. Suppose 33 = t*w - 3*h - 30, -2*w = -h - 39. Let d be 88/(-150) - w/(-27). Is d >= 0?
True
Let m be -3 + (-2 - -2) + 5. Let a(l) = 2 + l - 3*l + 5*l + l**m. Let r be a(-2). Which is smaller: 2 or r?
r
Let g = -2090/17 - -71994/595. Does -1 = g?
False
Let z = 83 + -135. Let i be ((-6)/z)/((-54)/72). Let a = 7 - 5. Is i less than a?
True
Let y be 14*(-1 - (15/2)/(-5)). Let k(w) = w**2 + 7*w + 9. Let i be k(-7). Which is smaller: i or y?
y
Let s be (-1)/1 - (0 + 0). Let p be 2*(-2)/(-20)*(-34 + 31). Which is smaller: p or s?
s
Let n(s) = s + 1. Let h be n(2). Let q = h - 5. Suppose -5*r + 2*r = 0. Is q greater than r?
False
Let m = 43 - 24. Let s = -13 + m. Which is bigger: 7 or s?
7
Let d = 100 - -13. Let i = 793/7 - d. Is -10 bigger than i?
False
Suppose 4*w + 11 + 1 = 0. Let p be 24*(-6)/45 - w. Is p greater than or equal to -27?
True
Let t = 0.26 - -17.74. Let m = t - 17.91. Which is smaller: 2/9 or m?
m
Let g = 25 + 19. Let y = 39 - g. Which is bigger: y or 0.2?
0.2
Let u(w) = -w**2 + w + 30. Let j be u(-5). Which is smaller: j or 1.23?
j
Suppose -15*h - 2 = -13*h. Let k be (h - 0)/(2 - (-11)/(-2)). Let q = -5 + 3. Is k != q?
True
Let i = 580/79 + 188519/158. Let a = 1239 - i. Let d = a + -379/10. Which is bigger: d or 2?
2
Suppose 7*z - 16*z + 90 = 0. Are 10 and z non-equal?
False
Let f(y) = y**3 - 3*y + 1. Let b be 2 + -1 - (-2)/2. Let s be f(b). Let h(x) = -x**2 + 6*x + 3. Let w be h(6). Is s equal to w?
True
Let g = -930 + 928. Let q = 4558/7 + -653. Does q = g?
False
Let h = 0.1 + -0.1. Let j = 25 + -26. Is h less than j?
False
Let c(r) = r**2 - 1. Let p(a) = 6*a**2 - 3*a + 1253. Let f(g) = 5*c(g) - p(g). Let h be f(0). Let s = -91836/73 - h. Are s and 1 unequal?
True
Suppose -5*g = -4*g - 24. Suppose -5*a - 4 + g = 0. Is a >= 1?
True
Let b be (-87)/(-116) - (46/8 + 1). Which is bigger: -12 or b?
b
Let i be 1 - ((-22)/(-132) - 11/(-6)). Which is bigger: -6/853 or i?
-6/853
Suppose -547 = 5*b - 542. Which is bigger: b or 2/515?
2/515
Let m = -1103/7 - -18089/112. Which is smaller: 0.2 or m?
0.2
Let a = -585.5 - -585. Is a at most 1/5?
True
Let u(v) = 46*v - 198. Let k be u(15). Which is smaller: k or 0.3?
0.3
Let o = 12 + -3. Suppose -o = 3*y, -2*p + 4*y + 11 = -p. Let z = 163 - 2772/17. Is p less than or equal to z?
True
Let q = 378 + -378. Which is bigger: q or 13?
13
Let r = 52 - 52.009. Let d = -0.591 + r. Let i = -0.2 - -0.2. Is d at least i?
False
Let r = -68 - -74. Suppose -u + r = -3*w - 3*u, 0 = 3*w - u - 3. Let f be (-52)/102 - 4/(-12). Is f < w?
True
Let s = 32 - 33. Let n be (1 - (-5 + 1)) + s. Suppose -2*a - 18 = -5*g - 5*a, -3*g - a = -14. Is n != g?
True
Let y be ((-122)/(-6))/(1/2). Let o = y + -1589/39. Let h be 2/(-8) - 1/(-4). Is h >= o?
True
Suppose -53*m = -51*m + 2. Which is smaller: 5/22 or m?
m
Let o be -2*(-2)/((-1 + 4)/9). Suppose -5*h = -3*z - 60, 9*z = -h + 4*z + 12. Is h > o?
False
Suppose -5*d = v - 25, -d = -3*v + 2*v + 1. Let n be (5/d)/(3/252). Let k be 3/12 - n/(-28). Wh