= -0*d + d. Suppose -3*x + 9 = 0, 2*z = -x - x - 16. Is d smaller than z?
False
Let p = 12 + -24. Let c = p + 8. Which is bigger: 3 or c?
3
Let t be 6/(-5) + (-4 - -5). Let b = 38/9 - 73/18. Which is smaller: t or b?
t
Let z = -54 + 54. Which is smaller: z or -1.1?
-1.1
Let p = -1.5 + 2.5. Is -0.3 equal to p?
False
Let z(y) = -y**3 + 3*y**2 - y. Let g be z(0). Let w(k) = -k - 4. Let u be w(-3). Is g less than or equal to u?
False
Suppose 3*x = -4*g + 7*g + 18, 0 = -3*g - 15. Let l be 4/16*(-4)/(-5). Which is bigger: x or l?
x
Suppose -4*y + 8 = -z - 7, -16 = 4*z - 5*y. Let t be ((-6)/9)/((-65)/9). Let j = 314/585 - t. Which is smaller: z or j?
j
Let h = 4.1 - 0.1. Let g = 3 - h. Is 8 at least as big as g?
True
Let t = -5 + 13. Let y = t - 6. Let w = 1.8 - y. Which is greater: 0 or w?
0
Let p = 75 - 75. Which is bigger: 28 or p?
28
Suppose -2*t = t. Let c be 0 + 0 - (t + 0). Let z = 2 - c. Do 2 and z have the same value?
True
Let l be -1 + 1/((-2)/22). Are l and -12 nonequal?
False
Let b(z) = -z - 8. Let t be b(-6). Suppose r - n = -5*n + 10, 20 = 5*n. Let m be r/(-8) + (-6)/4. Which is smaller: t or m?
t
Let f be -8 - -5 - -1*3. Suppose f = -c + 5*c. Let d be ((-1)/19)/(2/(-4)). Which is bigger: d or c?
d
Suppose -2*w + 0*m + 29 = 3*m, 0 = 2*m - 6. Is 10 greater than w?
False
Let j = 11/6 - 101/42. Which is smaller: -2 or j?
-2
Let w be 3/(-4) - (-2)/4. Let f = -192.92 - -193. Which is bigger: f or w?
f
Let j(p) = 4 + 1 + 0*p - p. Let y be j(7). Let t = -2 - 0. Are t and y unequal?
False
Let n be 14/8 + (-4)/(-16). Suppose 0 = n*q - q - 6. Let x be q/(-4)*4/(-63). Which is smaller: x or -1?
-1
Suppose -8 = -d + 3*d. Let n(v) = -v**3 + 5*v**2 + 6*v - 3. Let l be n(6). Which is greater: l or d?
l
Let j = -2 - -1. Let y(s) = -3*s**2 + s. Let k(x) = 5*x**2 - 3*x. Let d(p) = 4*k(p) + 7*y(p). Let v be d(-5). Which is bigger: v or j?
v
Let v = -12802/423 - -272/9. Are v and 1 equal?
False
Let h be (-63)/15 - (-6 + 2). Is h < 1?
True
Let m = -28 - 7. Which is bigger: 0.1 or m?
0.1
Suppose 2*z + 3 = 5*z. Suppose -2*k = 2*o - 1 - z, 3*k + 1 = o. Which is greater: k or -2/5?
k
Let t be 2/(-3) - (-21)/18. Let i = -10 - -12. Which is bigger: i or t?
i
Suppose 2*b = 10*b + 8. Let l be 186/(-44) - (0 + 0). Let q = 30/11 + l. Which is greater: q or b?
b
Let n be (-25)/7 + 48/16. Is n equal to 0?
False
Let c = 1.9 + -1.58. Let l = 0.08 + -0.1. Let v = c + l. Is v bigger than 2/7?
True
Suppose -3*t + 155 = 2*g, -t = t + g - 103. Let x = -35 + t. Let m be -2 + -3*x/(-42). Which is bigger: 0 or m?
0
Let k be -7*(3/(-3))/1. Let b = -7 + k. Is b less than 0.03?
True
Let d be 5/((-195)/(-177)) + -4. Which is bigger: 2 or d?
2
Let k = 41383/909 + -410/9. Is -1 <= k?
True
Let y be 220/84 + 2/(-7). Let m = y + -2. Is 0 < m?
True
Suppose 3*m = -11 - 1. Is m >= -3?
False
Let j = 772/7 + -110. Which is smaller: j or 0?
0
Let m = 56/171 - 2/19. Suppose c = -q + 2*q + 11, q + 4*c - 14 = 0. Let z = -5 - q. Is z equal to m?
False
Let r = -43 - -41. Which is greater: r or 2/7?
2/7
Let f(d) be the first derivative of 1/2*d**2 - 1/4*d**4 - 7*d - 2 + 2*d**3. Let k be f(6). Is k less than or equal to 1/8?
True
Let n(f) = f**2 - f + 1. Let d be n(1). Let h = 2.37 + -0.37. Is h less than or equal to d?
False
Let g(l) = l**2. Let b(q) = -q + 1. Let w be (-14)/49 - (-18)/14. Let i(k) = w*g(k) - 4*b(k). Let f be i(-5). Is -2/23 smaller than f?
True
Suppose -g = -0 - 1. Let a be (g + 0 - 2) + -8. Which is greater: a or -7?
-7
Suppose -6*u = -7*u + 22. Suppose 5*a = -3*c - u, -a = -2*c + 3*c + 4. Is c bigger than -0.1?
True
Let w = 21.57 + -19.6. Let i = w - -0.03. Let r = i + -1. Are r and 4 unequal?
True
Let g be (-4)/(-6)*(-4)/6. Let d = 81 - 82. Which is bigger: d or g?
g
Let b = 0.78 - 0.9. Let m = b + 0.22. Do -1/6 and m have the same value?
False
Suppose -79 = v - 0*v. Let h = v + 319/4. Let t = 4 + -3. Which is smaller: h or t?
h
Let j be 2*(4 + -3) - 24. Let m = 25 + j. Which is bigger: 1 or m?
m
Let i = 3 - 2. Suppose -3*b = -3*z + 9, -2*b = 6 + 2. Let d be z - i*(-3)/3. Is d bigger than 0?
False
Suppose 6*d - 32 - 4 = 0. Are 5 and d nonequal?
True
Let v be -1 + 1/(1 + 0). Suppose -k + 13 - 1 = v. Is 12 less than or equal to k?
True
Let j be (-3 + 6)/(2 - 13/7). Which is smaller: 16 or j?
16
Let l = -12 + 8. Let t = l + 3.9. Are t and -1 equal?
False
Let b = 0.4 - 1.4. Let q = 3 + b. Let x = q - 0. Is x less than -0.1?
False
Let u = 121/4755 + -4848383/679965. Let h = 90/13 + u. Is -1 smaller than h?
True
Let r = -3 + -1. Let t be r*(1 + 1/(-4)). Which is bigger: t or -2?
-2
Let q(j) = j**2 + 6*j - 6. Let v be q(-7). Which is bigger: v or -2/47?
v
Suppose 0 = 16*r - 25*r + 171. Is 20 smaller than r?
False
Let t = 13 + -8. Suppose -3*y - 2*y - 4*f = -40, 5 = -t*y + 5*f. Let k be 2/4 + 42/12. Is y > k?
False
Let d = 622/5 + -124. Which is bigger: d or -7?
d
Let c(z) = -z**2 + z. Let u be c(3). Let p be (-3)/u - (-10)/(-4). Which is smaller: 0.3 or p?
p
Let d be 1/(3/((-9)/(-6))). Is d less than or equal to 2?
True
Let x = 12374/5 + -2456. Let j = x + -19. Let q(s) = s - 2. Let d be q(3). Which is smaller: j or d?
j
Suppose 4*t = -t + 5. Let u be (-5 - -3)/(2*-17). Is u != t?
True
Suppose n - 3*f = -4*n + 817, -664 = -4*n + 5*f. Let j be (7/n)/(1/(-2)). Are 0 and j equal?
False
Let i be 38/(-14) + 4/(-14). Let x(w) = -w - 1. Let m be x(-1). Suppose -v = 2*k - 1, -5*k + 13 = -v - m*v. Is v != i?
False
Let t be (-10)/45 + 546/27. Let b be (-2)/(-2 + 48/t). Is -5 not equal to b?
False
Let y be (3 + -1)*(-2)/(-12). Let q = 58.1 + -62. Let w = q - -4. Which is bigger: y or w?
y
Let x be (1/(-14))/((-38)/(-4)). Which is smaller: 0 or x?
x
Let v = -190 - -3228/17. Let q = 2/17 - 40/51. Is v > q?
True
Let o = -1.8 + 2.8. Which is smaller: o or -0.9?
-0.9
Let d be 2/(0 + 1) - 2. Let w = 217/6 + -36. Is d > w?
False
Suppose 0*i = 3*i + 3. Let u be i + ((-6)/3 - 3). Is u at least -7?
True
Let r be 4/1 - 45/12. Let j be (-21)/15 + (-4)/(-10). Let n be -1 + (j - (-3 + 0)). Is r equal to n?
False
Let x = 0 + 0.4. Let i = -3.1 + 3. Let k = x + i. Do k and -0.1 have the same value?
False
Let i(j) = 3*j**2 + 20*j - 5. Let m be i(-7). Is m bigger than -30?
True
Let d = -0.15 - -0.15. Is d equal to 76?
False
Let h = -44 - -43. Which is greater: h or 1?
1
Let n(z) = 2*z**2 + 12*z - 1. Let h be n(-6). Is 7 > h?
True
Suppose 0 = 3*w - 2*w + 2. Let m = w - 0. Is m > -3?
True
Let a be -2 - 1 - 642/(-264). Let i = a + 9/11. Which is bigger: i or 0.04?
i
Let z = -18.1 - -26.1. Is z at least as big as -8?
True
Suppose -4*b + 4*s = -1 - 3, 0 = 5*b + 4*s - 5. Which is smaller: 1/26 or b?
1/26
Suppose -4*w = -4*z + w + 21, -3*w = 15. Which is smaller: -7 or z?
-7
Let x = 173/19 - 9. Let a be 2*(-3)/3 + 1. Is x greater than a?
True
Let h = 11/28 - -5/14. Let k be 13/5 - 24/40. Which is smaller: k or h?
h
Let l = -18 + 18. Which is greater: l or -0.1?
l
Let s(t) = -t**2 - 5*t - 4. Let m be s(-5). Let g be (-26)/8 - (-3)/m. Are -3 and g equal?
False
Let b be -2 - 3/4 - -3. Is 1/6 at least b?
False
Let g = 12 - 11. Is g at least as big as 0?
True
Suppose -3*p + 56 = p. Let d = -12 + p. Is d at most as big as 2?
True
Let r be 2/((-4 - -3)/(2/(-4))). Which is greater: r or 2/9?
r
Let f = 44 - 43. Let i = -27 + 133/5. Are i and f non-equal?
True
Let a = -24.16 - -24. Is a equal to 2?
False
Suppose -23 = a - 4*x - 2, 0 = 5*a + x + 189. Is a greater than -37?
False
Let r = -1 + -1. Let f = -0.9 + -4.1. Let d = f + 4. Is r smaller than d?
True
Let u(a) = -a + 2. Let z be u(-4). Is z equal to 7?
False
Let l(m) = -m**3 + m - 5. Suppose 0*x - 4*x = 0. Let a be l(x). Suppose 3*s + 3*w + 27 = -0*w, 5*s - 3*w = -21. Do s and a have the same value?
False
Let r be ((-20058)/(-81) - -3)*3. Let t = r - 751. Which is smaller: t or 1?
t
Let d be 9/2 + 7/14 - 3. Which is smaller: d or 8/7?
8/7
Suppose 6 + 4 = 2*x + 2*j, 3*j = -5*x + 17. Are 3/53 and x equal?
False
Let m be (-17)/34*2/4. Is m less than or equal to 0?
True
Let p(h) = h**2 - 4. Let t be p(0). Let a = -9 + 14. Suppose -y + 2 = a. Which is smaller: t or y?
t
Let s(j) = -3*j**3 + 8*j**2 - 4*j + 3 + 0*j + 2*j**3 + 5*j. Let w be s(8). Is 11 equal to w?
True
Let h be 0 - (1 - (3 - 2)). Let t be h + 2/(-10) - -49. Let c = t - 48. Is 1 <= c?
False
Let o = -3 - -3.1. Let b