7 = 0. Which is greater: -2 or l?
l
Suppose 5*n + 0*n = 110. Let o be (-532)/n + 4/22. Let d be 6/8*o/(-45). Is d greater than -2/9?
True
Suppose -4*s + 2*c = -3*c - 7, -4*s + c + 11 = 0. Are 3 and s equal?
True
Let t = -0.108 + 2.108. Are t and 7 unequal?
True
Let x(s) = s**2 - s. Let j be x(2). Suppose 8 = 2*d + 3*y, 20 = -4*d + j*y + y. Which is smaller: -4 or d?
-4
Let o = 3 + -1. Let q = 4 + -10. Let g be o/q*-3*1. Which is bigger: g or 2/11?
g
Let n(t) = -2*t - t + 4*t + 0 - 2. Let h be 2*(1/2 + 1). Let b be n(h). Is 0 equal to b?
False
Suppose -3*u = 2 + 4, -2*u = 4*w + 144. Do -35 and w have different values?
False
Let o = -39.11 - -39. Is o equal to 4?
False
Let y be 57/(-19) + 1*10. Is 7 < y?
False
Let x be (-12)/(-21) + (-12)/21 - -2. Is 2/41 not equal to x?
True
Let m = -0.07 + -2.93. Let r = 2.6 - 0.6. Let s = r + m. Do s and -0.1 have the same value?
False
Suppose 26*j - 27*j = 7. Is j < -7?
False
Let u be 2 - (-2 + 3)*2. Let a = -1/492 + 371/984. Is u >= a?
False
Let p = -0.03 + 3.03. Let t = p - 0. Which is greater: -0.2 or t?
t
Suppose -9 = -4*a - 5*a. Which is smaller: a or 3/10?
3/10
Let i be ((-7)/(-4))/(6/(-24)). Let p = -12 - i. Which is bigger: p or -4?
-4
Suppose -5*x - 273 = 3*v + 63, -5*v = 10. Let k be 1 + (x/21 - -2). Which is greater: k or 0?
0
Let z = 15/14 - 831/854. Which is smaller: 1 or z?
z
Let i = 0.79 - 4.86. Let r = i + 0.07. Let g = 3 + -2. Which is smaller: r or g?
r
Let i(l) = l**2 - 6*l. Let o be i(6). Does 3 = o?
False
Let c be (-1)/(-2) + 9/2. Suppose 5*r - 3*o = 23, -3*o = -5*r + o + 24. Suppose 0 = r*u - 0*u - 16. Is u greater than or equal to c?
False
Let i = 2466 - 258928/105. Let r = -19/105 - i. Let y(d) = -d**2 - 5*d - 3. Let t be y(-4). Are t and r equal?
False
Let b be (1 - -4) + -1 + -193. Let i be b/180 - (-8)/10. Are i and -0.07 unequal?
True
Let f = 30 - 29.94. Is f at least -1/2?
True
Let d = 0.6 - 0.4. Let k = -8 - -7.7. Let z = k + d. Are 1 and z unequal?
True
Let l = 0.19 + -0.04. Which is smaller: l or -0.1?
-0.1
Let x be 18/63 + ((-20)/(-7))/4. Which is smaller: 5/27 or x?
5/27
Suppose 3*b + 27 = 4*b - 4*y, -3*y - 45 = -3*b. Let l = 13 - b. Let u be 1/(-1)*(1 - 1). Is u greater than l?
False
Let z = -6/5 - -7/10. Is 4 < z?
False
Let m be 633/(-18) + 3/6. Let c = -36 - -1. Let g = c - m. Which is bigger: g or 1?
1
Let d = 0.15 - 0.14. Is d greater than -1?
True
Let x = 61.3 + -61. Which is smaller: 0.17 or x?
0.17
Let n = -24 - -25. Which is smaller: n or -3.8?
-3.8
Let p = 1 - 0.7. Is p != -1/6?
True
Let n = -0.3 - -0.1. Let t = n - -0.1. Let b = 1 - 4/3. Which is smaller: t or b?
b
Suppose -6*j = -j + 10. Let x(a) = -a - 2. Let b be x(j). Is -2/13 at most b?
True
Let b(c) = c - 8. Suppose -8 = -5*t + 32. Let q be b(t). Which is smaller: q or -1?
-1
Let u be (-882)/(-108) + 10/(-6). Suppose 0 = -2*g + 10 + 4. Are u and g equal?
False
Let r = 2.81 - 1.81. Which is smaller: r or -13?
-13
Suppose 11 = -3*n + 2*w, 4*w + w - 15 = -5*n. Suppose 5*u + 7 = -13, -3*u = -2*j + 16. Is j > n?
True
Let k(v) = -v**3 - 2*v**2 - 5*v + 3. Let a be k(-3). Does a = 27?
True
Suppose 0 + 4 = -2*z - 4*a, -3*z + a + 8 = 0. Suppose -4*u + 2*t = -2*u + z, t = -4*u - 24. Let f = u - -6. Is 2 not equal to f?
True
Let h(p) = -p**3 + p**2 + 2*p + 1. Suppose -2*b = 4*s - 48, -s + 4*s + 5*b = 36. Let f be 1/4 - (-21)/s. Let j be h(f). Which is bigger: 2/7 or j?
j
Let b = 3 - 0. Suppose 7*l - 4 = b*l. Which is smaller: 3 or l?
l
Suppose -5*h + 26 = -3*x, 0*h - 2*h - 5*x + 29 = 0. Is 7 at most as big as h?
True
Let p = 500 - 14003/28. Is 1 at most p?
False
Let y(c) = c - 13. Let t be y(6). Let w = -107 + 533/5. Which is smaller: t or w?
t
Let x(k) = -k**2 + 4*k. Let l be x(3). Let u = -3 + l. Let o be (u/(3 + 0))/1. Which is bigger: 2/11 or o?
2/11
Let h = 6 + -2. Suppose 0 = -i + 3*f + 23, -34 - 2 = -2*i + h*f. Let c = 15/2 - i. Which is smaller: -1 or c?
-1
Let x be 2 - 1 - (-133)/3. Let i = x - 79. Let s = -34 - i. Which is bigger: s or -1/4?
-1/4
Let p be (1/3)/(154/66). Do -1 and p have the same value?
False
Let a = 3.93 + 1.07. Is -3 smaller than a?
True
Let p be (16/(-10))/((-16)/40). Which is greater: -2 or p?
p
Let s(x) = x**3 - 7*x**2 - 9*x + 7. Let c be s(8). Let v be c + ((-39)/(-15) - 2). Suppose -l - 2*l + 2*r + 1 = 0, 4*l + 1 = 5*r. Is v <= l?
True
Let y be (-2 - (-72)/74) + 1. Let m = y + 39/74. Suppose -3*u - 2*j + 4*j = -9, 0 = 3*u - 3*j - 12. Which is greater: u or m?
u
Let b(i) be the third derivative of -i**6/60 - i**5/20 - i**4/12 - 6*i**2. Let d be b(-2). Which is bigger: 7 or d?
d
Let r = 0.44 - 0.54. Let z = 0 + -0.1. Is z at most r?
True
Let t(q) = -q**2 - 2*q. Let s be t(-2). Suppose -3*w - 2*w + 10 = s. Let o be (0 - 3)/(-2 + 1). Is o < w?
False
Let t be ((-5)/(-2))/((-6)/(-12)). Which is greater: 6 or t?
6
Let f be 1 - (27 - (-2 - -3)). Let y be 6/(-9) - (-286)/(-12). Let j = f - y. Is j not equal to 1?
True
Let n(m) be the first derivative of -2*m**3/3 + m**2 - m - 6. Let f be n(1). Which is greater: 5 or f?
5
Suppose t + 2*t = -4*f, 0 = f + 4*t + 13. Let m be (-2)/(f*(-2)/4). Let z = -8 - -8. Which is bigger: m or z?
m
Suppose -5*o + 13 = -4*a, 0 = 2*a - 4*a - o - 3. Which is smaller: -12/13 or a?
a
Let f be 0 + 276/(-8) - 2 - 0. Does f = -38?
False
Let y = 37 + -373/10. Let w(p) = p**2 + 5*p - 7. Let l be w(-5). Let x = -7 - l. Are y and x equal?
False
Let x = 4 + 0. Suppose 0 = 3*a + 3*t, 3*a - x*t - t = 0. Let g = -227/3 - -75. Which is greater: g or a?
a
Let w = -11 - -10. Let l = 1 + w. Is l bigger than 0?
False
Let v = -2.9 + 3. Let f = v - -3.9. Let u = f + -1. Is -0.1 at most as big as u?
True
Let p be (6/8)/((-3)/12). Suppose 0 = -5*q + 5*b - 20, b = 3*b. Does p = q?
False
Let j = -0.09 - -0.02. Let y = -0.14 - j. Is -1/4 not equal to y?
True
Let t = -19 - -12. Let v = t - -12. Are v and 5 equal?
True
Let b = 30 - -32. Suppose 0 = 3*h + 14 - b. Let d = h + -63/4. Are d and -2 equal?
False
Let n = -26 - -19. Do -1 and n have different values?
True
Let x be (-5 - -1)*6/3. Let l be (3 - x/(-3))/(-1). Is 0.2 at most l?
False
Let r be 4/5*(-24)/32. Let z = 3 + -2.9. Which is smaller: r or z?
r
Let h = 7 + -5. Let y = 4 - 1. Suppose 2*u - y + 1 = 0. Which is smaller: u or h?
u
Let v(k) = k**3 + 9*k**2 + 7*k - 6. Let z be v(-8). Let r = 64 + -66.9. Let s = -3 - r. Is z smaller than s?
False
Let w = 0.7 + 0.3. Let j = -0.68 - -0.08. Is j less than or equal to w?
True
Let r = 1/112 - 197/112. Is r equal to -2?
False
Suppose 3*w - y = -19, -2*w + 2*y - 20 = -2. Do w and -1 have the same value?
False
Let z = 9 - 11. Are -5 and z non-equal?
True
Suppose -15*b = -17*b - 8. Is b less than -4?
False
Let w = 109.098 - -0.002. Let j = w - 104. Let u = j - 5. Which is smaller: 0.3 or u?
u
Suppose 3 = -2*q - 7. Let g = -44 + 15. Let n = g - -23. Are q and n unequal?
True
Let c(q) be the third derivative of -1/2*q**3 + 0 + 0*q - 1/24*q**4 - q**2. Let b be c(-5). Is 2 at least b?
True
Let j(h) = -2*h - 3. Let q be j(-2). Let x = 0 - 3. Is q smaller than x?
False
Let a = -19 - -18. Is a less than or equal to -1?
True
Let c be 34/8 + (-7)/28. Suppose -c = x + 2*p, -2*p + p - 7 = 3*x. Is x < -1?
True
Let i = 305673/20 + -15270. Let k = i + -72/5. Suppose 3 = 5*u + 3*p, 5 = -3*u + u + 5*p. Is k less than u?
True
Let m be 10/8 - (-5)/(-20). Suppose 0 = p - m. Is p at most as big as 3/10?
False
Suppose -3*x = n - 17, x + 2*n = 5*x - 26. Let y = -10 + 16. Is y greater than or equal to x?
True
Suppose r = 5*n - 2*r + 85, 13 = -2*n - 3*r. Let b be (42/126)/((-1)/42). Is b bigger than n?
False
Suppose t = 3*g - 14, 7*t - 3*t + 3*g - 19 = 0. Which is greater: t or -37?
t
Let v be ((-8)/(-20))/(2/(-10)). Let c = v + -3. Let q(n) = -n**3 - 4*n**2 + 6*n + 7. Let x be q(c). Is x != 2?
False
Suppose 4*r + 3*t + 3 = 0, -2*r + 0*t = -2*t - 2. Let j = 27/140 - -2/35. Which is smaller: j or r?
r
Suppose 3*k = 5*y - 27, k = 2*y - 3*y - 1. Which is smaller: -0.2 or y?
-0.2
Let m = 0.06 - 1.16. Let d = -1 + 0.9. Let p = m - d. Which is bigger: p or -2?
p
Let i(f) = -f**3 + 0*f**2 - 2 - 6*f + 4*f**2 + 4*f**2 - 2. Let w be i(7). Are 3/2 and w nonequal?
True
Let v be (-1)/(2/(2 - 26)). Suppose -2*f + v = -6*f. Let j be 3 + f - (-2)/(-8). Are j and -1 non-equal?
True
Suppose 5*r = 7*r - 4. Suppose 3*z + 6 = -x, -r*x 