ler: a or -3/10?
a
Let s(p) = -p**2 + 1. Let m be s(-1). Suppose -14 = 5*j + 4*k + 18, -3*j + k - 9 = m. Let a be (-12)/j + 22/(-6). Is 4 <= a?
False
Suppose -5*h = 10, -h + 30 = 5*q - 6*h. Suppose -23 = -q*a + 5*o, 5*a - 4*o - 22 = -0*o. Which is smaller: 3 or a?
a
Let l = -2.13 + 0.13. Which is smaller: 1 or l?
l
Let p = 23.1 + -22. Let w = 1 - p. Which is bigger: -0.5 or w?
w
Let w(y) = y**3 - 9*y**2 + 1. Let k be w(9). Let q be (-1)/(3*k/9). Is -2 at least q?
True
Let o = -0.27 + -0.03. Which is bigger: 1/6 or o?
1/6
Let q be (1/(-3))/((-1)/9). Let s(o) = o - 9. Let v be s(5). Let k = q + v. Is k greater than -1?
False
Let l be ((-47)/(-2))/(-4 + (-54)/(-12)). Is l < 45?
False
Let m = -26 - -26.02. Let x be (3 + 0 + -1)/(-1). Do x and m have different values?
True
Let i = -0.4 - -1.4. Let z be 0/(-1) + (-4)/6. Which is smaller: z or i?
z
Let u be 1 - 1 - (-1)/(-5). Let b = -627/5 - -125. Are u and b equal?
False
Suppose 4*c - 4*p = -3 - 9, 0 = -3*c - p - 1. Do -141 and c have the same value?
False
Let l(v) = 3*v - 14. Let n be l(9). Which is bigger: 14 or n?
14
Suppose r + r - 4 = 0. Suppose -4*a = r + 2. Let v = 1 - 2. Is a equal to v?
True
Suppose 3 = -3*u - 4*s + s, -4*u = -5*s + 4. Let d be u/(3 - 0)*0. Let g = -7 - -5. Which is smaller: d or g?
g
Let s = -0.16 + 0.06. Is s greater than -0.3?
True
Suppose -4*v = 3*y + 4, -5*v + 11 = -2*y - 7. Let p(k) = -6*k + k**2 - 1 + 2 + 0*k**2. Let c be p(5). Is y at most c?
True
Let n = -87/155 - -5/31. Which is smaller: -2/25 or n?
n
Let h = 2 + 0. Let u = h - 0. Let k be 8/10 + (-2)/(-10). Which is smaller: u or k?
k
Let q = -86941/12 + 7250. Let k = 21/4 - q. Which is smaller: 1 or k?
k
Let k(r) = 2*r - 3. Let l be k(3). Suppose 3*p - 12 = -5*h, -5*p + l = 4*h - 17. Let d be 2/(-6)*(-5)/(-15). Which is greater: d or h?
h
Let t = -8 - -11. Suppose t*d - 4*c + 0*c - 4 = 0, -5*d = 2*c + 2. Is d less than or equal to 1?
True
Let f be 3*-4*(-3)/18. Suppose f*w - 6*w + 36 = 0. Let s be 22/6 + 3/w. Which is smaller: s or 2?
2
Let a(y) = y**2 + 2*y - 1. Let q be a(-3). Suppose 0 = 2*n + q - 8. Which is bigger: 2 or n?
n
Suppose 1 + 4 = w. Which is bigger: w or 6?
6
Suppose -5*q = -8*q. Let l be (q + -5)*4/(-5). Suppose -3*a = 3*b - 9, 3*b - a = -5 + 14. Which is bigger: l or b?
l
Let x = -49/3 - -149/9. Suppose -2*l + 3 - 1 = 0. Which is greater: x or l?
l
Let f be 99/(-88) - (-1)/2. Which is smaller: f or 0.2?
f
Let x = 8 + -3. Let c = -4 + x. Let h = 3.1 + -3. Which is smaller: c or h?
h
Let h = 76353501 - 5804542685/76. Let v = -22061 - h. Let k = -2/19 - v. Are 0 and k equal?
False
Let o be (-4)/10*(-21)/14. Which is smaller: o or -3?
-3
Let z = 26 - 16. Let y(o) = -o**3 + 10*o**2 - o + 12. Let j be y(z). Suppose -3*q = 2*q - x - 2, -j*x = -4*q - 2. Which is greater: q or 2?
2
Let p be (-24)/(-1)*13/2. Let z = p + -1090/7. Let r(d) = d**2 - 4*d + 3. Let s be r(3). Which is bigger: z or s?
z
Let g be (-2)/(-8) - 3379/124. Which is smaller: g or -26?
g
Let g = 0.3 - 0.2. Suppose -r - 7 = -3*q, -r = -0*r - 5*q + 17. Let v be ((-1)/7)/((-4)/r). Is g bigger than v?
False
Let r(i) = -5*i**3 + 6*i**2 - 5*i - 3. Let p(l) = 2*l**3 - 3*l**2 + 2*l + 1. Let h(a) = 7*p(a) + 3*r(a). Let q be h(-3). Which is smaller: q or 3?
q
Suppose 18 = 5*h + 13. Let m = -349461/52 + 6720. Let k = m + 2/13. Is k at most h?
True
Let k = -163/3 - -54. Is -4 at least as big as k?
False
Suppose 6 = -10*m + 7*m. Are 7 and m non-equal?
True
Let x = 8 - 8. Are 8/9 and x unequal?
True
Let a = 0.17 - 1.17. Let h = -1 - 3. Is a at least as big as h?
True
Let p be 2/(-7) - 6/(-21). Let v = -8 - -22. Suppose 18 = 4*y + 5*q, -5*q = 5*y - 3*q - v. Which is smaller: p or y?
p
Let s be (-2 + 0)*(0 - 1). Let t(i) = i**2 + 5*i - 5. Let h be t(-7). Let l = -7 + h. Is s not equal to l?
False
Suppose 2*b = 6*b. Let i = 1 - b. Is i equal to 0?
False
Let o = -42 - -45. Which is smaller: 13/5 or o?
13/5
Let s = 151 + -148. Let r be 1/(1/(1*5)). Which is bigger: s or r?
r
Let d = 27 + -27. Is -3/26 at least d?
False
Let x(w) = w**2 + 10*w + 10. Let j(m) = -10*m + 1. Let p be j(1). Let f be x(p). Are 4 and f nonequal?
True
Let d be (8/14)/((-6)/(-56)). Do 1 and d have the same value?
False
Let w be 1 + (2 - 3) - -1. Do 20 and w have the same value?
False
Let l(i) = 3*i**3 - 2*i**2 + 2*i - 1. Let p be l(1). Suppose 4*t + 16 = 0, -5*h + 3*t = -p*h - 12. Is h greater than -0.08?
True
Suppose 4*k + 6 - 2 = 0. Let x(r) = -2*r**2 - r + 3. Let v be x(-2). Let w be v/39*(k + 0). Is -1 at least as big as w?
False
Let m(z) = z**3 + 2*z**2 - 2*z + 2. Let v be m(-3). Do -18/17 and v have the same value?
False
Let r(s) = -s + 3. Let p be r(3). Let b = 2 - p. Which is smaller: 0 or b?
0
Let p(i) = -7*i**3 + i. Suppose 0 = 5*a + 6*y - 2*y + 7, 12 = -4*y. Let s be p(a). Let w = 4 + s. Is -4/7 at most w?
False
Let c = -3 + 7. Which is smaller: 13/3 or c?
c
Let a be ((-15)/50)/(4/((-8)/11)). Do a and 0 have the same value?
False
Suppose -3*f + 15 = -6. Let c(g) = -g**2 + 8*g - 7. Let q be c(f). Is q equal to 0?
True
Let k(d) = 6*d**2 - d - 1. Let g be k(-1). Suppose -2*c - 4 = -g*c. Which is smaller: 2 or c?
c
Let h(n) = 2*n + 2. Let x be h(2). Let d = 1 - x. Which is greater: d or 0?
0
Suppose 5*j + 8 = 3. Let c = -53 - -213/4. Which is smaller: j or c?
j
Suppose 0 = -5*f + 4*h - 12, h - 15 = -f - 4*h. Which is bigger: 1/11 or f?
1/11
Suppose 3*p - 8 = -p. Let r = -2 + p. Let u be 16/18*6/(-8). Is r at least u?
True
Let l = -0.8 + 0.65. Let o = l + 0.05. Let b = -7 + 3. Which is smaller: o or b?
b
Let z(v) = v**2 + 14*v - 2. Let n be z(-14). Suppose 3*s = -b + 63, 0*s - s + 34 = -4*b. Let q be (-2)/(-3) + s/(-6). Which is smaller: q or n?
q
Let v = 0.1 + -0.1. Let l = v + -0.1. Suppose -x - 4*q - 19 = 0, 3 = 2*x - 2*q + 1. Which is bigger: l or x?
l
Let o = 18 - 18. Are o and -2/7 nonequal?
True
Let h(l) = l**2 + 8*l. Let v be h(-9). Let p = v - 9. Let y = 137/170 + -12/17. Are p and y equal?
False
Let q = -5 + 4. Let i = 216 - 1086/5. Which is smaller: q or i?
i
Let j = 24.26 + -0.26. Which is smaller: j or 0?
0
Let z(f) = -f**3 + 2*f**2 - f. Let n be z(1). Which is smaller: 1/36 or n?
n
Let r(p) = -53*p**2 - 2*p - 3. Let q be r(-3). Let b = -1887/4 - q. Let j be (2 - 2)/(-2) - -1. Is j > b?
False
Let y(x) = -8*x**3 - x**2 - x - 1. Let r be y(-1). Let o = -2 + r. Which is smaller: 6 or o?
o
Let w = -4.93 - 0.07. Let r = w - -5.4. Is r at most 0.1?
False
Suppose 9 = 5*m - 11. Suppose -4*k = -p + 4, -p - 2*k = 2*k + m. Is 0 at least as big as p?
True
Suppose 0 = -20*n - 202 + 582. Which is smaller: n or 35/2?
35/2
Let u = -55 + 50. Is u greater than or equal to -17/3?
True
Let n = -2.27 - -0.69. Let w = 1.4 + n. Let k = w + -0.02. Which is smaller: k or -1/2?
-1/2
Let g(w) = w**3 + 5*w**2 - w - 5. Let o be g(-5). Let d be ((-68)/20 - -4)*55. Let p be 19/d + 10/(-15). Which is greater: o or p?
o
Let n be 3 + 58/5 - (-8)/20. Is 17 >= n?
True
Let z be (-10)/(-35) + (-694)/1288. Let q = -3/92 + z. Let t = -3 + 3. Which is smaller: t or q?
q
Let z(k) = -2*k. Suppose q + 3*q - 8 = -3*a, -3*a + 13 = -q. Let r be z(q). Is 4 equal to r?
False
Let o(r) = r + 10. Let a be o(-9). Let n = a - 0. Let k be (5 - 5)/(n*3). Does k = -1/7?
False
Suppose 0*o - 2*i = 5*o - 9, i = -o + 3. Let z be 0 + (2 - 2 - o). Is z at least as big as -1?
True
Let c(a) = -a**3 + 31*a**2 + 33*a - 31. Let w be c(32). Let j be (-2)/(-6) - (-2)/3. Is j greater than w?
False
Let v(g) = g**3 - 5*g**2 + 3*g + 4. Let u be v(4). Does u = 1?
False
Let h = -9007/1105 + 137/17. Which is smaller: -1 or h?
-1
Suppose -3 = -3*d - 0. Let m be 1/(-5)*1 - 0. Which is smaller: d or m?
m
Let a = -15/79 - 1308/4345. Let m = a - -1/11. Which is bigger: -1 or m?
m
Let j = -4 - -4.5. Let g = -2.5 - j. Let d = 12.8 - 13. Is g less than d?
True
Let p = -0.023 - 0.187. Is p smaller than -1/2?
False
Let m be -5 - -8 - 2*(1 - 0). Do 1/9 and m have different values?
True
Let k = 24 + -10. Let s be 4/14 + k/(-49). Is s greater than or equal to 0?
True
Let u = 37 - 25. Let i = -10 + u. Which is greater: 3/5 or i?
i
Suppose 0*t - t - 2*a = 0, 0 = -3*a. Suppose y = -1 - t. Do -1/5 and y have the same value?
False
Let j be (4 - 25)/(-3) - 2. Which is smaller: j or 2?
2
Suppose 2*c = -3*c - 30. Let j be (-2)/6 - 8/c. Suppose -x + 2 - 