894/13497 - -2/4499. Let j = -34 + n. Is 4 smaller than j?
False
Let a be (-47)/(-30) - -3*6/(-27). Let y = a + -1/2. Let p = -2 + 2. Does y = p?
False
Let z be 104/48 + 1*-2. Is 1 >= z?
True
Let f = -339 - -1015/3. Which is smaller: -3.3 or f?
-3.3
Let z = 251 + -269. Is z at most as big as 0.05?
True
Let y = -35 + 139/4. Suppose -57*q = -82*q + 175. Does y = q?
False
Suppose -34*h = -32*h - 96. Suppose 30*r + h = 28*r. Which is greater: r or -25?
r
Let p(i) = -i + 15. Let m be p(12). Suppose 0 = 3*v - 3*w + 15, -6*v + 2*v - m*w + 8 = 0. Which is greater: v or -2/109?
-2/109
Let r = 0.192 + 3.758. Let b = 0.05 + r. Let g = 0 - 0.1. Which is smaller: b or g?
g
Suppose 23*l = 25*l + 150. Is l at most as big as -75?
True
Let r(v) = -v**3 + 51*v**2 + 406*v - 77. Let w be r(58). Is w < -77?
False
Suppose z = -2*z. Let q be (-2)/10 - (-20285)/(-53200). Let l = 3/304 + q. Which is greater: z or l?
z
Let k = -0.34 + 27.34. Let x = k + -35. Which is bigger: 2 or x?
2
Let g = 82 - 208. Which is smaller: -1 or g?
g
Let f be 1*3 - (9 - 6). Let l be (((-18)/32)/(3/(-12)))/(-12). Are l and f equal?
False
Let d = 9 - 7. Let n be (-7)/14*-3*4/6. Is d not equal to n?
True
Let j = -2027 - -1563. Do -466 and j have the same value?
False
Let p be ((-3)/(-6)*-4)/((-1)/(-2)). Which is greater: p or -34/11?
-34/11
Let o be (6/(-45))/((-28)/84). Which is greater: o or -1.02?
o
Let k be -1*((-760)/2)/5. Suppose w - k = 8*m - 5*m, -134 = 5*m + 2*w. Is m != -27?
True
Suppose 3*o + o - 8 = 0. Suppose g + 2 = -s - 5, -18 = o*s + 3*g. Is -12/5 smaller than s?
False
Let b be (-341 + 9)/((-4)/6*11). Let i = -58244/1287 + b. Is 1 < i?
False
Let c = 13 - 6. Let b = 21 - c. Is 13 less than or equal to b?
True
Suppose 6*d - 258 = 4*k + d, -345 = 5*k + 5*d. Let x = -66 - k. Is x != 5/8?
True
Let d be ((-11)/58 - 0) + (-11)/(-66). Is d equal to 0?
False
Let j = 3 - 2. Let d(y) = 3*y**2 + 2*y + 3. Let f be d(-1). Let l be (f/(-3))/(88/24). Is j < l?
False
Suppose 3*t - 12*t - 18 = 0. Suppose -2*z + z - 33 = 5*b, 3*z = 5*b + 21. Let m = b + 4. Is m >= t?
True
Let t = 1876 + -2386. Is t at least -510?
True
Suppose 9*s = -17 - 10. Let p be 19/s*(-189)/(-168). Which is smaller: p or -8?
-8
Let w(q) = -4*q + 4 - 8*q + 14*q. Let o be w(-3). Which is bigger: o or -18/11?
-18/11
Let z(a) be the second derivative of a**4/12 + 5*a**3/3 + a**2 + 6*a. Let n be (-18 - -13) + -5 + 1. Let l be z(n). Is -9 at most as big as l?
True
Suppose 0 = q + q - 4. Let j = 0.155 + 6.545. Let m = j + -3.7. Is m <= q?
False
Let y(h) = 8*h - 3*h + 2*h + 4 - h. Let c be y(-3). Let z be (-61)/(-42) - (-4)/c. Do z and 2 have the same value?
False
Suppose 3*v + 4*o = 21 + 27, -2*o - 26 = -v. Suppose 0 = b - 2*n - 31, 8*b = 13*b - 4*n - 119. Which is smaller: b or v?
b
Let u = 5 + -12. Let v = 4.4 - 11.5. Let h = v - u. Is -7 at least as big as h?
False
Let y be (-2*37/(-10))/((-3)/(-15)). Let s = y - 39. Are s and -22/7 unequal?
True
Let a(h) = 14*h - 78. Let j be a(6). Let c be (8/(-24))/((-2)/j). Let b be ((-1)/18)/(8/6). Is b greater than c?
False
Let a be (-1)/55*41*1. Let b be (22/5 - 5) + (-63)/(-55). Let d = a + b. Which is smaller: 0 or d?
d
Let b = -464135/53 - -8757. Which is greater: -1 or b?
b
Let t = 338 + -327. Is 11 greater than t?
False
Suppose -2*w + 4*w - 4*l - 6 = 0, -5 = -w + l. Suppose 2*o - 9 = h - 0*o, -w = -h - 2*o. Let v be ((-8)/264)/((-3)/(-18)). Which is smaller: h or v?
h
Let f = 0.2 + -1. Let y = 0.6 + f. Let o = -8 + 7.94. Is y equal to o?
False
Suppose -5*m = -3*m - 6. Let o be (-2)/(-6)*(6 + -9 - m). Are o and -6 nonequal?
True
Suppose 25 = 5*p, 3*l + p + 97 = -3*p. Let q be (-1)/4 - l/124. Let b(y) = -7*y - 49. Let s be b(-7). Is s > q?
False
Let g(c) = -c**2 + 5*c + 8. Let y be g(6). Suppose -3 = 3*m, -y*m + 3*m = -4*o + 3. Let s be o + 3 + 16/(-4). Is s at most 1/16?
True
Suppose f + 0*f = -3*g + 5, -3*g + 13 = -f. Let j be f/5 - (-22 - -22). Do j and -0.1 have different values?
True
Let f(d) = 2*d + 15. Let m be f(-3). Let y be ((-91)/(-14))/(2 + m/(-6)). Is 12 at least y?
False
Let c = 0.02 - 0.05. Suppose 3*d - 2*d - 2*s = -4, s = 5*d + 11. Let i be 7/((-98)/(-8))*(-1)/d. Is i less than or equal to c?
False
Let i be -1 + (-2)/(-3) + (-19820)/(-60). Let y = 4615/14 - i. Is y less than 0?
True
Let b = 2367 - 9467/4. Which is smaller: b or -455?
-455
Let v(h) = -5*h - 141. Let r be v(-28). Is 2/497 < r?
False
Let s be 12/(-16)*((-48)/(-9))/2. Is s greater than or equal to -2?
True
Suppose 65 = 5*w + 5. Let j = -22 + w. Which is smaller: j or -12?
-12
Let p = 1797 + -10867/6. Which is smaller: p or -13?
p
Suppose 5*z = -5*p - 280, 8*z = -2*p + 4*z - 120. Which is bigger: p or -54?
p
Let c(m) = 3*m**2 - 9*m + 5. Let y be c(2). Which is bigger: y or 1/15?
1/15
Suppose 33*f - 718 - 272 = 0. Is f at least as big as 30?
True
Let v = 489.1 + -489. Are 2/1361 and v non-equal?
True
Suppose -5*u + 9 = -5*x - 21, -x = 2*u - 6. Let a = -11 - -4. Let l(g) = -g**2 - 6*g + 9. Let h be l(a). Is u not equal to h?
True
Let m(i) = -i - 2. Let v be m(0). Let a(u) = -17*u**3 + 5*u**2 + 1. Let w be a(-1). Do v and w have the same value?
False
Let a(k) = -4*k**3 + 2*k**2 - 2*k + 1. Let p be a(1). Let x be (-69)/(-21) - (-9)/p. Is x less than -5?
False
Let s = 534 - 1045/2. Let x(p) = 8*p + 29. Let f be x(-5). Let n = s + f. Are n and 0.4 equal?
False
Let n = -26 - -30. Suppose 3*a = 7*a + n. Do -1 and a have the same value?
True
Suppose 3*s + 5*j = -8, 4*s - 9*s + 3*j - 2 = 0. Let t be 4/(-18)*9/(-15)*s. Which is greater: -3/5 or t?
t
Let s = -552/13 - -10319/247. Let l = s - -233/285. Which is smaller: 1 or l?
l
Let g = 0.9605 - -0.0395. Which is smaller: -16 or g?
-16
Let h be 11/15 - 1/3. Let m(x) = x - 12. Let y be m(14). Let k be 3/(y - 8)*(-4)/2. Which is smaller: h or k?
h
Let n be (-2)/(-3) + 14/282*-13. Let m = n + -51/188. Which is smaller: m or 0.01?
m
Suppose 3 = n - 2*n. Let d = 4860/23 - 69649/92. Let z = -549 - d. Does z = n?
False
Let f = -137 + 126. Let k = -3.1 + 3. Which is smaller: k or f?
f
Let v be (-117)/24*(-4540)/15. Let m = -1429 + v. Is m bigger than 46?
True
Let p be (2/68)/(6/(-8)). Let i be (-13 + 11 - -5) + -2. Which is smaller: p or i?
p
Let m be (2 - 148/18) + (-2)/(-9). Let c be (m/(-4)*1)/((-24)/(-112)). Which is greater: c or 2?
c
Let x = -317 - -308. Which is greater: x or -8?
-8
Suppose 4*r - 6 = 2*r. Suppose -f + 38 = 4*i - r*f, 0 = 3*i - 2*f - 29. Is 7 equal to i?
False
Let k = -0.033 - 5.967. Let t = -4 - k. Let d = -0.3 - -0.1. Are d and t nonequal?
True
Let h = -558 - -479. Which is bigger: h or -78?
-78
Let k = -7 + 15/2. Suppose 2*p = -u, -82*u - 26 = -3*p - 77*u. Which is greater: k or p?
p
Let u = 4 + -3. Which is bigger: -1/137 or u?
u
Let u = 286 + -285.7. Which is bigger: u or 1/4?
u
Let i = -0.1 + 1.1. Let s(q) = -4*q**2 + q - 1. Suppose -3*t - 7 = 3*c - 1, -t - 4*c - 11 = 0. Let l be s(t). Which is greater: l or i?
i
Let x(i) = i**3 + 2*i**2 + i + 4. Let j be x(-3). Let v = -34 - -45. Let l be (-1 - v)/((-21)/(-14)). Is j at least as big as l?
True
Let c be 1/(3/((-18)/(-2))). Let k(y) = 17*y - 8. Let b be k(c). Is b less than 43?
False
Let q be 14/2 - (-118 - -116). Are q and -2 nonequal?
True
Let o = -252 + 251. Which is greater: 11.9 or o?
11.9
Suppose -h + 5*s = -28 - 8, 5*s - 28 = -3*h. Let m be 2 + 1 - (5 - 4). Let j be (3 - -15) + m/(-1). Is j equal to h?
True
Suppose -2*m + j + 10 = 3, 0 = 3*m - 5*j - 28. Let w be (-30)/225*(-20)/3. Which is bigger: m or w?
m
Let x(o) = 2*o - 8. Let j be 7 - -2 - -3 - 2. Let l be x(j). Let n = l + -12. Which is smaller: -1 or n?
-1
Let f(q) = q**3 - 12*q**2 - 4*q + 18. Let z be f(12). Let h be z/(-2) + -1 + 4. Let j be ((-4)/h)/(3/(-27)). Are j and 3 equal?
False
Let r = 1.021 - 1.121. Which is bigger: r or -200?
r
Let z = 106926/163 - 656. Which is greater: z or 1?
1
Suppose -k + 7 = 4. Suppose 4*s - 1 = j + 4, -5*s + k = 2*j. Let y(u) = u**3 - 2*u**2. Let q be y(2). Is s bigger than q?
True
Let g be (10/(-226))/((-97)/(-582)). Is g greater than or equal to 1?
False
Let x = 131 - -6. Which is bigger: 138 or x?
138
Let q = 0.121 + -0.271. Which is smaller: 0.1 or q?
q
Let z be (-2)/(-4)*(-7 + 3) - 1. Which is bigger: z or 8.3?
8.3
Let s(o) = -o**3 + 2*o**2 + 5*o + 3. Let k be s(-4). Is 80 greater than k?