 4*p = u. Is u bigger than 10?
False
Let v = -268.6234 - -0.1234. Let o = v - -268. Are o and -1/27 unequal?
True
Let c(v) = v**3 - 2*v**2 - 4*v + 2. Let h be c(3). Let t = 8400407 + -17556851003/2090. Let r = t - -4/95. Does h = r?
False
Let u be (-12)/234*(-7 + 10). Is -868 less than or equal to u?
True
Let c(j) = -710*j - 5152. Let d be c(-8). Which is bigger: 524 or d?
d
Let m be 3 + (-3470)/854 - 36/(-63). Let g = -1081/2074 - m. Which is smaller: 1 or g?
g
Let x(u) = -114*u - 10. Let p be x(-4). Let m = p - 248. Let h be (-62)/(-22) + 36/m. Is h >= 4?
False
Suppose 6*c + 13252 = 2788. Which is bigger: c or -1745?
c
Let o = 0.3 + -1.3. Let l = o - 2. Let j = -0.0256 - -0.1256. Which is bigger: j or l?
j
Let d = 356.288 - 355.75. Does -1/10 = d?
False
Suppose 3*x + 17 = 5*s, 7 = 2*s - 5*x + 4*x. Suppose 0 = -5*z - 5*b, -18 = 2*z - s*z + 4*b. Let q be ((-1)/2)/((z + 0)/6). Which is bigger: 3/10 or q?
3/10
Let n(k) = k**3 - 7*k**2 + 6*k - 6. Let o be n(5). Let b be (0 - 1) + (7 - 6). Suppose -2*l - 54 = -2*g, 4*g - 12 = -b. Which is smaller: o or l?
o
Let u = -75 + 685. Let o be 1/2 + (-335)/u. Let r(z) = z**2 - 60*z - 2124. Let d be r(-25). Which is smaller: o or d?
o
Let c(u) = -u + 17. Let d be c(18). Suppose -5*q = 5*v - 6*q - 3, 4*v = 5*q - 6. Let k be 3/(18/(-15)) + v. Is k less than or equal to d?
True
Let t = 6931 - 10797. Is -3867 at most as big as t?
True
Let k be ((-72)/16 + 4)/((-1)/(-2)). Let r be k/(-2) + (-52)/168. Which is greater: r or 4?
4
Suppose -15*x - 30682 = -4372. Is -1756 != x?
True
Suppose 204 = 6*j - 90. Let q be (j/14)/(-2 + 111/54). Is 63 at most as big as q?
True
Let z = 45.397 - 45.7. Let d = 0.173 + z. Is 0.12 at least d?
True
Let l be 2173/2*(31 + -33). Which is smaller: -2172 or l?
l
Let b = 5 + -7. Let s = -2647 + 2645. Do b and s have the same value?
True
Let w(k) be the second derivative of k**5/20 - 11*k**4/12 + 5*k**3/3 - 11*k**2/2 - 9*k. Let j be w(10). Let s be 22/j - -1*13/2. Is -0.2 at most as big as s?
True
Let v be (1023/(-333) + 3)*(-180)/(-240). Is v bigger than -3?
True
Suppose -18*l + 20*l + 87 = j, 5*l = j - 87. Let w be (609/14)/(1/2). Is w > j?
False
Suppose 4*q - 5 = 19. Let l = q - -5. Suppose -14 = h - l. Is 2 at least h?
True
Let m = 248 - 130. Let f be (-2)/20*(m + (-1 - -5)). Is -12 at least as big as f?
True
Let t = -3257 + 3260.063. Let j = t - 0.063. Let c = -28 - -22. Which is greater: j or c?
j
Let a = 247 + -109. Let m = 2345/17 - a. Let s = m - 11/102. Is s < 1?
True
Let k = -509 - -1366. Let o = -522 + k. Does 336 = o?
False
Let b = 144 - 142. Suppose -b*o = 4*o - 5*o. Are -1 and o equal?
False
Suppose -9*x - 21*x + 1710 = 0. Let a be x/(-6)*2 + (3 - 1). Is -17 at most a?
True
Let l = 3328 - 3324. Which is smaller: l or 29/6?
l
Suppose -16 = -4*m + 3*p, 7*m - 4*m + 3*p - 12 = 0. Suppose -4 = m*h, -4*q + h + 159 = -2*h. Let d(u) = -51*u + 907. Let t be d(17). Which is smaller: q or t?
q
Suppose 0*a = 5*g + 4*a - 3000, a = -g + 599. Is 1810/3 > g?
False
Suppose 3*k + 2*m = 1922, -3*k + 6*m - 722 = -2588. Do 643 and k have the same value?
False
Let j = 21 + -31. Let w = j - -4. Let a be (-9)/7*(90 + 17)/963. Is a less than or equal to w?
False
Let x be (-8 - (-328)/48) + (-6)/(-4). Let h = -857 + 852.98. Is h >= x?
False
Let l be 287/(-164)*44/(-3346). Which is smaller: -1 or l?
-1
Suppose -2*w = -4*t, 2*t - 5*w + 18 = t. Suppose 5*q - 5*z - 15 = 0, -4*q - t*z = -7*z - 16. Does 442 = q?
False
Let i = 36 - 36.78. Let b = 1.84815 + -0.06815. Let p = b + i. Is 1/21 smaller than p?
True
Let x be 1*(-8)/(-6)*48/32. Let i be 1/(9/(-63)*-7). Which is bigger: x or i?
x
Let v = 133349/7 - 19004. Let g = -859/14 + v. Suppose -2*p - 49 = -0*p + 5*x, -p + 2*x = 11. Is p greater than or equal to g?
False
Let n be 1 - 3 - (-136)/76. Suppose -2*j + 2 = -3*l, 0 = 4*j - l - 0 - 4. Is j > n?
True
Let r = 7.6 + -9.5568. Let a = r - 0.0432. Which is bigger: a or -64?
a
Suppose -k = 3*f + 83, -f + 2*k = -4 + 34. Let z(u) = -41*u**2 + 206*u + 218. Let a be z(-1). Which is smaller: a or f?
a
Let c = -9/2 + 5. Let q = -363 - -362.987. Which is smaller: c or q?
q
Let j be 258/(-172) + (-4)/((-16)/10338). Let u be 7 - (-1 + 20691/j). Which is smaller: u or -1?
-1
Let a(p) = -7*p - 10. Let i be a(-6). Suppose -2*l + 6*l = -16. Let v be l/(-3)*(-8)/i. Which is smaller: 2 or v?
v
Let u = 579 + -2385/4. Suppose 0 = -8*i + 11*i - 51. Let s = i + u. Which is greater: s or -11?
s
Let f = 5/56 + 17/168. Let d = -1/7 - f. Let t = 32198 + -32199. Is t > d?
False
Let p = -4218/261287 - -8/1313. Let q(g) = g**3 - 2*g**2 + 2*g - 1. Let y be q(1). Which is greater: p or y?
y
Let b be (840/32)/((-27)/72). Which is greater: b or -754/11?
-754/11
Let u be (8/(-44))/(2/(-22)). Let h be (-1)/(-7) + (552/(-21))/u. Which is smaller: h or -25/2?
h
Let v = 358 + -399. Let n = -41 - v. Is n equal to 1/2?
False
Let c = -10799/5 - -13487961/6245. Let v be (0/69)/(2 - (6 - 3)). Which is smaller: c or v?
v
Let o = 5609 + -5609.1. Let v = 1306 + -214185/164. Which is greater: o or v?
v
Let l(g) = 9*g + 1. Let h = -29 + 28. Let q be l(h). Let n be (q + 5)/6*0. Is 4/3 less than n?
False
Let b = -328 + 1622/5. Let p(k) = 15*k**2 + 2*k. Let r be p(2). Let o be (2/4)/((-8)/r). Is o bigger than b?
False
Let t be (2/6)/((-1)/17). Let g = 972 + -969. Suppose -3*z + 3*m = 33, -30*z + 25*z - g*m - 15 = 0. Which is greater: t or z?
t
Let k = -44.2 - -44. Suppose -2*l + 17 = 2*l - 5*g, 3*l - 2*g = 11. Let h be 19/5 + -1 - l. Is k less than or equal to h?
True
Let k be (24 + 5346/(-189))*8*2/70. Which is smaller: 0 or k?
k
Let b = -3.1 + -1.9. Let h = 11.5 + -8.19. Let l = h - 3.36. Which is smaller: l or b?
b
Let m(s) = -3*s**3 + 157*s**2 + 105*s + 124. Let f be m(53). Do 23 and f have different values?
True
Let x = -16624/16539 + 135/149. Which is smaller: x or 0?
x
Let h = 65957/3864 + 399/184. Let z = 74488/3885 - h. Which is smaller: z or -1?
-1
Let h be (-141*(-86)/11572246)/((-3)/(-7)). Let x be (-4)/(-6) + 4/(-6). Is h < x?
False
Let z be -23164 + (92/(-230))/(81/(-75) + 1). Is z greater than -23159?
False
Let j be (-1772802)/(-2831) + 8/(-38). Is 629 <= j?
False
Let r(w) = w**3 - 34*w**2 - 57*w - 500. Let c be r(37). Is c less than or equal to 1499?
True
Let l = -167/210 - -7/10. Suppose -2*n - 4*w = -4*n, 0 = -2*n + 2*w. Suppose n = -0*h - 2*h. Which is greater: l or h?
h
Let s = 129181/88 + -1468. Let z = -1040 + 1040. Are s and z unequal?
True
Let t be (-16)/(-76)*(-13)/26. Which is bigger: 52 or t?
52
Let n = 0.206 - -0.31. Which is smaller: 2 or n?
n
Let o = -0.06824 + 193.06824. Is -2/37 <= o?
True
Let h = 57 + -62.6. Let f be -3 - -220 - 2*6/(-4). Let z = 221 - f. Is h less than z?
True
Suppose -27*s + 7467 = 30*s. Suppose s*f + 216 = 104*f. Which is bigger: -0.13 or f?
-0.13
Let t = 14.6145 + -14.4145. Let q = 162 - 253. Does q = t?
False
Suppose -59*l + 101802 = -2*l. Is l < 1786?
False
Suppose -2170 = 25*j + 35055. Is j less than -1488?
True
Let v be (-16)/(-36) - ((-880)/45 - -8). Let a be (-33)/(-132) + 149/12. Is v bigger than a?
False
Let o(y) = -y**2 - 3*y + 12. Let a be -3 - -39*(-2)/(-3). Suppose 9*q - 4*q + a = 2*p, p = 4*q + 19. Let g be o(q). Is 4 > g?
True
Let x be (-4)/(-18) + (-650)/819 + 4/7. Is -3/127 less than or equal to x?
True
Let w be ((-5)/3)/((-9)/(-54)). Let l be 279/39 - w/(-65). Let m be (2/l)/((-312)/(-91)). Which is bigger: m or 1?
1
Let r(u) = -u**2 - 9*u + 10. Let o be r(-10). Suppose o = -8*p + 160 + 800. Suppose -10*k = -4*k - p. Which is smaller: k or 22?
k
Let j(x) = -3*x**2 + 48*x + 163. Let q be j(18). Let n(s) = s**3 - 5*s**2 + 4*s - 6. Let t be n(6). Which is greater: t or q?
q
Let q = 0.0153 + 458.9847. Let i = q + -435.1. Let j = 24 - i. Which is smaller: j or -16?
-16
Let r = 0.0524 - 37.3324. Let b = -0.72 + r. Let p = 25 + -26. Which is greater: p or b?
p
Let t = 72 - 72. Let z be (-1)/((-2 - -5)/(-6)). Suppose 0 + z = f, t = -3*y - 3*f - 24. Are -10 and y non-equal?
False
Let a = -54514691/234887 - -430/7577. Let q(j) = 9*j**2 + 2*j - 3. Let k be q(5). Let w = a + k. Which is smaller: w or 0?
w
Let p be 2 - (-113)/1 - 40/(-20). Let l = -146 - p. Do l and -261 have the same value?
False
Let t be (-12)/20 + 4/(-10) - -3. Suppose -4*f = -5*b + 79, t*b - 4*f - 19 = b. Let z be (-1)/3*