 54 and g have the same value?
True
Let l = 16 + -16.6. Let q = 0.4 - l. Is -0.1 less than q?
True
Let k = 12 - 12.09. Let i = 1.09 + k. Does i = 1?
True
Let v = -0.003 + 0.003. Are 31/4 and v unequal?
True
Suppose d - 13 = -3*p - 3*d, -29 = -4*p - 3*d. Is 13 smaller than p?
False
Let r = 2.95 - -0.05. Let a = 2.2 - -0.8. Let u = a - r. Is u bigger than -1?
True
Let a be 65/(-39)*(-10 + 1). Which is greater: a or 14?
a
Let s = 7.26 + -0.26. Let l = -4 + s. Is l greater than or equal to 3?
True
Suppose 2*o + 6 = -4. Let r be (-9)/o - 1/(-5). Is r greater than or equal to 5/6?
True
Let b(m) = m**2 - 20*m - 3. Let z be b(20). Which is smaller: z or -5?
-5
Suppose -5*d = j - 0*d - 41, 124 = 5*j - 2*d. Is j at most 1?
False
Suppose -4*k = 2*m - 82, 3*m + 198 = 8*m + 3*k. Let c = 155/4 - m. Suppose 5 - 1 = -b, 4*n - 8 = b. Is c <= n?
True
Let b = 4.2 + 13.8. Let i = b + -17.9. Which is smaller: i or -15?
-15
Let z = 706/15 + -47. Which is greater: 1 or z?
1
Let z(b) = -b + 13. Let y be z(9). Let f(t) = -1 - t**2 + 1 - 3 + 5*t. Let g be f(y). Is 1 greater than g?
False
Suppose 0 = 3*d - 6 + 3. Let y be (-1)/1 - 4/(-1). Let a = y - 4. Is d bigger than a?
True
Let d be (-51)/(-12)*2/3. Let f = -4/3 + d. Suppose 2*o = 0, b + 5*o - 5 = -4*b. Is b greater than f?
False
Let q be 2/3*3/(-2). Suppose 0 = -2*y - 5*m - 1, -m = 3*y - 1 + 9. Is q less than y?
False
Let t = 41 - 107. Is 1/4 not equal to t?
True
Let o(y) be the third derivative of y**5/60 + 5*y**4/12 + y**3/3 - 3*y**2. Let f be o(-10). Suppose k - 2*d - 6 = 2*k, f*k = 4*d + 28. Is k smaller than 5?
True
Let x(g) be the third derivative of 7*g**4/24 - g**3 + g**2. Let l be x(5). Suppose -d = 3*v - 7*v + l, -4*d - 14 = v. Is 6 at least as big as v?
True
Let p = -14.1 - -14. Is p greater than -1.1?
True
Let q(d) = -d**3 - 2*d**2 - 2*d - 3. Let p be q(-3). Let y = 17 - p. Which is smaller: y or 0.1?
0.1
Let v be -3*6/45*-5. Is 5/9 smaller than v?
True
Let j(n) = -n**3 - 3*n**2 - 3*n - 4. Let l be j(-3). Suppose -l*r + 0*r = 15. Which is bigger: -2 or r?
-2
Let v = -44/3 + 14. Is -3.2 >= v?
False
Let m = 38 - 37.99. Is 0.1 equal to m?
False
Suppose a - 2 = -0, 3*p + 3*a - 24 = 0. Let b(w) = -w + 5. Let x be b(p). Let q = 0.01 + 0.29. Is q at most as big as x?
False
Let p = 0.17 - -8.83. Let y = p - 7.2. Is -1 equal to y?
False
Let s = -215 + 151. Which is smaller: -1 or s?
s
Suppose 0 = 2*m - 6 - 4. Suppose -m*t + 25 = -4*d, 3*d + t = -0*d + 5. Which is smaller: d or -2?
-2
Suppose -3*y = 3*v - 6, -4*v + 19 = -4*y + v. Let w be 2/(-7) - 24/(-378). Is w at most as big as y?
False
Let q = -1.9 + 1.7. Which is smaller: q or 1/3?
q
Suppose -5*c + 2*c = 3. Let o = 35421/55 - 644. Is o smaller than c?
False
Let s = 6 + -7. Let a(i) = i**3 + 3*i**2 + i + 1. Suppose 0 = -w - 2, -3*n - 5*w - 4 = 15. Let u be a(n). Does u = s?
False
Let u be 289/15 + 2 + (-24)/15. Is u != 21?
True
Let o = -5 - -5. Is 0.3 at least as big as o?
True
Suppose 5*d = 3*t - 4, -5*d + 4*t - 10 = -3. Which is greater: d or -9/37?
d
Let j = -5 - -5. Which is smaller: 1/8 or j?
j
Let g be -2 + 1/((-38)/(-72)). Suppose -2*h = -3*p + 2*h - 17, 5*p + 3*h = 20. Which is smaller: g or p?
g
Let g = -0.03 - 1.97. Which is bigger: g or -1?
-1
Let w = 2 + -3. Let x be 3/12 - 65/20. Let d be (-37)/13 - (x + 0). Does w = d?
False
Suppose 0 = 5*k - 25, 26 = 3*x + k + 3*k. Suppose 4*l - 3*r - 12 = 0, -2 = r + x. Let q = -162 + 1132/7. Which is bigger: l or q?
l
Let v = 0.6 - 1. Let d = -0.6 - v. Is -1/6 not equal to d?
True
Let q be 2/(-2 + -2)*0. Suppose 3*o - 2*d = -0 - 18, q = d - 3. Let m = 41 + -46. Is m greater than o?
False
Let m be 1/(56/12)*8/(-6). Do 0.1 and m have different values?
True
Let v = 2216/9 + -246. Are v and 1 unequal?
True
Let f be (1/(-8))/(29/(-232)). Let s be (4/(-3))/((-12)/14). Which is greater: f or s?
s
Suppose -2 - 4 = t. Let f be (4/(-4))/(1/t). Suppose 4 = 4*b - f*b. Which is smaller: -1 or b?
b
Suppose 34 = 9*y - 26*y. Is -6 > y?
False
Let o = -1 - -3. Do 2 and o have the same value?
True
Let u = -49 + 61. Which is bigger: u or 2?
u
Let g = 35.1 - 35. Which is smaller: g or -2/11?
-2/11
Let r = -743/55 - -83/5. Is r <= 2?
False
Let f be 7/3*22/(-539). Which is smaller: 0 or f?
f
Suppose 6*n = 3*n + 15. Suppose z = 6*z - 5*k + 10, 5*k - 30 = -n*z. Suppose 5*b + o - 13 = 0, -4*b - 21 = -9*b + 3*o. Is b less than or equal to z?
False
Let n be (-130)/(-6) + (-2)/(-6). Let w = 17 - n. Is w > -6?
True
Suppose -9 = -8*f + 5*f. Let t(n) = 2*n**2 - 32*n + 2. Let d be t(16). Is f greater than or equal to d?
True
Let s be (2 + (-896)/450)/((-19)/95). Suppose 5*a - 4*a = -5*z - 26, -z - 1 = -4*a. Which is greater: s or a?
s
Let b = 18 - 26. Let j = b - -8. Which is greater: j or 1?
1
Let j(m) = 3*m**3 - 2*m + 1. Let s be j(-2). Do s and -20 have different values?
True
Let i(u) = -u**2 + 10*u - 7. Let r be i(10). Suppose 2*h = -2*h - 20. Which is smaller: r or h?
r
Suppose 3*o - 2*o + 8 = 0. Let z be 3/(-6) - 2/o. Is 0 equal to z?
False
Suppose -3*t + 47 + 28 = 3*d, 0 = 4*t - 3*d - 107. Is 27 less than t?
False
Let o = -0.218 - -0.018. Is 4.7 smaller than o?
False
Let d(f) = -f**3 + 8*f**2 + 10*f - 4. Let a be d(9). Suppose t + 4*x = 22, t + 3*x = a*t + 7. Let y = 0 + 0.2. Is t at most as big as y?
False
Let t be -6 + -3 - (4 + (-1 - 5)). Let k(b) = 3*b + 5. Let g = 6 + -10. Let f be k(g). Is t less than f?
False
Let f be (-1 - -1)/(4/2). Suppose -4*r - 5*y + 20 = f, r + 4*y - 16 = -0*y. Which is bigger: r or -1?
r
Suppose -7 = -4*n - 23. Is -5 greater than n?
False
Let m = 7.7 + 0.3. Let y = 8.9 - m. Let n = -0.98 + y. Is n != -1?
True
Let x(m) be the third derivative of -m**4/24 + m**3/3 - m**2. Let i be x(3). Do i and -1/15 have the same value?
False
Let u be ((-124)/(-60) + -2)*-3. Is 0 smaller than u?
False
Let j = -43 + 257/6. Let l(o) = -2*o**2 - o. Let z be l(1). Let x be (z + 2)*(-2 + 1). Is x < j?
False
Let u(d) be the second derivative of -d**3/6 + 5*d**2/2 + d. Let a be u(5). Suppose a = -2*g - 0 - 4. Is g at least as big as -2?
True
Suppose -3*x + 0*x = -4*w - 23, -5*x - 5 = 2*w. Let t = 471/2 - 240. Let i = t - -5. Is x at most i?
False
Let k be (3/(9/(-30)))/(-2). Suppose -k*g - 10 = 2*q, 2*g - 4*q = -33 + 5. Which is greater: g or -3?
-3
Suppose 0 = -4*o - 2 - 2. Let c = 25/306 + 1/34. Which is bigger: c or o?
c
Let a = 49/129 + -2/43. Suppose 2*f = 2*g + 12, 34 = 5*f + g - 4*g. Let i be (10/f - 1)*-1. Which is greater: i or a?
a
Let h(v) = -v**3 + 7*v**2 + 7*v + 11. Let k be h(8). Let g = -3781 + 113479/30. Let p = g + -2/15. Is p at most k?
True
Let f = 5/4 + -35/12. Let c = f - -1. Which is greater: 2/7 or c?
2/7
Suppose c - 7*l - 17 = -2*l, -4*l = -c + 21. Suppose -4*b + 0*b = -x + 34, -5*b - c = -4*x. Let g be (-6)/(-4)*6/b. Which is greater: g or 1?
1
Suppose 10*m + 29 + 71 = 0. Is -8 less than or equal to m?
False
Let f(x) = 6*x**2 - 3*x + 2*x - 4*x**2 - 2*x**3. Let z be f(1). Let q be z/(-2)*(2 - 1). Which is greater: 2 or q?
2
Let c = -8 - 2. Let a be (-22 - -14)*(-2)/c. Is -2 bigger than a?
False
Let y(m) = m**3 - 4*m**2 - 5*m. Let a be y(5). Let x(d) = -4 + 2*d - 2 + d - 2*d. Let r be x(7). Which is smaller: a or r?
a
Let q be ((-2)/(-1) - 2)/(-2). Let t(g) = -g**2 + 3*g - 1. Let d be t(2). Let v = d + q. Which is greater: -1/4 or v?
v
Let k = -63/4 + 953/60. Let x = -3 - -2. Let c(g) = g**3 + g**2 + 2*g + 1. Let m be c(x). Which is bigger: k or m?
k
Suppose 22 = -i + 3*i. Suppose i + 21 = 4*l. Suppose 7*g = 3*g - l. Is g equal to -3?
False
Let f be (2/11)/1 - 56/550. Which is smaller: f or -1/4?
-1/4
Let r = 11 - 16. Let o be (-3)/(-6) - r/10. Which is smaller: -1/36 or o?
-1/36
Let x = 121/408 - -4/51. Which is smaller: 0 or x?
0
Let k = -5 - -5. Suppose -5*d - 17 + 2 = k. Suppose 4*u = -0*u - 12. Do d and u have the same value?
True
Let i = -1 + 1. Let n be i/(-1*(-1 - -2)). Which is bigger: 7/5 or n?
7/5
Let g be (4/(-430))/((-8)/(-40)). Which is bigger: -1 or g?
g
Suppose 2*w = -2*i - 12, 2*w + 22 = w - 5*i. Let c be 24/9*3/w. Let s be -3 + 7 - (-1 - c). Is 2 > s?
True
Let q(h) = h - 2. Let y be q(5). Suppose -d - 15 = y*u - 5, 2*u = -2. Which is smaller: -8 or d?
-8
Let a = -3 + 4. Let c = -0.01 - -1.01. Let j = 2 - c. Is j bigger than a?
False
Let b be ((-28)/399)/(172/(-1282)). Let c = 24/43 