reater than p?
True
Let p = -1/2518 - -5181/365110. Is -1 bigger than p?
False
Let k(w) = w**2 + w - 3. Let j be k(-3). Suppose -y - d + 6 = -3*d, 3*y - j*d = 9. Is y at least -0.1?
True
Suppose -d + 4 = 2*w, -3*d = -3*w + 4*w - 12. Let f be -1 + w/(0 - -3). Let n be f - (-1)/(6/8). Do -1 and n have different values?
True
Let x be -7 + 4/(16/12). Let j be (10/x)/(11/66). Which is greater: -14 or j?
-14
Let s = 3 - 5. Let q be 4/(-11) + (-12)/(-66). Is s at least as big as q?
False
Let c = -0.12 + 5.12. Let j = 5 - c. Which is smaller: 0.5 or j?
j
Let h = -541 - -3799/7. Let v = 65/42 - h. Suppose 2*p - 2 + 5 = -j, -5*j + 5*p = 0. Which is smaller: j or v?
j
Let j = 5 + -5.02. Let w = 0.12 + j. Is w greater than or equal to 3?
False
Let w = -42 + 96. Which is smaller: 55 or w?
w
Let f = 0.1 - -0.1. Suppose -5*a = -2*c + 3, 5*c = 2*c + 12. Let d be 12/(-8)*a/(-3). Is f smaller than d?
True
Let y = 7 - 5. Let z be 1/y - (-35)/(-14). Is -3 != z?
True
Let c = 36.14 - 36. Which is greater: -0.2 or c?
c
Suppose -5*x - 3*u - 5 = 0, x = 5*u + 3 - 4. Let s = x + 4. Which is smaller: s or 0?
0
Let m be (3 - (1 - -4))*1/(-4). Which is greater: m or -56?
m
Let i = -11.7 + -14.3. Which is bigger: -0.1 or i?
-0.1
Let o(v) = -2*v**2 - 5. Let d(w) = -3*w**2 - 6. Suppose -l = j, 3*l + 16 = 3*j - 14. Let k(g) = j*o(g) - 4*d(g). Let m be k(-1). Is m < 2?
True
Let x = 7 + -7. Which is greater: x or 0.07?
0.07
Let f(q) be the third derivative of -q**4/24 + 2*q**3 + 4*q**2. Let i(z) = -5*z - 1. Let r be i(-2). Let j be f(r). Which is bigger: 4 or j?
4
Let q = -27 - -13. Let s = -233 - -219. Is q at most s?
True
Let h be 4*(-93)/(-126) + -3. Let y = h - 17/84. Is 0 less than or equal to y?
False
Let x = -31 + 31. Which is smaller: x or -8/7?
-8/7
Let d = 2 + -2.4. Let r = 1.2 + -1.7. Let u = r - d. Is 3 at most u?
False
Let t(f) = -f - 4. Let g be t(-4). Let u = 0 - g. Let o = -893/9 + 99. Which is smaller: u or o?
o
Let r be 1/5*(0 - -2)/1. Suppose 0 = 5*f - 3*s - 1, 2*s = 5*f + 3*s + 7. Is f smaller than r?
True
Let q be (2 - -1) + -6 - -5. Let z be (1/(-1) + 1)/q. Is 2/3 <= z?
False
Let o = 502 + -19577/39. Which is bigger: o or -1?
o
Suppose -50 = -14*n + 19*n. Is n bigger than -9?
False
Let n be 90/(-846)*4/(-10). Which is bigger: n or 0?
n
Let x = -1.1 - -0.1. Let i = -3 + 5. Suppose 4 = 4*d + g, i*d - 3*g + 2*g = 2. Do d and x have the same value?
False
Let q = -2 + 4. Suppose 0 = -3*d + q*d. Let h = -105/388 + 2/97. Which is greater: h or d?
d
Suppose 4*q + 9 = 7*q. Suppose 2*w + 1 = q*w. Which is greater: w or 0?
w
Let n = -0.18 + 0.08. Which is bigger: n or 10?
10
Let r(n) be the first derivative of n**3/3 + 3*n**2 - 5*n + 2. Let m be r(-6). Which is greater: -1 or m?
-1
Let l = -19 + 22. Which is smaller: l or 25/7?
l
Let v = 4 + -7. Let j = 4 + v. Let h(p) = -2*p - 1. Let k be h(-1). Is j greater than k?
False
Suppose 0 = 3*r - 6, 2*c + 10 = -0*c + 3*r. Let p(l) = l**3 + 12*l**2 - l. Let s be p(-12). Let b = 9 - s. Is c less than or equal to b?
False
Let q = 5 - 5. Suppose q*w = -2*w. Let y be 1/4*12/7. Is y bigger than w?
True
Suppose z = -0*z + 3. Let g = -0.2 + 2.2. Are z and g nonequal?
True
Let q = -11 - -15. Let j = -3 + q. Let x = -0.1 + 0.2. Which is bigger: j or x?
j
Suppose 3*u = -4*l - 23, 2*l + 6*u - 2*u + 24 = 0. Let d be ((-6)/81)/(l/6). Let z be (-1 - -2) + 0/(-2). Which is smaller: d or z?
d
Suppose 2*h - 6 = -4*p, 5*h + 0*p = -p - 3. Let q be 6/(-4) + h + 2. Suppose -r = -6*r - 10. Is r <= q?
True
Let d = 508.97 + -509. Let k = -0.1 - 0.1. Let q = 1.2 + k. Is q bigger than d?
True
Suppose -o + 20 = 5*m, -5*m + o + 50 = -4*o. Let w be m/10 - 1/2. Suppose 0 = n - w*n - 2*l + 7, -5*l - 2 = 4*n. Are n and -1 equal?
False
Let r = 15/29 + -19/261. Let v = -1.9 + 2. Is v greater than or equal to r?
False
Let h = -10 + 7. Let o(t) = -t**2 - 5*t + 3. Let z be o(h). Suppose -m = -4*m - 3*b - z, m = b + 3. Is m <= 0?
True
Let z be (-15)/54 - ((-15)/6)/5. Suppose -v + 18 = 4*a, -a = 2*v - 2*a. Is z bigger than v?
False
Suppose 18 = 2*z + 2*l, -4*z + 5*l - l = 4. Let j be (3/8)/((-6)/z). Which is bigger: j or -1?
j
Let y(d) = -4*d - 2. Let t be y(1). Which is greater: t or -2?
-2
Suppose -4*s + i - 36 = 0, -16 = 3*s - 3*i + 20. Is -8 greater than or equal to s?
True
Let w be -3 + (-1 - 5)*1. Let b(t) = t**3 + 9*t**2 + t + 9. Let y be b(w). Suppose 2 = -2*d - y. Which is bigger: d or -2?
d
Suppose -45*a + 43*a = 10. Which is greater: a or 1?
1
Let n = -19 + 8. Which is smaller: n or -10?
n
Let s be ((-15)/10)/((-6)/16). Let b = 3 - s. Let n be b + 5/((-10)/(-4)). Which is greater: n or -2/7?
n
Let x = 166 + -164. Does x = 18/13?
False
Suppose -y = 2*g - 26, 2*y + g = 4*y - 27. Is y less than or equal to 16?
True
Let v(u) = -u**2 - 5*u - 7. Let q be v(-3). Let c = -322/5 - -64. Are c and q nonequal?
True
Suppose -4*v - 4 = 2*i + 6, 0 = -3*i + v + 6. Let o = -26 - -103/4. Which is smaller: i or o?
o
Let x be (-6)/15*(-3)/(-2). Do x and -1 have the same value?
False
Let g be (-22)/5 - (-2)/5. Which is bigger: -21/5 or g?
g
Suppose -j + 4 = -5*x, 3*j - 3*x + 7 = -7*x. Which is bigger: -3 or j?
j
Let l = -16 + 13. Is l not equal to -4?
True
Let u be (-1)/(-1) - (-3)/(-3). Let r be (1 - (3 + -1)) + 3. Suppose u = -r*b + 2 + 4. Are -1 and b unequal?
True
Let i = -215 - -216. Let f(q) = -2*q**2 + q. Let k be f(1). Which is smaller: i or k?
k
Suppose -7 = 4*b - 3*r, -5*b + 4 = -r - 1. Suppose b = -2*f + 4. Is f at least -1/4?
True
Let h be -1*(-2 + 3) + -14. Let b be (((-3)/h)/(-1))/1. Suppose 5*g + 27 = 3*o - o, 3*g = 5*o - 20. Is b less than o?
True
Suppose -y = -3*y - v + 6, 4*v - 13 = 3*y. Let a = 442/7 - 63. Let z = a + -11/28. Which is smaller: z or y?
z
Let s be (9 - 3)/(-3) + 0. Is s at least 0.1?
False
Suppose -7 = -5*b - 22. Let s be b/(-5)*(-10)/(-9). Is 1 > s?
True
Suppose 0 = 4*b + 8, -t - 1 = 2*b - 0. Let r = t + -10. Let c = r - -7. Is c equal to -2/9?
False
Suppose -j - 272 = 3*j. Let l be (-8)/(-36) + j/(-18). Suppose 0 = -2*k + 5*h + 5, 0*k + 2 = l*k - 2*h. Which is smaller: k or 4/7?
k
Suppose -4*q - 17 = o - 9*q, -1 = 5*o - 4*q. Suppose -2*j = -o*j. Which is greater: j or 4?
4
Let m be (-1)/3*3/1. Let y be m/(-1) + (-2 - -6). Are y and 6 non-equal?
True
Suppose 2 = g + 8. Let f(x) = -x**3 - 7*x**2 - 6*x - 2. Let h be f(g). Which is smaller: -3 or h?
-3
Let u(j) = -j**3 - j**2 + j + 2. Let r be u(-2). Suppose -r = -h - 3*f - 0, -4*f + 5 = h. Is 1/34 equal to h?
False
Let a be 1 - (-14)/(-36)*14. Let l = -3098/9 - -340. Let r = a - l. Which is greater: r or 0?
0
Let t = 7 - 11. Let g = -5 - t. Let z = g + 1. Which is smaller: z or 3?
z
Suppose 36 = -4*p - 28. Which is greater: -15 or p?
-15
Let y = 0.17 + -0.3. Is y at most 0.1?
True
Let g(d) = d + 49. Let q be g(-24). Which is greater: 21 or q?
q
Suppose -2*s = -s - 3*p - 12, -5*s - 3*p = 12. Which is smaller: s or -5?
-5
Let z = 230 - 2303/10. Let x = 471/10 + -47. Let k = z + x. Which is bigger: k or 2?
2
Let f = 122/5 - 24. Suppose 3 = 3*a + 6. Which is greater: a or f?
f
Let g be 120/45*1/5. Do 0 and g have the same value?
False
Suppose 0 = -2*j + 6*j - 8. Suppose j*a = -0*a. Which is smaller: a or 2/41?
a
Let n(z) = z**3 - 2*z**2 - z - 3. Let f be n(3). Let j be 1/f*(-1 + 1). Let g = 3 + -5. Do g and j have the same value?
False
Suppose 16 = 5*m - 34. Let y = 0.41 - 0.41. Is y bigger than m?
False
Let m be 1*(-1)/185*2. Which is bigger: 0 or m?
0
Let t = 8/15 + -11/15. Let n = t - 1/5. Is -13 bigger than n?
False
Suppose -3*l + 0*d = 5*d - 925, 0 = l + 4*d - 299. Let x be 962/l - (-5 - -8). Let h = x + 2/35. Is 0 >= h?
False
Suppose 0 = 31*h - 20*h - 15*h. Suppose -2*m - 6 = x, 0*m - 9 = -x + m. Suppose 0*z = -x*z. Is z <= h?
True
Let a = 6 + -7. Which is smaller: a or -3?
-3
Let k = -5 - -3. Is 1 not equal to k?
True
Let t = -50 - -105/2. Suppose 5*y - 14 = 2*g, 0 = -3*y + 2*g + 3*g - 3. Is y bigger than t?
True
Let m be (1/(-2))/(2/(-44)). Is 10 < m?
True
Let i(a) = a**3 - 2*a**2 - a - 4. Let w be i(3). Let l = -3 + 6. Suppose -10 = -5*v + 5*j, -j - 2*j + 6 = l*v. Is w >= v?
True
Suppose q = -0*q + 5. Suppose -3*i + 5 = -q*z, -i = -0*i + 5*z + 5. Let b = 1/12 + 11/156. Is b less than or equal to i?
False
Suppose 2*b + 4 = a, 5*b - 3*a + 8 = -a. Which is smaller: b or -6/7?
-6/7
Le