-879731/28 + 31423. Let i = -15/28 + u. Which is smaller: i or 4?
i
Let m = 19.34 - 0.34. Which is bigger: m or -2/3?
m
Let k be (-7)/(-42) - 86/(-60). Which is greater: k or 1/3?
k
Let u(n) = n**2 + 4*n. Let i(s) = -2*s + 1. Let f be i(2). Let k be u(f). Let l = k - 0. Which is smaller: l or -2?
l
Suppose x + 2*x + 6 = 0, -4*g - 2*x + 4 = 0. Suppose 1 = -r + 4*w + g, 4*r = 4*w + 4. Suppose 0 = m - 2 - r. Is 3 equal to m?
True
Suppose 4*j + 4*l = -4, -6*j = -j - 4*l - 40. Let s = -5 + j. Is s at most -1?
True
Let o = 83 + -83. Does o = 18?
False
Let q(x) = -x**3 + 5*x**2 - 3*x + 6. Let l be q(4). Let a = -7 + l. Suppose -3*w + 6 = 0, 4*n - 8 = 6*n - a*w. Which is smaller: n or -2?
-2
Let t be ((-3)/(-2))/((-12)/(-16)). Let s(p) = -2*p - 4. Suppose -3*k = -v, 0*v - 5*k + 10 = -5*v. Let f be s(v). Are t and f non-equal?
False
Let n = 3 + -3. Suppose -u = -n*u - 3. Suppose 0*k - 12 = u*k, -9 = 5*l + k. Is -1 < l?
False
Suppose 2*a - 2*r = 44, -3*a + r + r = -67. Which is bigger: a or 24?
24
Let a be (3*3/(-510))/1. Let u be (-1)/(-4)*(-2)/5. Let q = a + u. Which is smaller: q or -1?
-1
Suppose -3*s - 39 = -3*k - 0*s, -4*k + 49 = -3*s. Let a = k + -6. Suppose -3*y - 2*y + 9 = -3*l, 0 = -a*l + 5*y - 12. Is l at least -3?
True
Suppose -2 = u + 4. Let m be -3*(26/u + 2). Let w(l) = -l**3 + 7*l**2 + l - 8. Let d be w(m). Is -2/7 >= d?
True
Let k = -25 - -26. Which is smaller: k or -35?
-35
Let n be 0 - ((-32)/(-56))/(2/7). Which is smaller: n or -11/18?
n
Let p(i) = -i**2 - 7*i - 1. Let a be p(-7). Let m be (5 + -1)/a + 2. Is m less than -3/5?
True
Let y be (-12)/10*-20*8/336. Is y not equal to 0?
True
Suppose -3*f + 4*f + 8 = r, r - 4*f - 14 = 0. Suppose 30 = 5*v - k, 4*v - 3*k - 24 = -6*k. Is r > v?
False
Suppose 3*s = c - 5, -c - 3*c + 3*s = -11. Let o be c*(2 - (-5)/1). Is 14 greater than o?
False
Let l(h) = h. Let f be l(2). Suppose 5*r = c - 3 + 25, -3*r = -f*c - 16. Suppose -4*x - w + 27 = 0, 36 + 6 = 5*x + r*w. Is x < -1/4?
False
Let r be 5/2*20/25. Which is bigger: 5/2 or r?
5/2
Let o = 50 - 90. Let d be o/(-10) - 49/12. Which is bigger: d or 0?
0
Let q = -0.1 + 0.1. Let a = 7 - 6. Is q greater than a?
False
Suppose 0 = -20*j + 16*j - 12. Which is greater: j or -10?
j
Let i be 2/(2 + (-84)/39). Let l = 10 + i. Which is smaller: 0 or l?
l
Let j(w) = -w**2 + 9*w + 1. Suppose 3*g + 4*l - 9 = 2*g, -g + 9 = -2*l. Let r be j(g). Is -1/5 equal to r?
False
Let i be (2 - 1)*2/2. Let q(f) = f**2 + 7*f + 1. Let v = 7 - 14. Let z be q(v). Is z less than or equal to i?
True
Let k = -0.3 + 0.2. Suppose -z - 3 + 7 = 0. Let r = z + -3. Which is bigger: r or k?
r
Suppose 2*k - 13 = -3*y, -k = -6*k - 2*y + 38. Let n be 4/k*(-1 - -1). Let x be 2/3 - (-64)/(-114). Which is bigger: n or x?
x
Let k = 401/4 - 101. Do 2 and k have the same value?
False
Let t be (1 - 23/22)*12. Which is smaller: t or -1?
-1
Suppose 2*o - 2*q = -22, 0*o - 4*q + 51 = -5*o. Are -0.1 and o non-equal?
True
Let k = 13 + -63. Which is greater: -97/2 or k?
-97/2
Let x = -5 - -8. Suppose 0 = 4*g - 0*j - 2*j + 10, 3*g = -x*j + 15. Is g less than 1/3?
True
Let f = -13/90 - 1/18. Suppose 0 = -4*t + 2*d + d - 2, 0 = 2*t - 2*d. Let k = 2 + t. Is f greater than k?
False
Let r(n) = -n + 1. Let i be r(-4). Suppose 5*x + 3*a = 35, -6*x + 2*a = -x - 10. Let k be (-4)/(-2)*(x - 2). Which is greater: i or k?
i
Suppose 0 = -3*c + 5*j - 0*j, 5*j - 35 = -4*c. Suppose -o - 12 = -4*p - 0*o, -22 = -c*p + 3*o. Which is smaller: -1 or p?
-1
Suppose 4 = -5*m - 36. Which is bigger: m or -2?
-2
Let u = -3 + 9. Let j be (-36)/(-21) + u/21. Which is bigger: 3 or j?
3
Let y(w) = -w + 8. Let k be y(5). Let v = k - 4. Let p(f) = -f**2 + 4*f + 4. Let x be p(5). Is v equal to x?
True
Let s = 19 + -1. Suppose -3 + s = 3*n. Let x be n/(-30)*8/3. Is -1 greater than x?
False
Suppose -12 = 4*m + 2*x - 6*x, -4*x + 12 = -2*m. Let g be ((4 + -4)/(-1))/2. Is g < m?
False
Let p(h) = -h**3 + h**2 + 3*h - 3. Let s be p(2). Let l be (s - -1)*(-4)/8. Which is smaller: -1/10 or l?
-1/10
Let s be ((-48)/20)/(-6)*15. Suppose p - 5 + s = 0. Is p greater than or equal to -3?
True
Let r = 5 - 7. Let t = 22 + -22. Which is smaller: t or r?
r
Let x be 92/20 + (-2)/(-5). Which is smaller: 17/3 or x?
x
Let p = -4.3 - -5. Let r = 0.4 - p. Is r >= 0?
False
Let d be 3/(-24)*(1 - 3). Let s = -14.6 + 14. Do s and d have different values?
True
Suppose -4*l + 4 = -0*x - 2*x, 9 = -l - 2*x. Which is smaller: l or -7?
-7
Let r = 261 - 5482/21. Which is smaller: 0 or r?
r
Suppose 3*u - 8*u - 3*s + 56 = 0, -2*s - 6 = -u. Is u <= 8?
False
Let g = -6 - -10. Let c = g + -3.9. Which is bigger: c or -2?
c
Let q = 0.05 - 0.07. Let p = q - -6.02. Let w = -0.1 + 1.1. Which is bigger: p or w?
p
Let j be 9/(-63) - (-2)/(-7). Suppose 3 - 2 = -2*g - 3*p, p = -4*g + 13. Suppose 0 = -v - g*v - 5. Which is greater: j or v?
j
Suppose 3*c + 10 = 8*c. Are -3 and c unequal?
True
Let v be (-1 - 1)/(-2) + 3. Let z = 5 - 4. Suppose -5*x = v + z. Which is greater: -2 or x?
x
Suppose 0 = h + 4*q - 0*q - 25, -5*q = h - 30. Let m be h/2*(-2 + 0). Which is smaller: -6 or m?
-6
Let u be (-1 - (-42526)/(-3))/(-810). Let w = u + -2/1215. Let n = 17 - w. Do 0 and n have different values?
True
Let q = 11 - 10. Let p be 2*(-2)/4 + 4. Is p at most as big as q?
False
Suppose 4*m = 4*d - d - 115, 4*d - 60 = 2*m. Is m less than or equal to -26?
True
Let l be (-42)/(-12)*40/14. Suppose -3*f + l = -8*f. Let w be (-1)/(-3 - -2) - 1. Are f and w unequal?
True
Let w = -123 + 92. Which is smaller: w or -29?
w
Let d = -6 + 4.9. Let j = -0.1 + -0.9. Let z = j - d. Which is greater: -2/7 or z?
z
Let b be 2 + 2/8 + -2. Let x(q) = -q**2 + 2 - 4*q + 3 - 5 + 5. Let t be x(-5). Is b > t?
True
Let q(y) = 3*y - 1. Let a be q(-1). Is -0.5 at most as big as a?
False
Let f(c) = 20*c. Let b be f(1). Is 21 > b?
True
Let s(x) = x + 8. Let l be s(-7). Let d(n) = -2*n**2 + 2*n - 1. Let m be d(l). Which is smaller: 0 or m?
m
Let z = -0.02 + 0.07. Let p = -0.25 - z. Is p <= -1/3?
False
Suppose 6*u = 3*u. Is u smaller than 0?
False
Let a(x) = -4*x + 23. Let w be a(10). Is -18 smaller than w?
True
Let t(g) = g**2 - 5*g + 4. Let v be t(3). Let o(x) = -x**2 - 4*x + 1. Let j be o(-5). Let h be (-2 + j)*v/6. Is h >= 2?
True
Let f be ((-6)/(-8))/((-2)/(-8)). Suppose x - 16 = -8*h + 4*h, 3*x + 5*h - 48 = 0. Suppose 5 = -d - 4*y, -3*y + 8*y + x = 2*d. Is d at most as big as f?
True
Suppose -2*u = -u - 6. Let l be 7/15 - 4/u. Is l > -1?
True
Let o = 1/23 + 39/161. Which is smaller: 0 or o?
0
Let c(j) = j + 3. Let u(y) = -4*y - 11. Let x(h) = 9*c(h) + 2*u(h). Let g be x(-5). Is g bigger than -1?
True
Suppose -3*a = -5*o - 19, 6*a - 5 = 5*a + o. Which is bigger: a or 36/11?
36/11
Let o = 1 + -6. Let h = o + 9. Let d = h + -3. Do d and 0 have the same value?
False
Let f = -46 - -91/2. Do -4/5 and f have the same value?
False
Let o be -1 - (-1 - -2) - (-10)/10. Is -4 less than o?
True
Let w = -1.1 - -10.1. Let n = 9.14 - w. Is 0.1 greater than n?
False
Let f = -5 + 2. Let i = 1 + f. Is -0.2 greater than or equal to i?
True
Let v be -4 + 0 + 3 + 1. Which is smaller: v or 3/25?
v
Let t = -1 + -3. Let b = t - -3. Let l = b + 0. Is -2 at most as big as l?
True
Let k(s) = s. Let h(c) = 5*c - 15. Let z(r) = h(r) - 6*k(r). Let o be z(-7). Is -10 less than or equal to o?
True
Let s = 1.1 + -0.1. Does 48 = s?
False
Let i = -10 - -15. Suppose -4*r = -i*r. Let q be 9/6*2/(-4). Which is greater: q or r?
r
Suppose 3*t = 5*x + 9 + 3, 17 = -4*x - 5*t. Is x < 2/11?
True
Let p be (10/(-6))/(3/(-9)). Suppose -p = -5*h + 4*h. Suppose -o - 2*o = 15, -2*o = -h*c + 10. Are -2/3 and c equal?
False
Let v(x) = -x**3 - 4*x**2 + x - 4. Let t be v(-5). Suppose -5*m + 20 = s, 3*s + 2*s + t = 4*m. Which is greater: s or 2/5?
2/5
Suppose 4*l - 6 = -2. Which is smaller: l or 4/23?
4/23
Let z = -831/7 + 119. Is 46 at most z?
False
Let a = -19 + 37/2. Let r = 1.6 - -4.4. Let v = r - 6.2. Which is smaller: a or v?
a
Let q = -4 + 4.4. Let z = q + -0.6. Which is bigger: 0.1 or z?
0.1
Let r(o) = 3*o - 3. Let a be r(2). Suppose 13 = -3*x + 5*w, -2*w = a*x + 3*w - 7. Is -2/9 != x?
True
Suppose 0*m - 46 = -2*m. Which is smaller: 25 or m?
m
Let u = -52 - -66. Is 16 less than u?
False
Suppose s - 3 + 1 = 0. Suppose -3*f + 5 = 5*b, 3*b - 1 - s = 4*f. Is f less than -2/45