= 7*t - 13. Let w be s(b). Are w and 1/4 nonequal?
True
Let v be -78*38/114*3/2. Is -39 not equal to v?
False
Let y be 88/27*(-74)/296. Which is bigger: -2 or y?
y
Suppose -3*x + 0*r = -3*r - 9, 5*x = -r + 15. Suppose -x*y - v - 23 = 10, 5*y = -3*v - 51. Let m = y + 13. Is 0 greater than m?
False
Let z = 0.2 - 0.22. Let o = -4.98 + z. Let p = -6 - o. Is -1 at most p?
True
Let m be 288/(-480) - (0 - (-1087)/(-1820)). Is 0 not equal to m?
True
Let v(u) = -u**2 + 6*u - 2. Let f be v(5). Let i be ((-14)/f)/(-7)*-12. Let w = i - -7. Which is bigger: 1/67 or w?
1/67
Let u = -53606/58515 - -28/1245. Is u less than or equal to 0?
True
Suppose -8 = 4*k - 3*p + 29, 11 = -k - p. Let n = 2179 - 4577/2. Let x = n - -101. Is k at least as big as x?
False
Suppose -3*g + 15 = 4*s + 22, -5*g = 3*s - 3. Are s and -124/49 equal?
False
Let c be (10/(-11) - -1)/((-99)/198). Which is smaller: 0.9 or c?
c
Let j = -523 - -524. Is -2/775 < j?
True
Let x = 242.8 - 243. Which is smaller: x or -114?
-114
Suppose 0 = 17*b + 130 - 929. Which is bigger: 49 or b?
49
Let f be ((-2)/(-6))/((-2)/(-78)). Let m be 26/(5 - ((-69)/(-46))/(2/4)). Is f < m?
False
Suppose -239 + 251 = 4*r. Is r at least 20?
False
Let x = 7.3 + -7.01. Let l = x - -0.11. Let k = -3.1 + 3. Is k at least as big as l?
False
Let r = -31 - -46. Suppose 11 = 3*v - 4*p, -2*v + 2*p - 7*p + r = 0. Is v at least as big as -2?
True
Let x = 0.065 - -46.935. Let n = -47.07 + x. Is n < -3?
False
Let l = -5717/616 + 31/56. Which is smaller: l or -8?
l
Let i be 1/((2/12)/((-42)/(-198))). Suppose 2*u = -0*u - 2. Let g = u + 2. Which is smaller: g or i?
g
Let p = 8/247 - -54/13585. Is p less than or equal to 1?
True
Let f(s) = -s - 3. Let u(y) = 1 - y - 1 - 4. Let l(x) = -3*f(x) + 4*u(x). Let k be l(-6). Which is smaller: -1/3 or k?
k
Let t be 0 + 160 + (-16 - -17). Is 161 equal to t?
True
Suppose -4*p + 122 = -94. Suppose -3*u + p = -99. Which is greater: 53 or u?
53
Suppose -16*t + 6*t = -120. Are 12 and t nonequal?
False
Suppose 18 - 72 = 2*y. Is y smaller than -1?
True
Let j = -2/287 - -612/5453. Suppose 0 = -4*c - 3*v - 5, 5*v + 2 = -5*c - 3. Let i = -1 - c. Which is greater: j or i?
i
Let x = 23 - 37. Which is bigger: -15 or x?
x
Let h = -2.077 - -0.077. Let i = -5.5 + -0.5. Let r = i - -5. Which is smaller: h or r?
h
Let d = -4904/49 - -100. Let o = 457/196 + d. Do o and 3 have different values?
True
Let p = -1 - -0.9. Let k = p + 0.3. Let q be (-9)/28 - (-42)/(-1666)*17. Which is smaller: k or q?
q
Let w(c) = 99*c**3 - c**2 + 3*c + 1. Let z be w(-1). Which is smaller: z or -105?
-105
Let u = -1131 - -1001. Is -134 at most u?
True
Let d(h) = -h**2 + 7*h - 6. Let k be d(5). Suppose m = -k*m + 85. Let p = 28 - m. Which is greater: p or 10?
p
Let z be 1/(-1 - 10/(-12)). Let b = -30 - -46. Suppose 2*f = 3*d - 24, -2*d - 2*d + b = 0. Is z equal to f?
True
Suppose -5*l + 80 = g - 3*g, l - 46 = g. Let u be (225/g)/(1/2). Which is smaller: u or -3?
u
Let s = 9 + -10. Let h = -1.4 - -2. Which is smaller: s or h?
s
Let u = 147 - 84. Suppose 7*g - 676 = -242. Is u smaller than g?
False
Let j be (-2)/(-3) - 4515/(-72). Let w = 3373/56 - j. Is w equal to -2?
False
Let d = 22 - 14. Suppose -2*s = d, -2*h = 5*s - 8 + 26. Is -2/9 at most as big as h?
True
Let k = -31 - -34. Suppose -k*n = -3*o - 33, -5*o + n = -0*n + 39. Do o and -8 have different values?
True
Suppose 3*a + 4*q + 55 = 0, -3*a - 25 = 3*q + 32. Which is smaller: -108/5 or a?
-108/5
Let t = -30 + 31. Let m = 24 + -24. Let l be 7/(-21) + (1 - m). Which is smaller: t or l?
l
Let h = 4 - 4. Let r = -4.1 - 6.9. Let y = 12 + r. Do h and y have different values?
True
Suppose -69 + 25 = 2*l. Let u be l*(-4 - -1 - -2). Which is smaller: 21 or u?
21
Let s(b) = -b - 15. Let x be (5/(-3))/(6/36). Let r be s(x). Is -5 <= r?
True
Suppose 0 = -6*v + 4*v. Suppose 133*j = 134*j + 5, -2*l = -3*j - 147. Is v >= l?
False
Let o be (20 - -1)*65/(-15). Let u = o - -911/10. Suppose 1 = -5*m + 6. Is m less than u?
False
Suppose 75 = -q + 13. Let z = q - -432/7. Which is smaller: z or 3/7?
z
Let m = -6 - -13. Suppose 4*o - 2*u = -2, -3*u = -m*u + 4. Suppose -1 = -t - o. Is 3 equal to t?
False
Let u = -0.85 + 4.85. Which is greater: 0 or u?
u
Let m = -13603/5 - -2711. Let o = m + 434/45. Which is smaller: 0 or o?
0
Let t(v) = -v - 1. Let a be t(5). Let x be ((-7)/((-350)/(-15)))/(a/(-8)). Is -1/4 greater than x?
True
Let x = -30 - -33. Suppose x*b = b + 14. Is b less than or equal to 9?
True
Let f(u) = -12*u + 653. Let a be f(56). Is -19 at most as big as a?
True
Let y = 32.17 + -30.9. Let b = 9.27 - y. Is b at most -3?
False
Suppose m + 29 = -4*i, -9 = 4*i - 7*m + 4*m. Let g(u) = -3*u + 20. Let t be g(8). Which is smaller: i or t?
i
Let l(u) = -2*u. Let m = 1 + -5. Let v be l(m). Let t = -1 - -9. Is v > t?
False
Suppose 2*z + 9 = -3*i, 0 = z - 4*i + 8*i + 12. Let q be 7/54*(-4 - -3). Let b = q + -181/270. Does z = b?
False
Let a be -6 + -4 + 0 + 4. Let v(w) = -w**2 - 7*w - 4. Let p be v(a). Are p and 0 equal?
False
Suppose -d - 55 = -u, 4*u + 190 = -3*d + 2*u. Let q be ((-3)/d)/(2/(-15)). Let c = 2.2 - 2. Which is greater: q or c?
c
Let s be -5 - (-3117)/(-621)*-1. Which is bigger: -1 or s?
s
Let l be (-1)/(-1)*(19 + -23). Which is smaller: l or -19/4?
-19/4
Let p(b) = b**3 + 13*b**2 - 39*b - 4. Let u be p(-17). Is -497 at most as big as u?
True
Let r = 0.003 + -0.083. Does -1 = r?
False
Let c = 7.1 - 7. Let v = 1.1 - c. Let l(y) = -y**3 - 4*y**2 + 16*y + 11. Let p be l(-6). Which is bigger: v or p?
v
Let k = 30 - 64. Let s = k + 4. Let v = s + 31. Is v < 3?
True
Suppose 3*g + 5*f = -5, -g = -4*f - 0*f - 4. Suppose g = -l - 28 + 73. Is l greater than or equal to 45?
True
Suppose 12 + 8 = 5*i - 5*w, -2*w - 10 = -4*i. Is -1/472 less than or equal to i?
True
Let f = 10.81 + 0.19. Let d = 11 - f. Is -0.1 bigger than d?
False
Let g = 2.57 - -88.43. Do g and 1/2 have different values?
True
Let n = -9 - -13. Suppose i - n*i = 39. Let s = i + 13. Is s >= 2/3?
False
Let p be (21/6)/(10/2). Which is greater: -2/3 or p?
p
Let p = -251 - -250.5. Which is smaller: -6.1 or p?
-6.1
Let x = 718 - 718.9. Let w(z) = -z - 4. Let r be w(-6). Is r not equal to x?
True
Suppose -6*p = -12*p - 990. Is p at most as big as -164?
True
Let x = 97 + 7. Let k be (2/x)/((-176)/(-128)). Which is bigger: k or -1?
k
Let q = 28 + -18. Let n(w) = -47 + 16 + 19 + w**2 + 11*w. Let p be n(-12). Which is bigger: p or q?
q
Suppose 3*v = 2*m + 2*m + 15, 2*m + 2*v + 4 = 0. Suppose -g + 8 = -j, -11*g + 10*g - 5*j - 22 = 0. Which is smaller: g or m?
m
Suppose -5*d + 17 = 12. Which is greater: d or 2/7?
d
Let y be 2/(-27) + (-105293)/1917. Which is bigger: -52 or y?
-52
Let j = 10 + -7. Let h(v) = 5*v + 5. Let w(l) = 3*l + 2. Let u(c) = -2*h(c) + 5*w(c). Let b be u(j). Is b >= 16?
False
Let x = 3092 + -3092.4. Is x > -1/4?
False
Let r = 12 + -10. Let j be ((-12)/10)/(6/(-15)). Let c be (-1)/r*(-1 + j). Are c and 1 nonequal?
True
Let l be 6 - 2180/(-1086)*(-9)/3. Is 0 greater than or equal to l?
True
Let h be 2/5 - (-24)/(-10). Let f = 15111 + -105797/7. Is f <= h?
True
Suppose -8*n + 2*n + 24 = 0. Let x be 7 + (-12)/n - 3. Is -0.7 equal to x?
False
Let h(a) = 2*a**2 + a**3 + 4*a**3 - 4*a**3 - 4*a**2. Let m be h(2). Suppose m = -2*z - 0*z. Which is smaller: z or -1/4?
-1/4
Suppose -147 - 28 = -7*m. Let g = -59 + m. Let t = -71/2 - g. Which is bigger: 1 or t?
1
Let g(t) = t**3 - 2*t**2 - t - 2. Suppose 4*j = 7 + 5. Let w be g(j). Let u(b) = b + 5. Let l be u(-3). Is l <= w?
True
Suppose -2*x - 6*j - 2 = -4*j, -2*j = -3*x - 13. Is 134 at most x?
False
Let v = 9 - 13. Let o be ((-2)/v)/(2/12). Suppose o*p + 4 = 1. Which is greater: -5/3 or p?
p
Let c(h) = -24*h - 9. Let p be c(-4). Let x = -33 + p. Let z = -160/3 + x. Which is bigger: z or -5/3?
z
Suppose -78*v + 74*v + 48 = 0. Is 120/11 at most v?
True
Let v(p) = p**3 - 4*p**2 + 1. Let x be v(4). Let z be -2 + ((-4)/11)/(x/2). Is -2 at most as big as z?
False
Let n = -6.52 - -7.3. Let h = -31.78 + n. Which is greater: h or -1?
-1
Let s = -2.88 - -2.8. Let w = s + 1.08. Which is smaller: 0.09 or w?
0.09
Let p = -13 + 9. Let n be p*(-44)/8 + -2*1. Is n < 20?
False
Suppose 1 = 5*p + 5*s + 6, 0 = 5*s. Suppose -9*o - 292 - 86 = 0. Let d be (o/9)/(-2) - (-1 + 3). Is d equal to p?
False
Sup