(-5). Is 1/63 less than or equal to y?
True
Suppose p - 5*x - 1 = 5*p, 0 = 5*x - 15. Let t be 0/(p/(-2) - 3). Which is smaller: 3/17 or t?
t
Let s = -2.28 + 2.4. Let t = -0.37 + s. Let c = t + -0.05. Does 4 = c?
False
Let j be 23 - (4 - 4 - -2). Suppose -k + 4*k - 17 = t, -5*k + j = 2*t. Suppose k*c + 96 = c. Which is greater: c or -25?
c
Let u = 0.51 - 0.11. Let y = 0.1 - -3.9. Let v = y + -3. Is u at most as big as v?
True
Let x = 40 - 11. Which is smaller: 21 or x?
21
Let s(x) = 20*x - 121. Let c be s(6). Do 6.05 and c have different values?
True
Let l = -289 + 290.89. Which is smaller: l or 2/19?
2/19
Suppose 4*t = -1295 + 2159. Which is bigger: 2 or t?
t
Let c = -142 + 141. Is 3/11 equal to c?
False
Let v be (-164)/6 + 3 + 48/(-18). Let m = 4 - 31. Is v at least as big as m?
True
Let w be (-6 - (-575)/(-10))*10. Which is bigger: -634 or w?
-634
Let l(x) = -x**2 - 8*x + 11. Let s be l(-9). Let m be ((6 - 4) + -2)/s. Let a be (1 - m)*(-3)/3. Which is smaller: -2/7 or a?
a
Let j be 0/(-3) + 0 + -1. Let a = 191/182 - 57/26. Which is greater: j or a?
j
Suppose 0 = -4*n - f - 4, 3 = 3*n - f + 6. Which is smaller: n or -2/63?
n
Let b be (-5 - -5) + (-3)/(-12). Let m = -5942/15 - -396. Is m at least as big as b?
False
Suppose -41*s + s + 40 = 0. Do s and 3/730 have the same value?
False
Let m be (2 + -6)*(-14)/8. Let k(t) = -t**2 - 18*t + 5. Let b(c) = -5*c**2 + c. Let v be b(2). Let h be k(v). Is m greater than h?
True
Let p(d) = -d + 4. Let t be p(0). Suppose -j + 5 = t*j. Let u be (-7)/2 - (-6 - -2). Which is greater: u or j?
j
Let i = 3.535 + -5.535. Let b = -3 + 4. Let g = b + -1. Which is greater: i or g?
g
Let j be (3582/(-512) + 7)/(2/(-12)). Is j greater than 1?
False
Suppose 3*b = -2*c - 0*c + 8, -16 = b - 4*c. Let n be (b + 8/(-10))*5. Which is smaller: -19/4 or n?
-19/4
Suppose -3*s - 2 = 5*i - 15, 11 = 3*i + 5*s. Suppose -5*g - 87 = 63. Let p = g - -31. Is p < i?
True
Let r = -825 + 921. Is r less than 478/5?
False
Let m = 10 + -8. Let k be (m/4)/((-6)/3108). Let g = k - -769/3. Which is smaller: g or -2?
g
Let g = 109.1 - 109. Is g less than -14.3?
False
Let o(t) = t**2 + t - 13. Let i be o(3). Which is bigger: i or -43?
i
Let r be 3*(-2 - -2 - -2). Let a be (-94)/(-9)*r*-1. Let i = a + 62. Are i and 4 nonequal?
True
Let y(w) = 0*w + 2 - 2*w + 3*w + 2*w. Let o be y(-1). Is -1/19 greater than o?
True
Let i(h) = 2*h**3 - 4*h**2 - 3*h. Let d be i(4). Let b be (-16)/(-3) + d/(-13). Is 2 bigger than b?
True
Let c(i) = -i**3 + 6*i**2 + 4*i + 4. Let y be c(7). Let v(g) = g**3 - 4*g**2 - g. Let z be v(4). Let k be z*(-1)/4 - 17. Is y != k?
True
Let f(y) = -y**2 + y + 5. Let a be f(0). Suppose -a - 1 = -3*b. Suppose -b*m = 2*z - 0*z - 6, 5 = -5*z + 5*m. Is 1 bigger than z?
False
Let t = 176.7 + -111.8. Let z = t + -50. Let v = z + -15. Which is smaller: v or 8?
v
Let c(q) = -2*q**3 + 25*q**2 - 8*q - 11. Let j be c(13). Is -569/2 at least j?
False
Let z = 19.26 - 0.06. Let f = z - 20. Which is bigger: f or 2/7?
2/7
Let c = 131 + -140. Is -10 bigger than c?
False
Suppose 11*d - 22*d = -165. Which is smaller: d or 12?
12
Let w be 13/((-195)/(-12))*30. Let n = -30 + 54. Let g = w - n. Which is smaller: -2/43 or g?
-2/43
Suppose 0 = -0*h + h + 1. Let g be 4/(-2) - (3 + h). Let y be 20/6 - (g + 7). Which is smaller: y or -3/2?
-3/2
Let f be 2/(-5) - 54/(-10). Suppose 0*n = 3*x + 2*n - 4, -f*x - 25 = -3*n. Let q = -25.2 - -25. Is q greater than or equal to x?
True
Let r = 3.7 - 4. Let a be (9/6 - -4) + -4. Let v = 7/4 - a. Is v >= r?
True
Let b = -0.1394 - -0.1618. Which is bigger: b or 2?
2
Let a = -109/5 + 22. Is a less than 2?
True
Let u = -53 - -35. Let k be -1*(-5 - 6*-4). Which is smaller: k or u?
k
Let m(q) = 2*q**3 + 6*q**2 + 17*q + 1. Let t be m(6). Is 752 bigger than t?
True
Let g = -1962 - -1954. Which is smaller: -81/10 or g?
-81/10
Let s be (2/4)/(1/(-6)). Let g = s - -2. Are -2/31 and g unequal?
True
Let z = -209 + 204. Which is greater: 66 or z?
66
Suppose 0*x + x - 80 = 4*m, -4*x = -3*m - 281. Let l be ((-119)/7)/(1/(-4)). Is l >= x?
True
Let g = 1 + -0.56. Let a = 0.24 - g. Is 1/4 equal to a?
False
Let x = 56/53 - 15963/15158. Is x at least as big as -1?
True
Let w = -1/306 - -205/306. Which is bigger: -8/67 or w?
w
Let r = -0.076 + 5.276. Let z = -5.129 + r. Which is bigger: z or 0?
z
Let l = -490 - -572.1. Let d = 82 - l. Is 2 less than d?
False
Let g be -1*(-2)/(-4)*450/3960. Which is greater: 1 or g?
1
Suppose 3*f - 5 = 1. Let r be ((-13)/2)/((-1)/2). Let w be r/(-7) + f/(-14). Is -3/2 > w?
True
Let k = 0.05 + -0.15. Which is greater: k or -928?
k
Let b = -145.1 - -145. Which is bigger: b or 4.3?
4.3
Let n = 0.2 + -1.2. Let b = n - -0.9. Let r = 2102 - 2094. Which is greater: b or r?
r
Let z = -45 + 46. Suppose 3*y - z = 2*y. Which is greater: -4 or y?
y
Suppose 3*m = -12 - 3, 335 = 3*h - m. Let u be (6/(-215))/1*h/(-33). Which is smaller: u or 1?
u
Let j = -14/41 + 5477/16400. Is j greater than or equal to -1?
True
Let a = -79.7 + -11.3. Let i = a + 92. Let s be 1/(-3) - (-141)/369. Which is bigger: s or i?
i
Let x(g) = g**2 + 5*g + 6. Let j be x(-4). Let i = 17717/8 + -2214. Are i and j equal?
False
Let v be (2 + -32)*(-6)/(-15). Let l(u) be the second derivative of u**3/3 + 9*u**2 - 21*u. Let b be l(v). Is -2 greater than or equal to b?
True
Let h be 1/((-1 + 4)/(-45)). Let t be h/(-6) - (-1)/(-2). Suppose t*j + 20 = -6*y + 2*y, 0 = j + y + 6. Is -2 < j?
False
Suppose 0 = t - 1 + 2. Let k be (16/(-48))/(3 + 408/(-135)). Is t less than k?
True
Let w = -1493 + 1492.7. Which is bigger: w or 59.3?
59.3
Let l be 1/(-4*4/80). Suppose -2*u - 10 = -7*u. Let s = l - u. Is s greater than -6?
False
Suppose k - 2*q = -2*k + 5, -3*k + 7 = -q. Suppose -k*o - f = -3, f - 3 = 5*o - 0*o. Is 3/41 smaller than o?
False
Suppose -h - 3*x = -63, -27 = -5*x - 22. Which is bigger: h or 62?
62
Let w = 835851/247 + -3384. Which is smaller: w or 2?
w
Suppose 4*c + 1 = -7. Suppose 0 = -3*u + 5*y - 170, -4 = 4*y + 4. Let p be 8/u - (-26)/(-30). Is p less than c?
False
Let a = 39 - 24. Suppose -10*s = -a*s + 50. Which is smaller: 9 or s?
9
Let f(j) = j - 10. Let m be f(10). Suppose m = 2*a - 4*a + 4. Let o be (-63)/18*(0 + a). Which is smaller: -6 or o?
o
Let c = -3 + 2. Let b be ((-6)/32)/(48/(-160)). Let z = 111/152 - b. Is z smaller than c?
False
Let z = 2952 + -38394/13. Let d be 14*(-17)/(-78) - 1. Let o = d + z. Which is greater: o or 2?
2
Let q = -809.8 + 810. Which is greater: -1.22 or q?
q
Let v(n) = -8*n - 10. Let f(m) = 9*m + 10. Let p(x) = -5*f(x) - 6*v(x). Let w be p(-3). Let g = 5105/29 + -176. Which is greater: w or g?
w
Let z be 0/(-1) + 374/(-17). Is z less than or equal to -1?
True
Suppose 4*t - 5*y = -116, 2*y + 0*y + 29 = -t. Let n = 18 + t. Which is greater: 1/2 or n?
1/2
Let d be ((-4)/150*3)/((-120)/150). Which is smaller: d or 0.03?
0.03
Let h = -16.6 + -1.3. Let c = 18 + h. Which is smaller: -7 or c?
-7
Let t = 8621 + -60153/7. Let n = 28 - t. Is n != 6?
True
Let p(y) = -y + 2. Let s be p(3). Let m = 248 - 129. Let k be (-10)/(-14) - 34/m. Which is greater: k or s?
k
Suppose 22*d - 3*d = -19. Let w be 2*1 - 69/9. Let h = w - -31/6. Which is smaller: d or h?
d
Let c be 84/(-44) - (-2)/(-2). Let m = 138/55 + c. Which is bigger: 1 or m?
1
Let x = -3.1135 - -0.1135. Is 0.7 equal to x?
False
Let a = -336 - -340. Let j(p) = -p**3 - 3*p**2 + 3*p + 1. Let l be j(-4). Which is greater: l or a?
l
Let s be (-1 - 21/(-18))*(-9)/(-6). Are s and -64 non-equal?
True
Let k = 36 + -25. Let m = 7 - k. Let f = 6 + m. Which is smaller: -5 or f?
-5
Let z(u) = u**2 - 2*u - 1. Let q(d) = 4 + 2 - 5*d + 2*d**2 - d**2. Let k be q(4). Let w be z(k). Is w bigger than -3?
True
Let x be ((-4)/(-12))/(3/18). Suppose 2 = x*r + 12. Which is bigger: r or -4?
-4
Let m = -28.01 + -51.005. Let l = m + 79. Is 0 greater than l?
True
Suppose -32*t + 36*t - 8 = 0. Let z(g) be the first derivative of g**3/3 - 4*g**2 - 7*g + 2. Let y be z(9). Are t and y unequal?
False
Let m(j) = -j**2 - 8*j - 11. Let x be m(-7). Let y be 5*(-5)/20*x. Which is greater: -4 or y?
y
Suppose -24 = -4*q - 0*q. Let z(g) = g**3 + 5*g**2 - 10*g - 24. Let c be z(-6). Let j be c/(q/2) - 23. Which is bigger: -24 or j?
j
Suppose 22*l - 423 = 3*d + 25*l, 4*l - 402 = 3*d. Is d <= -275/2?
True
Let 