al to r?
False
Suppose -3*d = -2*d. Suppose d = 2*l - 3*w - 13, -l - l + 2*w = -8. Is -4/3 <= l?
True
Let z(v) = -2*v**2 + 2*v. Let u be z(6). Let j be ((-2)/6)/(5/u). Suppose -3*w = r - 5*r - 5, -2*r = -j*w. Which is greater: 3/2 or w?
3/2
Let p be 19/5 + 1/5. Let b be (27/(-21) - -3)*-7. Let g be p*(-2)/b*3. Is g at least 2?
True
Let z = -2.5 - -2.3. Which is bigger: z or -0.1?
-0.1
Let r = -1151 + 1143. Suppose -3*g = 3*a + 45 - 3, a + 23 = -2*g. Which is smaller: g or r?
g
Let a = 95 + 12. Is a != 108?
True
Let v(s) = -s - 9. Let n = 8 + -13. Let q = n - 3. Let c be v(q). Is -2/7 at least as big as c?
True
Let n(f) = -f**2 + 2*f. Let z be n(-1). Is -2 less than z?
False
Suppose 0 = 3*c + c - 8. Let m be 4/(1/(5 - 4)). Which is bigger: m or c?
m
Let g(p) = p**2 + 6*p + 3. Let h be g(-10). Which is bigger: 44 or h?
44
Let z = 20 + -8. Let k be ((-8)/z)/(30/27). Suppose 0 = -0*n - n. Which is greater: n or k?
n
Let k = 0.6 + -0.1. Let p be 8/20 + 0 - 0. Which is bigger: p or k?
k
Let c = -500 - -5491/11. Is -2 equal to c?
False
Let b(v) = -v. Let i be 4 + -1 + (1 - 4). Suppose i = 5*c - 2 - 3. Let w be b(c). Is -1 at least as big as w?
True
Let i(s) = s**3 - 11*s**2 + 10*s + 3. Let y be i(10). Let j be -3 + y + (-12)/14. Which is bigger: -2 or j?
j
Let d = -3/346 - 6887/3806. Which is greater: d or -3?
d
Let t(v) be the second derivative of v**3/3 - 3*v**2/2 + 2*v. Let f be t(4). Suppose 7 - 17 = -2*z. Is f < z?
False
Let y be 3*(1 - 40/(-15)). Suppose 2*z - 29 + 5 = 0. Is z bigger than y?
True
Suppose -3*k + 17 = -5*j + 52, -4*j = -3*k - 31. Let b(t) = t + 2. Let l be b(0). Suppose -4*c + j = -l*c. Which is bigger: c or 0?
c
Let k = 38/3 + -149/12. Let b = -97/5 - -20. Which is greater: b or k?
b
Let k(b) = b**3 - 2*b**2 - 2*b. Let z be k(-2). Which is smaller: -11 or z?
z
Suppose 3*p + 45 + 45 = 0. Let c be 4/p - 129/45. Is -3 not equal to c?
False
Let k = -0.081 - 0.069. Is k at least 0.2?
False
Let n be 8 - 4/2 - 1. Let h be -1*(-2 - (-2 - -1)). Let o be n/15 - h/3. Do o and 1 have the same value?
False
Let d(k) = k**3 - 8*k**2 - 19*k - 14. Let o be d(10). Suppose -1 - 11 = 4*z. Which is bigger: o or z?
z
Let w = 154/117 - -84/13. Which is smaller: 7 or w?
7
Let s = 351/5 + -9813/140. Are -1 and s non-equal?
True
Let t = 1.76 + 0.24. Are t and 5 unequal?
True
Let z(b) = -b**2 + 3*b - 3. Let a = -6 - -3. Let m(v) = -v. Let k be m(a). Let t be z(k). Are -3 and t equal?
True
Suppose 6 + 0 = 3*d. Let i be 1/(-4) - (-1)/d. Let y(h) = h. Let j be y(-1). Which is greater: i or j?
i
Let q(v) = v**2 - v - 2. Let y be q(3). Suppose y*z - 7 = -19. Suppose 5*a - u = 4*u, 5*a = -5*u - 10. Do z and a have the same value?
False
Suppose 0 = 3*f - 6*f + 27. Let c(o) = 14*o - 90. Let u be c(7). Is u at least f?
False
Suppose s + 0 - 7 = -3*k, -2*s + k = 0. Suppose 6 = 5*c + s. Suppose 4*w - 12 = 4*x, 4*x + 4*w - 12 = -0*w. Is x < c?
True
Let d(u) = 4*u**2 + 27*u - 17. Let v be d(-7). Which is greater: v or -4?
-4
Suppose 2*d + 0*d - 4*i + 18 = 0, d + i = 3. Let j be 1*(d - 1 - -3). Let p be (8/(-20))/((-3)/15). Which is smaller: p or j?
j
Suppose -3*c + 3*z = 0, -25*c + 26*c + 4*z + 10 = 0. Let k be 0 + 1 + (-3)/2. Are k and c non-equal?
True
Let b = 10 - 13. Let q be ((-2)/(-3))/((-2)/b). Which is smaller: q or -0.3?
-0.3
Let c = -1 + 3. Let u = -1921 - -3927/2. Let k = 44 - u. Which is smaller: c or k?
k
Let l be (6/4)/(12/8). Let s = -11 - -5. Let r be (-36)/65 + s/(-15). Does l = r?
False
Let v be ((-2)/12)/1 + 10/(-12). Let t(b) = b**3 - 2*b**2 - 2*b - 4. Let h be t(3). Is h less than v?
False
Let z(k) = -8*k**3 + 4*k**2 + 5*k + 6. Let j(a) = 7*a**3 - 4*a**2 - 4*a - 5. Let p(m) = -7*j(m) - 6*z(m). Let b be p(3). Which is greater: b or 0?
b
Let y(h) = -h**3 - h - 2. Let d = -4 - -4. Let x be y(d). Is x less than or equal to -0.1?
True
Let z(y) = -y**2 + 5*y. Let a be z(5). Let t = -282 + 1971/7. Is a < t?
False
Let s(m) = m + 12. Let d be s(-5). Suppose -13 = 5*r + d. Is -3 at least as big as r?
True
Let p = 168 + -168. Is p greater than -1/240?
True
Let n be -7 + 130/32 - -3. Suppose -15 = u - 2*u + 5*s, 0 = 4*u + 5*s + 15. Is n at least u?
True
Suppose -6*d + 0*d - 24 = 0. Let q be (-7)/((-28)/(-18)) - d. Which is smaller: 2 or q?
q
Let t = 47 - 45. Which is greater: t or 2/49?
t
Let v = 14 + -11. Let z = -6 + v. Let u = -0.2 + 0. Do z and u have the same value?
False
Let a(o) = 8*o**3 - o**2 - o + 1. Let x be a(1). Is x at most as big as 3?
False
Suppose -5*s = -3*s + 4*o - 6, 2*o - 2 = -2*s. Let y be 2 + (-26)/32*2. Which is smaller: y or s?
s
Let d = -20.1 + 23. Is 0.2 less than d?
True
Let j(q) = 3*q**3 + q**2 - q. Let p be j(1). Suppose 4*l - 1 = p. Which is smaller: 3 or l?
l
Let a be (-2 + 5)*10/(40/36). Is a less than 28?
True
Let c = -35 - -20. Let w = c - -11. Let t = w - -3. Which is smaller: 0.2 or t?
t
Let k = 3 + 0. Let c be (1/(-3) - 0)*-9. Are k and c equal?
True
Suppose 0*g = -3*a - 3*g + 15, -9 = -5*a + 3*g. Suppose -40 = -5*i - 5*t, -a*t + 26 + 14 = 5*i. Suppose 0 = -v - 3*v + i. Is 2/3 smaller than v?
True
Suppose -20 = 4*s - 4*l, 0*l = -s - 3*l - 9. Let o be ((-8)/s - 1)*9. Let f = o - 0. Is 2 not equal to f?
True
Let g = -2/337 - -696/3707. Let y be (0/1)/(6/(-3)). Suppose y = w - 2*w. Which is bigger: w or g?
g
Let p = -32 + 32. Which is smaller: 6/7 or p?
p
Let w be (-26)/(-195) - (-22)/10. Is 1 less than w?
True
Let u = 15 - 18. Which is bigger: u or -2?
-2
Let s = -9 + 4. Let w = 2 + s. Let x(j) = -j - 2. Let b be x(w). Which is greater: -2/5 or b?
b
Let x = -538/3 + 181. Is x > -0.3?
True
Suppose j = -3*z - 4*j + 34, 5*j - 19 = 2*z. Which is greater: z or 16/9?
z
Let d = 9 - 5. Suppose 5*y = a + 5, 0 = -3*y + a + 1 + d. Is y >= 6?
False
Let x be 1/(0/2 - 1). Suppose 4*s = -2*v, -4*s - 4 = -v + 2. Suppose -b = -v*b. Which is bigger: x or b?
b
Suppose -8*j = -3*j + 4*d + 20, -4*j - 5 = d. Is j not equal to 7/5?
True
Suppose 4*g - 5*t = -14 + 175, g + 5*t = 9. Do g and 32 have different values?
True
Let t be 0 + (2 - 15/8). Suppose -3*n + 5 = 17. Let q be 6/(-2) + (-2 - n). Is q less than or equal to t?
True
Suppose 2*g - 1 = 3*g. Let d be ((-3)/(-7))/((-20)/(-2422)). Let f = d - 52. Which is bigger: g or f?
f
Let c = 0.11 - 0.01. Let x = 29/2 - 15. Is c greater than x?
True
Let w(t) = 3*t**2 + 24*t + 7. Let v be w(-6). Which is smaller: -31 or v?
-31
Let q = -19/72 + 1/72. Let b = -0.81 - 0.01. Let s = b - 0.18. Which is bigger: s or q?
q
Suppose -2*d + 5*j = -27, 0*d - 3*j = d + 14. Which is smaller: d or 2/11?
2/11
Let y be (-2)/2 - (-978)/7. Suppose 5*v = -6*v - 1529. Let m = v + y. Which is smaller: m or -1/3?
-1/3
Let w be (0 + -3 - -2)*-3. Suppose 4 = w*h - 2. Suppose 23 = k + 5*f, -6*k = -k - 4*f + 1. Is h != k?
True
Suppose -2*i - 6 = -2*q, -5*q + 2*i = i - 11. Let n = -149 + 601/4. Are n and q non-equal?
True
Let i be 20/6*(-3)/23. Is 0 < i?
False
Let w(j) be the second derivative of j**4/12 + 7*j**3/6 + 3*j**2 + 7*j. Let r be w(-6). Do r and -1 have different values?
True
Let z = -5.2 + 6. Let k be (-1 - -1) + 2/5. Is k >= z?
False
Let j(w) = w + 10. Let c be j(-7). Suppose -c*o - 4*h = 16, 5*h + 4 = -1. Let q(v) = v**2 + 6*v. Let m be q(-5). Is m at least o?
False
Let y(j) = -j**3 - 2*j**2 - 2*j - 2. Let a = -7 + 5. Let z be y(a). Which is smaller: z or -2/7?
-2/7
Let a be (-62)/39 + (-20)/12*-1. Which is bigger: a or 0?
a
Let d = -4 - -7. Suppose -n + 21 = a + 3*n, -5*a - d*n + 20 = 0. Let c be (12/10)/(-2)*-1. Which is greater: a or c?
a
Let c = -2 + 2. Let n = c + 2.1. Let x = 0.1 - n. Is x <= 1?
True
Let m = 2 - 2. Suppose -r + d = 6, 4*d = -2*r + 4 + 8. Let t be 12/99*3/r. Is t at least m?
False
Let q be 6/21 + (-408)/546. Suppose -2*t - 3 = -1. Is t at least as big as q?
False
Suppose -t + 4 = l + 3, t = 3*l + 1. Let x be (-4)/(-6)*(l + -3). Let u be -3 + -2 + (-20)/(-5). Is x equal to u?
False
Let n = 2.94 + 0.06. Let r = 8 - n. Let j = r + -5. Which is bigger: j or 0.1?
0.1
Suppose -2*z = -4*z + 4*f - 94, -2*f = 4*z + 148. Is -39 > z?
False
Let h be (0/(-4 - -1))/1. Are h and 1/44 non-equal?
True
Let d be (-1)/16*-8*(-4)/10. Which is greater: d or -0.6?
d
Let z(h) = h**3 + 4*h**2 - 3. Let k be z(-4). Is k smaller than -1?
True
Let f(d) = -d**3 + 3*d**2 - 2. Let v be f(2). Let w = 3 - 11. Let g be w/v -