s greater: d or 0.3?
0.3
Suppose 0 = 2*t - 2*k + 4, -5*t - 2*k - 3*k - 10 = 0. Let p(g) = -g**2 + g + 1. Let s be p(t). Is -6 at least s?
False
Let u be 1 - (12/7 - 1). Suppose -3*g + 13 = 5*d, -3*g - 2 = -4*d + 3. Let w be (g/2)/(5/(-10)). Is u <= w?
False
Let s be (5/((-50)/24))/((-9)/(-30)). Suppose -z + 5*i + 17 = -0*z, -z - 3*i - 23 = 0. Let n = s - z. Which is smaller: -2/17 or n?
-2/17
Suppose -5*s - 3*d = d + 33, -d - 7 = s. Let t = 4 + -7. Is t equal to s?
False
Let i = -1/12 + 5/12. Let n = i - 0. Which is greater: 0 or n?
n
Suppose -3*f - 75 = -6*v + v, -5*v - 4*f + 110 = 0. Suppose 2*y - 74 = v. Let w be y/(-42) - 4/(-6). Which is smaller: 0.1 or w?
w
Let s = -19 + 21. Is s at least 3?
False
Suppose -3*t = -3*v - 18, t - 2 = -0*t. Are 2 and v nonequal?
True
Let x be (-3 + 72/21)*10/(-75). Is x != -1?
True
Let f = 7 + -7. Is f equal to -2/45?
False
Let n(b) = b + 5. Let p be n(-5). Is 3/5 at most p?
False
Let f be ((-1)/9)/(1/(-3)). Let b(j) be the first derivative of j**4/4 - j**3/3 + j + 2. Let d be b(0). Which is bigger: f or d?
d
Let r = 22 - 21. Does -2/41 = r?
False
Let j be (4/6)/(9/(-27)). Which is greater: -1 or j?
-1
Suppose y + 4*u + 0 = 3, y + 2 = u. Suppose v + 3*t = 18, 5*v = -t + 4*t. Let h be 1 + (1 - v/3). Is h less than y?
False
Let c(g) = g**2 + 9*g - 4. Let o be c(-9). Let h be (-2)/o*(-30)/(-3). Is 6 smaller than h?
False
Suppose 3*r + 2*p - 16 = 0, 2*r + 17 = -2*r + 5*p. Suppose -r*k - a - 7 = -3, 2*a = -4. Do 1/9 and k have the same value?
False
Let o = 3 - 3.2. Let b = -2.9 - -3. Are o and b non-equal?
True
Suppose 2*l = -j - 5, -4 + 3 = l + j. Let w be 3 + -9*(-1)/l. Is 1 less than or equal to w?
False
Let n(j) = j**2 - 6*j + 1. Let g be n(6). Suppose d = 2*u - 1, 2*u + 4*d - 4 = 2. Let i be (1 - -2)*g/u. Is 3 equal to i?
True
Let a = -1 + 3. Suppose -8 = -4*s, 6*m + 22 = 4*m - 3*s. Let n be 1/m*(-15 + 3). Is a greater than n?
True
Let w be (8 + -2*1)/2. Let n(v) = -v + 4. Let c be n(w). Suppose 5*u = 6*u. Which is smaller: c or u?
u
Suppose 11 = 2*b + 3. Let t be 1 - 3 - (-9)/b. Is t != -1?
True
Suppose 2*f + 3 = 7. Let b be f/(-3) - (-2)/21. Is b at least as big as -2?
True
Let h be 1*12/(-1)*7/(-14). Which is greater: 7 or h?
7
Let m = -1153 + 95703/83. Are m and 1 non-equal?
True
Let m = 592/33 + -18. Is m < 1?
True
Suppose 3*k + 3 = -0*k. Let j be ((-12)/15)/((-2)/(-10)). Let b be j/(-18) - (-2)/(-90). Which is smaller: k or b?
k
Let b be -2*(15/9)/(-5). Let u = 6.6 - 1.6. Are b and u equal?
False
Let i = -4189 + 7183. Let p = i - 92826/31. Let d = p - -170/279. Which is smaller: -1 or d?
-1
Let n(f) = 9 + f**2 - 3*f + f**2 - 3*f**2. Let t be n(-4). Which is bigger: 19/4 or t?
t
Let l(k) be the second derivative of k**3/6 - k**2/2 - k. Let q be l(0). Let i be 0 + ((-9)/(-12))/3. Which is greater: q or i?
i
Suppose -v = 2*o + 59, -2*o + 206 = -4*v - 50. Let g be ((-2)/14)/(108/v). Is g at most as big as -1?
False
Let o = 4 - 15. Let m = 12 + o. Is -1 at least m?
False
Let i be (-278)/12 + (-2)/12. Let p = 24 + i. Which is smaller: p or 0?
0
Let s = -0.371 + -0.029. Is s less than or equal to -6?
False
Let w = -6 + 5.91. Let v = 4.91 - w. Which is greater: -0.1 or v?
v
Let x = -170 + 169.8. Are 1/6 and x equal?
False
Let y(g) be the third derivative of -g**6/60 - g**5/30 - g**4/8 - g**3/6 - g**2. Let h be y(-2). Is 12 <= h?
True
Suppose -3*h + 4*h = 1. Let j be h - (34/8 - 3). Which is smaller: j or -1?
-1
Let z(n) = n**2 - 4*n. Let v be z(3). Is -3 at most as big as v?
True
Let s = 226542168/451 - 502311. Let b be (2/164)/((-2)/(-4)). Let o = s + b. Are o and -1/4 equal?
False
Let c = -8 + 8.1. Let k = 0.1 - 0.2. Let a = 0 - k. Is c equal to a?
True
Let g be (-2)/(-3)*(-3 - 9). Let k be g/(-20) - (-32)/(-5). Let r = 7 + k. Are r and 0 non-equal?
True
Let q = -12 - -8. Which is greater: -3 or q?
-3
Let z = -60 - -1378/23. Which is smaller: z or -1?
-1
Let u be 12/(-9) - 4/(-6). Is u <= 0?
True
Let z(d) = -1 - d - 3*d + 8 - d**2. Let u be z(-6). Suppose -24 = 4*y - i, -y + i - 6*i = -15. Is u at most y?
True
Let y = 22 + -22. Suppose y = -2*m - m. Which is bigger: -3/4 or m?
m
Let r = 9 + 1. Let u = -9.6 + r. Is -1 greater than u?
False
Let h = -16 - -35. Do 19 and h have different values?
False
Let r be 9 + 1 + (-6)/(-3). Suppose 0 = -0*f + 3*f - r. Which is bigger: f or 5?
5
Suppose 0 = -y - 4*m + 13, -2*y = y - m. Let a(q) = -2*q. Let v be a(y). Is v at most -4?
False
Let m = 1 + -2. Suppose -124 = 4*g - 0*g. Let f = g + 125/4. Is f at most m?
False
Let p = -7 - -7. Let b be p/(-6) + (-3 - -1). Let n be (-1 - 1 - b)/2. Which is bigger: 1/13 or n?
1/13
Let n be -1 + 2 + 0 + -1. Let c(w) = -w**3 - 11*w**2 - 11*w - 8. Let u be c(-10). Suppose 0 = -3*b - u*b - 15. Which is smaller: b or n?
b
Let u(r) = r**2 + 9*r + 10. Let w be u(-8). Which is bigger: 9/8 or w?
w
Let m(v) = -v**2 - 5*v + 3. Let u be m(-5). Is u < 3?
False
Let b(h) = 5*h + 36. Let t be b(-7). Let l = 472 - 8970/19. Is l greater than or equal to t?
False
Let j(g) = g**3 - g**2 + g - 1. Let d = -2 + 2. Suppose m + m = d. Let t be j(m). Which is smaller: t or 3/8?
t
Let g be 2/8 + -1 + 1. Which is greater: 2/9 or g?
g
Suppose u - i = 3*i - 20, 0 = 5*u - 4*i + 20. Which is smaller: -5/9 or u?
-5/9
Let z = 0 + -3. Let t = z - -5. Suppose -t*n = -n. Are 1/3 and n nonequal?
True
Let l = -56 + 55.9. Let h be (2 - -1)/(-3) + 5. Let i be (-32)/20*(-1)/h. Is l bigger than i?
False
Suppose -4*v + 77 = -43. Is v > 32?
False
Let y be ((-4)/5)/((-6)/120). Let s = y + -16. Let x be 1 - 0 - (1 + 0). Is x at least as big as s?
True
Let j(w) = 4*w**2 - w - 1. Let z be j(-1). Let s(o) = o**2 - 4*o + 3. Let a be s(4). Which is smaller: a or z?
a
Suppose 4*m - 46 = -2*i - 0*i, -2*i = 2*m - 26. Suppose -7 - 18 = -5*j. Suppose m = j*f - 0. Does f = 1?
False
Let k be 4 - (3 + -7 + 1). Which is smaller: k or 10?
k
Suppose 3*s = -304 + 40. Is s greater than or equal to -87?
False
Let i be 1/(-3) - (-10)/30. Suppose -3 + 0 = 5*m + r, i = -5*m + 4*r + 12. Is 1 less than m?
False
Let z = 16 + -17. Is 3/20 <= z?
False
Let q be (3 + -70)*(-3)/3. Is q not equal to 67?
False
Suppose 3*v + 63 = -36. Is v greater than -32?
False
Let o = -0.1 + 0.3. Let w = 3.5 + -3.1. Let f = w - o. Is 3/2 less than or equal to f?
False
Let j = -41 + 40. Let q = -175/4 - -1209/28. Let n = q + 1/14. Does j = n?
False
Let h = 99.9 - 100. Which is bigger: h or -4.5?
h
Let m = 3.45 + -0.45. Which is smaller: -0.05 or m?
-0.05
Suppose 0 = 4*b - 2*b. Suppose b = -2*y + 1 + 1. Let w(o) = -o - 3. Let z be w(-5). Is y equal to z?
False
Let y(d) = -2*d + 3 + 4 + 3*d. Let x be y(-4). Let h = 3 - 0. Do x and h have different values?
False
Let r = 26826137/23 - 1167461. Let v = -295549/207 - r. Let j = v - -321. Which is smaller: -1 or j?
-1
Let c = 79/18 - 17/9. Are 3 and c unequal?
True
Let g be (-21)/(-28) + (-535)/4. Which is smaller: g or -134?
-134
Let r = 15 + 59. Let i be r/(-90) + 2/9. Does -1 = i?
False
Suppose 0*t + 2*o + 1 = -3*t, 25 = -5*o. Let c be t/(3/(-6)*3). Let v be (1 - 9/8)*c. Which is smaller: 0.2 or v?
0.2
Suppose 16 = 4*o, 23 = -2*f + f - o. Let r be 112/(-18) - 6/f. Which is smaller: r or 2/7?
r
Let x = 18 + -11. Let i = x + -5. Let n = -5 + i. Which is greater: n or -2?
-2
Let i be (-2)/(-5) + (-224)/10. Let u be 24/(-11) + (-4)/i. Which is bigger: 0 or u?
0
Let z be (-5)/(-2) - (-2)/(-4). Let p be (z/(-4))/(3/(-6)). Which is smaller: p or 2?
p
Let t be 196/4*(3 - 0). Let w = -12 + t. Let h = -1486/11 + w. Which is smaller: h or 0?
h
Let d(q) = -q + 3. Let v be d(0). Suppose -v - 2 = 5*a - 5*l, 5*l - 5 = -5*a. Which is smaller: a or -3/4?
-3/4
Let p(y) = y**2 - 7*y. Suppose 3*j - 11 - 6 = -2*h, 3*j - 4*h - 29 = 0. Let x be p(j). Let k = 1 - 2. Is k > x?
False
Let k = -88 - -88.6. Let a = -2 + 2.1. Is k less than or equal to a?
False
Suppose -7*s - 22 - 6 = 0. Is s greater than 2?
False
Let m = -15/16 + 137/112. Is m at least 3?
False
Let m = -2 - -1.9. Let o(s) = 55*s + 2. Let r be o(5). Let d = 2213/8 - r. Which is smaller: m or d?
d
Let k be (3/(-24))/((-4)/24). Let z = -65/76 + k. Are 0 and z equal?
False
Let a = 8 - 6. Which is smaller: a or -2?
-2
Let s be -4*1/(-6)*3. Suppose 0 = -k - 4*b - 8, -2*b = -3*k - 2 - 8. Let x be k*9/(-12) - 2. Are s and x nonequal?
True
Let m