or -1?
k
Let f be 4/2 - (-3 - -2). Suppose -8*o = -3*o. Let z = f + o. Which is smaller: z or 2?
2
Let c be (-165)/276 - 1/(-4). Let g = c - -102/161. Suppose -3 = -4*x + 2*q + 1, -17 = 5*x + 3*q. Which is bigger: g or x?
g
Let i be 68/14 + (-7)/(-49). Suppose -i = 2*o - 3. Is o less than 1/7?
True
Let i be (1 - -1)*3/3. Let n = i + -1. Which is smaller: n or -1?
-1
Let u(w) = w**2 - 8*w + 8. Let r be u(7). Let j be (-1*r)/(35/(-14)). Is -1 > j?
False
Let t be (56/(-10))/(1/(-35)). Let o = t - 3135/16. Which is greater: o or -1?
o
Let k be (-125)/35 - -3 - 74/(-7). Is k at most 10?
True
Let r = 952/5 + -191. Is r less than -2?
False
Let y(t) = -t - 6. Let v be y(-8). Suppose 2*w + 3 = w, v*l - w - 7 = 0. Which is smaller: 1 or l?
1
Let d = 3 - 5. Let p be (0 - -1)/(d - -3). Which is greater: -1 or p?
p
Let u(w) = w**3 + 7*w**2 + 6*w. Let q be u(-6). Let h be 2 + (80/(-38) - q). Is h equal to -1?
False
Let r(f) = f**2 - 1. Suppose -g - 4*g = 0. Let w be r(g). Is w not equal to -1/15?
True
Let d be 1/(-3 - -2) + -2. Let z(f) = -f**2 + 6. Let s be z(-3). Are d and s non-equal?
False
Let c(a) = a**3 + a**2 - 5*a - 6. Let r be c(-2). Is r greater than or equal to -4?
True
Suppose 0 = -6*x + 2*x. Which is smaller: -3/23 or x?
-3/23
Let d = -1 + 0. Which is bigger: d or 0?
0
Let c be (-95)/(-30) + 1/(-6). Let s be (-2)/(-1 + c) - -1. Let j = -1676/143 + 150/13. Which is smaller: j or s?
j
Suppose 5*d - 5 = -0*d. Suppose 0 = 6*k + 5*k - 11. Is k greater than or equal to d?
True
Let u(m) = -m**3 - 11*m**2 - 10*m + 1. Let b be u(-10). Which is smaller: 1.1 or b?
b
Let y be (-2)/1 - (-9 - -1). Suppose -2*o = 2*l - y, 0*o + 5*l + 21 = 4*o. Which is bigger: 3 or o?
o
Let f = 54322/721 + -1080/103. Let l = f + -65. Let u = -2/99 + 107/396. Which is smaller: u or l?
l
Let a be 24/(-40) - 19/(-15). Are a and 2 non-equal?
True
Suppose -f = -4*q - 10 - 6, -5*f - 40 = 4*q. Let w = 3 - 8. Is f equal to w?
False
Let z = 1.73 - 1.8. Let i = z - 0.03. Which is smaller: i or 2/3?
i
Suppose 0 = 3*w + 1 - 4. Suppose 0 = 2*x - 5 + 1. Suppose x*b - 3*b - 2 = 0. Which is greater: b or w?
w
Let h = 4.4 - 0.4. Let o = 0 + h. Are -0.1 and o non-equal?
True
Suppose 3*b + 11 + 1 = 0. Let q = b - 0. Let j = 2 + -7. Is j bigger than q?
False
Let q = 0.1 - 0.05. Let p = -10.05 + 9. Let a = q + p. Is 2/5 greater than or equal to a?
True
Let q be 0 - (-1 + 3) - -2. Let n be (-2)/(4 + -2)*q. Which is smaller: n or 2?
n
Suppose c - 1 = 5. Let s(p) = p**3 - 7*p**2 + 7*p - 5. Let k be s(c). Suppose 4*i = -v - 0*v + 9, 4 = 2*i. Does v = k?
True
Let i = 1126/21 + -49/3. Let j = 37 - i. Is j smaller than 1?
True
Let p = 3 + -12. Is -2/3 != p?
True
Let z = -1 - -1. Suppose b = -s - 3*s + 8, 3*b - 13 = -s. Which is greater: s or z?
s
Let k = -0.98 + 1. Let g = 0.1036 + 0.8964. Which is smaller: k or g?
k
Let f be -2 - 1882/70 - 1. Let h = f + 148/5. Which is bigger: 3 or h?
3
Suppose -3*o = -j + 3, -5*j + 15 = -0*j - 2*o. Let a = -7 - -11. Let s = -1 + a. Is s > j?
False
Let t(x) = x**2 - 7*x + 3. Let k be t(6). Let a be ((-30)/2)/k + 0. Is a != 5?
False
Let c = -10 - 0. Let w = c - -12. Do w and 1 have the same value?
False
Let d = 34 - 20. Which is smaller: 15 or d?
d
Let i be 1 + (-48)/(-20) + -3. Let d = -12/11 - -35/22. Do i and d have the same value?
False
Let l = -5 - -11. Let g be -6*(-3)/l - 2. Which is smaller: 3/5 or g?
3/5
Suppose 6 = 4*r - r. Let i be 4/7 + (-6)/231. Which is smaller: r or i?
i
Suppose 3 - 7 = 2*d. Do d and -2/9 have the same value?
False
Let q(c) = -c**2 + 10*c - 4. Let t be q(9). Suppose -j = 4*i, 0*j = -t*i - 4*j. Is -2/73 not equal to i?
True
Suppose -28 = 5*j + q, 0 = 4*q + 3 + 9. Let v be 2/j + (-504)/(-1285). Let g = v - -532/2313. Are 0 and g nonequal?
True
Let u be (1/4)/(1209/52). Is -1 equal to u?
False
Let q = 1 - -5. Suppose 3*p - 13 = -4. Suppose 2*d - p*n = 3*d + 8, 3*n = 3*d - 24. Is d less than q?
True
Let t = 0.05 - -0.15. Let p = -335/4 - -83. Is p <= t?
True
Suppose -2*h + 4*m = -34, 2*m + 7 = 3. Is 13 less than or equal to h?
True
Let s(k) = k**3 + 6*k**2 - 2*k - 8. Let c be s(-6). Let l = -25 + 35. Suppose 20 = 5*q + 4*j, -c*q - 6*j + l = -4*j. Are q and -3 equal?
False
Let h(u) = -u**2 + 5*u + 4. Let i be h(6). Let k be 6/(i + 5/2). Suppose -k = -3*j, -j - 2*j + 12 = 3*a. Is a bigger than 1/8?
False
Let f = -98 + 97.8. Is f less than -2/3?
False
Suppose -4*g + 3*x = 5, -3*g - 2*g = 2*x + 12. Let d be -4 - (3 - 5 - g). Is -4 != d?
False
Let x = 30 + -20. Let a = x + -10.6. Is a at most -2?
False
Let m(r) = r**3 + 16*r**2 + 28*r. Let b be m(-14). Which is smaller: b or -1/235?
-1/235
Let r = 111/1016 + 2/127. Let d = -1/40 + r. Do d and 0.1 have the same value?
True
Suppose -i + 24 = 3*i. Suppose 0 = -h + i*h + 5. Are -2/15 and h nonequal?
True
Let a(w) = -w + 18. Let p be (6 - 7)*(-14 + 1). Let d be a(p). Is 4 bigger than d?
False
Let r be 11/4 - (-1)/4. Let z be 1/((-6 + 3)/r). Is -8/5 >= z?
False
Let k(m) = -2*m - 2 - 4 + 3*m. Let w be k(6). Is 4/3 at least w?
True
Suppose 2*j - 40 = 6*j. Are -10 and j equal?
True
Let x(d) = d - 6. Let p(j) = j**2 - 8*j - 13. Let w be p(10). Let r be x(w). Is r at least as big as -3/5?
True
Let n(c) = c**2 + 2*c - 3. Let g be n(2). Suppose -2*p - 9 = -g*p. Let u be p/(-3) + 6/8. Is u >= 0?
False
Let k(o) = 2*o - 10. Let q be k(5). Let j(p) = -p**2 - 3*p + 3. Let b be j(-3). Let h = b - 4. Which is smaller: q or h?
h
Let a = 152 + -110. Is 42 at least as big as a?
True
Let y = 4617541 + -1740814120/377. Let r = 41/13 + y. Which is smaller: r or 1?
r
Let o = 0.4 + -0.5. Is o greater than -10?
True
Let w be 196/(-48) + (-2)/12. Let i = w - -4. Are 14 and i non-equal?
True
Let c = -0.4 + 0.39. Let z = c + -0.39. Is 2/5 at least as big as z?
True
Let g = -382 - -9544/25. Is 1 less than g?
False
Let h be ((-14)/(-6))/((-8)/288). Let u be 2 - (-3)/(h/58). Which is bigger: 1 or u?
1
Let d be 11/9 - 16/72. Is d less than or equal to -1/19?
False
Let u = 6 - 9. Let q be (-6)/18 + 5/u. Let b be 1 + q*21/60. Which is bigger: b or -1?
b
Let l = 968/23 - 42. Which is smaller: l or 1/3?
l
Suppose -4*c - 2 = 2*n, -c - 4*n - 16 = c. Suppose 0*a + c = a. Let s be (10/(-4))/(-5)*0. Is s != a?
True
Let f be ((-4)/(-8))/((-2)/20). Suppose 0 = -3*t - t + 20. Let k be (1*t)/(f + 6). Which is smaller: k or 6?
k
Let p = 84 - 88. Is -54/11 greater than or equal to p?
False
Let j(l) be the second derivative of l**3/3 - 3*l**2/2 + l. Let t be j(2). Let u(c) = c**2 + c. Let q be u(t). Is q greater than 1?
True
Let t = 2/137 + -147/685. Let p be (-2 + -5)/((-1)/2). Let c = p - 15. Is t smaller than c?
False
Let p(k) = k**2 - 8*k. Let a be p(8). Let q be (0 + 1 + -1)/(-1). Let m be 1 + -4 + (q - -2). Do m and a have the same value?
False
Let b = -66 + 60. Is b at least as big as -6?
True
Let j = 104 - 150. Let t be 6/8 - j/(-8). Is t equal to -2?
False
Let f = -312 + 468. Let i = 1090/7 - f. Let h = 2 - 2. Which is greater: i or h?
h
Suppose -2*r + 1 = -1. Let l be 21/12 + 2/8. Let t be (r/l)/((-14)/8). Which is smaller: t or -1?
-1
Let o = 1 + -7. Let v = o + 6.07. Let j = -0.07 + v. Which is smaller: j or -2/3?
-2/3
Let d be (9/3)/3 - -3. Suppose -7 = -d*s - 0*z - 3*z, -s = 3*z + 5. Is s greater than or equal to 5?
False
Let d be 3/1 - 84/14. Let g be (3/(-9))/(5/d). Let k = 63/2 + -31. Which is smaller: g or k?
g
Let n(u) = u + 2. Let h be n(-2). Is -2/67 > h?
False
Let v = -8.2 - -8.3. Let k = -2/199 + -786/995. Which is smaller: k or v?
k
Let q be (-4)/10 + 240/725. Which is smaller: 0 or q?
q
Let k(p) = p + 2. Let h be k(1). Suppose 0 = 4*j + f + 24, 3*j - 5 = -h*f - 14. Which is smaller: -8 or j?
-8
Let k = 0.4 + -1.4. Let m = k - -6. Which is greater: m or 1?
m
Suppose 0 = 5*d + d. Is d < 0?
False
Let l(q) = q**2 - 6*q + 3. Let m be l(6). Let v be -3*(0 - (-1)/m). Let c be (0 + 1)*(-2)/3. Which is smaller: v or c?
v
Suppose -2*x + 3*l + 24 = l, 0 = -l - 4. Which is smaller: 7 or x?
7
Let g be 1 + ((-2)/5)/(1/10). Let j be (-12 + 3)/((-5)/(-1)). Is g smaller than j?
True
Suppose 0 = 3*q - 6*r + r + 5, 4*q + 5*r = 5. Suppose q = -j + 3 - 1. Suppose 0 = -j*m + m. Which is smaller: m or 1?
m
Suppose 0*n - 3*n - 57 = -5*a, a - 2*n = 17. Suppose 4*i - i + a = 0. Is i > -3?
False
Let u be 2*(-1)/(-2)*2/(-1). Which is greater: 0.