ue
Suppose 0 = -t + 22 - 19. Suppose 0 = -t*b - 4 + 1. Is -1/52 less than or equal to b?
False
Let b(z) be the first derivative of 1/2*z**2 + 0*z - 1. Let o be b(4). Do o and 4 have different values?
False
Suppose 21 = -j - 4*x, -59 = 5*j - 6*x + 3*x. Are j and -14 unequal?
True
Let d = 51 + -49. Let p be -1*((-42)/10 + 3). Is d equal to p?
False
Let k be 0/(3/2*16/(-12)). Let q = -18 + 147/8. Is q at most as big as k?
False
Suppose 6*y - 480 = -72. Which is smaller: 67 or y?
67
Let a(c) = c**3 + 5*c**2 - c - 2. Let p be a(-5). Suppose p*z - 1 - 5 = 0. Suppose -3*k + 3 + z = -4*v, v - 1 = 3*k. Which is bigger: v or -5?
v
Suppose 15 = 15*c - 10*c. Let r be (-13600)/399 - (-1)/c. Let u = -237/7 - r. Which is smaller: 0 or u?
u
Let u be ((-30)/25)/(2/5). Let t = -47087/15 + 3136. Let k = t - 37/60. Is u smaller than k?
False
Let n be -2 - 3/158978*-105986. Let j = 83383971/794890 - n. Let c = j - 105. Do -1 and c have different values?
True
Let d(n) = -n**2 + 16*n + 1. Let a be d(0). Is -1 at least as big as a?
False
Let g(c) = -2*c + 7. Let j be g(3). Suppose 5*h + 29 = -3*m, 3*h = 2*m - 0*h + 13. Is m greater than or equal to j?
False
Let u(f) = -5*f**3 + f**3 + 5*f**3 + f - 12*f**2 + 3. Let t be u(12). Suppose -h + 2 = -1, -t = r - 5*h. Is r less than or equal to 0?
True
Let u = 1.91 - -0.29. Let a = u + -2. Is a less than or equal to 0.9?
True
Let m(r) = -r + 4. Let y be m(0). Suppose 5*d = 20 - 10. Suppose -y*s = -0*l + d*l + 2, -3*l - 3*s = -3. Which is bigger: l or 4?
4
Let i = 7.83 - -0.17. Let q be ((2/7)/(14/21))/1. Is q >= i?
False
Let i be (0 - -2) + (-4)/(2/1). Suppose 5*f - g = -14 + 39, i = -2*g. Suppose b - 5*b - 4*z + 8 = 0, 5*b - 34 = 3*z. Is b equal to f?
True
Let h be (1 - 5342)/((-13)/(-1339)). Let i = h + 160636139/292. Let n = -1/73 + i. Do n and -1/4 have the same value?
False
Let g be (-249)/(-252)*2 + (-94)/47. Which is greater: g or -1?
g
Suppose 62*y - 9695 = -58737. Is -791 <= y?
True
Suppose -35*w = -28*w + 42. Is -64/9 at least as big as w?
False
Let z(k) = k**2 - 3*k + 8. Let l be z(7). Let o be -9*3/(l/8). Let i be 46/o + 4/6. Is -8 not equal to i?
True
Let u be (-104)/(-2) - (-1 + -3). Let w be (-1)/((-4)/u*2). Suppose -3*h - w - 23 = 0. Is h < -10?
False
Let j = 103 + -102.8. Is j less than 0.263?
True
Let f = -263 - -135. Let z = f - -125. Is -5 at most as big as z?
True
Let i = -7 + 3. Let t be (13 - 24) + (-306)/(-42). Are i and t unequal?
True
Let z = -606 + 611. Let w be (-3)/(-1 + 4) + 8. Are w and z equal?
False
Let i be 12/((70/(-25))/((-3)/5)). Suppose 0 = 3*g - 2*g - 3. Is i greater than g?
False
Let c = 233/4 - 59. Suppose 5*u = -w + 10, -5*w + 3*u = 134 - 156. Is c at least as big as w?
False
Let q be (11 + -7)/((-3)/242). Let n = q - -320. Are -3 and n unequal?
True
Let n(f) = -f - 4. Let c be n(-4). Suppose 198 = -2*q - h - c*h, -4*h - 99 = q. Let b be (-1)/(-3)*q/(-22). Is b equal to 1?
False
Suppose -x - 18 = -5*k, -14 = x + 48*k - 49*k. Let d = -23 + 37. Suppose n + 6 = -2*h + 5*n, 0 = -3*h + 5*n - d. Is x at least as big as h?
True
Let r be (-7 - 119/56) + 4*1. Which is greater: -6 or r?
r
Let c = -2.8963 - 0.1037. Is 0.206 less than or equal to c?
False
Suppose 0 = -2*r - 10 - 12. Let x = r + 19. Suppose -3*b = -b + x. Is b greater than or equal to -4?
True
Let d = 0.87 - -0.23. Let s = 1.3 - d. Which is smaller: s or 4?
s
Let q = 155.7 + -161. Is -4 smaller than q?
False
Let w = -0.16 - 9.84. Let c = -9.8 - w. Which is greater: c or -5/7?
c
Let t = -3381/8 - -423. Which is bigger: t or 1/29?
t
Let a = 502 - 504. Let n = -337 - -5059/15. Which is smaller: a or n?
a
Suppose -2*n + n - 3*h = 7, -5*n = 3*h - 13. Suppose n*g = g. Is -1 greater than g?
False
Suppose -5*c + 26 = 76. Let w = -24 - c. Let i be 2/7 - (-144)/w. Is i > -9?
False
Let d be 8/14*(-1)/2. Let x = 2.589 - 0.029. Let m = x + -2.5. Is m < d?
False
Suppose -5*k + 2 = -3. Suppose -4*h + 13 = 5. Let l be (-10)/(-2)*((-344)/170 + h). Which is smaller: k or l?
l
Let n be (-1)/(4/(-8)*-6). Suppose -4*h = -3*f + 7, 0*f + 4 = -5*h - f. Which is smaller: n or h?
h
Let y = -23 - -16. Let i = 645 + -651. Is i greater than y?
True
Let s(g) = -g**2 + 7*g - 6. Let d be s(4). Let w(y) = -y. Let h be w(d). Let l be (h/30)/((-6)/(-10)). Is 3 less than l?
False
Suppose -36*k + 25 = -83. Which is smaller: 101/26 or k?
k
Suppose -11*d + 8*d - 113 = -2*q, 0 = -2*d - 2*q - 92. Let o = 60 + -103. Which is smaller: d or o?
o
Let s be (-2)/2*22/847*11. Let h = 4 + -7.8. Is h greater than or equal to s?
False
Let k be 131 - ((-5 - -4) + -1). Let r be 0/(2 - 1) + -21. Let u be k/r - (-2)/6. Which is smaller: -4 or u?
u
Let o = -859/11 + 78. Let l be 2 - (-2 + 2) - -3. Let q be 2 + 0/l + -1. Is q greater than o?
True
Let a be ((-10)/14)/(8/7). Let s(z) = 2*z**3 - 4*z**2 + 2*z. Let q be s(2). Suppose t - i = -3 + q, 0 = -4*i - 4. Which is smaller: t or a?
a
Let a = -4/785 + 28312/10205. Which is smaller: a or 3?
a
Let h(g) = -73*g + 6. Let d be h(8). Let u be d/2248 + (-1)/(-4). Let r = -301/2810 - u. Is -1 equal to r?
False
Let d = -1.057 + 1.057. Let m = -0.06 + -0.03. Is d greater than or equal to m?
True
Let x = 1132 + -3394/3. Does -9/13 = x?
False
Suppose -h + 5*l = -20 - 12, 2*l + 68 = 5*h. Let f(y) = y**3 + 11*y**2 - 2*y - 12. Let p be f(-11). Is p <= h?
True
Suppose -3*m + 81 + 1143 = 3*q, -4*q - 3*m = -1637. Is q at most 2?
False
Let y = -168 - 18. Let j = y + 186. Let h be ((-1)/(-20))/((-4)/10). Which is greater: j or h?
j
Let m be ((-1)/(-1))/((-2)/86). Suppose -985 = 19*v - 149. Is m equal to v?
False
Let u be 39 + 6 + (-3 - 0). Let z = 626/15 - u. Let l(q) = -q**3 + 3*q**2 + 3*q - 11. Let r be l(2). Is z < r?
False
Let r = 0.05 - -2.95. Let d = 8 + r. Let p = d - 10. Which is smaller: -1 or p?
-1
Let p = 786/13 + -14817/247. Let a = 3722792/57 - 65314. Let o = a - p. Which is smaller: -1 or o?
o
Suppose 4*v = -5*g + 30, 5*v = 3*v + 2*g + 6. Suppose 3*d - 4*c = 32, 5*c = -d + v*d - 41. Is 4 less than or equal to d?
True
Let q(z) = -z**3 - 13*z**2 + 19*z + 37. Let j be q(-14). Which is smaller: j or -34?
-34
Suppose 15*y - 16*y = 2*o - 4, 2 = 2*y + o. Is -3/1286 equal to y?
False
Suppose 4*i = -3*a - a + 4, 4*i - 8 = -5*a. Suppose 8*l = a*l - 4. Which is bigger: -3.4 or l?
l
Let t = 58 + -55. Let g be ((-10)/20)/(t/(-6)). Which is smaller: 10/17 or g?
10/17
Suppose -102 = -o - o. Suppose 5*w = u - 5 - 57, -3*w = 4*u + o. Let k(f) = -f**3 - 3*f**2 + 4*f - 1. Let h be k(-3). Is w at least h?
True
Let f = -2083/4 + 520. Let h(v) = v + 1. Suppose 0*i = 4*i + 4*y + 16, -y - 1 = 0. Let q be h(i). Which is smaller: q or f?
q
Let t = -2 + 6. Let b = 39 + -36. Suppose f + 4*m + 4 = -1, 0 = t*f - m + b. Are -18 and f unequal?
True
Let o(j) = -2*j**2 + 28*j + 33. Let s be o(15). Let z(g) = g**2 + 8*g + 8. Let f be z(-8). Suppose 3*n = 2*x + f, n + 5*x = 4*n - 2. Is s greater than n?
False
Let a(c) be the second derivative of -c**5/20 + 11*c**4/12 + 8*c**2 + 49*c. Let f be a(11). Which is smaller: f or 15?
15
Let z = 1961 - 1988. Is 9 <= z?
False
Let a = -17696/435 - -203/5. Let b = a - -88709/696. Let u = 127 - b. Is 1 >= u?
True
Let r = 4328 - 4332. Let x = -1813/505 + -1/101. Which is bigger: r or x?
x
Let a = -0.478 + -0.042. Let v = 3.48 - a. Is -4/3 bigger than v?
False
Let j = 988.3 + -989. Which is smaller: -3/34 or j?
j
Let k(s) = 27*s + 2. Let w be k(1). Let g = -18 + w. Which is bigger: g or 12?
12
Let y = 110 + -63. Let q = y - 46.88. Is 0 greater than q?
False
Let v = -512.911 + 1.911. Which is smaller: -1 or v?
v
Let y = 7 - 60. Let t = 52 + y. Which is smaller: -9 or t?
-9
Suppose -838 = -6*j - 436. Which is greater: 68 or j?
68
Suppose 3*v = -3*z, 9*v - 7*v = -4*z + 8. Which is bigger: z or 1?
z
Let m be -5 + 26/5 - 1/(-20). Is m greater than or equal to -0.31?
True
Let c = 7.8 + 0.2. Let w = 5 - 23. Let l = 17 + w. Which is greater: c or l?
c
Let f = 44 - 138.2. Let r = f + 95. Suppose -4*k - k + 5 = 0. Is r less than or equal to k?
True
Suppose 5*z - 29 = 21. Suppose 2*q = -z + 2, 5*c + 4*q + 16 = 0. Which is greater: c or 2/63?
2/63
Let z be (-6)/(-21) + (-274)/812. Let k = -340956685/522 + 653174. Let n = k + z. Is -1 greater than n?
False
Let g = 82 + -131. Let q = 103/2 + g. Is q less than or equal to 3?
True
Let b = 10/9 - 74/99