2 + 0)/((-28)/(-6)). Which is smaller: o or a?
a
Suppose -p - 7 = -5*w - 1, 5 = 5*w. Is p smaller than -3/38?
True
Suppose -r = 3*r. Let y = -2 + r. Let j be (6/(-7))/(30/42). Which is greater: j or y?
j
Let n(x) = x**3 + 11*x**2 - 17*x - 58. Let t be n(-12). Suppose r = 3*r. Suppose r = -t*k + 7 - 3. Which is smaller: 0.5 or k?
0.5
Let b = -5/29 + 93/203. Let q(z) be the second derivative of z**3/6 + 5*z**2/2 + z. Let c be q(-5). Which is greater: b or c?
b
Let v be 6/16 - (11 - (-6095)/104). Which is smaller: -0.1 or v?
v
Let j be 8/((-40)/3) + (-8)/20. Is j at least -1/489?
False
Let n = -10 - -13. Let b = 2 - n. Which is bigger: -15 or b?
b
Let k = -0.67 + -0.33. Is k at most as big as 2?
True
Let d(p) = -5*p**2 + 24*p + 45. Let u(y) = y**2 - 5*y - 9. Let b(q) = -2*d(q) - 11*u(q). Let v be b(8). Which is smaller: -5 or v?
-5
Suppose -2*v - 31 = -4*f + 11, 3*v - 4*f = -55. Let j = -82.962 - -83. Let k = j + -0.038. Is v equal to k?
False
Suppose -3*d + 0*d + 9 = 0. Let w be d - (4 + 174/12). Is w greater than -16?
True
Let g be 12104/1989 - (5 + -2 + 3). Which is bigger: g or -1?
g
Suppose 0 = o - 5*z - 21, 3*z + 0*z = -12. Let k(d) = -d. Let v be k(o). Do v and 1/45 have the same value?
False
Suppose -21*y = 4144 + 1757. Which is greater: y or -285?
y
Suppose -30 = -5*r - 5*d, 5*r + d = 8 + 6. Let w = r + -8. Let y be (-6)/(-39)*9/w. Which is smaller: 1 or y?
y
Let c be (158/(-180))/((-7)/(-21)). Let f = 17/6 + c. Let o(r) = 2*r**2 - 1. Let l be o(1). Is l <= f?
False
Suppose 0 = 3*y + 2*f - 16 + 24, 4*f = 4*y - 16. Is -2/59 <= y?
True
Suppose -11*c + 6*c - 5*k + 15 = 0, -2*k = 3*c - 4. Let r be (0/1)/(1*2). Let q = r + c. Which is smaller: -4 or q?
-4
Let l(y) = -y**3 + 5*y**2 + 2*y + 1. Let p be l(5). Suppose v + 2*k = 4*k - p, 4*v + k - 1 = 0. Which is smaller: v or -5/4?
-5/4
Let k(b) = b**2 - 4*b + 10. Let o be k(8). Suppose o = -3*x + 99. Suppose -17*a = -x*a. Which is greater: a or 1/5?
1/5
Let g = -23/39 - -646/897. Let n(y) = y**2 + 8*y - 66. Let b be n(5). Which is greater: b or g?
g
Let d = -1731 + 1732. Is 338 at most as big as d?
False
Suppose 208*n = 229*n. Which is smaller: n or 9/85?
n
Let f be 4/(-22) + (-4)/(-88)*26. Which is greater: f or -2/37?
f
Let y be 8/3*(30 - (32 + 4)). Suppose 2*x - 9 = x. Let f = -25 + x. Are f and y equal?
True
Let s(n) = n**3 + 4*n**2 - 7*n + 25. Let h be s(-7). Is -74 not equal to h?
True
Suppose 2*p - 3 = p. Suppose -14 = m - 2*m + 4*r, 2*r = p*m - 22. Which is smaller: 33/7 or m?
33/7
Let g = 2/39 - 70/351. Let i = g - -43/108. Which is bigger: 2/61 or i?
i
Let n = 353 + -357. Is 11 < n?
False
Let v = -1 + -1. Let h = -81/355 + 2/71. Is h at least as big as v?
True
Suppose -108*p + 107*p - 29 = 0. Is p equal to -29?
True
Suppose -13*c - 3 - 10 = 0. Which is bigger: 0.07 or c?
0.07
Let h = 2272 + -2270. Are 56/29 and h unequal?
True
Let j = -261 + 251. Is -13 at least as big as j?
False
Let c(v) = v**3 + 9*v**2 + 7*v - 4. Let j be c(-8). Let s(h) = h**2 - 6. Let r be s(-3). Let d be (r + 0)/(5/25*5). Which is smaller: j or d?
d
Let a = -328 - -4244/13. Is a at least as big as -1?
False
Suppose 4*b - 1 = 5*n, n - 7 = -0*n - b. Let u = -38 + 39. Suppose -n*z + 4 = u. Which is bigger: z or -2/73?
z
Suppose 14*x + 10*x + 72 = 0. Is x not equal to -32/13?
True
Let v be 4/(-6 + -2)*(0/(-13))/9. Let o = 0 - 8.8. Let g = -0.8 - o. Does v = g?
False
Let m = 1.48 + -0.18. Let j be (-6)/8 - 9/(-36). Is m at least j?
True
Suppose -h + 3*o - 7 = 3*h, 5*o = 5. Let l(d) = d**3 - 5*d**2 - 5*d - 7. Let n be l(6). Is h greater than n?
False
Let j be ((-45)/(-18) - 2/12) + -3. Which is greater: -1/4 or j?
-1/4
Let h be (-5)/(15/(-2))*12. Let d = h - 7. Suppose -2*o - d = 5*c, 3*c + o = 6*o - 13. Is -9/7 <= c?
True
Let y(v) = 58*v + 104. Let c be y(3). Which is smaller: c or 280?
c
Suppose 35*p - 30*p = 14*p - 63. Let o = 1 + 1. Let b be 4 + -2 + 2*o. Are b and p non-equal?
True
Let d be (-13 - -14)*-1*3. Let w be d/((-99)/6)*-6. Suppose 0 = -7*i + 2*i. Which is smaller: w or i?
w
Suppose -4*m = -4*a - 144, -3*m + 94 = 7*a - 3*a. Let p = 49 - m. Suppose -12*q + 6 = -p*q. Which is smaller: -1 or q?
q
Let h(k) = k - 12. Let b be h(12). Let n be (-228)/126*2/16. Let w = 1/42 - n. Is b not equal to w?
True
Let q be 2 - (-4)/(-604)*296. Which is smaller: 0 or q?
0
Let z be ((-1 - 0) + 0)*153/204. Let w = 9/4 + z. Is w greater than or equal to 0?
True
Suppose -7*g = -261 + 268. Is g smaller than -2/1241?
True
Let p be ((-6)/2)/(45/(-6)). Let m be ((-28)/(-4))/(-1 + 2). Let a be 8 + -11 - (-17)/m. Which is greater: p or a?
p
Let q = -175237/27 - -6491. Let a = 137/27 - q. Which is smaller: 0 or a?
0
Let z(s) = -29*s - 92. Let c be z(-11). Which is greater: c or 226?
c
Suppose -2*i + 3*q = -0*i - 12, 16 = -4*i - 4*q. Suppose i*a - a = 16. Which is smaller: a or 2?
a
Let f(j) = 9*j - 8. Let v = -96 + 97. Let m be f(v). Which is bigger: m or 4/13?
m
Let v = -0.292 - -0.292. Are v and 75 nonequal?
True
Let a = -9 + 3. Suppose 17*z - 1 = 16*z. Let o be (5/(-10))/(z/a). Which is greater: o or 4?
4
Let j be (0 - -2)*(2 - 22/12). Which is bigger: j or 18.6?
18.6
Let g = -87.1 + 87. Is 16 smaller than g?
False
Suppose 4*d - 3*h - 19 = 0, 5*d + 3 = 2*h + 18. Suppose -2 = -q - d. Is 4/21 at least q?
False
Let x = 6499 + -480935/74. Is 1 less than or equal to x?
False
Let b = 128 - 122. Let u = 5 - 9. Let j be 12 - 11 - (u - 1). Is b less than j?
False
Let g = 16 + -10. Suppose -4*y + 9 = -y. Let z be (0 + -2)*(45/(-10) + y). Which is smaller: z or g?
z
Let q be (-13 + 18 - (1 + 2)) + 2091. Is 2092 greater than or equal to q?
False
Suppose 0*v + 36 = -4*x - 3*v, 2*x = 5*v - 18. Let o = x - -6. Which is greater: -1 or o?
-1
Suppose -z + 5*l = 91 + 17, 0 = -4*z - 5*l - 332. Let d = -103 - z. Is -12 <= d?
False
Let n be -2 - (-55)/(-30) - -4. Which is greater: -1 or n?
n
Let o = -0.04 - -38.04. Let s = 39 - o. Is s != -0.18?
True
Let d = -3 - -4. Let i be 2018/(-168) - (134 + -146). Does i = d?
False
Let m = 3680/3 - 1232. Let f(s) = s**3 + 6*s**2 - 5. Let i be f(-6). Which is smaller: i or m?
m
Let c = 0.228 + 1.772. Is 5/197 equal to c?
False
Let k be (-5)/20 - 22/8. Let a = k - -6. Suppose a*q = i - 0*i + 2, -2*q = -i - 4. Is i > -8?
False
Let j = 1.7 + -3.7. Let o(n) = n**3 - 2*n**2 - 5*n - 2. Let p be o(4). Let h be (-4)/p - (-1)/(-35). Is h < j?
False
Suppose -12*f + 299 = -37. Is 26 at most f?
True
Let t(d) = d**3 + 4*d**2 - 3*d + 12. Let v be t(-5). Let q = -63 + 181/3. Let y = -82/33 - q. Is y <= v?
True
Suppose -14*m + 165 = -29*m. Is -14 >= m?
False
Let f = -393.1 + 393. Is 1/13 >= f?
True
Let h(p) = -p**2 - 13*p - 35. Let m be h(-9). Let c be 1 - 0 - 183/189. Is c >= m?
False
Let p = -60 + 110. Suppose -2*d - 8 - 4 = 0. Let n be d/(-8) + p/(-64). Is n equal to 1?
False
Let y(c) = 3*c + 6. Let n be y(-6). Let p be (-4)/n - 146/6. Is p less than or equal to -26?
False
Let j be (0 + (-9)/21)*-1. Let t be (-17)/3 - (12 + -7 - 9). Do t and j have different values?
True
Let x = -23 - -24. Are 169 and x non-equal?
True
Let n(i) = 3*i - 18. Let s be n(6). Let r = -205808713/970 - -212174. Let h = -3/97 - r. Is h less than or equal to s?
True
Suppose 9*a + 4220 = -595. Let c be (-2 - 14/(-6))*1627. Let f = a + c. Which is smaller: 8 or f?
f
Suppose -11*c = -16*c - 270. Is c equal to -52?
False
Let f be (2 - -31) + (-1 - -3). Suppose 298 + 50 = -12*m. Let q = f + m. Which is greater: q or 5?
q
Suppose 2*w - 3*w - 9 = 2*n, 5*w + 35 = -5*n. Which is greater: -31/5 or w?
w
Let c = -60 - -59. Suppose 5*u + 6 + 4 = 0. Let z be ((-6)/3)/u - 0. Which is smaller: z or c?
c
Let c = -90 - -51. Let k = c - -41. Which is smaller: k or -0.7?
-0.7
Suppose -18*v = -21*v. Which is smaller: -2/45 or v?
-2/45
Suppose 0 = d - 18 + 64. Let f be d/10 + 9 + -4. Which is smaller: f or -1?
-1
Let g = -389 + 379. Which is smaller: g or 6?
g
Let w = -0.5 + 0.48. Let c = w - -0.02. Let y = -0.85 + 0.84. Which is smaller: c or y?
y
Let y = 851/418 + -43/19. Which is bigger: -1 or y?
y
Suppose n - 2*f + 15 = f, 4*f - 28 = 4*n. Suppose r - 2*j = -13, j - 4 = -0*j. Which is smaller: r or n?
r
Suppose a - 8 = z, -17*z = -18*z + 3*a - 16. Which is greater: z or -20/7?
-20/7
Let q = 40.38 + 0.62. Let c = -40.96 + q. Let r be (-5)/7 - (0 - 1). Which is bigger: