 (19/u)/((-2)/q). Which is smaller: 13 or y?
13
Let g be -2 + 6 + (-1755)/438. Which is greater: g or 0?
0
Let s = -41 - -47.2. Let b = 1.2 - s. Which is greater: b or -6?
b
Let o(n) = n**3 + 16*n**2 - 21*n - 67. Let d be o(-17). Suppose -4*v = -4*w - 4, 4*w + 4*v + 6 = 18. Let h be (1 - (1 - w))*-1. Which is bigger: d or h?
d
Let c = -32 - -42. Let n be 175/50*(4/1)/2. Is n less than c?
True
Let w = -2729 - -2728. Suppose -o = -0*o. Let d be -2 + o - (-11)/4. Is d != w?
True
Let f(c) = -c**3 - 7*c**2 + 28*c + 15. Let m be f(-10). Which is smaller: m or 33?
33
Let g = 12 - 16. Let o be (-2 - -2)/(-1 - g/(-2)). Is 10/21 at most o?
False
Suppose r = 3*r - 4. Let s be -2*(1/(-30))/(1/r). Which is greater: 1/6 or s?
1/6
Suppose -4*j + 13 = -7, -j = -5*k - 5. Let q be (12/(-5))/((-3)/20). Let o be (-3)/(21/q) + 2. Is k greater than o?
True
Let y be (12/26)/(1 + (-54)/9). Are 0 and y equal?
False
Let y be (2 - -17)/((-3)/(-3)). Let f = -24 + y. Are f and -4 nonequal?
True
Suppose 11*b - 5*b - 6 = 0. Let r = 0 - b. Which is smaller: r or -3?
-3
Let w be 8/((9/9)/((-1)/2)). Let u = -5 - -6. Suppose -2*o = o + 2*j + 11, u = -j. Is o >= w?
True
Let v be (-5 - -3 - 0)*-2. Suppose p + 30 = v*m - 0*p, 0 = -3*m + 3*p + 27. Let r be 2*(0 + 1) - m. Which is greater: -4 or r?
-4
Let t = 1647 - 1631.86. Let k = t - 15. Let c = -3 + 4. Is c at least as big as k?
True
Suppose -5*k + 6*j = j + 10, 0 = -k - j + 2. Suppose -13*s + 11*s - 468 = k. Let v = s - -2104/9. Does v = 8?
False
Let j be (-5)/(-3) + 4/(-6). Suppose u = -3*m - 29 - 6, -4*m + 175 = -5*u. Let d be -1 + 1 + (90/u)/9. Is d at most as big as j?
True
Let g be (8/(-276))/(((-32)/(-9))/4). Let y = 1071/1012 - g. Which is bigger: 2 or y?
2
Let x(g) = -g**3 - 7*g**2 - 2*g + 2. Let j(r) = -r**2 + r - 1. Let c(b) = -2*j(b) - x(b). Let v be c(-9). Is v smaller than 0?
False
Suppose -2 - 16 = -z. Let d be 106/(-240) + z/45. Is -1 > d?
False
Suppose l + 3 = 0, -3*j = -5*j + l + 5. Let s = 33 + -49. Let d be ((-9)/12)/(-3*22/s). Is j greater than or equal to d?
True
Let v = 32 + 4. Let z = 43 - v. Is z greater than 22/3?
False
Let y = -134.2 + 23.2. Let n = y + 84. Which is greater: n or 1/3?
1/3
Let h = -63 + 103. Suppose 2*z - 22 = 2*s, 5*z - s = s + h. Let x be (-14)/z + 3/9. Which is greater: -8/9 or x?
-8/9
Suppose 0 = q - 3*t + 408, -5*t = -8*q + 4*q - 1660. Is 1 at least q?
True
Let y(o) = -7*o - 1. Let w be y(1). Let q(t) = t + 13. Let p be q(w). Suppose 0 = -4*a + 5*n + 23, 2*n + 0*n + p = a. Do a and 13/2 have the same value?
False
Suppose 0 = 2*k + 3*l - 21, 0*k = -3*k + l + 4. Suppose -k*a + 5 = -4. Suppose -h + 11 = -4*y + 3, a*y = -5*h - 6. Which is greater: -2/5 or h?
h
Let t = 11 + -5. Let k = -5.9 + t. Let n = k - 0. Is -5 less than n?
True
Let x(j) = -j**3 + 5*j**2 + 11*j - 9. Let w be x(7). Let p = w + 31. Is p at most -1/3?
False
Let x = 1959 + -1950. Which is greater: -59 or x?
x
Suppose -2*g - 104 = -116. Let v = -59 + 64. Is v <= g?
True
Suppose a + 2*l + 1 = 0, 5*a + l + 5 = 6*l. Let d = 7454 + -7456. Do a and d have different values?
True
Let m = 2283 - 2271. Is 128/11 smaller than m?
True
Suppose 5*v - a = -0*a + 14, -5*a = -5*v + 10. Suppose 2*g = 4*l - 3 - 9, 5*g + v*l - 9 = 0. Let z be 1*(-2)/4*-1. Are g and z non-equal?
True
Let h = -0.3 - 0.4. Let x(s) = s**2 - s. Let v be x(-1). Suppose 0 = -5*o - v + 7. Which is smaller: o or h?
h
Let t = 303 + -131. Which is smaller: 171 or t?
171
Let x = -58.58 + 58. Let l = -1.58 - x. Is 7 >= l?
True
Let p = -743 + 742. Which is bigger: 122 or p?
122
Let a = 213 + -248. Is -31 != a?
True
Suppose 16 = 4*z + 4*s, -3*z + 3*s + 2 = s. Suppose z*p + p - 87 = -3*f, 3*p - 3*f = 69. Is 24 greater than p?
False
Let u be -7 + 1 + -4 + -2. Let c be 7/((-224)/u)*6 - -2. Let j(s) = -s**2 + s + 3. Let x be j(0). Which is smaller: c or x?
x
Suppose -3*a = 9, -5*a = q + 116 - 11. Is q at most as big as -444/5?
True
Let a be -2 + 0 + (-9498)/(-2296). Let j = a - -1/164. Which is smaller: j or 2?
2
Suppose -7*t + 171 = -4. Let r = 1 - t. Is -24 less than r?
False
Let h = 535 + -534.7. Let m = 348/11 - 1191/22. Let u = -19 - m. Is h != u?
True
Let m = 12.9 + -0.9. Let b = m + -16.5. Let u = b + 5. Is 0.1 smaller than u?
True
Suppose 4*k - 29 = 79. Let v be (-3)/(k/(-12))*3/(-2). Is v at most as big as 3?
True
Suppose n - 12 = -5*j, 0 = -0*n - 4*n + 8. Suppose 0*r - 4*r + 5*h + 34 = 0, -4*h = -j*r + 20. Is r at most -2?
False
Let h = 0 + -3/2. Let c = -68 - -61. Is h bigger than c?
True
Suppose 2 = -w + 2*w + v, -2*v - 11 = -w. Let u(j) = 3*j**2 + 2*j + 1. Let g be u(-1). Suppose 2*q = -2*k, -20 = -w*k + 3*q + g*q. Is k greater than 8/5?
True
Let l = -6749/246 + 163/6. Which is greater: l or 1?
1
Let m(p) = p**2 + 4*p - 96. Let v be m(7). Let h = -3 + 1. Is h greater than or equal to v?
True
Let u(d) = -9*d + 144. Let k be u(17). Let v = 354 - 1814/5. Which is bigger: k or v?
v
Suppose 3*d = -3*r + 15, -2 = -4*d + 2*r - 0*r. Suppose -2*p + 3*z = 4*z - d, 5*p - z + 9 = 0. Which is smaller: 3/8 or p?
p
Let p be (-18)/6 + (1 - 513). Let v = 1011/2 + p. Let i be (44/(-8))/(4/8). Is v != i?
True
Suppose 3*t = 0, -5*t - 3 = h - 12. Which is smaller: h or 73/8?
h
Suppose 0 = 2*f + 11*f + 260. Let v be (-2)/(-6)*((-575)/f + 2). Which is smaller: v or 9?
9
Let t = 0 - 0.2. Let i = -0.18 - t. Let w = 9/46 + -41/92. Which is bigger: w or i?
i
Let v = 10 - 7. Let b be -3*((-40)/v)/(-4). Suppose -7877*h + 7866*h = 110. Do h and b have the same value?
True
Suppose 3*k - o - 19 = 0, 3 = k + 3*o - 4*o. Let p = k - 19. Is -11 <= p?
True
Let h = 3/955 - -54429/1910. Let i = h - 28. Which is smaller: 0.7 or i?
i
Suppose -5*o - 2187 = p, -p + 461 + 856 = -3*o. Which is greater: -875/2 or o?
-875/2
Let f = 90 - 90. Which is greater: f or -2/499?
f
Suppose -3*u = -3*y + 498, y + 3*u + 42 - 204 = 0. Suppose 12*p + y = 9*p. Is -55 > p?
False
Let n be (12/14)/((-2)/(-14)). Suppose 5*y + 2*l = -22, 0 = 5*l - 1 + n. Do y and -2 have the same value?
False
Let u be ((-6)/4)/(2/4). Suppose -3*j - 20 = -3*o + 10, -j + 34 = 3*o. Let p be 3/6 + o/(-2) + 2. Is u at least p?
True
Let j = -0.161 - -1.161. Let y(f) = f**3 + 6*f**2 - 3*f - 3. Let i be y(-5). Is j less than or equal to i?
True
Let f be 2 + 1 + (123 + 1)/4. Let v = 36 - f. Let p = -473 - -1903/4. Which is greater: v or p?
p
Let j = 211 - 1073/5. Let y(b) = -b**2 - 5*b - 3. Let s be y(-5). Is s <= j?
False
Let l = 412/627 - -2/209. Suppose 0 = -8*g + 3*g + 5. Let f be (2/6)/(g/(-3)). Which is greater: l or f?
l
Let h be (105/245)/(45/14). Let p = -73/21 + 22/7. Which is smaller: h or p?
p
Let r be 48/15 - (-4)/(-20). Suppose 4*a + 8 = -y + 23, 4*y = 5*a - 3. Suppose 0 = -4*w + a*q + q, 4*q = r*w + 1. Is 2/5 != w?
True
Let f = -73 + 66. Suppose 0*m - 45 = 5*m. Which is bigger: m or f?
f
Suppose -3*k - 1638 = 5*w, 4*w - 3*w - k = -334. Which is greater: w or -331?
w
Suppose 2*b = 2*k, -2*b - 3*k + 18 = k. Let l be (-4)/(-141)*(36/8)/b. Which is smaller: l or -1?
-1
Suppose -p + 3*p - 22 = 0. Let q = p + -12. Let z = 0 + q. Which is greater: z or 0.06?
0.06
Let k be (1 - 7/3)/((-56)/252). Suppose 3*v = -k*v + 9. Let z = -20 + 89/4. Is z at most v?
False
Let o = -60 - -59.968. Let t = o - -2.032. Is t != -0.02?
True
Let w(d) = 3*d - 2*d + 28 - 2*d. Let a be w(15). Are a and 14 equal?
False
Suppose 0 = 2*s + 5*x + 32, -2*x + 25 = 3*s - 4*s. Let j = -14 - s. Let i be 74/9 + 6/(-27). Is i < j?
False
Suppose -4*h = -5*d - 119, -4*d = -5*h + 45 + 52. Do 7 and d have different values?
True
Suppose -20*k = -14*k + 54. Let j be (k/48)/((-3)/60*-5). Which is greater: 0 or j?
0
Let v = 162 - 162.8. Is v < -0.6?
True
Let k = -814/335 - -2/67. Let w = -40 - -58. Let p = -20 + w. Does k = p?
False
Let h = 0.1068 - 0.0398. Is h greater than -4?
True
Let v be 45/6*(-12)/(-18). Let t be (1 - v/3) + (-182)/78. Let z be (1*-4)/(2/3). Which is smaller: t or z?
z
Suppose -5 = p - 4*h - 13, 0 = 5*h - 15. Let l = 8 - p. Let y be 5/10 + 9/l. Which is greater: y or 3/5?
3/5
Let a be (-6)/8*-3 - (-3)/(-12). Suppose -a*v = -v - 2. Which is greater: -14 or v?
v
Let d be (-4)/8 + (-763)/(-630). Do 0 and d have different values?
True
Let g = 2753 - 2754. Suppose t + 2 = 6. Are g and t equal?
False
Suppose -s - 11 = -3*p + 4*s, -2*p = 4*s. Let v = -2399/6 + 403. 