 a be (n/4)/((-91)/q). Is -0.2 equal to a?
False
Let z = 13 + -9. Suppose 6 = -3*m - 3*n, 2*n = z*m - 3 - 1. Let a be (0 - 2/4)*m. Is a greater than 2/13?
False
Let p = -117 + 175. Let s = p + -35. Do s and 22 have the same value?
False
Suppose g = -2*v - 7, -23 = 5*v - 3. Do g and 7/47 have different values?
True
Let i(a) = -a**2 - 12*a. Let d be i(-12). Suppose 3*t + 5*x - 159 = -d, 4*t - 3*x - 183 = 0. Let w be (4 - 268/t)*3. Is -5 at least as big as w?
False
Let l(m) = m - 1. Let d be l(2). Let i = -66.37 - -66. Let s = -0.03 + i. Are d and s equal?
False
Let f be 3*-2 + 32/(-8) + 10. Is f greater than or equal to -1/515?
True
Let k be 7 - (-50936)/(-6720) - (-8)/14. Which is greater: 0 or k?
0
Let x(u) = u + 70. Let f be x(0). Let v = f - 111. Is v smaller than -41?
False
Suppose -t = 8*t - 666. Is 74 <= t?
True
Let k(c) = 79*c**2 + c + 2. Let z be k(-1). Let x = -80 + z. Which is smaller: 3 or x?
x
Suppose 162 = 35*g + 127. Let k be (-1)/(-2) - (-54)/(-116). Which is bigger: g or k?
g
Let y = -856 - -732. Is -122 not equal to y?
True
Suppose 3*u + t = -214, 0 = -u + 2*u - 5*t + 82. Which is greater: u or -71?
-71
Let t = -235 - -168. Let n = t - -67.1. Is 36 at least as big as n?
True
Let k = -289 + 6650/23. Which is smaller: 0 or k?
0
Suppose 0 = -d - 13*r + 14*r - 3, 0 = 4*d + 2*r. Do -1/365 and d have the same value?
False
Let o = 606.9 - 643. Let z = -36 - o. Are z and 14 equal?
False
Let t be (-79)/(-55) + 22/(-11). Let s = t + 4/11. Let x = 3/10 - s. Is x at least 2?
False
Let w be (-2)/(-8) - 10/16. Do -4 and w have the same value?
False
Let w = -22 - -12. Let k be 0/3 - w/(-55). Is 0.04 <= k?
False
Let v = -187 - -191. Which is bigger: 7/4 or v?
v
Let x = -27 + 27.31. Let i = 2124.31 + -2137. Let w = i - x. Do 0 and w have the same value?
False
Let f(h) = -h**3 - 7*h**2 - 5*h + 3. Let y be f(-5). Let v be (-6)/(-33) - (-136)/y. Let u be (-4)/v + 1/3. Is 1 < u?
False
Let w(g) = 9*g - 1. Let n be w(-3). Which is bigger: -3 or n?
-3
Let q(h) = h**3 - 5*h**2 - 8*h + 12. Let l be q(6). Suppose 45 = b + 4*b. Suppose l = -5*x + 44 - b. Which is greater: x or 8?
8
Let p be 4/(-18) - 25/9 - -394. Is 391 greater than p?
False
Let q = 1563.2 - 1553. Which is smaller: -7 or q?
-7
Let k = 54497/50 + -1090. Is 1 not equal to k?
True
Let t(r) = r**2 - 11*r + 30. Let o be t(5). Are -2/163 and o nonequal?
True
Suppose 5*f + 4*u + 337 = -259, -2*u - 118 = f. Let l = 119 + f. Are l and 7/23 equal?
False
Let s = -1.85 - -1.75. Let u = -20.2 + -0.8. Let o = u + 33. Which is greater: o or s?
o
Let x be ((-2)/6)/(7/(-21)). Let q = -43 + 18. Let t be -2*(q/(-13) + -2). Is x at least t?
True
Let q be ((-2)/(-1055))/((-2)/10). Let u = -486 + 485. Which is bigger: q or u?
q
Let f(n) = n + 6. Let h be f(14). Suppose -k + 0*k - 7 = 4*g, -5*g - 5*k - h = 0. Let a be 23/(-14) - (-6)/4. Which is smaller: g or a?
g
Let q be 51/(-6) + 2/(-4). Let n be 32/(-12)*(0 - -3). Let m = q - n. Which is smaller: 1/7 or m?
m
Let u = 667.2 - 667. Are u and 28.1 unequal?
True
Suppose 8*w = 17*w + 1143. Which is greater: -126 or w?
-126
Let r be 646/1020 - (-4)/24. Which is greater: r or 0.86?
0.86
Let x = -23/68 - -8121/24412. Let v = 700/3231 - x. Is v != 0?
True
Let x be 3/((-9)/42) + 3. Let i = -7 - x. Suppose 0 = -h - 2 + i. Which is bigger: h or 10/9?
h
Suppose 5*j = -5*t + 45, -13 = 3*t - 2*j - 3*j. Suppose 3*u - 10 = t*x - 37, 7 = 4*x + u. Which is bigger: x or 11/7?
x
Let u = -17415 - -19766027/1135. Which is greater: 1 or u?
1
Let i = 0.1 - 0.4. Let u = -0.2 - i. Let v = -295 - -1179/4. Which is smaller: u or v?
v
Let a = 93.975 - 95. Let z = 0.025 + a. Which is greater: -1/7 or z?
-1/7
Suppose -4*a - 3144 = -4*v, -4*a - 2*v = -9*a - 3921. Which is smaller: -782 or a?
a
Suppose -3*g + 5*p - 60 = -8*g, 2*p - 48 = -5*g. Let u be (g/(-12))/((-4)/6). Let i be (-18)/432*-16*(-2 + 83/43). Do u and i have different values?
True
Let w(k) = k**3 - k**2 + k - 31. Suppose 4*v = 4*h + 2*v - 6, 2*v = 3*h - 6. Let y be w(h). Let m = 97 + -129. Is y smaller than m?
False
Let k(g) = g - 6. Let s be k(-2). Let r be (-11)/2*-2*1. Let d = r + s. Does d = 2?
False
Let z be ((-790)/(-234) - 3) + (-4)/18. Is -3 less than or equal to z?
True
Let c = 0.0537 + 1.1463. Which is greater: -2 or c?
c
Suppose 6*g = g - 90. Let k = 28 + g. Let b be k/(-15)*15/12. Which is smaller: -2 or b?
-2
Let y be -2*((-3105)/6)/(-9). Are y and -115 equal?
True
Let i = -47 + 42. Suppose 0 - 8 = 4*x. Let c = -5 + x. Which is greater: i or c?
i
Let r = 9096 - 1691851/186. Is -1 bigger than r?
False
Let f = 0.044 + 2.856. Let h = f + 0.2. Let v = h + 0.9. Which is greater: v or -0.2?
v
Let h(y) = -y**2 + 4*y + 17. Let l be h(6). Suppose -5*r - 22 + 7 = l*x, x - r = 1. Does -4/5 = x?
False
Let a be 5/(-50) - (-16976)/160. Do a and -8 have different values?
True
Let z = -6 - -14. Let d = z - 3. Suppose 16 = 2*v - d*x, 4*x = v - 2*v - 5. Which is bigger: 5/2 or v?
v
Suppose -7*q = -3*q + 12, -3*h - 2*q - 237 = 0. Let g be 84/h*2/(-4). Are g and -0.4 equal?
False
Let h(q) = -2*q**2 + 9*q - 6. Let f be h(9). Is f >= -87?
True
Let j = 0.65 + -0.75. Let l = 53/3 - 695/39. Is j greater than or equal to l?
True
Suppose -5*w + 3*x + x = 33, 2*x - 19 = 3*w. Let o(c) = -c**2 + 25. Let d be o(w). Does 2/133 = d?
False
Suppose -3*r - 3 = -3*k, 2*r + 5 = -0*r - k. Let g = -1/298 + -741/1192. Which is smaller: g or r?
r
Let o = 138494 - 15926906/115. Let k = o - 9984/1265. Which is greater: -8 or k?
-8
Let t = 20 - 12. Suppose -t*p = p + 90. Is -10 at most as big as p?
True
Let o = -14 + 12. Let q be o/(-7) + 928/(-14). Let p = 324/5 + q. Which is smaller: p or -1?
p
Let m be 57/14 + 37 + -40. Which is bigger: m or 0?
m
Let x(c) = 1. Let s(b) = 2*b - 1. Let z(r) = -s(r) + 6*x(r). Let y be z(4). Let i be 1/2*y*2. Is -1/12 at least as big as i?
True
Suppose -24 - 95 = 17*z. Suppose -1 = -k + 11. Suppose 2*p = -0*p - k. Is p at least as big as z?
True
Let z be ((-346)/(-3))/(-3 - 40/60). Is z less than -30?
True
Let c(g) = -g**2 + 6*g - 3. Let u be c(4). Suppose -u*l + 3*l + 10 = 0. Let a = 11 - 10.9. Which is smaller: a or l?
a
Let l(d) = d + 10. Let x be l(-11). Let k be 2088/3150 + (-16)/14. Which is smaller: k or x?
x
Let n = -1113229 + 57895241/52. Let o = n + -141. Which is smaller: 0 or o?
0
Let g = 53 + -54. Let c be (g/(-5))/(2/30*5). Is 4 at least as big as c?
True
Let p = 95.67 + -9.87. Let w = -70 + p. Let v = w - 16. Which is smaller: -2 or v?
-2
Suppose 5*l - 62 = s, 2*l + 19 = -4*s + 57. Let f = 12 - l. Are f and 1/64 equal?
False
Let y(k) = -2*k + 19. Let o be y(18). Let r = 2 - 20. Are o and r nonequal?
True
Let n = 58 - 119. Let h = -55 - n. Which is smaller: 0.4 or h?
0.4
Let j(w) = w**2 + 2*w + 6. Let x be j(-4). Suppose -2*d + 0*d + 28 = 0. Is d >= x?
True
Let q = -22 - -40. Suppose 4*b - q + 2 = 0. Is b less than 1?
False
Suppose 35 = -3*z + 8*z. Let o = 108 + -64. Suppose -3*g = 3*b + 2*g - 49, -3*b - 4*g = -o. Which is bigger: z or b?
b
Let r = 1 + 5. Suppose 4*b - 16 = -8. Which is smaller: r or b?
b
Let r(b) = -b + 5. Let t be r(-6). Let n(a) = -a**2 + 8*a + 4. Let k be n(7). Let u = k - t. Is -2/13 greater than u?
False
Let c = 1353 - 1353.0182. Which is greater: 1 or c?
1
Let t = 80141 - 720271/9. Let n = t + -111. Are n and -3 nonequal?
True
Let k = 9353/7996359 + 3/6517. Is k greater than or equal to -1?
True
Suppose 3*j - 67 = 2. Let q = j - 23. Which is bigger: 3/13 or q?
3/13
Let y = -14 - -13. Let a be 4/((-66)/(-7)*y). Let v = a + -4/33. Is v less than or equal to 0?
True
Let n be (8/(-6))/((-3)/36). Let w(m) be the third derivative of -m**4/24 + 11*m**3/2 + 22*m**2. Let y be w(16). Which is greater: y or n?
y
Let w = -1.7 + 1.599. Let s = w + 23.101. Which is greater: 2/5 or s?
s
Let p = 192.06 + -192. Which is greater: 7 or p?
7
Let k = 3.33 - 3.83. Is k less than 12?
True
Let a = 512 - 134. Is 379 greater than or equal to a?
True
Let t = 492.08 + -492. Let n = 5.03 + -0.03. Which is smaller: t or n?
t
Let z = -153943/8 - -19339. Let m = -96 + z. Is -7 < m?
True
Let p = 5198/9 - 577. Let m = p - 7/18. Is -1 < m?
True
Suppose -4*d - 42 = 6. Let q = d - -12. Let l be (1/1)/(q - -1). Is 2/9 <= l?
True
Let b(n) = 94*n**3 - n**2 + 1. Let x be b(1). Let d = x + -81. Is 63/5 bigger than d?
False
L