ual?
False
Let s(g) = g + 7. Let i(j) = 2*j + 19. Let d(l) = 4*i(l) - 11*s(l). Suppose 6*q = 3*q + 12. Let f be d(q). Is -14 >= f?
False
Suppose -5*s - 109 = -c, -2*c = 3*c - s - 569. Suppose c = 3*t + 3*t. Is 20 not equal to t?
True
Let a be (-27)/2*14/(-21). Let r be (3/a)/(2/(-8)). Let b(g) = -2*g - 4. Let q be b(-2). Which is greater: q or r?
q
Suppose 5*v - 17 = -t, -t + 5*v = 10 + 3. Let h = 1708/5 - 340. Which is bigger: t or h?
t
Let g be -2 + (35 + -1)/(1/(-2)). Is -73 != g?
True
Suppose 6*p + 8*p = 42. Suppose 3*v + 17 = -2*n, -p*n + 0*n = -5*v - 3. Which is bigger: n or 6?
6
Let h = 1.5 - 0.5. Let p = -2.8 - -19.8. Let z = p - 17.03. Is z less than h?
True
Let s be -2 + ((-117)/15 - -7). Let b be (-1*(-1 + -2))/(-1). Is b at least s?
False
Let x = 0.082 - -0.002. Let i = -6.516 - x. Which is greater: -1/4 or i?
-1/4
Let x = 296 + -295. Is x at least as big as -1/640?
True
Suppose 0 = 17*h - 14 + 167. Is h bigger than -1/4?
False
Let w = 3 - 2. Suppose 0 = 3*i + 7 - 1. Let j be -2 - 0 - i - (-10)/6. Which is smaller: w or j?
w
Let z(c) = -2*c - 14. Let l(x) = x**2 - x - 4. Let h be l(3). Let q(s) = -4*s - 27. Let w(f) = h*q(f) - 5*z(f). Let k be w(0). Which is greater: 15 or k?
k
Suppose -4*p + 193*s - 192*s + 411 = 0, 228 = 2*p + 4*s. Is p at least 0?
True
Let w = -453 - -451. Let x be 9/(-12) + (-1 - -2). Is x at least as big as w?
True
Suppose 13 = -2*d + 3, s + 2*d = 358. Which is greater: s or -1?
s
Suppose 9*x + 50 = -238. Is -8 at least as big as x?
True
Let s = 19604/148665 - 34/265. Do 0 and s have the same value?
False
Let k(p) = -87*p - 438. Let j be k(-5). Let r = 1 - 5. Which is bigger: r or j?
j
Let q = -5.096 - 0.004. Let b = q - -9.3. Let h = b - 4. Do -0.1 and h have different values?
True
Suppose 5 = -4*n - 7. Let f be n/5 + 196/35. Let h be (-2)/f - 24/(-10). Are h and 2 non-equal?
False
Let z = 11 - 10.86. Let l = 0.34 - z. Let b = 0.8 + l. Are 3 and b nonequal?
True
Let f = 1.2 - 1.3. Let b = 12 + -3. Suppose 3*q - 3*d + b = 0, 0 = -4*q + 3*d - 0*d - 16. Is q at least f?
False
Suppose -273 = l + 197. Is l less than or equal to -471?
False
Let m be ((-11248)/(-24))/(-2) - 2/3. Let u = -2117/9 - m. Is u equal to -1?
False
Let w = -0.62 + 52.62. Let d = w - 54. Do 8 and d have the same value?
False
Let b be 15/(56/(4 + 0)). Let j = b - 3/14. Which is bigger: 2 or j?
2
Let v be ((-12)/15)/((-990)/25). Suppose -4*g = -0*g. Is g > v?
False
Suppose j = 5*g + 25, j = -3*g - 15 - 0. Which is smaller: 11 or j?
j
Suppose -372 = -45*a + 123. Which is bigger: 67/7 or a?
a
Let f = -19 + 8. Let d = f - -11.5. Let o = -4.5 - d. Which is smaller: -1/3 or o?
o
Let s = -63 - 1. Let j = s - -62. Which is bigger: j or 0?
0
Let o = 25 + -89. Let v = o + 63.9. Is 1/4 not equal to v?
True
Let r = -307/6 + 51. Let v be 9*(-3)/(-9) + -4. Which is smaller: r or v?
v
Let z(p) = -3*p**3 - p**2 + 12*p + 4. Let f be z(3). Do f and -50 have the same value?
True
Let j = 8944 + -8939. Let y = -163272 - -49797904/305. Let f = 1/61 - y. Which is greater: f or j?
j
Let g be 993/(-9423) + (-7)/(-63). Is 0.1 < g?
False
Let g = -18 - -45. Suppose -j - 5 = 0, -2*c = 4*j - 1 + 11. Suppose 2*o - c*q + g = 0, -q = -o - 0 - 6. Which is greater: -2/11 or o?
-2/11
Let z(s) = s**2 + 4*s + 2. Let v be z(-3). Let f be (21/(-280))/((-4)/(-5)). Is f != v?
True
Let q = 12 + -13. Let x = -382/1333 + 4/43. Which is smaller: q or x?
q
Suppose 0 = -4*y + 8*y + 6*y. Suppose y = 11*p - 8*p. Are p and 2/129 nonequal?
True
Let m(s) be the first derivative of s**3/3 + 5*s**2/2 - 1. Suppose -6*l - 9 = 21. Let c be m(l). Which is bigger: c or -1/12?
c
Let x be (-1 + 5)*(2 - 0). Let l = -181 + 147. Let v be (3/12)/(l/x). Is 0 bigger than v?
True
Let w = 135 - 96. Suppose -4*x = 16, 15 = -4*f + 2*x + w. Suppose -5*j = 0, 8 = -l + 5*l - f*j. Which is smaller: l or 4?
l
Let q(w) = 8*w + 42. Let k be q(-4). Is 5 at most k?
True
Let y = -1866 - -1856. Is y greater than 1?
False
Let o be 4*1 - (5 - 3). Let c be (-136)/(-32) - (3 + (2 - 4)). Which is bigger: c or o?
c
Let d = -210 + 74. Is d != -139?
True
Suppose -5*a + 4*a - 23 = 0. Let s(o) = -o**2 + 40*o - 23. Let b be s(0). Is b at most a?
True
Let s be (1 - 2) + 10/(-6). Let n(p) = -130*p + 1297. Let x be n(10). Which is bigger: s or x?
s
Let s(n) = n**2 - 2. Let x be (1 - 2) + 6/2. Let z be s(x). Let t = -8 - z. Is -11 at most as big as t?
True
Let b(c) = -c - 2. Let k be (-4)/(-10) + 78/30. Let s be (-16)/k + (-1)/(-3). Let h be b(s). Is h smaller than 4?
True
Let a(g) = 13*g - 712. Let v be a(57). Do 5 and v have different values?
True
Let u be (-7 - (-2772)/351) + -1. Is u greater than 0?
False
Let t = -2251/3679 - 1/283. Which is greater: 0.3 or t?
0.3
Let l(v) = v**2 + 30*v + 48. Let u be l(-21). Let b = u - -144. Which is smaller: 9 or b?
b
Suppose 2*l + 2*l = 0. Suppose 29 - 5 = -4*d. Let a = -29/5 - d. Is a != l?
True
Let c be (-7262)/4 + -3 + (-20)/(-8). Let m = -230631/127 - c. Which is smaller: m or 1?
m
Let q = -970 - -971. Which is greater: 8/327 or q?
q
Suppose -2*z - 3*f - 11 = 2*f, 5*z - 22 = 4*f. Suppose -17 + z = -i. Let a = -15 + i. Do a and -1/10 have the same value?
False
Let l = 3.57 + -5.57. Are 0.04 and l equal?
False
Let s(q) = -11*q - 217. Let m be s(-20). Are m and 4 nonequal?
True
Suppose 0 = -16*l - 10 - 6. Let j(d) = 6*d**2 - 2*d - 2. Let w be j(l). Is -1 > w?
False
Let s = -0.958 + -0.002. Let b = -15.04 + 15. Let n = b + s. Which is greater: 15 or n?
15
Let h(i) = i + 1. Let a be h(-1). Let k = -5 - -8. Let b be (8 + -9)*(1 - k). Is a < b?
True
Let q = -5/556 + 8077/1668. Suppose 3*y - 12 = 6. Is q < y?
True
Let z = 16101/22 - 732. Let y be (-1)/((-3)/(-9)*-3). Is z greater than y?
False
Let o(v) = 8*v + 114. Let z be o(-14). Suppose 9 = -b - 1. Let c = -52/5 - b. Which is smaller: z or c?
c
Let l = -2007/20 - -99. Do l and 0 have the same value?
False
Let n(z) = z**3 + 7*z**2 - 5*z - 17. Let a be 3 + (-2 + -3)*2. Let c be n(a). Is 18 <= c?
True
Suppose -17*w + 763 = -24*w. Are -109 and w non-equal?
False
Suppose -2*q - 7 = -3*t + 3, 0 = 3*q - 2*t + 5. Which is bigger: 2/805 or q?
q
Let t be 5 + (-91)/18 - 2/(-12). Is t <= 0.34?
True
Suppose -v = 4*v - 2*q + 1, -5*v = -4*q - 3. Let j = -30/13 - 5/26. Let x = -9/4 - j. Are v and x unequal?
True
Suppose 28*j - 21*j - 3234 = 0. Let m be (1772/j - (-2)/7) + -4. Which is smaller: m or 0?
0
Let r be 3/8*(42 - 486). Is -166 greater than r?
True
Let w be (-10)/15*(-54)/4. Suppose -w*k - 78 = -3*k. Which is smaller: k or -12?
k
Let x(q) = -4*q**2 - 4*q - 7. Let s(o) = -o**2. Let a(v) = -3*s(v) + x(v). Let l be a(-4). Which is smaller: -9 or l?
-9
Let a = -0.5 - -0.6. Let o = a - 0.3. Suppose -3*d = 4*g + 3, 5*d + 3*g = 2 + 4. Do d and o have the same value?
False
Suppose 3*o + 0*o - 14 = 5*w, -2*w + 2*o = 8. Which is greater: 2/25 or w?
2/25
Let c be 4/(-1) + (-20376)/(-11370). Let v = 3/379 + c. Are v and -1 equal?
False
Let i be (-4)/14 + 45/84. Suppose 9*p + 1028 - 416 = 0. Is i <= p?
False
Let v = 11794 - 412724/35. Let c = v - 3/35. Is 1 > c?
False
Let u(x) = -x**3 + 9*x**2 - 10*x + 1. Let v be u(7). Let o = v + -30. Let f = 2/97 - -33/3104. Which is smaller: o or f?
o
Let c(m) = m**2 + m + 4. Let s be c(4). Let h = 1842 + -1818. Is h greater than or equal to s?
True
Let m = 5.15 - 5.35. Which is greater: m or 15?
15
Let r be 0 - 0 - 2/5. Let n(u) = 3*u - 7. Let q be n(2). Let w be 4 + q + -1 - 2. Does r = w?
False
Suppose -2*z - g + 57 = 0, 4*g = z + 3 - 36. Let a = z - 23. Which is bigger: -1 or a?
a
Suppose 0 = -d - 4, 88*g - 83*g + 2*d = -13. Which is bigger: g or 13/132?
13/132
Let x be 0 + 2/3 + 1/3. Is x >= 9/394?
True
Let i = -663 - -711. Is i greater than or equal to -0.05?
True
Let h = -37 + 38. Let d be 9*3/(0 - h). Which is greater: d or -25?
-25
Let l(x) = x - 15. Let i be l(9). Let d = 8 + i. Let j be d/(-8)*(-4 - 0). Is 0 less than j?
True
Let y(v) = -v**2 + 3*v - 7. Suppose -3*b + 5 = -b - m, -15 = -4*b + m. Let z be y(b). Suppose 4*q = 7*q + 48. Which is greater: q or z?
q
Let s be 3*(-7)/42*14. Is -18 != s?
True
Let a be -5 + 2 + 2 + 4. Let u be 1/3 + (-55)/3. Let c be (-2)/(u/(-3))*(3 + -12). Is c less than a?
False
Suppose 0 = -a + 2, 3*i - 3*a = -8 - 4. Let c be (6 - 3)*16/6. Let u = 7 - c. Which is greater: u or i?
u
Let y 