
n
Let a be (0 + 2)*1 + -1. Are 2/3 and a non-equal?
True
Let q = 74 - 74. Which is smaller: -1/31 or q?
-1/31
Let p be (-2)/2*(0 - -5 - 3). Which is smaller: -8/7 or p?
p
Suppose -3*y - u - 10 = 0, -u - 22 = 3*y + 3*u. Let i be (-6)/12 - y/8. Suppose 10*f = 13*f. Do i and f have the same value?
False
Let j be (-4)/(-1)*(-1 + -1). Is j equal to -2?
False
Suppose a = -1 + 16. Suppose -3*s + 3*n = -2*n - a, 2*s - 3*n = 9. Let c be ((-6)/16)/((-3)/(-2)). Is s less than c?
False
Let c be (18/12)/(6/(-40)). Let g be (-35)/c*4/6. Which is smaller: 1 or g?
1
Suppose -o - 3*h = -2*o + 5, -51 = -5*o + 2*h. Let d = 18 - o. Suppose 21 = -d*u + 4*u. Which is smaller: 0 or u?
u
Let t = -1.82 + -0.03. Let s = t + -0.15. Is s < 3?
True
Suppose -3*w = -z + 11, 0*w + w = -2*z + 8. Which is smaller: w or 2/21?
w
Let l = -7/15 + 4/5. Which is bigger: l or -21/5?
l
Let l = 10 + -10. Suppose l + 5 = 5*s. Which is smaller: 0.04 or s?
0.04
Let v = 1 - 1. Suppose r - 6*r = v. Suppose -3*o + 8*o = 0. Are r and o nonequal?
False
Let d = 2077/33 + -179/3. Is 2 bigger than d?
False
Let w = -1.6 + 11.6. Let k = w + -9. Is k >= -0.9?
True
Suppose -30 = 2*t - 5*t + z, -5*z - 7 = -2*t. Let x = 28 - t. Suppose 0 = -5*b - 4*o - x, 4*b + 3*o = -o - 16. Is 1 smaller than b?
False
Let h = 6 + 2. Let y = -26 - -29. Suppose y*j = h*j. Which is greater: j or 1?
1
Let t be -1 - (-2*3 + 2). Suppose 5 = 2*k - t*k. Suppose 2*z + 0*z + 12 = 0. Are z and k unequal?
True
Let i be ((-8)/3 + 3)*9. Suppose o + 8 = -i*a, -3*a - 16 = -2*o - 5. Is o < -1/3?
False
Let i = 19 - 29. Is i bigger than -0.2?
False
Let g = -20 - -14.97. Let b = 5 + g. Let a = -1.03 - b. Is a at most -2/5?
True
Suppose -2*i + 3*i - 3 = 0. Let j = -9 - 0. Let p be 1/3 + 6/j. Which is smaller: p or i?
p
Let r(v) = 213*v**3 + 2*v + 1. Let b be r(-1). Let c be 2/(-7) - b/14. Suppose -2*h = 3*h + c. Is h >= -1?
False
Suppose 4*c + 2*u - 16 = 7*u, 2*u + 5 = 3*c. Let f be c + 0 - (-21)/27. Suppose 2*x - 1 = 1. Which is smaller: f or x?
f
Let h = -25 - -17. Let x be 2/(-4) - h/16. Is 1/3 < x?
False
Let r = -18 + -2. Let k = r - -25. Is -2 >= k?
False
Let q be (-14)/4 + 2/4. Let r = 5 + q. Suppose 0 = 3*x - 2*g - 2 + 6, 5*x + 2*g - 20 = 0. Is r not equal to x?
False
Let s be (-2)/(-1) - (-2 - -4). Let n be (0 - 3) + -2 + 3. Let y be (-10)/4*n/(-4). Which is greater: s or y?
s
Suppose 4*d + 5*h = -d + 115, 4*d = 4*h + 100. Let f = d - 17. Suppose f*i = 9*i. Which is bigger: 6/11 or i?
6/11
Let q(t) = -t**2 - 3*t + 2. Let g be q(-4). Let h be 3/g*4/(-6). Let m be (12/(-10) + 1)/(-1). Which is bigger: m or h?
h
Let x(p) = p + 1. Let h be x(1). Let m be h*(3 + (-102)/33). Suppose 0 = 3*v - c + 1, -c + 6 - 3 = -5*v. Is m < v?
False
Suppose 6 - 24 = 2*t + 5*f, -8 = 2*f. Let q be (t - (3 - 6)) + 9. Which is bigger: 14 or q?
14
Suppose 0 = -u + 18 - 19. Which is smaller: u or -2/311?
u
Suppose 12*z + 45 = -135. Which is smaller: -13 or z?
z
Let h be 1/((-52)/(-16) - 3). Suppose 2*z = -0 + 4. Let n be (z - 2 - 1) + 2. Is h greater than n?
True
Suppose 6*r - 2*r = 8. Let d be 0/(r*1/2). Do d and -4/5 have different values?
True
Suppose 3*n + n = -5*k + 10, -4*n + 4 = 2*k. Let t be 12/11*(-1)/k. Does t = 0?
False
Let r(f) = -7 - f**3 + 3 + 4 + 7*f**2 - 6*f. Let m be r(6). Do 1/3 and m have the same value?
False
Let i(r) be the second derivative of -r**3 - r**2 + 3*r. Let w(g) = 5*g + 3. Let m(q) = 4*i(q) + 5*w(q). Let j be m(-7). Which is greater: -1/6 or j?
j
Suppose -16*a - 882 = -25*a. Is 97 at least as big as a?
False
Let w = 0 - 0.2. Which is bigger: w or 4?
4
Suppose 0 = -4*o - 3*w + 1, -3*o + 3 = -2*w - 19. Let n be 15/(-6)*o/(-15). Which is greater: n or 2?
2
Suppose 3*k - 6 = 3*x, -3*k + 8*k + 2*x + 11 = 0. Which is smaller: 49 or k?
k
Suppose 0 = -7*n - 17 + 3. Is -4/5 at most n?
False
Suppose 4 = -w + 2. Let k be ((3 - 0) + w)*2. Which is greater: 4 or k?
4
Let j = -3 + 5. Let y = -2 + j. Suppose -5*m = 3*n - 4, 2*n - 4*n + 2*m + 8 = y. Is 3 at most as big as n?
True
Let f be 11 + ((-2)/(-2) - 4). Let l be (-18)/(20/f + -4). Do 12 and l have the same value?
True
Let l = 12 - 49/4. Let s = -2 + 4. Suppose -5*a = 5*h - 15, -16 = 5*h - s*a - 3. Is l <= h?
False
Let o = 88 - 96. Is 3 >= o?
True
Let b = -11/60 + -3/20. Let p = 5 + -5. Are b and p non-equal?
True
Let n be (21/(-12)*-2)/(11/(-286)). Is -91 equal to n?
True
Let q(n) = -n**2 - 4*n + 6. Let r be q(-5). Let f = 2.04 + -0.04. Which is bigger: f or r?
f
Let f = 60 + -37. Let r = f - 10. Which is smaller: 14 or r?
r
Suppose 6*k = 4*k. Let v = 1 + -2. Let d = 0 - v. Which is smaller: k or d?
k
Suppose -2*t + 0 = -4. Suppose o + 1 = -t*s, -2*s - 1 = 3*o + 10. Does s = 2?
True
Let v(s) = -s**3 + s**2. Let n be v(2). Let y be (n/(-5))/((-5)/(-25)). Suppose y = -3*z + 1. Is -2 at most z?
True
Let g = 8 - 6. Suppose -g*d - 3*d = 5, 4 = -2*y - 2*d. Let s = 222/91 - 28/13. Which is greater: s or y?
s
Let f(z) be the third derivative of z**6/120 - z**5/12 + z**4/12 - z**3 + 7*z**2. Let v be f(4). Is -14 <= v?
True
Suppose 0 = -2*i + 83 + 25. Which is greater: 53 or i?
i
Let s = 969 - 10629/11. Let j = 292/99 - s. Which is bigger: -1 or j?
j
Let m be 3 - 5 - 12/(-5). Let k = 7 + -11. Let o = 4.1 + k. Is o at least m?
False
Let q be -3*(-9 + 15/3). Which is smaller: q or 13?
q
Let w = 0.88 + 1.12. Is w smaller than 5/2?
True
Let u = 0.14 + -0.14. Which is greater: -7 or u?
u
Suppose 2*u + t - 15 = 0, -3*t + 25 = 2*u - 0*t. Which is smaller: -0.1 or u?
-0.1
Suppose j + 9*w = 4*w + 4, 4*w = 0. Let n = 0 + j. Suppose 5*d + n*k + 4 = 0, -5*k - 3 = 3*d + 2. Which is greater: -1 or d?
d
Let y(r) = -r**3 + 2*r**2 - 2. Let n be y(2). Let u be (n/(-10))/((-12)/(-20)). Let h(a) = -a - 1. Let v be h(-2). Is u equal to v?
False
Suppose -4*v + 137 = 137. Which is greater: 11 or v?
11
Let q(j) = j**3 + 3*j**2 + j. Let g be (2 - -1)*(-4)/6. Let i be q(g). Suppose 2*u + 2*u - 2*m = 2, 0 = u + i*m - 3. Which is smaller: 3 or u?
u
Let v(j) = -j**2 - 8*j - 1. Let a be v(-7). Let w = a - 4. Let u be -2 - (-4 + w) - 0. Which is smaller: u or 1?
u
Let z(u) = 0*u**3 - 8 + 2*u**2 + 7*u + 3*u**2 - u**3. Let w be z(6). Is w less than or equal to 2/3?
True
Suppose 4*y - 5*h + 13 = 35, 4*y + 4*h = 4. Let n be (0 + (-3)/(-2))/y. Let m = -1 + 2. Is m equal to n?
False
Suppose -5*q + 4 - 9 = 0. Is 4/65 smaller than q?
False
Let z = 2/329 + 311/2961. Which is smaller: -0.2 or z?
-0.2
Suppose -j + 4 = -5*j. Let t be (2/(-2) - j)/(-3). Which is smaller: t or -1?
-1
Let a = 271 + -5419/20. Let c = a - -3/4. Let v(d) = 2*d**2. Let p be v(1). Is c less than p?
True
Let m = 0 - 2. Let a = -14.9 + -0.1. Let n = -14.9 - a. Is n at least as big as m?
True
Let g be (-3)/4 - (0 - 0). Let q = -66 - -66. Which is bigger: q or g?
q
Let h = 8 + -2. Let b(d) = d**2 - 5*d - 8. Let p be b(h). Which is smaller: p or -1?
p
Let c be ((-1)/(-4))/(-1) - 0. Let d(t) = t**2 - 16*t + 15. Let n be d(15). Is c > n?
False
Let p = 1/64 + 125/192. Let o(c) = 2*c**2 - 2*c - 2. Let d be o(2). Which is smaller: p or d?
p
Let y(a) = -a**3 - 5*a**2 - 1. Let t be y(-5). Let i = t - -2. Are 2 and i equal?
False
Let d = 1205 + -3332/3. Let h = d + -92. Let o = 4 - 2. Which is bigger: o or h?
h
Suppose -7*s + 48 = -4*s. Suppose -4*o - 4 = -s. Suppose 4*d - 2*d = -3*g - 12, 5*g + o*d = -21. Which is bigger: g or -5?
-5
Let r = -11 - -19. Suppose -20 = r*p - 3*p. Let s be (-1)/(-2) + 22/(-4). Which is smaller: s or p?
s
Suppose 0 = z + z - 4. Suppose 4*l - 7 = z*k + 3, 4*k + l + 56 = 0. Is -13 at least as big as k?
True
Let i = 121 - 612/5. Is -1 equal to i?
False
Let f = 1315 - 40758/31. Let o = f + -136/465. Is o >= 1?
False
Let m = 101 - 98. Is 4 equal to m?
False
Let t = -8.3 - -8. Let p = -0.1 - -0.2. Let g = 0.1 - p. Which is smaller: t or g?
t
Let v = 3.58 + 0.42. Is 0.4 greater than v?
False
Let f(q) = -q**3 - 2*q**2 - q. Let u be f(-2). Suppose h + 2*c = 3, 5*h + 0 = -u*c + 7. Suppose -4*a = h - 5. Which is greater: -1/4 or a?
a
Suppose 180 = -0*g - 12*g. Which is bigger: g or -13?
-13
Let z = 14 - 13. Let m = 3/88 - 227/1496. Which is smaller: m or z?
m
Let f = 29/4 + -85/12. Let m be (-1 + 6/8)*1. Is m at least f?
False
Let a(x) = -x**3 + x**2 + x - 5*x**2 + 3*x**2. Let z be a(-2). Do z and 4/7 have the same value?
False
Let s(z) = -z**2 - z. 