l(a). Which is smaller: q or 6?
q
Suppose 4*n + 3*t - 65 = 0, 5*n - t - t = 110. Are n and 20 equal?
True
Suppose 4*u + 52 = -9*u. Let h be (-6)/4*(-4)/(-3). Is u < h?
True
Let q(d) = -6*d - 17. Let k be q(-4). Is k at least as big as 7?
True
Suppose -5*r - 4 = -24. Suppose -19 = r*h + k, 2*h + 3*k - 4 = -1. Is h greater than -6?
False
Suppose 2*f = 5*r - 17, 29 = 4*f + r + 8. Let z be f - 2 - (-32)/(-15). Do -1 and z have different values?
True
Let q = 1 + -1. Let a be 12/64*28 + -5. Which is smaller: q or a?
q
Let f(v) = v**2 - 4*v + 1. Let k be ((-1 + -17)/3)/(-2). Let w be f(k). Let y be (w + 3)/(2/(-1)). Which is smaller: y or 0?
y
Suppose -c = c + 624. Let u be 2/(c/(-118)) + -1. Let s = 1/13 + u. Is -1 at most s?
True
Let h = 1 + 6. Let f be (-1)/h*(0 + 1). Suppose -3*z + 1 = -2*z. Which is smaller: f or z?
f
Suppose f = 5*u - 4*u - 6, 0 = -2*u - 3*f - 8. Let o = 5245 + -1064733/203. Let i = 601/812 + o. Is u greater than i?
True
Suppose 5*f = 3*z + 28, 21 = z + 5*f - 3. Is z less than 2/95?
True
Suppose 4*u = 2*u + 52. Suppose 2*c - 5*p - 35 = 0, -39 = -5*c + 5*p + u. Is c smaller than 11?
True
Let c be 2/(-6) + 2/(-3). Let z(d) = -d + 6. Let f be z(5). Is f greater than or equal to c?
True
Suppose 2*b + 48 = -4*b. Is -6 bigger than b?
True
Let s = -3.4 + 21.4. Let p = s - 19. Suppose -u + 2*u - 1 = 0. Are p and u equal?
False
Let j = 4 - 6. Let l be -1 - (0/j - 0). Let k = -209/5 - -42. Which is greater: k or l?
k
Let c = 54 - 53. Is c <= 15/7?
True
Let z be 1 + (-32)/14 - -1. Suppose 4*p - 3*c - 53 = -0*c, 5*p = 5*c + 70. Suppose -3*h - 2*h = -u + 15, -p = 3*u - h. Which is bigger: u or z?
z
Let d be -3 + 1 - 5/(-3). Let n be 116/(-56)*46*1. Let r = n - -95. Are d and r non-equal?
True
Let s = 1.25 - 1.15. Is s at least as big as 21?
False
Let g = 68 + -16. Suppose 3*c - 2*p - g = 2*p, -2*c + 5*p = -44. Suppose 5*w + c = w. Which is greater: w or -2?
-2
Let x = 1 - 1. Let v = 736/187 + -42/11. Is v greater than x?
True
Suppose 6 + 14 = -4*p. Let x = p - -3. Let f be (22/33 + 5/6)*-2. Which is bigger: f or x?
x
Let m = -5 + 2. Let k be -2*m/(-9)*9. Is k < -0.1?
True
Let p(u) = -6*u - 24. Let c be p(-7). Suppose -w + 6 = -4*f, -w - 4*f = -4*w + c. Suppose 3*j = 4*j. Which is greater: w or j?
w
Let x(w) = w**3 + 8*w**2 + 8*w + 7. Let b be x(-7). Suppose -4*u + 2*n + 0*n + 26 = b, 4*u - 4*n = 28. Are 3 and u nonequal?
True
Let i = 11 + -8. Let d = 4 - i. Which is greater: 1/4 or d?
d
Let r = 4 + -1. Suppose -4*a = -r*a. Let j = 0.1 - 0.1. Is a > j?
False
Let w be (0 + 1)/(-1 + -2). Let v = 0.97 + -1. Let y = 3.03 + v. Which is bigger: y or w?
y
Suppose 3*n - 30 = 8*n. Let f(x) = -5*x + 1. Let s be f(1). Let t = n - s. Is t at most -1?
True
Suppose 4*i - 2 = 2. Let l = 1 + i. Let g = 1.3 + -1.2. Is l greater than g?
True
Let o = 6.1 - 6. Let w = -0.4 + -6.6. Which is smaller: w or o?
w
Suppose -3 = 4*g - 31. Is 7 at most g?
True
Let p = 1 - -1. Which is smaller: 0.5 or p?
0.5
Let t = 19 + -18. Are -2 and t nonequal?
True
Let w be (-5)/((-10)/4) + -6. Which is bigger: w or -3?
-3
Let m = 0 - 0.1. Let v = m + 0.4. Is 0 bigger than v?
False
Let j = 10744/23 - 467. Which is bigger: j or 1?
1
Let z(y) = -y + 2. Let c be z(-8). Suppose -x = 4*x + c. Let f = -3 + 3. Are f and x equal?
False
Let t = 83263/5 - 908313/55. Let m = 138 - t. Let v(w) = -w + 1. Let z be v(1). Is z > m?
False
Suppose -n + 4*n = 0. Suppose 2*v - 5 = v + b, n = -2*v + 3*b + 6. Is 9 smaller than v?
False
Let g = -3.6 - 0.4. Does 17 = g?
False
Let k(b) = 2*b - 30. Let z be k(15). Suppose 4*q + 9 = 7*q. Which is bigger: z or q?
q
Let a(d) = d**3 + 14*d**2 - d - 17. Let q be a(-14). Let f = q + 1. Is f at least 0.1?
False
Suppose 3*t = 12 - 0. Let y be t/(-18) + (-76)/(-18). Suppose -y*i = i. Is i not equal to 0?
False
Let c be 1*18 + (-5 - -3). Let l be (-6)/8*c/30. Let u = -13 + 13. Is u at least l?
True
Let o = -187.1 - -178. Let n = -9 - 0. Let x = n - o. Which is smaller: x or -0.3?
-0.3
Let h be (-6 - (-4)/1)*-1. Let b = 34/4917 + -107785/137676. Let y = -2/77 - b. Is h less than or equal to y?
False
Let j(d) = d**2 - 7*d + 7. Let u(r) = r - 5. Let v be u(11). Let w be j(v). Let n be 1 + ((-4)/(-2) - 1). Is w less than n?
True
Let h = 0.2 - 0.3. Let q = 0.3 + 0.2. Let l = 0.2 - q. Is l at most h?
True
Let b = -57008/5 - -411646/35. Let z = b + -359. Is 2 != z?
True
Let h = -17 + 10. Let m be (-8)/h + (-3)/21. Which is greater: m or 2/3?
m
Let n be 3/(-7) - 4/(-91). Which is smaller: 1 or n?
n
Let d = -0.35 + -0.05. Suppose -y = 4, -4*t + 5*y + 25 = t. Are t and d equal?
False
Let l be (-31)/2 + (-2)/6. Let s be ((-8)/5)/(2/(-20)). Let q = l + s. Which is smaller: q or 0?
0
Suppose -7 = -v - 2*s, 2*v + 6 + 8 = 3*s. Let o = 24 + -21. Is o greater than or equal to v?
True
Let y be 2*((-6)/(-4) - 1). Let t = -898727/112 + 8025. Let a = -15/16 + t. Which is smaller: a or y?
a
Let k(r) = -3*r + 30. Let c be k(7). Is c >= 7?
True
Suppose -4*d + 31 + 5 = 4*b, 6 = 2*b - 2*d. Which is smaller: 5 or b?
5
Let v(c) = 13*c**3 + c**2 + c + 1. Let q be v(-1). Let h be (-1)/q*2 - 0. Which is smaller: h or 0?
0
Let x = -3 + 0. Let a = 3.1 + x. Let r = 4 - 4.3. Which is bigger: a or r?
a
Let m(z) = z**2 + 2*z. Let r be m(0). Is r at least as big as -1?
True
Let w = 3.95 + -4. Let d = w - -0.25. Let v = d - -0.8. Is v equal to -1?
False
Let g = 0.063 + -0.09. Let w = g + 2.927. Let y = w + -3. Is -0.2 < y?
True
Suppose c = c + 7*c. Is c equal to 7/6?
False
Let v be 2/(-7) - 26/56. Are v and -2 equal?
False
Let k = 4 + -2. Let s be 5/(-28) - k/8. Suppose u + 0*q + 1 = -3*q, -2*u - 2 = -3*q. Is u > s?
False
Let l = 3 + 1. Suppose -5*n - a = -1, -5*n = -5*a + 13 - 38. Is l != n?
True
Suppose 0 = -2*f - r + 16, 0 = -f - 0*f - 4*r + 15. Is f < 7?
False
Let w be (-45)/(-30)*(-19)/6. Are -4 and w unequal?
True
Let c = -2.95 + -0.05. Let k = 2.6 + c. Let o = -0.3 - k. Is -2 equal to o?
False
Suppose 2*i - 4 = 3*m - 2, -4*i - 14 = 3*m. Let q be (6 + -5)/((-2)/5). Is q <= m?
True
Let j = -19 + -21. Which is greater: -41 or j?
j
Let p = 823/505 - 3/101. Is p greater than 2?
False
Suppose -5*z - 8 - 1 = 2*b, -3 = z + b. Which is smaller: z or 2/7?
z
Let z = 2147 + -281255/131. Is z > -1/2?
True
Suppose 5*o + 5*z + 120 = 0, z = 2*o + o + 80. Which is smaller: o or -1?
o
Let o be ((-2)/3)/(2/6). Let x be (o + 5)*(-10)/6. Let l be (-6)/20*x/6. Are 1/4 and l nonequal?
False
Let s be ((-3)/4)/(4/32). Do s and -3 have the same value?
False
Let j = -0.08 + 1.28. Let b = j + -2.2. Which is smaller: 0 or b?
b
Let q = -94 + 129. Which is greater: 36 or q?
36
Let k(o) = o**2 + 19*o - 66. Let t be k(-22). Are t and 5 equal?
False
Let m = 5 + -3. Suppose -o = 4*u + 12, 0 = -u + m*o - 0*o - 3. Which is smaller: u or -4?
-4
Let k = -1.3 - -0.3. Let v = k + 1.4. Which is bigger: v or -1?
v
Suppose -v = -3*v. Suppose -3*z - 9 = 4*l, 0 = 2*z + 3 + 3. Is v greater than or equal to l?
True
Let f = -54 + 68. Which is greater: f or 16?
16
Suppose -5 = 5*q - 0, 3*q - 12 = -5*l. Suppose -2*p - 24 = 5*h, p + h - l*h - 6 = 0. Let v be 3/7*8/12. Which is smaller: p or v?
p
Let c be (-7)/(-17)*-5 - -2. Do 1 and c have the same value?
False
Suppose -j = -m - 3, -7*j = -3*m - 3*j - 11. Let h be (2 - (0 - -2))*m. Is -1/2 greater than h?
False
Let o(s) = -s**3 + 8*s**2 - 2*s - 5. Let t be o(6). Are t and 54 unequal?
True
Suppose 3*y + 1 = -a - 5, -3*a = -y - 2. Let z(t) = -t - 15. Let g be z(0). Let c be 5 + -3 - (-21)/g. Is c at most a?
False
Suppose -5 = -3*h + 4. Let w be ((-1)/h)/(2/6). Which is smaller: -1/14 or w?
w
Let d(h) = h**3 + 3*h**2 - 5*h - 2. Let q be 5/((-5)/2)*2. Let r be d(q). Suppose r*c = -c. Which is greater: 1 or c?
1
Let k = -18/7 + 680/259. Is k less than or equal to -1?
False
Suppose -z - 1 = -0*z. Let m be (4/((-44)/3))/z. Which is smaller: -1 or m?
-1
Suppose -3 = p + 3. Let s be (-2 + 5)*(-4)/p. Is s bigger than 1?
True
Let w(t) = -4*t + 2. Let i be w(8). Is -31 at most as big as i?
True
Let z = 88 - -10. Let r = 486/5 - z. Which is bigger: r or -2?
r
Suppose 5*n = -f - 6 + 2, 5*f = -2*n + 26. Let a be (-14)/f - 16/24. Is a smaller than -1?
True
Let l = 25 + -22. Let v be ((-33)/(-9))/(1/l). Is v < 11?
False
Suppose 0 = -q + 4 - 0. Suppose 0 = d - 6 + 2. Is q bigger than d?
False
Let m(i) = -7*i. Let