nonequal?
True
Let u = 27/76 + -2/19. Let a(j) = 2*j**3 + j**2 - 3*j - 1. Let l be a(-2). Let t = l + 7. Is t less than u?
True
Let c = -1168/39 + 94/3. Let a = c - 303/247. Which is greater: 1 or a?
1
Let y be (-3)/((63/(-6))/(-7)). Is y at most as big as -3/2?
True
Let n(m) = -m**2 - 8*m + 2. Let l be n(-8). Let z(j) = 2 + 3 + 2*j**2 - 3 - j - 3*j**l. Let i be z(-2). Does -1 = i?
False
Let z = 2 + 2. Suppose 4 = z*d - 0*d. Let o = 2 - 2. Which is smaller: o or d?
o
Let c be 9/(-63) - (-6)/14. Is c != 1.1?
True
Let j(p) = -p**2 + 5*p - 6. Let h be j(7). Is h greater than or equal to -19?
False
Let f be (-12)/(8/2) - -4. Suppose 4*s + 5*m = 14, -2*m + 9 = s + 2*m. Is s <= f?
True
Suppose 5*r = -104 + 4. Is r less than or equal to -20?
True
Let k(r) = r**2 + 7*r + 6. Let j be k(-5). Let q be j/(-8) + 2/(-4). Is q less than 1/2?
True
Suppose 3*z + 15 = 4*c, 5*c - 6*z - 25 = -z. Suppose -7*l + 2*l + 1 = 2*w, 3*w - 12 = 3*l. Suppose 20 = 5*a + 3*f, w*f = -3*a + 8*f - 22. Are c and a nonequal?
True
Suppose -8 = 4*m - 2*m + 5*q, -14 = -m + 2*q. Suppose b - m + 1 = 0. Is 5 at least as big as b?
True
Let b(k) = 13*k - 11. Let t be b(4). Which is greater: 42 or t?
42
Let i = -0.2 + 0. Suppose 5*r + 1 - 60 = -s, 2*s - 106 = 2*r. Let a be 6/4 + (-93)/s. Does i = a?
False
Let g = -5 + 5.4. Let w = -1.1 - -1.7. Let f = g + w. Which is smaller: -3 or f?
-3
Let w(s) = -s - 2. Let f be w(-3). Suppose -j = -3 + f. Let n be 10/15 + j/(-3). Which is smaller: -2 or n?
-2
Let o = -76/23 + 751/276. Let w = o - 2/3. Which is greater: -1 or w?
-1
Suppose -5*f = l - 2*l - 4, -5*f = 3*l - 8. Is l smaller than 17/10?
True
Let x = 10 - 7. Suppose -o = -x*z + 4*o - 26, 0 = o - 4. Suppose 0 = 3*t - 4*w + 4 + 19, -4*t - w = -1. Which is smaller: t or z?
z
Let c be (-331)/65 - -1 - (-25 + 21). Which is smaller: 1 or c?
c
Suppose 5 = 5*s + 25. Let z = s + 4. Is z greater than or equal to 0?
True
Let b = 2 - -6. Which is smaller: 9 or b?
b
Let w = -15 + 14. Let m be 1*w - 16/20. Are -3 and m nonequal?
True
Let j(i) = -i**3 + i**2 - i. Let b(w) = -w**2 + 2*w. Let g be b(2). Let y be j(g). Is y at least as big as 2/25?
False
Let c be (2*21)/(42/28). Is 31 <= c?
False
Let p = -2 + 18. Suppose -5*g = p - 1. Let t(h) = h. Let i be t(-4). Do i and g have different values?
True
Let o be (-2)/((-70)/375) + -5. Is o bigger than 5?
True
Let q(b) = 3*b - 33. Let c be q(18). Which is greater: 0.1 or c?
c
Let m = -15 + 16. Let j(b) = -10*b. Let w be j(m). Is w smaller than -9?
True
Suppose 8*y - 6*y = -2. Let q = 9 - 17. Let g be q/(-10)*2/4. Which is smaller: g or y?
y
Let u be 7/(-3) + (-2)/(-6). Let o = u + 3. Is 2/5 at least o?
False
Let s = -0.025 - 0.975. Let i(k) = k**2 + 8*k. Let d be i(-9). Are d and s equal?
False
Let z = 20 - 52. Is z bigger than 0?
False
Suppose -5*r - 3 = -4*w + 2, -1 = r. Let l = -2 - -5. Which is greater: w or l?
l
Let u = 9 + -17. Let n be (165/18 + -9)/(2/6). Which is greater: n or u?
n
Let r be (-3)/(-18) - (-1)/(-4). Suppose 2*y + 15 = -5*n + 7*y, n = 5*y - 11. Are r and n equal?
False
Let g(v) = 1 - 1 - v. Suppose -3*s + 5 = -1. Let b be g(s). Is b less than -3?
False
Suppose -3*s + t = 70, 0 = -2*t - 2*t - 20. Is s >= -26?
True
Let i = 1461/11 - 133. Which is greater: 2.6 or i?
2.6
Let n(p) = -p**3 + 5*p**2 - p - 2. Let g be n(4). Suppose -3 - 1 = -4*c, -4*j - 5*c = -45. Is j equal to g?
True
Let y = 6 - 3. Suppose 2 = y*b - b. Suppose 2*p - 9 - b = -2*k, p = -4*k + 5. Which is smaller: k or -1?
-1
Suppose -2*l = 2*l + 24. Is -6 at least as big as l?
True
Let u = 18 - 55/3. Suppose -10 = -2*b, 0 = -p - 3*p + 3*b - 19. Let f = 1 + p. Which is smaller: f or u?
u
Let m be (1 - (-34)/(-18))*(-4)/(-8). Which is smaller: m or -1?
-1
Let g = 5/936 + -24965/936. Let m = -27 - g. Let a = -7.9 + 8. Which is greater: a or m?
a
Suppose 395 - 120 = 5*c. Do c and 107/2 have different values?
True
Let a = -12 - -13. Which is greater: a or 6/13?
a
Suppose 3*i - 22 = 3*t - 4, -5*i + 10 = -t. Let f = 2 - i. Let b be (3 + 0 - 2)*(2 + 1). Do f and b have the same value?
False
Suppose -2*w = 5*b + 26, 2*w - b + 2 = -0*w. Let a be (-2 + 11)*(-1)/w. Which is bigger: 4 or a?
4
Let w = -1.03 - -0.03. Let l = w + 0.8. Let j = 1.8 - l. Does j = 0?
False
Let w be ((-2)/4)/(1/2). Let r = 18382/15 - 172202/165. Let t = 182 - r. Are w and t unequal?
True
Let a(v) = v**2 - 2*v - 1. Let c be a(2). Let t = 74130809/338841 - -8/37649. Let h = t + -219. Which is smaller: h or c?
c
Let o(h) = -h**2 - 7*h + 2. Let g be o(-7). Suppose -g*p = -4 - 0. Let z = 197/12 - 63/4. Is p greater than z?
True
Let r be 3 - (0/2 - -1). Let t(d) = d + 2. Let k be t(0). Is k less than or equal to r?
True
Let o(r) = -4*r - 6. Let u(q) = -1. Let l(f) = o(f) - 5*u(f). Let s be l(-1). Suppose -s*c = -0*c. Are c and 2/5 unequal?
True
Suppose 6*k - 2*k + 8 = 0. Do 11 and k have the same value?
False
Let m = -14 - -14. Are m and -2 non-equal?
True
Let t be 1/(-1*(-3)/36). Suppose 4*n + u = 3*u + t, -2*n = -4*u - 18. Are 3 and n unequal?
True
Let b = 3 + -2.7. Let j = 0.1 - 0.8. Let t = b - j. Which is bigger: t or -3?
t
Let f = 113/203 - 12/29. Let g = 0.1 - 0.2. Which is greater: f or g?
f
Let w = 10 + -6. Suppose 5*k - w*t + 8*t = 30, 0 = -2*t. Suppose -i = 5*a - 16, -k*a + 5 = 2*i - 5*a. Which is greater: 1/6 or i?
i
Let m be (-2 - 351/(-15)) + -1. Let b(n) = 2*n**3 - 3*n**2 - 2*n - 1. Let t be b(3). Let x = t - m. Is x <= -0.1?
True
Let j(o) = -o**2 + 15*o - 17. Let m be j(13). Let w = m - 16. Which is greater: w or -8?
w
Let n = 5 - 6. Let m = -1.1 - n. Which is smaller: m or -5?
-5
Let v = -5 + 4. Let w be ((-1)/1)/((-2)/(-4)). Which is smaller: w or v?
w
Let o(u) = u**2 - 3*u - 4. Let n be o(5). Let z = n + -17. Let g be 2 + (2 - (-43)/z). Is g greater than or equal to 1?
False
Suppose -3*d + 4*q - 41 = 0, 4*d - 4*q = -0*d - 48. Let o = -6 - d. Is o less than 1?
False
Let x = 11.24 + -0.44. Let c = x + -11. Which is bigger: -3 or c?
c
Suppose -5*x + 0*x = -30. Let a = 6 - x. Are -1/4 and a equal?
False
Let k(h) be the first derivative of h**2/2 + 2*h + 1. Let i be k(-2). Let z be (-1 - 0)*(-2)/(-6). Which is bigger: z or i?
i
Suppose 5*k + 16 = 2*l - 0*k, 12 = -2*l - 2*k. Is l equal to -4?
False
Let q(o) = o**2 - 11*o + 9. Let g(c) = -c. Let j(n) = -2*g(n) + q(n). Let f be j(8). Which is greater: -1/4 or f?
f
Let t = -1 + 2. Let x = 6 + -2. Suppose c = x*c. Are t and c equal?
False
Let h be ((-8)/12)/(-1 - 39/(-42)). Which is greater: 9 or h?
h
Suppose 2*k - 4*k = -6. Suppose -2*m + 5*m = k. Is m greater than 2?
False
Let p = 0 + -1. Let r be 4/2*p/(-2). Let i be ((-20)/(-25))/(r/5). Which is bigger: i or 3?
i
Let d = -457/9 + 51. Let g = 7/72 - d. Which is smaller: g or 1?
g
Suppose -1 = 3*j - 2*j. Let m = 1 + j. Suppose m + 5 = -5*b. Which is smaller: 0.1 or b?
b
Let u be (0 + 3)/(-3)*1. Which is smaller: -1/17 or u?
u
Let x be (-4)/(-6) + 17/(-27). Let k = -25/54 - x. Is k >= -2?
True
Let f(y) = y**2 - y + 1. Let q(p) = 7*p**2 + 5*p + 19. Let b(g) = -6*f(g) + q(g). Let m be b(-10). Suppose -3*s + 14 = -t, m*t - 14 = 5*s - 10*s. Does t = -2?
True
Let b = -5 + 7. Let d be (4/3)/(4/6). Suppose d*z + b*y - 1 = -11, 2*z = 5*y + 25. Do 0 and z have different values?
False
Let f = 86 - 201/2. Is f >= -14?
False
Let z = -77 - -126. Is z greater than or equal to 48?
True
Let k = -9 - -3. Let s = k - -10. Is 5 greater than s?
True
Let j = -1.4 + 1.5. Let o = j + -5.1. Which is smaller: -0.1 or o?
o
Let l(q) = -3*q**2 - 2*q - 1. Let m be l(-2). Let b be 3/m - 22/6. Which is smaller: -3 or b?
b
Let s(i) = -i**2 - 13*i - 16. Let q be s(-12). Suppose -2 = -a, -4*j + 0*j = 3*a + 10. Is j <= q?
True
Let p(t) = t**3 - 5*t**2 - 7*t + 6. Let y be p(6). Are y and -6/7 non-equal?
True
Suppose 3*q - 80 = -2*b - q, 5*q = 5*b - 170. Which is smaller: b or 37?
b
Let q = -2.9 + 3. Let k = 1 + -3. Do q and k have different values?
True
Suppose -4*x - 43 = 2*t + t, -3*x + 3*t = 6. Which is bigger: x or -8?
x
Let w be 4/(-1)*(-1)/(-5). Suppose 5*a - 8*a + 6 = 0. Suppose -o - 11 = -a*t, -5*o - 4*t - 3 = -18. Is w less than o?
False
Let n = 0.08 - -13.92. Which is greater: n or 0.1?
n
Let m = 27 + -28.4. Which is greater: m or -0.1?
-0.1
Suppose 0 = -h + 5 - 3. Which is greater: 2/13 or h?
h
Let n be 8/3 - (-10)/(-15). Let m(u) 