 smaller: n or u?
u
Let o be (-4)/8*46/(-3). Let v = -7 + o. Is v greater than or equal to 2?
False
Let n(w) = -2*w - 6. Let j be n(-8). Which is smaller: 4 or j?
4
Suppose 7*m - 4 = 2*m + 3*r, 0 = -5*m + 5*r. Which is greater: m or 9/5?
m
Suppose t = 2*k + 6, -4*t - 1 = k + 2. Let i = -7/6 - -16/15. Do i and t have the same value?
False
Let m = 0.107 + -0.277. Which is smaller: -2 or m?
-2
Let z be 20/6*18/(-3). Let j = -12 - z. Let q be 10/j*4/(-2). Which is greater: -4 or q?
q
Let l be ((-21)/(-9))/((-10)/15). Is l not equal to -3?
True
Suppose 4*l + f = -4*f + 29, 4*f - 4 = 0. Let j be l/2 + 4/(-2). Is 1/31 greater than or equal to j?
False
Let z be 28/(-10) + (2 - 0). Which is bigger: 0 or z?
0
Suppose 7*o = -g + 6*o + 11, 3*o - 27 = -2*g. Let k be 4/(-21)*27/g. Suppose 0 = -c - 2*c - 6. Which is bigger: k or c?
k
Let l = -13/3 + 4. Let p = 69 - 46. Suppose 3*i + 2*r + 7 = 0, i + 4*r + p = 4*i. Is i less than or equal to l?
False
Let k = 929/1424 + -8/89. Is 0 greater than k?
False
Let t(n) = n - 1. Suppose 4*d - 2 = -26. Let u be t(d). Let h = -119 + 112. Is u at least h?
True
Suppose 0 = 2*f - 4*d + 2 + 4, -5*f + 5 = -5*d. Suppose -4*z = f*s - 17, -s + 0*z + 10 = 3*z. Which is smaller: 4 or s?
s
Suppose -4*m = -3*y - 20, 0 = 4*m - y - 2 - 10. Suppose 0 = -l + h + 1, -h = 3*l + m + 3. Which is smaller: l or -3?
-3
Suppose 2*r - 7*r = -25. Suppose -3*n - r*g = -10, n + 0*n + 6 = 3*g. Let t = 0.7 - 0.9. Is t >= n?
False
Suppose 6*v - 3*v - 2*p = -3, 9 = v - 4*p. Let f = -1 - 4. Is v not equal to f?
True
Let y be (1 - -5)/(-1 - 0). Let w be (-45)/(-6)*y/9. Do -5 and w have the same value?
True
Suppose 9 = k + 14. Which is greater: -4 or k?
-4
Let b = 699 - 696.07. Let m = 0.07 + b. Are 1 and m equal?
False
Let x(y) = -y + 12. Let d be x(8). Suppose o - 8 = -o, -d*f - 2*o + 12 = 0. Is f bigger than 10/9?
False
Let k be 1/(23/14 - 2). Let w = k + 8/3. Let q = 3/10 + w. Is q greater than 0?
True
Let h = -0.09 - -5.09. Let q = h - 4.9. Let d = -0.3 + q. Which is smaller: d or 0.1?
d
Let x = -927/7 - -132. Which is smaller: 1 or x?
x
Let a(n) = 4*n + 31. Let u be a(-11). Which is bigger: -12 or u?
-12
Let t(s) = s**3 - 6*s**2 + 6*s + 7. Let o be t(5). Let y be (-2)/4 - o/8. Is y < -2?
False
Let f = 10 + -6. Let h = f - 13/3. Is h at most -1?
False
Suppose 0*a + 4 = -a. Let t(q) = -3*q + 3. Let s be t(-3). Let w be 56/(-10) + s/20. Is a <= w?
False
Suppose 0*x = -4*x - 416. Let k be x/(-14) + (-18)/42. Which is bigger: k or 1?
k
Let o = 5 + -4. Let v be ((-12)/(-8))/o - 2. Are v and -2 nonequal?
True
Suppose -20 = -u - 4*u. Suppose -u*a = -2*q + 14, 0 = -2*q - 2. Let v be a/6*(-6)/10. Which is bigger: -1 or v?
v
Let b = -7583/1649 + 78/17. Is -1 at least as big as b?
False
Let u(j) = j**3 - 11*j**2 + 12*j - 16. Let f be u(10). Which is smaller: f or 3?
3
Let k = 4 + -7. Suppose -2 = -p - 0*p. Let v be -1 + p + 1/k. Is v greater than or equal to 1?
False
Let s be (-2 - -3)/(-1) - -2. Let v = -47 - -97/2. Is v at most as big as s?
False
Let p = 3 + -1. Suppose -6*u + 4*n - 10 = -u, -p*n = 5*u - 20. Let i be ((-2)/8)/(2/(-12)). Which is smaller: u or i?
i
Suppose -20 = -4*s + 24. Suppose -4*q = 2*g - 8, -s = -3*g + 1. Let j be (-1)/2 + (-1)/(-1). Is q >= j?
False
Let s = 43 - 87/2. Let d = 4 - 2. Let p = -1 + d. Which is bigger: s or p?
p
Let h = -61 - -4. Let l be (-6)/(-8) - h/(-12). Is l <= -6?
False
Let x = 1.34 - 1.2. Let t = -0.04 + x. Is t < -1/2?
False
Let g be (-1)/1*5/(-10). Which is smaller: g or 3/5?
g
Let g = 10/3 + -193/57. Let f be ((-4)/6)/((-6)/(-9)). Which is smaller: f or g?
f
Let m be 2*1/(-2) - -3. Let h be (6 - m)/((-2)/57). Let i be 1/(-4) - h/168. Which is smaller: i or -1?
-1
Let i = -17 - -25. Let f = 15 - 8. Is f at least as big as i?
False
Suppose -5 = w + 2*d, -4*d - 1 = -5. Are w and -7 equal?
True
Let a(o) = o**3 + 3*o**2 + o + 1. Let l be a(-2). Suppose -l*s + 6 = -0*s. Let y be (-2)/4*s*5. Are y and -6 non-equal?
True
Let o(r) = 4*r - 1. Let z be o(-2). Let l be 2 + (-447)/z + 0. Let g = -51 + l. Which is greater: 1 or g?
1
Let d be (-11)/(-2)*(-6)/(-3). Suppose -5*l + d = -f, 0*f - 4*f - 10 = -3*l. Let q be (l + -2 - 1)*0. Which is smaller: q or 2/5?
q
Suppose 5*z + 15 - 1 = m, 4*m - 5*z - 26 = 0. Let n = 5 - 2. Suppose 3*r - 2 = r, n*r - 11 = m*o. Is -3/5 smaller than o?
False
Let x = 0.09 - 0.09. Let v = -0.1 - x. Is -5 >= v?
False
Let h be (6/(-4))/((-6)/(-8)). Let g be (-32)/14 - h/7. Suppose 6*a + 1 = -5. Is g at least as big as a?
False
Let v = -0.5 - 1.5. Let t = -6 - v. Let i = 9 + t. Is -1/4 at most as big as i?
True
Let h = 176 - 529/3. Let g(w) = -11*w + 1. Let p be g(-1). Is h greater than p?
False
Suppose -m = -l + 4*l, 0 = -5*m + l. Suppose 6*i + 5*x = 2*i - 14, -4*x = 8. Does m = i?
False
Let x = -4.1 - -1.8. Let q = x + 2. Which is bigger: q or 0.2?
0.2
Suppose 4*p = 4*d - 7 + 27, 3*d + 6 = 0. Suppose -7 + p = -4*y. Which is smaller: -2/91 or y?
-2/91
Let r be 3/(-4) - (-27)/84. Which is bigger: r or -2?
r
Suppose 2*l = -x - 7, -23 = 4*x - 0*l + 3*l. Suppose 0 - 4 = s. Which is greater: x or s?
s
Suppose -2*j - j - d = -4, 3*d - 2 = -4*j. Suppose q - j*l = 9, 4*l + 12 = -5*q + q. Let a be 2/(-1)*(-2)/4. Do q and a have different values?
False
Let v be 2 - (10 - 2)/4. Are -3/5 and v non-equal?
True
Let r = -3.1 + 3.1. Let u = 29243/1442 + -11/6489. Let n = -41/2 + u. Do n and r have different values?
True
Let f be (-168)/30*(10 + 1). Let g = f - -62. Is g equal to -0.4?
False
Let f be (22*-1)/2*-1. Suppose 3*l - f = i, 0*l + 4*l + 5*i + 17 = 0. Is 3/5 >= l?
False
Let y = -38 + 151/4. Let v = -31/4 + 147/20. Is v <= y?
True
Let t = -533 + 903. Let c = t - 2586/7. Let s(n) = n + 1. Let g be s(-1). Which is smaller: g or c?
g
Let g = 6.9 - -0.1. Let k = g + -6.9. Is k greater than or equal to 0?
True
Let t(i) = -i - 2. Let l be t(-5). Suppose 3*a - 4*a - 11 = -4*y, -3*y = l*a - 27. Let n be -1*2 - (2 - a). Which is smaller: -2/9 or n?
-2/9
Let w = 111 - 105. Is 31/5 at most w?
False
Let b be 8/20 - 65/(-25). Let m(z) = z**2 - 5*z + 6. Let g be m(4). Are b and g unequal?
True
Let d = 2 + 1. Suppose d = 4*s - 1. Suppose -5*l + 3*l + 2 = 0. Is s at least l?
True
Let r(c) be the first derivative of c**6/360 - c**5/20 - 2*c**3/3 + 1. Let x(o) be the third derivative of r(o). Let f be x(5). Is f >= -1?
False
Let v = 5 - 3. Suppose 5*l = 2*a - 16, -v*l - l + 9 = 5*a. Is -1 != l?
True
Let f = -0.3 - -1.7. Let q = -23.4 + 23. Let v = f + q. Are v and -2 equal?
False
Let v = 31.4 - 34. Let y = 0.6 + v. Which is bigger: 1/6 or y?
1/6
Let f = 5/23 + -71/115. Is -1/3 greater than or equal to f?
True
Let f = 2092 + -8409/4. Let k = f - -541/52. Let d(u) = -u - 1. Let r be d(0). Which is smaller: k or r?
r
Let c be 9/12*((-1 - 1) + 6). Which is smaller: c or -11?
-11
Let a = 8804/51 - 518/3. Is a >= 0?
False
Let m = 3 - 0. Suppose 3*l + 0 = -m. Is -1 less than l?
False
Let w = -261 + 151. Which is greater: 0.1 or w?
0.1
Let g be 0 + (-1)/(-2)*2. Suppose -2*z = 3*j + 4, -g = -2*z + j + 3. Let q = 2/61 + -132/305. Which is smaller: q or z?
q
Let v be ((-6)/(-4))/(9/6). Let h be ((-6)/4)/((-483)/28). Is v not equal to h?
True
Let t(s) = 3*s + 12. Let y be t(-5). Is y bigger than -7?
True
Let t = 154 + -2619/17. Which is greater: 0 or t?
0
Let c(q) = q**3 - 11*q**2 + 10*q + 14. Let g be c(10). Which is smaller: g or 15?
g
Let z = 17 - 14. Suppose -3*i - 3*c + 8 = i, -z*i = -4*c + 19. Which is smaller: i or 3/8?
i
Let p(h) = h**3 - 4*h**2 + 4*h - 1. Let s be 1/4 + (-33)/(-12). Let c be p(s). Suppose -3 = -3*u - 0*u. Is c less than u?
False
Let v be (1 - 1)*9/27. Let j be 0/(2/(-2 + v)). Let w be 9/(-10) - 1/(-2). Which is greater: j or w?
j
Let t = -1/17 + -11/102. Do t and 3/2 have the same value?
False
Let m = -31 + 29. Is m at least as big as 4?
False
Suppose -3*n + 13 - 73 = 0. Let v be ((-15)/n)/(126/(-16)). Which is bigger: 0 or v?
0
Let z be (-14)/28 - (-1 + 70/(-8)). Which is greater: 8 or z?
z
Suppose 4 = -3*d + 13. Suppose -j - 4 = x, 5*x - 5*j + 13 = d. Is x != -4?
True
Let o = -0.023 - 2.277. Which is smaller: -2 or o?
o
Suppose 3*y = 2*p - 13, -2*p + 18 = -4*y - 0*y. Let a be (3 - 3) + (p - 1). Let k be 0/(-2*(1 + a)). Is k >= 1?
False
Let n = -6 + 5. Let d be (-6)/(-8) + n/2. Are -1 and d unequal?
True
Le