e (-12)/9 + (-2)/(-6). Suppose -2*k = 2*c + 312, 257 = -2*k + 4*c - 49. Let v = 1393/9 + k. Is v less than z?
False
Let k = -324.98 + 325. Which is greater: k or 12?
12
Let v = 46.2 + -22.2. Which is smaller: v or 1/3?
1/3
Let m = -149 - -155. Is 57/8 at least m?
True
Let v be (-3)/(-6) - 74/(-4). Let a = -15 + v. Suppose -2*n - 2 = -j + 3, 2*j = -a*n + 10. Is 2 equal to n?
False
Let r(c) = -c**2 + 2*c + 6. Let j be r(-4). Let u = -19 - j. Is -2 >= u?
False
Suppose 538*c = 495*c + 43. Let p = -1.98 - -2. Are c and p unequal?
True
Let w = -6983/448 - -109/7. Is 0.2 at most as big as w?
False
Suppose -8 = -0*v + 4*v. Let s = -0.025 + -5.975. Do v and s have different values?
True
Let y(c) = 4*c + 2. Let v be y(4). Let w = 1142 + -1127. Is v at least as big as w?
True
Let r be ((-3788)/6)/((-14)/3). Let i = 39 + -174. Let h = i + r. Is 0 equal to h?
False
Let b = -13.91 - -14. Let c = -0.21 - b. Let v = c - -0.4. Is -0.6 at least v?
False
Suppose -9 = 8*y + 167. Let w = y + 35. Which is smaller: w or -0.2?
-0.2
Let h be 6/3 + 67/(-32). Let f = 47/1184 + h. Which is smaller: f or 1?
f
Suppose 5*s = n - 16, 5*s + 5 = -4*n - 6. Let b be (26 - 32) + 5584/930. Is n equal to b?
False
Suppose 0*k - 105 = 15*k. Let w be -3 + (-2 - k/(28/16)). Is w not equal to 16?
True
Let n = 1.94 - 1.94. Which is smaller: 238 or n?
n
Suppose 0 = -12*j + 10*j. Suppose j = -3*t + 5*w + 162, 14 + 26 = t + 3*w. Suppose 0*p - 7*p + t = 0. Is 0.2 less than p?
True
Let k(g) = -8*g + 221. Let d be k(-29). Is 907/2 less than d?
False
Let h = -19.83 - -20. Let j = h - -0.03. Which is smaller: j or 0?
0
Let u = -2 - -2. Let p = -1413/14 - -101. Do p and u have the same value?
False
Let w = -7279/9100 + 41/52. Which is greater: w or 1?
1
Suppose 63 = -36*i - 27*i. Is 2/9 not equal to i?
True
Let w(l) = -l**3 + 3*l**2 + 17*l + 6. Let t be w(6). Which is smaller: -2/283 or t?
-2/283
Let u = -207 - -244. Is u > 3?
True
Let s be ((-244)/(-32) - 2)*2. Let l = s - 89/8. Which is bigger: l or -1?
l
Let z be 52/(-2) + 9/54*-6. Is -27 bigger than z?
False
Suppose 249 - 169 = -10*s. Is s smaller than -67/9?
True
Let q be 1/(((-6)/4)/(-3)). Suppose 4*g = q*g + 4. Which is bigger: g or 7/6?
g
Let q(z) = -z - 3. Let k be q(-3). Suppose k*m = 3*m. Let n be 2/(-22) - (6392/(-616) + 10). Is n less than or equal to m?
False
Let t = -3654.5 - -3654. Let z = 278 + -567. Let m = -3759/13 - z. Are m and t unequal?
True
Let x = 23 + -4. Suppose 4*d - x = 5. Suppose 0 = 3*m - 3 + d. Which is greater: 1/4 or m?
1/4
Let l(d) = 2*d**3 - d**2 + d. Let z be l(1). Let w = -5 + z. Let m = 28 + -30. Which is smaller: w or m?
w
Let p(j) = -7*j**2 + j. Let d be p(1). Let u(s) = -4*s - 3*s**3 + 109 + 2*s**3 + s**2 - 114 + 4*s**2. Let c be u(4). Are c and d nonequal?
True
Let a(m) = m**3 - 8*m**2 + 5*m - 5. Let h be a(8). Let d be 4 + 1 + 1/((-7)/37). Are d and h equal?
False
Let j be (-14)/(-49) + 5 + (-1878)/7. Is -262 greater than or equal to j?
True
Let p = 83/30 - 53/5. Let v = p + 8. Let j = -5 - -6. Which is smaller: j or v?
v
Let h = -259 + 254. Is h > 3/13?
False
Let d = 4 + 8. Let p be 1/(1/(d/(-3))). Let x be 0*(p/(-8) + 0). Which is smaller: x or -4/3?
-4/3
Let z(l) = -13*l - 88. Let o be z(-6). Do o and -11 have the same value?
False
Let q be (-4)/(-8) + (-31)/70. Let w = -10 + 17. Let i(h) = 2*h - 13. Let u be i(w). Which is smaller: q or u?
q
Let s = -161.2 - -161.5. Let d be 2/(-4)*2 - -1. Which is greater: d or s?
s
Let f = -83/209165 + -10437092/791271195. Let o = -5/291 + f. Is 1 > o?
True
Let g(m) = m**2 + 6*m - 30. Let j be g(10). Let f(d) = 127*d + 2. Let s be f(1). Which is smaller: s or j?
s
Suppose 5*p - v = 91 + 24, -4*p + 2*v = -86. Suppose -16 = -5*q + p. Suppose -q = w + 1. Which is bigger: -10 or w?
w
Let a be (628/6)/((-11)/(-33)*-1). Is -315 less than a?
True
Suppose 0 = -4*j - 4*x - 8, x - 3 + 1 = -5*j. Suppose -2*n + 4 = 2*n. Let y be (n + -9)*6/156. Which is smaller: y or j?
y
Let q = 76 + -119. Let h = 26 + q. Let d = h - -24. Which is smaller: d or 6?
6
Let u(p) = -p**3 + 20*p**2 - p - 125. Let t be u(21). Do t and -586 have the same value?
False
Suppose 2*n + 8 + 8 = 0. Let c be -1 + 6*n/(-12). Is c at most 8/5?
False
Suppose 0 = -z + 1 + 4. Suppose -16 = -z*t + 4. Suppose -4*j - 3*g + 8 = 63, -j - t*g - 17 = 0. Is -13 >= j?
True
Let y(a) = a**3 + 6*a**2 + 5*a + 6. Let r be y(-5). Suppose r*z - 15 = z. Let x be (z - 0)/((-6)/4). Is x at least as big as -1?
False
Let h = -41.3 - -1.3. Let l = h - -41. Is 1 not equal to l?
False
Suppose 3*a = -a - 4. Let t be (a/(-2))/(13/104). Let z be ((-2)/t)/((-11)/(-110)). Is z at most as big as -6?
False
Let t be ((-3 - 60) + (-3 - -2))*3. Let c = t + 105. Is -86 equal to c?
False
Let k = 277832/15 + -18601. Let b = 79 + k. Let z be 0*(-2 + 2 + -1). Which is greater: b or z?
b
Let p be 60 + -1 + -2 + 1. Let s be p/13 - (2 + 2). Is 0 <= s?
True
Let o = -241 - -261. Is 19 greater than o?
False
Suppose -9*a + 2 = -7. Is a at most -7/86?
False
Let z(j) = -3*j + 25. Let y be z(4). Suppose -4*v + 3*x = -2*x - 35, 5*v - y = -4*x. Which is smaller: v or 6?
v
Let s = 50 - 46. Let o be 38*((-36)/(-8) - s). Is o less than or equal to 1/2?
False
Suppose -6 = 5*g - 16. Suppose -5*x - 2*c = -6*c, 5*c = -g*x. Suppose x = -3*t - 4*d + 1, -3*t + 4*t = -d. Is -5/3 at most as big as t?
True
Suppose -103*w = -99*w - 5*s - 20, 16 = 2*w - 4*s. Let t = -4/235 - 111/7285. Which is smaller: t or w?
t
Let m = 743 + -722. Let u = -7 - -28. Is u not equal to m?
False
Let k = -62 - -103. Let b = k + -37. Are b and 8 unequal?
True
Suppose x + 10 + 2 = 0. Let i be x/6*(7/6)/(-1). Which is bigger: i or 1?
i
Suppose 0 = -i + 2*w + 10, w + 4*w = -3*i - 25. Which is smaller: i or 37?
i
Let i be -11 + 5 - (0 - -3). Let x be (-131)/(-26) - (-4 - i). Which is smaller: x or 1?
x
Let s = 1464/7 - 876950/4193. Let k(a) = -a - 11. Let n be k(-10). Which is greater: s or n?
s
Suppose -3*y + 8 = j, -j = -2*y - 2*y - 1. Is y not equal to 2/113?
True
Suppose -2*z - 9 = -5*z. Suppose -9*q = -12*q + z. Let x be 3/(q/(8/4)). Which is greater: x or 5?
x
Let o(d) = -d**2 + 7*d - 9. Let y be o(4). Suppose 0 = -y*k + 21 + 21. Is 0.1 < k?
True
Let m(l) = -l**2 - 23*l - 4. Suppose 4*d + 4*f + 68 = 0, -4*f - f - 63 = 4*d. Let k be m(d). Which is smaller: 19 or k?
k
Let y = 34 - 36. Let z be (0 + -27 + -5)/(y - 0). Is z at least as big as 16?
True
Suppose 43*p + 20016 = 4837. Is p at least -353?
True
Let c = -478 + 248. Let k = 1606/7 + c. Which is smaller: 0.1 or k?
k
Let v = 710 + -709. Which is smaller: v or -782?
-782
Suppose w + 5*v = -12, 0 = 2*w + 4*v + 21 + 27. Which is smaller: w or -33?
-33
Suppose 5*q + 8*o + 40 = 3*o, 0 = -q - 5*o - 16. Let a = 4 - 0. Suppose 2*j + a + 6 = 0. Is q smaller than j?
True
Let b(r) = -6*r + 24. Let w be b(4). Let y = 216 + -23110/107. Which is bigger: y or w?
y
Let y = -17 - -8. Let c(w) = -7*w + 2. Let l be c(-5). Suppose 6*b = b + 4*u - l, -44 = 4*b + 4*u. Is y at least as big as b?
True
Let j be -2 + 4/2 + 2. Suppose 4 = 4*h - 2*b, -7 = 3*h + 2*b - 6*b. Suppose -3*z + 4*q + 35 = j*q, -47 = -h*z + 5*q. Do 9 and z have the same value?
True
Let d(v) = -v**2 - 18*v - 81. Let g be d(-30). Which is greater: g or -443?
g
Let z = -218 - -132. Which is greater: z or 2/7?
2/7
Let a = 0.082 - 0.027. Let z = -0.045 - a. Is z <= 8/11?
True
Let v be (-14)/(-2) + 8 + 36/(-6). Suppose -14 = 7*u - v*u. Are u and 6 non-equal?
True
Let v be 13/13 + (2 - -1). Suppose -2*u + 8 = -v*u. Let l be (3/18)/1*u. Which is smaller: -1 or l?
-1
Let p(y) be the third derivative of -3*y**2 + 0 - 1/24*y**4 + 2*y**3 + 0*y. Let f be p(12). Which is bigger: f or -1/6?
f
Let v be (276/153 - 2)/((-8)/144). Does v = 0?
False
Suppose 8*z = 13*z. Let a = z - 9. Which is greater: -8 or a?
-8
Let i = -1386283/201 - -6897. Is 1 < i?
False
Suppose 0 + 3 = 2*b - 5*g, -5*b + 18 = -2*g. Suppose -3 + 15 = -b*o. Let m(z) = -2*z**2 - 4*z - 3. Let v be m(-2). Is o less than v?
False
Suppose -11*r = -25155 + 2990. Let a = r + -10009/5. Is 14 > a?
True
Let h(j) = 4*j**2 - 36*j + 12. Let l be h(10). Is l greater than 52?
False
Let r = 200 - 313. Let g = r + 110. Are g and -9 equal?
False
Let m = 115/32 + 613/32. Let u = 2061 + -2039. Which is bigger: m or u?
m
Let j = -1746 + 1766. Is 24 not equal to j?