13 or y?
y
Let j(n) = -n**3 + n**2 + n + 1. Let z be j(-1). Let a be z*(2 + (-5)/2). Let h be (-2 - -3) + (-12)/10. Are a and h non-equal?
True
Let p be 12/(-15)*10/4. Let n(r) = 4*r**2 + 4*r**2 + 3*r + 2 - 7*r**2. Let v be n(p). Is v < 0?
False
Let w be (-5)/10*(-3506)/5. Let j = w - 349. Let t be 1/2*2 - -1. Does j = t?
False
Let x(f) = -f**2 + 10*f - 3. Let s be x(10). Is -4 at least as big as s?
False
Let a be (-47)/6 + 4/(-24). Is a bigger than -9?
True
Let a = 0.61 - 0.21. Is a greater than -0.01?
True
Let g = 14479 + -58389/4. Let y = 119 + g. Is y >= 1?
False
Let l = 1 + 4. Let o = 4.9 - l. Which is bigger: o or 0.1?
0.1
Suppose -4*d + 0 = 8. Suppose -6*a - 2 - 16 = 0. Are d and a nonequal?
True
Let b = 112 - 117. Let p = 0.2 + 0. Which is smaller: p or b?
b
Let y = 0.46 - 0.06. Let x = 0.4 - y. Let t be (2 - 1) + 18/(-14). Which is bigger: x or t?
x
Let w = -14 - -10. Do -4 and w have the same value?
True
Let d be (-36)/(-8) + 6/4. Let l be (-28)/45 - d/(-15). Let u be (-1)/(-1)*(-2 - -1). Which is bigger: u or l?
l
Let z be (-1)/3 - (1 - 1). Let n be 28*((-4)/8 - -1). Let v(w) = w**3 - 13*w**2 - 14*w - 1. Let b be v(n). Is b <= z?
True
Let c = -18 + 17. Is c < 3?
True
Let a(p) = p**2 + 6*p - 6. Suppose -l - 12 + 5 = 0. Let k be a(l). Is k less than -6?
False
Let a be ((-84)/18 - -4) + 2/3. Which is smaller: -2/47 or a?
-2/47
Let z = 6 - 11. Suppose 2*o = -4*a + 18, 0 = -4*a + 2*o + 2*o + 12. Let r be 1 - 24/(0 + a). Do r and z have the same value?
True
Let w = -15 - -31/2. Is w greater than 8?
False
Suppose 4*c = 3*l + l - 28, -3*c + 19 = 2*l. Is l less than or equal to 7?
False
Let o = -29 - -53. Let v = o - 17. Suppose y = -5*s + 19, s - v = y + 2*y. Do -2 and y have the same value?
False
Suppose 3*r - 4*r + 11 = 5*p, -2*p - 4 = -r. Let l be r/27 - (-256)/(-18). Let z = l - -44/3. Which is smaller: 2 or z?
z
Let k = 16 - 35/2. Let b be ((-330)/(-24))/(-11)*12/(-10). Which is greater: b or k?
b
Let t = -7 + 5. Let b = 5 + t. Suppose w - b*g - g = -14, -5*w + 2 = 4*g. Which is greater: -4 or w?
w
Let o = -13199/53 + 249. Is 1 > o?
True
Let x = 19 - -5. Suppose 3*i = r - 1, 0*i - 4*i = 5*r - x. Suppose 4*g - i = 3. Is g at least 0?
True
Let x(j) be the first derivative of -j**3/3 + 5*j**2/2 + 3*j - 3. Let i be x(6). Is -4 at least as big as i?
False
Let v = 3.3 + -2.3. Which is smaller: v or 1/4?
1/4
Let x(y) = -y. Let s be x(0). Let w(j) = -6*j**3 - 2*j - 1. Let i be w(-1). Which is bigger: s or i?
i
Let f = 9 - 6. Let i(w) = w**2 - 2*w - 1. Let q be i(f). Suppose 0 = -5*z - 3*a, 0 = -4*z - q*a - 3*a. Which is smaller: z or 1/5?
z
Let t = 19 + -18.93. Let b = -0.27 - -0.3. Let o = b + t. Is o equal to -2/3?
False
Let y(m) = 2*m - 11. Let g be y(6). Let r = 2.92 - -0.08. Let d = -3 + r. Is d <= g?
True
Let p = -0.4 + 0.2. Let h = -2.24 - -0.04. Let y = p - h. Is -1/3 less than or equal to y?
True
Let k = 11 + -7. Let t be 4/(-10)*(-5)/k. Are t and 0.3 unequal?
True
Let x be 4/(-40) + (-3)/(-6). Which is smaller: -0.7 or x?
-0.7
Let o be ((-4)/10)/((-26)/5). Is 0 != o?
True
Let f(k) = 2*k**2 - 2. Let p be f(-2). Suppose b = 4*b - p. Which is bigger: b or 2/3?
b
Let o = 22 + -15.1. Let b = 7 - o. Which is smaller: b or 6?
b
Suppose -3*c - 19 = -r - 3*r, -2*r = 2*c - 6. Is 4 bigger than r?
False
Suppose 3*c + 0 = 2*q + 16, -c - 2*q - 8 = 0. Let t be c/6*(-9)/2. Let b(j) = j**2 - 7*j - 10. Let v be b(8). Which is smaller: v or t?
v
Let d(g) = -g**3 - g**2 + 1. Let u be d(0). Let t be (-21)/18 - (-3)/2. Is t at least u?
False
Let h be 0/(1*-6 - -2). Let i be -3 + 0 - (h + 2). Which is smaller: i or -4?
i
Let o be 16/9 - 8/(-36). Suppose 0 = 3*l - o*l + 5. Is -4 not equal to l?
True
Suppose 0 + 8 = 2*u. Let n = 592/165 + 7/33. Which is bigger: u or n?
u
Suppose -14 = -4*a + 6. Suppose -2*z + 0*l - 18 = -l, 0 = 2*z - a*l + 10. Is z greater than or equal to -10?
True
Let w = 10 - 9. Let h = 20 + -14. Suppose 4*p - 3 = 5*o, 5*o + h = p + 2*o. Is w bigger than p?
True
Suppose -c + 1 = -0. Let w be 1 + c + 117/(-54). Is w smaller than -0.1?
True
Suppose 0 = 3*p + 4*m - 20, -6 = 3*p - m - 1. Let y = 6 - 9. Is y smaller than p?
True
Let j(g) = -g**2 + 14*g - 9. Let x be j(13). Which is smaller: x or 8?
x
Let f = -423 - -44. Let t = f - -1902/5. Let d = t - 1. Is d smaller than 0?
False
Let v = 12 - 12. Which is greater: v or 0.02?
0.02
Let i be 0/(5/((-20)/(-8))). Let v be 2 + i - 230/80. Which is bigger: v or -1?
v
Let h = -17 - -115/7. Suppose 2 = 4*o - 2*a - 2, o + 17 = -4*a. Is o equal to h?
False
Let x be (-1)/(-4) - 15/12. Let a be (-20)/6*(-30)/25. Let h be (0 - -1)/((-2)/a). Which is smaller: x or h?
h
Let l be 20/65*1/(-2). Let v = l - 9/26. Let t(k) = -k - 8. Let q be t(-6). Is q < v?
True
Let i(v) = 6*v. Suppose 3*b = -3*l, 2*b = l - 2*l - 2. Let m be i(b). Do -11 and m have different values?
True
Suppose -6*w = -3*w - 6. Suppose -w*m + 3 = -7. Suppose -3*r + m*c - 34 = 0, 5*r + 4 = -2*c - 1. Which is smaller: -4 or r?
-4
Suppose 6*k - k = 0. Which is smaller: -2/21 or k?
-2/21
Let s = -37 + 154. Let q be (-22)/143 + 83/s. Which is greater: q or 1?
1
Suppose -s + 0*s = 6. Let u be 1/(-2)*1*s. Suppose -a = a + n, 4*a = 3*n + 20. Which is bigger: u or a?
u
Let p = -0.3 + 0.1. Let q be 29/2*8/16. Let a = q + -7. Is p less than a?
True
Let j = -9 + 19. Let x = -10 + j. Let f(s) = 3*s - 1. Let i be f(1). Which is bigger: i or x?
i
Let r = 19789/390 + -654/13. Let m = 1/30 - r. Is -3/4 at most as big as m?
True
Let h(q) be the third derivative of q**5/60 + q**4/3 - 5*q**3/3 + q**2. Let v be h(-9). Which is smaller: -4/5 or v?
v
Let w = 5 - 5. Let m = 0.8 - 0.9. Which is smaller: m or w?
m
Let g = 2 - -6. Which is smaller: g or 9?
g
Let m = 0.07 - -7.93. Let u(a) = -3*a - 5. Let c(x) = -8*x - 14. Let v(q) = 4*c(q) - 11*u(q). Let h be v(2). Which is smaller: h or m?
h
Let z(i) = -2*i - 10. Let c be z(-6). Suppose c*s + 0*s - 16 = 0. Which is smaller: 9 or s?
s
Suppose -5*s + 2*d + 6 - 1 = 0, -5*d = 4*s + 29. Let x be 6/8*4/(-1). Which is smaller: x or s?
x
Suppose -7 - 3 = 5*q. Let h be q*(2 + 21/(-6)). Is h greater than or equal to 2?
True
Let r = 289/6 + -49. Is -1 > r?
False
Let d(r) = -r**2 + 7*r + 3. Let v be d(7). Suppose v*g + 5*o = 12, 3*g - o - 12 = 3*o. Is g equal to 4?
True
Let s = 0.24 + 9.86. Let q = -10 + s. Which is bigger: 4 or q?
4
Let m = -4 + -1. Let b be (8 + -1)/(m - -4). Let l be (-1)/2*(-4)/b. Which is smaller: -1/2 or l?
-1/2
Let s = 2 + -14. Is -12 > s?
False
Suppose 4*o + 0*o - g + 18 = 0, 0 = 4*o - 2*g + 16. Let x = o + 7. Suppose 2*s = -x*s. Is s at most -2/5?
False
Suppose f = -0*f. Let i = -52/5 - -317/30. Which is greater: f or i?
i
Let f be 1*(-2 + 2 + 1). Does 3/34 = f?
False
Let q(r) = -r**3 - 6*r**2 - 5*r. Let c be q(-5). Let b be 0 + 2 + c + -3. Let o = -1 - 0. Does b = o?
True
Let k = -10826/27 - -401. Let u be (-2)/(-5) + 44/270. Let b = u + k. Which is greater: 0 or b?
b
Let k(o) be the third derivative of 0*o**3 - 1/24*o**4 + 0 - 2*o**2 + 0*o + 1/60*o**6 + 1/30*o**5. Let p be k(1). Which is greater: 4 or p?
4
Let x = -621 + 11201/18. Let r = 54 - 488/9. Let i = x - r. Which is smaller: 1 or i?
1
Let a be (8 - 1)*(-126)/(-49). Let v = a - 37/2. Which is bigger: -2 or v?
v
Suppose -2*w - 3*j = -7*w - 4, 2*j = 5*w + 6. Which is bigger: -12/5 or w?
w
Let o = -0.18 + -0.72. Let w = o - -0.9. Is 0.1 > w?
True
Let f = 13 - 7. Do -0.01 and f have the same value?
False
Suppose 5*w = i - 42, 3*w + 3*i = -0*i - 18. Let m = 10 + w. Suppose -5*k + x + 12 = 0, -4*x - 5 - 11 = -4*k. Do k and m have different values?
False
Suppose -d - d - 4*k = -2, 5*d + 3*k = -16. Let a(c) = c. Let t be a(-4). Is t > d?
True
Suppose i + 5*b - 4 = -0*i, b = 2*i - 8. Let u(g) = -g**3 + 3*g**2 + 4*g - 1. Let d be u(i). Let h be -1*1/2 - 0. Which is bigger: d or h?
h
Let d = 2 + -0.7. Let j = d - 0.3. Let a = 83 + -80. Is j greater than a?
False
Let y be -2 - 0 - -2*1. Let m(q) = q**3 - 3*q - 1. Suppose -j = -3*s - 10, s + 5*j = -3*s + 12. Let z be m(s). Is z less than y?
True
Suppose x + 4 = -1. Let f(z) = z**2 + 6*z + 6. Let y be f(-6). Let n be y/((-3 + 0)/3). Which is greater: x or n?
x
Let c = 13/21 - 10/21. Which is bigger: -1 or c?
c
Let x = 137/94 - -2/47. Let n = -121 + 121. Are n and x equal?
False
Suppose 2*f = -3*v + 16, -