 h = 3 - -3. Let n(j) = -j**3 + 6*j**2 + 2. Let p be n(h). Are 1 and p non-equal?
True
Let c = -2 - -6. Which is smaller: c or 5?
c
Let l(q) = -q - 5. Let m be l(-4). Suppose -3*x + 0*x - 1 = 2*g, 0 = -x - g. Is x <= m?
True
Suppose 2*a = 6*a - 5*s + 35, -s - 22 = 5*a. Does -6 = a?
False
Let t = 0 + 1. Let w = -2/59331 - 10204382/16316025. Let o = w + 6/11. Which is smaller: t or o?
o
Let y(b) = b**3 + 9*b**2 + 7*b - 6. Let j be y(-8). Let u be 7/(-2) + (-1)/j. Let x be (-2)/((-2)/u*4). Is 2/5 at least x?
True
Let g = -0.89 - 0.11. Which is bigger: g or -4?
g
Suppose 0 = -6*f + 4*f + 14. Is 5 bigger than f?
False
Let w be (4/(-10))/((-2)/20). Is 3 at most as big as w?
True
Suppose 0 = c - 0*c. Let h be ((-1)/(1/1))/(-15 + 0). Are h and c nonequal?
True
Let r be 1 + 0 - 0/(-5). Let s be 5/r*(-3)/(-5). Is 3 greater than or equal to s?
True
Let y = 0.18 + -12.18. Let b = 9 + y. Is 0 > b?
True
Let m = -227/2 + 114. Is 109 less than m?
False
Suppose 7 = d - 5*q - 12, 4*d = 3*q + 8. Let g = -29 - -25. Let t be -4 - d/((-2)/g). Which is greater: 0 or t?
0
Let z = -1/27 + 29/54. Which is greater: 0 or z?
z
Let c(s) = s**2. Let w be c(1). Which is smaller: w or 2/5?
2/5
Suppose 3*r - 5*r - 4 = -2*m, m + 22 = -3*r. Let i be (-1)/r - 3/18. Suppose 0*y + 2 = -2*y. Is i less than y?
False
Let r = -8 - -7. Are 0 and r nonequal?
True
Let u be (4/(-18))/(8/12). Is u < -3/10?
True
Let j = 19 - 21.2. Let v = j + 2. Let d(u) = u**2 + 10*u - 1. Let h be d(-10). Is v >= h?
True
Let k = 20/21 - 25/14. Does k = 0?
False
Let p be (-517)/15 - 2/(-5). Let o = p - -34. Which is greater: -1 or o?
o
Let s = 8974/41 + -4338783/19844. Let m = -2/121 - s. Is 1 at most as big as m?
False
Let s = 45 + -30. Is 15 at least s?
True
Let n be 3 + 1 + (-27)/9. Let s = -0.8 - -0.4. Which is bigger: n or s?
n
Let j = -3 + 2. Let a = 1 - j. Suppose z = a*z. Is z bigger than 3/13?
False
Let s = 10 - 16. Let t = -6 - s. Which is smaller: t or -0.3?
-0.3
Let r(l) = 8*l - 3. Let g(j) = -j + 1. Let i(z) = 6*g(z) + r(z). Let b be i(2). Is b less than 3?
False
Suppose 2*h + 6 = -10. Is h bigger than -6?
False
Suppose 2*q + 3 + 0 = -5*w, 4*w + 4 = 0. Let z = 9/10 + -109/110. Which is smaller: q or z?
z
Let g be 6/4 - 4/(-8). Let u be (0 + -1)/((-1)/2). Let t = g - u. Are 3/8 and t nonequal?
True
Let n = -9 - -18. Suppose 0 = g + 3*x + n, -18 = -3*g + 5*g + 5*x. Let r be 6/(-4)*(-12)/g. Is r less than -2?
False
Suppose 0 = -19*l + 18*l + 4. Is l at least as big as 0.1?
True
Let r = 1 + -1. Suppose c + 4*c + 2*p + 1 = r, -2*p = c + 5. Let q be 1/1 + c*-2. Do q and -1/6 have the same value?
False
Suppose 2*p + 2*p = 0. Suppose -12 = -3*j - 3*a - 0, 2*j - 5*a + 27 = p. Which is smaller: -1/3 or j?
j
Let m(h) = -h**2 + h + 2 - 1 + 2*h**2. Let n be m(-2). Suppose 2*v = n*v + 1. Which is greater: 0 or v?
0
Let x(u) = u**3 + 4*u**2. Let t be x(-4). Let h = -0.14 - 0.06. Which is smaller: t or h?
h
Suppose 0 = 4*u - 8*u. Which is bigger: 3/5 or u?
3/5
Let g(l) = l**3 - 3*l**2 - 4*l + 2. Let b be g(4). Suppose 5*s - 38 = -3*k - 9, -b*s - 30 = -4*k. Let o be k/(-20) - (-24)/10. Are o and 1 equal?
False
Let b be -1 + 2 - -1*23. Suppose -u + 10 - 1 = 0. Suppose -5*x - b = -u. Which is greater: -2 or x?
-2
Suppose -4*x + 7 = 2*h - 3*h, -2*x + 8 = -2*h. Let i be -1*x*(-4 - 0). Which is smaller: i or 3?
3
Let f be ((-5 - -2)/(-9))/(3/(-279)). Does f = -30?
False
Suppose 4*s = -0 - 12. Let z be (0 + s)*6/9. Is -11/5 > z?
False
Let h = -8.4 - 0.6. Which is smaller: -2/3 or h?
h
Let h = 22 + -1. Is h != 22?
True
Suppose 90 + 15 = 5*m. Which is smaller: 22 or m?
m
Suppose 2*c - 1 - 9 = 0. Suppose -c*j = 30 + 5. Let h be -6 - -5 - j/6. Is -1/4 bigger than h?
False
Suppose 6 = 5*v + 3*a - a, 2*a - 6 = -4*v. Let b be 0/(4/(-6)*-3). Suppose q + b*q = 0. Is q less than v?
False
Let n = 2375 - 97381/41. Is n equal to -1?
False
Let q be (-8)/(-10)*18/12. Is 1 <= q?
True
Let u be (0 - 3)/(-1) + 2. Suppose -u*o - 5 = -0*o + z, 5*o = -4*z - 20. Suppose 3*k - 2 - 4 = o. Is k bigger than -2?
True
Let h = 2.5 - 0.1. Let w = h - 0.4. Let z = -1 + w. Which is bigger: -2/9 or z?
z
Let c(r) = r + 13. Let d be c(-3). Is 11 smaller than d?
False
Suppose 0 = -6*s - 2 + 2. Which is smaller: -1/55 or s?
-1/55
Let o(p) = -p**3 - 8*p**2 - p - 8. Let f be o(-8). Let g = f + 1. Are g and 1/5 equal?
False
Let m = 10.1 - 8.1. Are 2/3 and m equal?
False
Suppose -160 = 127*j - 131*j. Is 41 at most as big as j?
False
Let m = 131.1 - 131. Which is smaller: 0.105 or m?
m
Let y = -17 - -10. Is y greater than or equal to 1/4?
False
Let u be (2/(-5))/((-1)/(-25)). Let q be (-11)/33*(-6)/u. Which is bigger: 1/3 or q?
1/3
Let f = -12 - -17. Which is smaller: f or 3?
3
Let n(i) = -46*i. Let b be n(1). Let y = -600/13 - b. Is y equal to -3?
False
Let x(m) = 2*m - 6. Let f be x(4). Suppose 3*q = -f*q. Is 0 > q?
False
Let a = 115 - 114.97. Which is bigger: a or 0.6?
0.6
Let q be (36/(-5))/(8/(-40)). Which is smaller: -1 or q?
-1
Let n be (-3177)/12*16/14. Let r = -302 - n. Is r <= 0?
False
Let l(k) = 136*k + 65*k - 65*k. Let n be l(1). Let g = 682/5 - n. Which is greater: -1 or g?
g
Suppose 3*l + 32 = -l. Is l greater than -9?
True
Suppose 5*t - 3*c + 5*c - 105 = 0, c - 5 = 0. Is t smaller than 53/3?
False
Let h = 0 + -0.3. Let q = 6 + -10. Let b = q - -4. Is b bigger than h?
True
Suppose -4*b + 13 = 3*a, 5*b + 4*a = 4 + 11. Is 0.5 greater than or equal to b?
False
Let j be (4/5)/(2/(-15)). Which is smaller: -7 or j?
-7
Let x be (1 - 4) + (-8)/(-4). Let b = 1 + x. Is b less than -2/3?
False
Suppose -3*l + 2*l + 7 = g, -2*l = -g + 22. Suppose 2*v = -k + g, -v + 4*v + 2*k = 20. Which is smaller: v or 2?
2
Suppose -2*f - 10 = -4*q, 0 = -q - 1 + 2. Let z be f/(-2)*(4 - 6). Does z = -5/2?
False
Suppose 0*p + 3*p + 9 = 0. Let d be -1 + -2 + (-2 - p). Which is smaller: d or -3?
-3
Let c(a) = 2*a**3 - 25*a**2 + 12*a + 2. Let z be c(12). Which is greater: z or -1?
z
Let b = 1/41 + -87/205. Let f(d) = -3*d**2 + 2*d + 1. Let v be f(-1). Let i = v + 3. Which is bigger: b or i?
b
Let d be -2 - ((-3)/(-1))/(-3). Let l(s) = s**2 + 3*s. Let m be l(-2). Is d less than or equal to m?
False
Let a be 1*(6/2 - 3). Is a greater than or equal to 1/3?
False
Let g = 14 - 14. Suppose -b = -g*b + 8. Which is greater: -10 or b?
b
Let l be (-6 - 108/(-21))/((-2)/(-56)). Which is greater: -22 or l?
-22
Let x(m) = 23*m. Let t be x(2). Let f = 504/11 - t. Let n = 0 + 1. Which is smaller: n or f?
f
Suppose -36 - 36 = 9*t. Which is smaller: t or -13?
-13
Let u be (-22)/24 + (-1)/4. Suppose -8 = 35*l - 31*l. Which is greater: u or l?
u
Let u be 110/(-3)*30/(-25). Let c be (-4)/22 + (-344)/u. Is c smaller than -7?
True
Suppose w - 5*x + 17 = 0, -4*w + 4*x - 6 = -2. Does 2 = w?
False
Let w be (-2)/14 - 45/(-35). Which is smaller: w or 2?
w
Suppose -4*c - 22 = 2*p, -5*p = -0*c + 5*c + 40. Let s = 10 - 6. Let v be (-8)/3*6/s. Is v >= c?
False
Let n be 4/(-12)*-2*5. Suppose 25 - 23 = s. Is s greater than or equal to n?
False
Let k be 3/42*-22 - -1. Which is smaller: k or -2?
-2
Let p = 44 + -27. Is p equal to 17?
True
Let i be (-6)/(-14) - 152/28. Is -2/7 smaller than i?
False
Let q(t) = 6*t - 5. Let f be q(5). Suppose 4*i - 9*i = -f. Are i and 5 equal?
True
Suppose -3*i = -i + 2*v + 14, -2*v = 5*i + 29. Let c(n) = n**3 + 5*n**2 - 2. Let k be c(i). Do -1 and k have different values?
True
Let y be (-40 + 1)*(-7)/21. Which is greater: y or 14?
14
Let u(s) = 2*s - 2. Let a be u(6). Let h be (15/a)/((-2)/4). Is -3 greater than h?
False
Let f = -8 - -9. Is f at least as big as -4?
True
Let q = 0.8 - 0.8. Suppose 5 - 4 = v. Are v and q unequal?
True
Let a = 10 - 10.03. Let i = -2.03 - a. Is 1/10 greater than i?
True
Suppose -3*d = -d. Let n be d/4 + 1/(-3). Which is bigger: 1 or n?
1
Suppose 0 = 4*b + 16, 4*o - 6*o + 3*b + 20 = 0. Suppose -9 = -5*h + o*h. Is h at least 9?
True
Let h = -345/14 + 397/14. Let t = h + -31/14. Let n = 2 + -1. Which is bigger: t or n?
t
Let s = -2 + 3. Let m = 1.2 - s. Which is smaller: m or 0?
0
Suppose -z = -2*z. Let b = 187/5 - 38. Which is greater: b or z?
z
Let g(a) = 3*a**2 + a. Let c be g(1). Let r = c + -4. Let o = -1 - r. Is 2/7 greater than or equal to o?
True
Let c be 48/(-116)*(-2)/(-4). Let r = c + 20/377. Which is greater: r or 1?
1
Suppose -6 = -3*u, 4