t = -10 + 49. Is t < 38?
False
Let x(h) be the third derivative of -h**6/20 + h**5/30 - h**4/12 + h**3/2 - h**2. Let b be x(3). Let r = b - -585/4. Which is bigger: r or -1/2?
-1/2
Let z be 57/76*(-8)/(-6). Let a = -37/235 + -2/47. Which is smaller: z or a?
a
Let k(p) be the third derivative of p**4/8 + p**3/2 - 3*p**2. Let j be k(2). Is 9 not equal to j?
False
Let x be (-3256)/9306 - (0 + 2/(-9)). Do 1 and x have the same value?
False
Suppose 0 = -h - 0 - 3. Suppose l - 10 = -5*x, -4*x = 5*l + x - 10. Let s be (l - -1 - 0)*-3. Are s and h equal?
True
Let d(j) = j**2 - j + 4. Let g be d(0). Let y be g - 4 - 2/17. Which is bigger: y or 1?
1
Suppose 0*r + 64 = 4*g + r, 0 = g + r - 13. Is g greater than 17?
False
Let m(o) = 6*o + 3. Let h(r) = 5*r + 2. Let t(w) = -5*h(w) + 4*m(w). Let l be t(8). Let y = -12 + 5. Is y at least l?
False
Let a = -10 - 6. Does -2/5 = a?
False
Let k = 433/3 - 146. Let c = 0.8 - 3.8. Is c greater than k?
False
Suppose -2*h = -f - 1, 2*h = -3*f - 2*f - 17. Let x be (-6)/57 - 21/342. Which is greater: h or x?
x
Let p(t) = t**2 - 7*t + 6. Let q be p(6). Let o = -260 + 1817/7. Are o and q unequal?
True
Suppose 9*u - 4*u + 20 = 0. Suppose 2*s - 40 = 7*s. Let z = -12 - s. Are u and z non-equal?
False
Let r be (-9)/4 - 4/(-16). Suppose g - 4*g = -4*n + 28, 0 = -2*g - 8. Let f = -4 + n. Does r = f?
False
Suppose -38*m + 33*m + 105 = 0. Which is smaller: m or 3?
3
Let j(g) = -g**2 - 8*g + 1. Let b be j(-8). Let x(q) = -q**2 - 4*q + 2. Let a be x(-3). Suppose a*h - 5 = 5. Which is bigger: b or h?
h
Suppose 0 = 8*t - 7*t - 1. Is 2/87 <= t?
True
Let q = 14 + -24. Let o be -3 + 174/(-30) - (-3)/(-15). Which is bigger: o or q?
o
Let x be (0 + -20)*(-15)/12. Let w = -49/2 + x. Which is bigger: 1 or w?
1
Let h be (-6)/6*(-14)/(-12). Which is bigger: 0 or h?
0
Let o(m) = m - 7. Let s be o(7). Let q = -2.43 + -0.67. Let p = 3 + q. Which is smaller: s or p?
p
Let m = -1.3 + 1.4. Are m and -0.7 non-equal?
True
Let b = -1479/4 + 370. Let i = -1.3 + 0.3. Let o = i + 3. Is o at most as big as b?
False
Suppose -f + 3*f = 2. Let n = 7 + -8. Which is bigger: n or f?
f
Let l = 3236/3 - 1100. Let a = l + 457/21. Which is greater: a or -1?
a
Suppose 2*w - 1 = -3. Is w at most -1?
True
Let n(r) = 3*r**2 + 11*r + 8. Let h be n(-3). Do 3 and h have the same value?
False
Suppose 6 = -2*o, 2*o = x - 2*x - 21. Let y = -41/3 - x. Do 1/2 and y have different values?
True
Let y be ((-28)/(-8))/(-7)*-38. Let w = -15 + y. Which is bigger: 7 or w?
7
Suppose -2 = d - 0*d. Let y = -5 - d. Which is greater: y or -0.1?
-0.1
Let w(m) = m**3 + 5*m**2 - 2*m - 6. Let h be w(-5). Suppose 0 = 2*n - 4*n - h. Let v be 1/(3/(-15)) + n. Do v and -7 have the same value?
True
Let p(k) = -k**3 - 2*k**2 + 5*k + 5. Let r be p(-3). Which is bigger: r or -6?
r
Let c = -1 - -1. Suppose -3*v + c = -6. Suppose 3*t + v + 7 = 0. Is t less than -3?
False
Let m be (26/4)/((-1)/(-6)). Is m bigger than 37?
True
Let g = 5 + -1. Suppose g*n + 0*n = 16. Let t = 2 - n. Is t at most -2?
True
Let o = 0.1 + -0.2. Let k = -327 + 4253/13. Is k equal to o?
False
Let i = 5 + -4.99. Let v = -0.01 + i. Let f = 1.96 + 0.04. Which is smaller: f or v?
v
Suppose -4*n = -17 + 5. Suppose -r = s - 4*s + 10, -s = n*r. Let k be ((-5)/(-10))/(2/4). Which is smaller: r or k?
r
Suppose 5*g = -4*n - 15, 5*n - 3*n + 3 = -g. Let c be 1 - (5 + -2 + n). Which is smaller: c or -3?
-3
Let s be (-1 + 4)/((-6)/(-2)). Suppose -s = -v - 7. Which is smaller: v or -7?
-7
Let t be -8*4/(-15*4). Let j = t - -4/5. Is j at most 1?
False
Suppose -2*s - 3*w + 15 = 3*s, -w + 15 = 5*s. Let p be (2 - 1 - 0)*2. Which is smaller: p or s?
p
Let d(w) = -w**3 - 9*w**2 - 2*w - 19. Let z be d(-9). Are z and -0.14 unequal?
True
Let a(s) = -4*s - 1. Let r be a(5). Which is greater: 0.2 or r?
0.2
Let p = 3 - -2. Suppose 8 = 4*y - p*x, 0 = -5*y - 0*y + 4*x + 10. Suppose -19 = y*r - 0*c + 5*c, -5*r = 5*c + 25. Are r and -2 equal?
True
Let y be (-6)/(-78)*(-1)/2. Is 1 at least y?
True
Let t be 4/6 + (-24)/(-18). Suppose t = 3*v - 1. Is 1/10 greater than or equal to v?
False
Suppose -20 = -3*b - 5*n, -n = b + 2*b - 4. Suppose -2*h - h = b. Let o = -3.01 + 0.01. Is o >= h?
False
Let t = 46 - 57. Is t less than -11?
False
Let l be (2 + 0 - 0) + -5. Let p(q) = -q**3 + 8*q**2 - q + 5. Let z be p(8). Is l < z?
False
Let i = -2.2 - -2.26. Which is bigger: 3/2 or i?
3/2
Suppose -a = -5*b - 16, 5*a - b - 17 = 3*b. Are a and 15/7 nonequal?
True
Let q(y) = y**2 + 3*y. Let c be q(-3). Suppose -4*f = -3*p - 10, -5*p - 7 = 5*f - 2*f. Is c at most f?
True
Let p = 0.09 - 15.09. Let f = p - -15.2. Let b = 2.5 + -0.5. Which is bigger: f or b?
b
Suppose -3*z - 9 = 0, -4*z + 9*z = 5*y + 20. Let w = 1 - 9. Which is greater: w or y?
y
Let c be 12/(-15) + (-184)/(-5). Is 36 greater than or equal to c?
True
Suppose -6 = j + 3*i, -3*j - 10 = -0*i + i. Let k be ((-1)/(4/6))/j. Is k bigger than 0?
True
Let c be (-1)/(-2) + 13/(-18). Let r = -17 - -23. Which is greater: c or r?
r
Let b(v) = 1 - 3*v**2 + 1 + v**2 + v**2 + 5*v. Let m be b(5). Is m bigger than 3?
False
Suppose -5*i + 6 = -0*i - 3*s, -5*i + 2*s + 4 = 0. Suppose -4*o - o + 17 = -2*q, 4*q - 2 = -2*o. Which is smaller: i or q?
q
Let c be (-1 - -2)*2 - -9. Suppose 5*b = 4*z - 10, -z = -b + 4*b - c. Suppose -2*k - 3*k = 4*d + 25, 25 = -z*d. Is -3 >= k?
False
Let x be 2*(2*1)/(-18 + 7). Which is bigger: x or 0?
0
Let y be (-6)/(-4) - 2/4. Let v = -844/7 + 121. Which is bigger: v or y?
y
Let m be (-9)/(-18)*2/(-4). Is -4 at least m?
False
Let m = 26 + -28. Is -23/7 > m?
False
Let y(s) = s**3 - 4*s**2 - 5*s + 5. Let h be y(4). Is -14 > h?
True
Let i = 0.13 + -1.13. Which is greater: 12 or i?
12
Suppose 5*a + 4*g + 2 - 28 = 0, 0 = -5*a - 5*g + 30. Let b(m) = 2*m - 1. Let k be b(-1). Let v = a + k. Which is greater: v or -3/2?
v
Suppose -3*t - 6 = 5*f + 10, 2*f = -4*t + 2. Let s be 1 - (f - -2 - -6). Let p = s - 3. Which is smaller: -4 or p?
p
Let g be 2 + (-3 + -4 - -3). Let u be (-18)/(-14) + (-2)/7. Is u smaller than g?
False
Let x be (4/(-6))/(2/5). Is -3 greater than x?
False
Let i be 2 + -2 - (-1)/(-1). Let a(q) = -q**2 + 2*q - 1. Let b be a(-4). Let r = b + 99/4. Which is bigger: r or i?
r
Suppose 4*u = 3*h - 5, 3*u + 17 = 3*h + 2*u. Let n = -12 + h. Let f = n - -6. Which is smaller: f or 2/7?
2/7
Let f = 881/8645 + -4/247. Is 0 equal to f?
False
Let t(n) = -n - 4. Let y be t(-6). Let h = -47 - -49. Is y >= h?
True
Let o = 13 - 21. Let i = -5 - o. Do i and -2 have the same value?
False
Let p = -0.08 - -15.08. Is p not equal to -2/5?
True
Suppose 0 = -4*c + c + 6. Suppose 4 = -2*j + 2*o - c, 2*o - 6 = 0. Which is greater: 2 or j?
2
Let c(b) be the first derivative of b**2/2 + 7*b - 2. Let h be c(-8). Does h = 1?
False
Let a = 2/53 + 47/159. Are a and 1 equal?
False
Let l = -0.3 - -2.3. Let s = 2.1 - l. Is s at least 0.1?
True
Let y(r) = 3*r**2 - 31*r + 14. Let a be y(10). Which is bigger: a or 6?
6
Let l = 6.2 + -6.5. Which is smaller: -0.04 or l?
l
Let k(r) = r**3 + 6*r**2 + r + 8. Let n be k(-7). Are n and -48 equal?
True
Let t be 14/21 + 32/(-30). Let i = 43 + -43. Which is greater: t or i?
i
Let q = -0.038 + 0.038. Are q and 19 equal?
False
Let q = 11.6 + -11. Let p = q + 0.4. Is -1/4 greater than p?
False
Suppose 3*h - 17 = -2. Let z be 16/10 + 2/h. Let d = -5 + 7. Is d < z?
False
Suppose 3*v = -2*v - n + 23, 0 = 2*v - 4*n - 18. Suppose -3*x - 2*i = -8, -4*x = 3*i - v*i + 8. Let w = -1 + 2. Which is smaller: x or w?
x
Suppose p - 3 + 1 = 0. Let t(a) = a**2 + 6*a - 5. Let j be t(-7). Let r be p/j + (-1 - -1). Is 1 less than or equal to r?
True
Let k be (-3 + 5)/(2/(-3)) + 2. Which is greater: k or 10/23?
10/23
Let b(h) = -h + 3. Let x be b(4). Let k be (-1 - (-16)/14)*-471. Let w = -67 - k. Which is bigger: w or x?
w
Let t = -12 - -17. Let y = t - 6. Is 3/7 not equal to y?
True
Let f = 11 - 7. Suppose s + 4*b + 2 = 0, f*s + 3*b + 3 = -5. Which is greater: -3/4 or s?
-3/4
Let j = 75 + -61. Is j at least as big as 16?
False
Let o be -3 + 3 + -9 + -1. Which is smaller: o or -9?
o
Suppose -5*c + 4*s + 20 = 0, 2*c - 2*s + 3*s + 5 = 0. Let x = 5/37 - 109/259. Which is smaller: x or c?
x
Let o(p) = -p**2 - 3*p. Let r be o(-3). Suppose 0 = 3*v - 4 + 7. Is r < v?
False
Let f = -126 - -126. Which is smaller: f or 21/