 or r?
r
Let g = 11 + -10.9. Is -1/4 greater than or equal to g?
False
Let q(h) be the third derivative of -h**5/60 + 5*h**4/24 - 2*h**3/3 - h**2. Let c be q(3). Is c equal to 2?
True
Let s = -1.1 - -0.1. Let k = 12 + -10. Let p = s + k. Is p <= -1?
False
Suppose -100 = 3*u - 4*f, f + 2 + 0 = 0. Let r be (-14)/7 - u/17. Do -1 and r have the same value?
False
Let v = 3 + 2. Suppose -v*d - 20 = -0. Suppose 6*l = -3*g + l - 20, 0 = g - l + 4. Which is smaller: d or g?
g
Let x = 55 - 107/2. Let p = 2 + -2. Suppose 2*f - 2 + 0 = p. Is f not equal to x?
True
Let p(l) = -l**2 - 19*l + 10. Let q be p(-19). Which is smaller: 9 or q?
9
Let v = 0.1 - 0.1. Let o = -67082/5 + 13484. Let i = o + -68. Is i less than or equal to v?
True
Let k be (6/4)/(1 + -40). Which is greater: k or 0?
0
Let r = -24 - -24. Let t be ((-4)/(-9))/((-8)/(-732)). Let b = t - 41. Which is bigger: r or b?
r
Let q(f) = f**2 + 14*f - 1. Let r be q(-7). Is -50 less than r?
False
Let b = 10 - 0. Let h = b + -8. Let j = h - 1. Which is bigger: j or -1/10?
j
Let h = -4 - -7. Let d(l) = -l**3 - 11*l**2 - 11*l - 6. Let x be d(-10). Which is smaller: h or x?
h
Let c be (-1)/2*(-4)/(-17). Let y(w) = w**2 - 2*w + 2. Let s be y(2). Suppose -j - 5*x = -2*j + 25, -s*j = -2*x - 10. Is j equal to c?
False
Let o = 32.2 - 32. Let d be 1/(-12) - (-1)/3. Is d less than o?
False
Let u be 14/4*(-16)/(-28). Suppose 3*b = -15, -b = 3*q + u*b - 12. Suppose -4*w + 0*o = -2*o - 6, -4*w - o = q. Is 1/5 smaller than w?
False
Suppose 3*m = 3*a - 9, -2*m - 1 = 4*a - 7. Suppose -4*l = -5*l. Let f = l - -1/4. Is f bigger than m?
True
Let i = -1 + 3. Let s = 8 - 7. Which is smaller: s or i?
s
Let v = -13 + 14. Suppose 5*u - 1 + 6 = 0. Let m be (-9)/(-5) + (u - v). Is 0 bigger than m?
True
Let m be (-8)/9*42/(-196). Does 0 = m?
False
Suppose 5*q - o + 4 = q, -5 = 5*q - 3*o. Let u(x) = -5*x - 13. Let b(g) = 11*g + 27. Let f(k) = 6*b(k) + 13*u(k). Let p be f(7). Is p at most q?
False
Let f be (-8)/12 + 572/(-6). Let d = f - -678/7. Which is smaller: 0 or d?
0
Suppose 5*i = -3*p - 13, 1 = i - 3*p - 0. Let x be 8/(-3)*(-2)/(-8). Which is greater: i or x?
x
Let i = -4 + 3. Let v be i/(1*7/(-915)). Let j = 131 - v. Does 0 = j?
False
Let i = -7 - -29/4. Let n = -6 - -3. Let m(p) = p**3 + 2*p**2 - 2*p + 2. Let f be m(n). Are i and f equal?
False
Let w = 0.69 - -0.11. Let a = -0.9 + w. Which is greater: a or -2?
a
Let o be 321/15 - (-4)/(-10). Suppose p + 2 = l, -3*p + l - 3*l = o. Suppose 2*c = -5*b - 2*c - 25, -15 = 3*b - 3*c. Is p at most as big as b?
True
Suppose 3*z - 30 = -0. Let y = -8 + z. Let x be 68/(-48) + y/(-8). Which is smaller: x or -2?
-2
Suppose -3*d - 1 = -13. Let p = 9 - d. Is 7 not equal to p?
True
Suppose -3*b + 6 = -0*b. Let m be -1 - (1 - 37*-1). Let z be m/(-36) - (-1)/(-3). Which is smaller: z or b?
z
Let p = -34 + 50. Suppose -4*z + 8 = -p. Suppose 0 = 4*n - n + z. Which is greater: -1/2 or n?
-1/2
Let u be 80*4*5/2. Let g = -2423/3 + u. Let w = 8 + g. Which is greater: w or -1/3?
w
Let k be (-13)/26*(-11 - -1). Suppose -2*r - 5 = -7*r, -k*g = -2*r - 3. Let p be 0/2 + (5 - 5). Which is smaller: p or g?
p
Let y = -15 - -36. Which is smaller: 20 or y?
20
Let l = 0.1 - 0.2. Let x(p) = -p**3 - 15*p**2 - 18*p + 16. Let o be x(-13). Let h = -443/5 - o. Which is smaller: l or h?
h
Let w(n) = -n**2 - 8*n + 1. Let v(y) = y + 1. Let a(g) = -2*v(g) - w(g). Let o be a(-6). Let d = -109/72 - -1/72. Which is bigger: o or d?
d
Suppose 92 = -6*u + 20. Let j = -12 - u. Which is greater: j or 3/10?
3/10
Let w(f) = f**2 - 3*f - 5. Let l be w(5). Let z = -1 - l. Let h be (-6)/((-4*1)/(-4)). Is z less than h?
False
Suppose 7 = -5*x + 2. Let n be -7 - (-8)/(400/335). Is x <= n?
True
Let v = -105/4 - -1147/44. Let u = 19 - 20. Which is smaller: v or u?
u
Let i(b) = -b**2 - 2 - 4*b + 4*b + 0*b + 3*b. Let r be i(2). Which is smaller: -3/5 or r?
-3/5
Let q = 19 - 18.1. Let a = 1.2 - q. Which is bigger: a or 1?
1
Let d(b) = b**3 - 5*b**2 + b - 6. Let c be d(5). Let q = 49/120 + -3/40. Is q >= c?
True
Let m = -16 - -14. Suppose 0 = -2*p - 2 - 2. Are p and m non-equal?
False
Let j be 4 - 2/(1 - 0). Let t = j - 3. Let g = -77/40 + 9/8. Is t equal to g?
False
Let b = 0.12 - 0.1. Let y = b - 2.02. Let j = y + 1.9. Do -2 and j have different values?
True
Suppose 5*w - 197 = p + 26, -98 = -2*w - 4*p. Let m be 92/16*(-12)/w. Let y = m + 11/5. Are y and 1 unequal?
True
Let i be (90/(-46) + 2)*(-64)/(-48). Which is greater: 1 or i?
1
Suppose 0 = -2*b + 34 - 10. Suppose y - 5 = -h, 5*h - 3*h = -4*y + b. Which is smaller: y or 1/8?
1/8
Let o = -29 - -34. Which is bigger: o or 4?
o
Let j be 6/4*(-4)/(-45). Suppose -81 + 21 = -4*f. Suppose -4*l + 15 = 3*o, -5*l - 2*o - o + f = 0. Which is smaller: l or j?
l
Let s = 1 + -1. Let w = 11974/3 - 3945. Let k = 47 - w. Which is bigger: s or k?
k
Suppose -4*h = 4*z - 40, -12 = -3*h + 2*h - 2*z. Is 9 less than or equal to h?
False
Suppose -2*g - 2*g = 0. Let u = 1217/181 - -1068812/1991. Let p = -543 + u. Is g > p?
False
Let y = -1 - 2. Suppose -5*h - 28 = u, 35 = -5*u - 4*h - 0*h. Are y and u non-equal?
False
Let n(l) = -l**2 - 6*l - 6. Let i be n(-4). Suppose 2 - 6 = -i*d. Let k be (12/(-9))/(d/(-6)). Is 1 < k?
True
Let y be (10/(-15))/(4/(-42)). Let z be ((-6)/(-15))/(-5 + 7). Which is greater: y or z?
y
Suppose -g = -m + 1 - 2, -m - 4*g - 26 = 0. Is m at least as big as 3?
False
Let z be 2 - (1 + (16/(-4))/4). Which is smaller: 4 or z?
z
Suppose 0 = -2*s + 2*y + 6, s + 5*y = -19 + 4. Which is smaller: 3/20 or s?
s
Let w be 4 + 1 + (0 - 3). Which is smaller: 5/4 or w?
5/4
Let z be 4/(-14) - (-940)/350. Is 2 >= z?
False
Let w be 2/8 - (-872)/(-32). Let u be (18/w)/((-2)/(-9)). Are u and -13/3 unequal?
True
Suppose -2*f = 3*a - 24, -f - 5*a = -0*a - 5. Suppose 3*g = f, 3*y + g = -g + 16. Is -1 at most as big as y?
True
Let o(j) = -4*j**2 + j + 1. Let n be o(-2). Are -15 and n unequal?
True
Suppose -4*j = j + 15. Let g be (-54)/(-12)*16/6. Suppose -a - g = 2*a. Which is smaller: a or j?
a
Let p be 1 - 6 - (-84)/(-1). Is p <= -88?
True
Let k = -80 - -4. Let y be 11/k - 3/(-12). Is 1 bigger than y?
True
Let l be 0*1*(-2 + 1). Let n be (-3 + l)/6*-2. Is n at most as big as -1/5?
False
Suppose g - 5 + 2 = 0. Let o = 5 - g. Let m(l) = l**3 - 3*l + 1. Let f be m(2). Is f at least o?
True
Let c = 319/516 - 3/86. Let s = 11/12 + c. Do s and 3 have different values?
True
Let f be 1*-14 - (-4 + 2). Let d = -12 - f. Do -2/37 and d have different values?
True
Let p = 1878255/13 + -144598. Let g = -117 - p. Which is smaller: 1 or g?
g
Let u(i) = i**3 + 1. Let g be u(-1). Which is greater: g or -3/17?
g
Let a = 73 + -68. Suppose 4 = 4*c - 4*v, 4*c - 4*v + 2*v = 4. Which is bigger: a or c?
a
Let d = 2.03 + -0.03. Let f = -0.12 + 0.02. Is f <= d?
True
Suppose q - 6 = -3. Let k be 2/(-8) - (-41)/4. Suppose 5*l - k = -0*d - d, -l = -d - 8. Is q != l?
False
Let w(v) = v**3 + 5*v**2 - 6*v + 1. Let g(x) = x**3 + 5*x**2 - 7*x + 2. Let c(n) = -5*g(n) + 6*w(n). Let j be c(-5). Which is greater: j or 3?
3
Let y be 0/(6/3) + -4. Is y < -9/2?
False
Suppose 3*w + i - 2 - 6 = 0, 0 = 3*w - 3*i. Let z be 2*(-1 + 2) + 6. Let p be (-2)/z*2*w. Are p and -1 non-equal?
False
Let b = -2/115 - -123/460. Is 0 less than or equal to b?
True
Let u be (-3 + 9)*(-2)/(-30). Suppose -z + 0*z = 3, -5*z = -4*f + 3. Let x = -3 - f. Are u and x nonequal?
True
Let s = 1 - -1. Let d be ((2 - s)*-1)/2. Which is smaller: d or 1/2?
d
Let i = -1 - -2. Let z = 1.8 - 2. Let x = z - 0. Which is greater: x or i?
i
Let h be (-2)/9 - 420/54. Let m be (1 - h)/(-3) - 3. Which is smaller: -5 or m?
m
Let l = 4 + -8. Let i(q) = 2*q - 1. Let m be i(-1). Which is smaller: m or l?
l
Suppose -5*p + 44 = -9*p. Which is bigger: p or -10?
-10
Suppose -3*g = -7*g - 16. Which is smaller: g or -6?
-6
Let h = 10.7 + -12.72. Let v = 10 + -10.02. Let t = h - v. Is t > 0?
False
Suppose 2*q + 8 - 2 = 0. Let k(b) = b**3 - 7*b**2 + 6*b. Let t be k(6). Are t and q nonequal?
True
Let r = 573/7 + -82. Suppose 0 = 2*c - v - 2*v - 21, -5 = -5*c - 2*v. Let m = 2 - c. Is m at most r?
True
Let u be -1*0/(-1) - -1. Let x = -1/52246 - 11598365/12904762. Let w = 20/19 + x. Which is smaller: w or u?
w
Suppose 5*o = q - 14, -6*q + 2*q - 4*o = 40. Let h = -10 - q. Let r = -3 - h. Is r gre