e
Suppose -2*o = -o. Suppose -l + t = 6, 5*l + o*t = -t - 6. Which is smaller: 3 or l?
l
Let b = -2 + 2. Let l be 15/(-4) + 3 + (-21)/(-28). Is l bigger than b?
False
Let m = -5/8 - -9/8. Let i = 66 - 724/11. Which is greater: m or i?
m
Let o be ((-1)/3)/(2/21). Let u be -6 - ((-6)/(-3))/(-2). Which is smaller: u or o?
u
Suppose -l + 205 + 61 = 0. Let o be l/18 + (-6)/(-27). Let m be ((-2)/(-3))/((-10)/o). Is 0 less than or equal to m?
False
Suppose -h = -6*h - 20. Suppose 4*j - 7*j + 30 = -5*z, 2*z + 31 = 5*j. Is h at least as big as z?
False
Let y = 119 + -104.1. Let z = y + -15. Is 1 < z?
False
Let d = 308/1467 + 2/163. Suppose -y + 4 = 1. Suppose -6 = -5*u - y*c, -5*c = u + 5 - 15. Is d at least as big as u?
True
Let u be 5*(2 + 1)/(-3). Let m(q) = -2*q - 6. Let c be m(u). Let w be c + (-9)/(-3)*-1. Which is smaller: 6/5 or w?
w
Let g(j) be the second derivative of 5/6*j**3 - 3*j + 0 + j**2 + 1/12*j**4. Let x be g(-5). Is 6/11 smaller than x?
True
Suppose -5*o = -0*o + 5. Let k = 21552 - 107424/5. Let q = k - 67. Is o at most as big as q?
True
Let o = -8 + 11. Let g be -1*o + -14 + 11. Let s = 10 + -16. Is g equal to s?
True
Let x = -93 - -93.01. Is x at least -0.4?
True
Suppose r = 3*z - 12, -4*z + 2*r + 4 = -3*z. Suppose -c - c - 4 = -3*y, -z = -4*c. Is y equal to 4/5?
False
Let s = -386/5 - -76. Which is smaller: -1 or s?
s
Suppose -3 + 9 = -o. Let i = -16 - -10. Does o = i?
True
Let t(y) = y**3 + 7*y**2 + y - 1. Let q be t(-6). Let v = 30 - q. Let h be ((-4)/30)/(8/(-10)). Do v and h have different values?
True
Let n = 23 - 38. Let q be ((-1)/3)/((-3)/n). Which is bigger: q or -3?
q
Suppose -2*v - 40 = -4*p, -2*v + v - 5 = p. Let f = v + 5. Is -5 less than or equal to f?
True
Let a = 0.2 - 0.1. Let l = 0.1 + a. Let t = 13 - 12. Which is smaller: l or t?
l
Suppose 2 = 3*j - 7. Suppose m + 34 = j*m - 4*a, 5*m - 5*a = 60. Suppose 0 = 2*k + 3 - m. Is k less than 3?
True
Let l(c) be the second derivative of -c**7/840 + c**3/2 - 3*c. Let b(t) be the second derivative of l(t). Let g be b(1). Are g and 1 equal?
False
Let q be (16/(-6))/((-6)/5). Is q less than 3?
True
Let c(a) = 3*a**3 - a**2 + a. Let u be c(1). Suppose l + 4*l = 4*r + 41, u = -2*r - l. Are -5 and r unequal?
True
Suppose n + 4*f = 96, -8 = 4*n - 2*f - 320. Which is smaller: 82 or n?
n
Suppose -2*p + 10 = 3*p. Suppose -u + 4 = -p*i, -5*i - 3 = 12. Is u less than or equal to -1?
True
Let d(m) = -m - 6. Let h be d(-6). Let q be 4/96*(-4)/2. Let w = -5/12 - q. Does w = h?
False
Let y be (3/3)/((-5)/55). Which is bigger: -13 or y?
y
Let t = -1.7 - -0.7. Is t < 0.3?
True
Let k be 1*(-1 - 0) - -14. Let g = 18 - k. Suppose -2*j = g*r - 19, -5*j - 6 = -3*r + 24. Is j less than -4?
False
Let u = 6 + -8. Let s be 4*(-1 + 1/4). Is s != u?
True
Let w be 0/(1/(-1)*1). Suppose 0 = -2*u - 2*g + 16, w = -3*u + 5*u - 3*g + 9. Suppose -u*x - x + 16 = 0. Which is bigger: 3 or x?
x
Let i be (-28)/6 - (-3)/(-9). Is -3 equal to i?
False
Let l = 5446478/11 + -494776. Let y = -358 + l. Suppose 0*w - 2 = -2*w. Is w equal to y?
False
Let l(i) = i**3 - 8*i**2 - 9*i + 2. Let z be l(9). Let w = -19 - -20. Which is bigger: z or w?
z
Let x(z) = -z + 2. Let s be x(2). Let h be 1 - 1*(s - -2). Let d be h/(-2)*8/(-20). Which is greater: d or 0?
0
Let c(w) = w**2 - 13*w - 30. Let s be c(15). Is 10/7 < s?
False
Let f = -79 - -68.3. Let x = -10 - f. Let p = -0.3 - x. Is p > -1/4?
False
Let u = -25 + 22. Let n = 0.2 - -0.8. Which is smaller: u or n?
u
Suppose 5*n + 0*n = 0. Let h be ((-3)/(-4))/((-108)/(-64)). Do h and n have the same value?
False
Suppose 11 = 3*a + 5*s, -5*a - 11 = -0*a + s. Let g be a/(3*-1) + 0. Let r be (-4)/(-11)*1/2. Is r at least as big as g?
False
Let r = -23 - -34. Suppose 6*z = r*z - 40. Which is smaller: z or 7?
7
Let g(m) be the second derivative of m**4/6 - m**3/2 + m**2 - m. Let f be g(2). Suppose -f*q = 4, -4*r - q = 13 - 4. Are r and -2 non-equal?
False
Suppose p = 3*u - 12, 4*p - 3*u + 14 = 2. Let y be 289 + -3 + 0 + p. Let h be (-55)/y*4/(-5). Which is smaller: h or -1?
-1
Suppose 3*d = -2*s + 84, -s + 3*s = -4*d + 112. Suppose 4*y - d = 2*h, 4*h + 14 = 3*y - h. Is 7 bigger than y?
False
Let x be (-1)/((-27)/(-24) + -1). Let s be 159/(-33) + x/44. Is s > -5?
False
Suppose i + x = 1 + 2, 30 = 5*i + 2*x. Let b = 9 - i. Is b at most 3?
True
Suppose 3*m - 8 = m. Is 3 less than m?
True
Let j be (1/2)/(2/(-12)). Let w be (-2*1/(-4))/((-34)/340). Is w at most j?
True
Let u(h) = 4*h. Suppose k = -k + 2. Let o be u(k). Is 4 not equal to o?
False
Let o be (-1)/(-12) - (-9)/(-36). Is o equal to 1?
False
Let a be 1 + (1 - -1) - 3. Suppose 2*o = 4*p + 1 - 3, a = -5*o - 4*p - 47. Which is bigger: o or -5?
-5
Let j be -1*(-1 - (-8)/(-3)). Let o = j + -3. Which is greater: 1 or o?
1
Let t = 0.3 + 0.9. Let q = t + -0.4. Let z = 0.2 + q. Is z at most as big as -1/3?
False
Suppose -2*q = 2*q. Suppose -3*g = -q*g. Let y = 469/5658 + 1/246. Which is smaller: y or g?
g
Let d = 1.9945 + 0.0055. Let j(f) = -21*f**3 - f**2 - f - 1. Let p be j(-1). Let b = p - 62/3. Is b at least as big as d?
False
Let u = 11 + -14. Let d be (2 + -1)/((-3)/15). Are u and d non-equal?
True
Let r = -19 + 19. Let s = 73/66 - 14/11. Do s and r have the same value?
False
Suppose 2*p - 4*j = 3*p - 3, -p - 3 = -2*j. Which is smaller: p or 3/34?
p
Let s(k) = -k - 8. Let j be 0/1 - 6 - 0. Let w be s(j). Which is bigger: -3/5 or w?
-3/5
Let a be -4*(-1)/2*1. Suppose -7 = -a*h - 3. Is 1 not equal to h?
True
Let m be ((-7)/2)/((-5)/50). Suppose o - m = -4*o. Is o bigger than 7?
False
Let h = 11 + -12. Let p = 5 - h. Suppose -3*a + p*a = 0. Which is smaller: a or -2/7?
-2/7
Let f = 81 - 83. Which is smaller: 1/21 or f?
f
Let t = -34 + 32. Are -1/3 and t equal?
False
Let h(b) be the first derivative of b**2/2 - 3*b + 6. Let j be h(4). Which is smaller: -1 or j?
-1
Let p = -0.35 + 0.3. Let m = p + -0.05. Which is smaller: -3/2 or m?
-3/2
Let y = -2/285 + -556/1995. Which is greater: -1.5 or y?
y
Let m be (2 + -4 + 4)/(-37). Suppose 0 = f - 2 + 3. Is m < f?
False
Let q = 2 - 2.1. Suppose -3*s = 2*s - 10. Let j be (3/s)/(1 + -2). Which is smaller: q or j?
j
Let q(l) = l**2 - 6*l + 6. Let r be q(4). Suppose z = -z - 4. Is z greater than or equal to r?
True
Let y = 27.46 + 0.54. Which is greater: y or 1?
y
Suppose -4*m + 7*m + 12 = 0, 0 = 5*r - m + 11. Let d be r/1 - 2478/(-77). Let c = d + -29. Is c at least as big as 0?
True
Let i be 39/(-15) + (-18)/45. Which is greater: -18/7 or i?
-18/7
Let z = 0.05 + -0.08. Let i = 2.33 + z. Let q = -0.3 + i. Does 2 = q?
True
Suppose 18*m - 10*m = -8. Which is greater: 2/347 or m?
2/347
Let o be (-3)/(-5) + (-501)/(-15). Which is smaller: 35 or o?
o
Let o = -23/36 - -8/9. Let u = -13 - -13.5. Let z = -0.6 + u. Does o = z?
False
Let t be 90/(-12)*-1*2. Suppose 2*s + 2 = -0, s - t = 2*j. Is j greater than or equal to -8?
True
Let s be (2 - 1) + 1 + -1. Let x be 6 + -1 + (0 - s). Suppose -x*b = b - 10. Is 0 greater than b?
False
Let b(c) = 2*c - 2. Let w be b(3). Suppose -4*r - w = -8*r. Which is bigger: r or -2/9?
r
Let a be 30/(-10) - (-30)/(-9)*-9. Which is smaller: a or 26?
26
Let z(p) = -2*p**3 - 4*p**2 + 0 + 2*p**2 + 1 + p**2. Let o be z(-1). Suppose -11 = 3*q - o*c, 24 = -4*q - 3*c + c. Which is smaller: -4 or q?
q
Let i(x) = -3*x + 19. Let a be i(8). Let j = -10 + 4. Let g = -11 - j. Is g not equal to a?
False
Let q be (4/12)/((-3)/9). Let b = -4 - -6. Let c = -3 + b. Is q at least as big as c?
True
Let h = 0.009 - 5.009. Let s = 0 - 0. Which is bigger: h or s?
s
Let j(u) = u**2 + 6*u + 3. Let y be j(-7). Let a = -38 + y. Let p be (-3)/12 + 1/a. Is p greater than or equal to 1?
False
Suppose 3*o - 16 - 2 = 0. Let n = 3 - o. Suppose 0*v + 2*v + 6 = 0. Is v not equal to n?
False
Let x = -15 + 14.89. Which is smaller: x or 1?
x
Let u = -1 - -2. Let c be (-4 + u - -5) + 0. Let h be 2/(-4)*(0 - 1). Which is smaller: c or h?
h
Suppose 0 = 5*l - 2*w - 195, -5*l = w - 5*w - 185. Are l and 41 unequal?
False
Let t = -4 - -19. Suppose -4*j = j + t. Let n be (3 - 0)/(3/(-2)). Is j != n?
True
Let y be (-50)/(-30)*8/10. Is y equal to 0?
False
Suppose -c - 5*r = -43, 4*c + 6*r = 3*r + 172. Let o = 128/3 - c. Which is greater: o or 0?
0
Let p = -142/3 - -428/9. Let a be (6/(-208))/((-12)/(-616)). Let w = a +