e z and 9 nonequal?
True
Let l = -1343 + 1343. Which is bigger: l or 1/1878?
1/1878
Suppose q = -c + 17, -47 = -2*q - q - 2*c. Suppose 4*p = -p + u - q, 2 = -2*p + 2*u. Is -3 <= p?
True
Suppose i - 5*f + 14 = 4*i, f + 6 = -5*i. Let u be (i + 4)*3/6. Is u > 2/15?
True
Let m = -1626 - -1960. Is 332 greater than m?
False
Suppose 3*h + 12 = 4*x, 0 = -h + 3*x + x - 12. Is h at least as big as 1?
False
Let s = -6 + 32. Let u = 26 - s. Suppose 5*q + n = 0, q + n + 2 + 2 = u. Which is smaller: q or -1/3?
-1/3
Let k = 3 - 2. Let j = 14 - 6. Let a be 4 + -1 - j/2. Which is greater: k or a?
k
Suppose -4*s + 3*s = 5. Let n be 12/15*s/(-2). Which is bigger: n or 1?
n
Let i = -3047/29336 + 15/152. Does -1 = i?
False
Let p = -80.8 + 84.8. Is 16.9 at least p?
True
Let r be (-626)/8 + (-3)/(-12). Let h be (-2)/(-12)*-458 + -1. Let a = r - h. Which is smaller: a or 3/4?
a
Let p = 5 + -7. Let i be 2/(-4)*(-5 - 1). Let j = p - i. Is j greater than -5?
False
Let v(t) = -t - 1. Let f be v(4). Suppose 30*h + 399 = -27*h. Are h and f unequal?
True
Suppose -39 + 63 = 6*w. Which is smaller: w or 20/7?
20/7
Let b = 30 + 26. Is 1/5 > b?
False
Suppose -4*m - 4 = -6*m. Suppose 4*g = 4*n, m*g = n + 2 + 1. Let w(v) = -v**2 - 12*v + 3. Let a be w(-12). Is n >= a?
True
Suppose 0*o + 4 = -3*o + 4*g, -3*o - 10*g + 10 = 0. Which is bigger: 26/57 or o?
26/57
Let d(t) = t - 6. Let x be d(-5). Let r be -3 + 7 + 2/((-4)/6). Let y be r - (1 + 40/4). Which is smaller: y or x?
x
Let n = 0.2 - 0.3. Let y = -3221 - -3137.85. Let k = 83 + y. Which is smaller: n or k?
k
Let v(g) = 12*g + 17. Let h be v(-7). Let k = -67 - h. Is k greater than -7?
True
Let f = 67/17 - 6549/1666. Let x = -123/49 + f. Which is smaller: x or -4?
-4
Let d be (-579)/83 + (-2 - -9). Are -1 and d equal?
False
Let x(c) = -c**3 + 9*c + 10. Let a be x(-2). Let g = 0.07 + 1.53. Is g at most a?
False
Let b be 0 + 0 - (-2)/(-3). Suppose 0 = -2*i - 3*x - 11, -2*i - 5*x - 17 = 2*i. Let c be (-6)/(-33) + i/(-11). Which is smaller: b or c?
b
Let u = -86 - -85. Let l be 1*3/u - 408/(-16). Which is smaller: l or 23?
l
Let g be 2/3 + (-1080)/324. Let d(a) = a**3 - 3*a**2 - 5*a + 2. Let l be d(4). Is g != l?
True
Let z be (-14380)/90 + 1/(-3)*2. Let r = -160 - z. Which is bigger: -1 or r?
r
Let n(c) = c**3 - 21*c**2 + 34*c - 184. Let a be n(20). Is a equal to 100?
False
Let f = 0.094 + 0.006. Is f at most 29?
True
Let x(o) = o**3 + 5*o**2 - 16*o - 79. Let d be x(-5). Is -12/179 at least as big as d?
False
Let v be (25 - 2)/(-1)*(-14)/(-21). Let h = 19 - 34. Let b = h - v. Are 0 and b equal?
False
Let f(z) be the second derivative of -z**5/30 + 2*z**3/3 + 4*z. Let w(p) be the second derivative of f(p). Let l be w(-2). Are l and 6 equal?
False
Let j = -3.8 + 5.64. Let a = -10.16 + 10. Let l = a - j. Is 0 at least l?
True
Let d be (18/(-72))/(1/(-16)). Let g be 336/(-54) + 1 + d. Which is smaller: -2 or g?
-2
Let l = 45 - 74. Let t = -35 - l. Let q = -0.1 - -1.1. Do t and q have the same value?
False
Suppose 2*j = -2*w - 66 + 356, 2*j = 3*w - 445. Is 148 > w?
True
Let v(y) = y**3 - 6*y**2 + y - 1. Let a be v(6). Suppose -3*i + 156 = -3*u, 5*i + a*u = 3*u + 225. Let x = i + -187/4. Which is bigger: x or -1?
x
Suppose 2*h = -0*h - 2*z + 14, 2*h + 4*z - 8 = 0. Suppose -j = -3*r - 26, h = 2*j + 2*r - 10. Let o be (j/(-20) - -1)*-2. Does -2 = o?
False
Suppose -6*u = -38 - 4. Suppose 1 = 6*x + u. Is -1 < x?
False
Let f(k) = k**3 + 7*k**2 - 9*k - 12. Let b(j) = -3*j + 1. Let z = 5 + -2. Let d be b(z). Let p be f(d). Is -3 bigger than p?
True
Suppose -19 = 4*b + a, b + 4*a + 13 = a. Let q be 167/55 + 1 + b. Which is greater: -1 or q?
q
Let u(n) = -n**2 + 2*n - 16. Let o be u(3). Is -99/5 at least as big as o?
False
Let q(g) = -g - 10. Let j be q(-10). Let a = -1395/377 + 49/13. Is j at most a?
True
Let c = 2 + -4. Let k = 99.85 - 100.85. Which is smaller: k or c?
c
Let n be (-40)/80 + (-10)/4. Is 0.08 >= n?
True
Suppose -3*q = 3*q - 36. Suppose 0 = 4*d - 3*m - 1 + 7, 0 = 3*d + 3*m - q. Is -9/10 at most d?
True
Let d = 4 + -3.6. Suppose -7*v - 46 = -95. Is v not equal to d?
True
Let c be (-4)/(-6)*(-3)/(-2). Let b = -10/83 - 275/1162. Which is smaller: b or c?
b
Let m be ((-744)/(-112))/((-1)/2). Let v = 13 + m. Which is bigger: -1 or v?
v
Let i be 14/(-49)*-279 + (-6)/(-21). Do i and 80 have the same value?
True
Let a = 455 - 3191/7. Is -0.8 at most as big as a?
False
Let u(w) = 21*w**2 + w**3 + 13*w**2 - 4 - 2*w**3 - 16*w**2. Let a be u(18). Let h be (a + 5 + -3)*-1. Which is smaller: 0 or h?
0
Suppose 5*p - 18 = -s, -68 - 38 = -4*s - 3*p. Let i be 1*-22 + 0/(-2). Let k = s + i. Which is smaller: k or 4?
4
Let z = -50 - -57. Does 11/2 = z?
False
Suppose -2*x - 2*x + m = -13, -3*x + 4*m = -26. Suppose -8 - 3 = v + 2*z, -5*z = -x*v + 23. Is v smaller than -1?
False
Let t = 75 - 74.93. Which is bigger: t or -5?
t
Let v be (52 - 56) + 2*(-8)/(-2). Is 2 != v?
True
Let n(q) = -q**3 - 6*q**2 + 7*q + 5. Let i be n(-7). Suppose i*f + 245 = 2*g, -f - 30 = 4*g + 19. Let y be f/14 - 2/(-4). Which is greater: -2 or y?
-2
Suppose -10*z = -3*z - 42. Suppose -3*h = 2*s - 6, -6*s + z = 3*h - s. Do 15/7 and h have different values?
True
Let k(d) = d**2 - d - 1. Let y be k(-2). Suppose 0 = y*t - 8*t + 258. Which is bigger: t or 87?
87
Let z(u) = u + 5. Let o be z(-5). Let n be 8/(-132) - (-1)/(9/12). Which is bigger: o or n?
n
Let s = -1 - 2. Let k = 161 + -156. Let m be (-2 - (k + -4))*1. Are m and s non-equal?
False
Suppose 0 = 2*m + a - 3, 0*a - 5*a + 23 = 2*m. Is m at most as big as -4/189?
True
Let r be 6434/(-32) + (-25 - -28). Let c = -198 - r. Let q = 2 + -1.8. Which is greater: q or c?
q
Let b(q) = -2*q + 10. Let y be b(5). Suppose 4*j + 3*r - 57 = y, -2 = 5*r + 3. Is j at least as big as 16?
False
Suppose f = 7*f - 54. Let l(n) = -f + 4*n - n + 8*n**2 - 13*n + n**3. Let j be l(-9). Is j greater than 1?
False
Let m = -1839857/156650160 + -59/81930. Let d = m - 2/239. Which is smaller: d or 1?
d
Let y(z) = -42*z - 3. Let q(g) = 21*g + 1. Let c(u) = -11*q(u) - 6*y(u). Let o be c(-12). Let d be 679/o - (-8)/14. Is -1 at most d?
False
Let n(h) = 21*h - 188. Let u be n(9). Which is greater: u or -1/70?
u
Suppose -14*o - 178 = 144. Is o < -23?
False
Suppose 0 = 4*z + 23 - 31. Let l be 2/4*84/(-7). Let s(u) = -u**2 - 6*u - 1. Let p be s(l). Are p and z non-equal?
True
Suppose y + y + 12 = 0. Let h = -114 - -49. Let s be y/(-15) - (-16)/h. Which is greater: 0 or s?
s
Let z = 1665.7 + -1665. Are 115 and z non-equal?
True
Let s(m) = -5*m**2 - 24*m - 10. Let k be s(-5). Which is smaller: -156/11 or k?
k
Let i be (-1)/(-4) + 11/4. Let m(y) = y**2 + 12*y - 7. Let r be m(-13). Let o = r + -3. Is o equal to i?
True
Let f = 2.96 + -3. Let y = 0.258 - 0.258. Which is greater: f or y?
y
Let l = -40 - -41. Let w be l/(95/(-115)) + 1. Is 0 less than w?
False
Let h be 1700/(-2) + 120/24. Which is bigger: h or 2?
2
Let q = 535/6 - 89. Let u = -1 - -2.9. Let s = 0.9 - u. Is s < q?
True
Suppose 5*f + 4*q - 3761 = 0, 5*q - 82 = 3*f - 2309. Which is smaller: f or 748?
748
Let w be 439/(-14)*2 + 1. Let k = 62 + w. Let u = 211 - 216. Which is greater: u or k?
k
Let f be (-11)/(-363)*11*(0 - 0). Let r = 22261/84 + -265. Is f at least r?
False
Let m = -1.298 + 0.65. Let d = -0.088 - m. Which is smaller: 0 or d?
0
Let y(o) = 79*o**2 - 11*o - 12. Let j be y(-1). Is 79 less than j?
False
Let k be (9 - 0 - -6)/(3 + -4). Which is greater: -29/2 or k?
-29/2
Let j be 13/5 + 2/5. Let d(n) = -n**3 + 3*n**2 + 2*n - 2. Let a be d(j). Suppose -3*w + 3 = -3. Which is smaller: a or w?
w
Suppose 0 = -5*d + d - 2*t - 36, -28 = 2*d - 4*t. Let h(o) = -o**3 - 9*o**2 + 10*o + 8. Let k be h(d). Is k at least as big as 2?
True
Let i be (-28 + 27)*(-1 + 2). Which is smaller: i or 0.005?
i
Let u = 74 + -223. Which is smaller: -148 or u?
u
Let q = -3 - -32. Suppose -2*w + 5*l - q = -w, l = 4. Let y = -12 - w. Is -3 equal to y?
True
Let c = -0.1152 + -1.3948. Is c equal to -8?
False
Suppose 1 - 5 = 2*v. Let q be (v - 15/(-9))/((-6)/(-4)). Which is smaller: 1.3 or q?
q
Let z = 73/4 - 18. Suppose 3*a = 5*y - 0*y - 18, 5*y = 5*a + 20. Suppose 6*w = y*w. Are z and w non-equal?
True
Let d = -166 - -164. Which is smaller: -129 or d?
-129
Let t = -0.25 - -10.25. Let y = 0.898 - -0.102. Is y bigger than t?
