 -2*y. Which is smaller: 213 or y?
y
Let n(w) = 6*w - 10. Let u be n(4). Which is smaller: u or 18?
u
Let u be (-3)/9 + 14/6 + -4. Let l be u - 3 - (-1089)/219. Suppose 5*s + 6 - 1 = 0. Is s less than l?
True
Let x be 2358/5*(-20)/(-84). Are x and 113 unequal?
True
Let i(z) = 29*z + 1. Let y be i(-4). Suppose -234 = -286*h + 288*h - 4*f, 0 = 2*h + 2*f + 228. Is h less than y?
False
Let p be 32/(7 - 5) + -16. Suppose a - 10 = -0*k - 4*k, -4*k = -4*a - 20. Is p less than a?
False
Suppose 4*p = -3*g + 14, -4*g - p - 2*p + 28 = 0. Let a = 12 - g. Let u = -2 + a. Which is bigger: u or 2/33?
2/33
Let k = 665 - 27. Let j = k + -1892/3. Suppose 2*a - 7 - 7 = 0. Is j at least as big as a?
True
Let x = -7 - -7.03. Let v be 8*(0 + (-3)/(-6)). Is x greater than or equal to v?
False
Let l = -529 + 2643/5. Is 0.22 equal to l?
False
Let d(y) = y**3 + 2*y**2 - 5*y - 6. Let j be d(-4). Let u = -15 - j. Suppose 3 + 17 = -5*i, 3*i + 3 = -u*h. Is h smaller than 3?
False
Let i = 34/4433 - 5/341. Which is greater: i or -1?
i
Let t = 1.9 + 0.4. Let q = 0.236 + 0.064. Let y = q - t. Is y at least as big as -3?
True
Suppose 52 - 92 = 5*z. Are z and -6 equal?
False
Let k(i) = i**2 - 20*i - 384. Let b be k(32). Is b at most as big as 6/11?
True
Let g = 0.458 - 0.538. Let z = 3 + -3.1. Is g greater than z?
True
Let d = 5.5 + -4.55. Let j = -2.55 + d. Is 0.1 <= j?
False
Let w(d) be the second derivative of d**4/12 - 3*d**3 - 17*d**2/2 - 15*d. Let t be w(19). Which is smaller: 4 or t?
t
Let u = 17 + -7. Suppose 11*x - 12*x + 10 = 0. Suppose -2*f + x = -6. Which is bigger: u or f?
u
Suppose -2*n = -5*w - 226, 0 = w - 4*w - 6. Suppose -2*q - 73 = 5*o, -2*q = -2*o - 0 + n. Is q < -49?
False
Let i(k) be the second derivative of k**4/12 + k**3 + 6*k**2 + 25*k. Let c be i(-3). Which is bigger: c or 6?
6
Let q = 283/2 + -138. Let m = -3 - -8. Which is smaller: q or m?
q
Let l = 35 - 13. Let y = l - 21. Which is bigger: y or 3/10?
y
Let x = 30/11 + -984/385. Is 0 <= x?
True
Let u be (5/24)/(25/10). Which is smaller: u or 5?
u
Let t = -394 + 400. Which is bigger: 0.09 or t?
t
Let j = -163.908 - -164. Let v = 6.092 - j. Which is smaller: -5 or v?
-5
Suppose 4*f + 4 = 12. Let z be (-1)/(-9) + f/3. Is z at most as big as 1?
True
Let u = 550 + -550. Which is smaller: -58 or u?
-58
Let k = -57.96 + 0.96. Let u = k - -59. Which is smaller: u or 11?
u
Let q = 16.4 + -3.4. Let o = q + -11. Let u = 191/2 - 289/3. Is u > o?
False
Suppose 5*b - 20 = 37*i - 32*i, 4*b + 3*i + 5 = 0. Let t = 1.8 - 2. Let u = t - -0.1. Which is smaller: u or b?
u
Let m = 950 - 946. Let s = -17 - -17. Which is bigger: s or m?
m
Let j(c) = c**2 + 19*c - 40. Let l be j(-21). Suppose 3*q + 19 = l*q. Is q equal to -19?
True
Suppose 15*j + 188 - 1073 = 0. Which is smaller: -0.1 or j?
-0.1
Let t = 265/2 - 923/7. Which is bigger: t or 2?
2
Let n(q) = -q**3 - 29*q**2 + 34*q + 120. Let d be n(-30). Does -2/271 = d?
False
Let v(m) = 2*m**2 - 6*m - 10. Let q be v(5). Let j(d) = d**2 + 4. Let x be j(-3). Which is bigger: q or x?
x
Let z = 41 - 44. Suppose a = -4*o - 0*a - 26, o = 4*a + 2. Does o = z?
False
Let x = 22 + 73. Let a = 101 - x. Are a and 6 unequal?
False
Suppose -2*v = -3*f + 1725, 205 = 5*f + 200. Is v <= 0.2?
True
Let q = 487 - 9255/19. Let j = -103 + 102. Is q less than j?
False
Let u be 12/(-2)*52/(-8). Let c be (-12)/(-72) + 490/(-12). Let g = c + u. Is g greater than or equal to -3?
True
Let p(d) = -18*d**3 - d**2 + 1. Let k be p(1). Let o be -11 + -1 + -6 + 4. Which is smaller: o or k?
k
Let d be 7/(-4 - (-22)/6). Let t be (56/(-49))/(6/d). Suppose t*z = z. Which is greater: z or 2/63?
2/63
Let i be (-5)/(-8)*(-4)/(-10). Let t(y) = -2*y**2 - 10*y + 12. Let u be t(-6). Which is greater: i or u?
i
Let h = -433 + 450. Which is bigger: h or -1?
h
Let a = 0.61 + -0.1. Let q be (-495)/154 + (-2)/4 - -4. Which is smaller: q or a?
q
Let f = -13 + 9. Let m = -2 - -2. Let h be (-84)/35 - (1 - m). Which is smaller: f or h?
f
Let w = -31 + 36. Let d be ((-2)/w)/(14/10). Which is greater: d or 0.047?
0.047
Let i = 5659/13 + -435. Let s(p) = p - 20. Let v be s(19). Which is smaller: i or v?
v
Let y(j) = -j**2 + 3*j - 2. Let h be (-5 + 23)/(0 + 2). Suppose 0 = -3*q - 0 + h. Let b be y(q). Is b at least 1?
False
Let b = -506 + 469. Which is smaller: b or -27?
b
Let q = 247 - 4689/19. Let c(s) = -110*s - 329. Let n be c(-3). Which is smaller: n or q?
q
Let g(a) = -a**3 + a**2. Let p(r) = -2*r**3 + r**2 - 4*r - 4. Let d(m) = -3*g(m) + p(m). Let v be d(3). Is 0 at most as big as v?
False
Let p = -157 - -139. Which is smaller: -17 or p?
p
Let v be 24/14*(-56)/(-16). Suppose -k - k = -v. Let m = 4.944 + 0.056. Which is bigger: k or m?
m
Let g = -4/69 - 313/552. Suppose 2*a - 3 = -a, 2 = 3*x + 2*a. Suppose x = -v + 2*z - 12, -18 - 1 = -3*v - 5*z. Are v and g equal?
False
Let m = 213 - 127. Which is bigger: m or -0.6?
m
Let c be (-60)/(-6) + -11 - -5. Is c bigger than 3?
True
Suppose -3*t = -0 - 6. Suppose -j = 4, 4*s + 3*j + 15 = -13. Let n be s + (-45)/(-6) + -1. Do t and n have different values?
True
Let y = -8.01 + 8.24. Is -2/23 less than or equal to y?
True
Let b be (-544)/3720 - (-4)/30. Which is smaller: 1 or b?
b
Let n = 56 - 53.95. Let r = n + -0.35. Is r < -1/3?
False
Let h = -1342 + 16103/12. Let p(i) = -i**2 + 4*i. Let v be p(4). Is h less than v?
True
Suppose -35 - 17 = 4*g. Which is bigger: -11 or g?
-11
Let k be 1/2*(2 + 2 - 6). Which is greater: k or -1/2745?
-1/2745
Suppose -18*w = -19*w, 5*h + 5 = 3*w. Which is smaller: -3/319 or h?
h
Let h = 251/186 - 16/31. Which is bigger: h or -0.67?
h
Let n = 2120 + -2121. Is n smaller than -90/7?
False
Suppose 24476 = 24*r + 1964. Which is smaller: 937 or r?
937
Let x be (1/2)/(27/(-54)). Let i be -1 - (-224)/6 - x. Which is smaller: i or 38?
i
Let b(y) = y**3 + 5*y**2 - 6*y - 3. Let a be b(-6). Suppose 0 = 4*h + h - 5*c, 2*h - c = -4. Is a at least h?
True
Let n = -83429/87 - -959. Which is smaller: n or -6/11?
-6/11
Let w(n) be the second derivative of n**3/2 + n**2/2 - n. Let v be w(-5). Which is smaller: -15 or v?
-15
Let b = -42325/1468 + 30/367. Is -29 less than b?
True
Let k(q) be the first derivative of 2*q**2 - 2*q + 6. Let m be k(3). Let f = -11 + m. Which is bigger: f or -1/23?
-1/23
Let u = 0.004 - -0.746. Let v = u - 1.15. Is v at most -3?
False
Suppose -5*r + 30 = -140. Let n = -32 + r. Which is smaller: n or -3?
-3
Let g be (-219)/117 + (-6 - -8). Are g and -1 nonequal?
True
Let n be (-1 + (1 - 2))*(-51)/(-493). Which is greater: n or -1?
n
Let b be ((-6)/4 + 1)*6. Let c be (-16)/(-40) + 6/(-10) - 0. Which is bigger: b or c?
c
Let w = -63 - -60. Does w = -53?
False
Let m = -74.4 + 85.4. Which is smaller: m or 2/7?
2/7
Suppose -29 = -p + 5*p - b, 3*b + 1 = p. Suppose -12*u = -123 + 3. Suppose 14 = -u*v + 8*v. Do v and p have the same value?
False
Let h = 10249474/7764239 - -660/8467. Let p = -4/131 - h. Is 0 < p?
False
Let s = -9/7 + 1. Suppose 2*d - 6*d = -32. Let n be 5 - d/4 - 4. Is s less than n?
False
Suppose -2*b + 16 = 4*d - 7*d, 3*d + 4*b = -4. Let i = -46 - 44. Let w be i/21 + (-4)/(-14). Does w = d?
True
Let b = -175.29 + 175. Is b at most as big as -0.1?
True
Suppose 12*h + 2*h = 3948. Are h and 282 equal?
True
Let d = 29.1 + -131.1. Which is smaller: -0.4 or d?
d
Let w = 41 + -30. Let f = w + -10.3. Do 3 and f have the same value?
False
Suppose -25*p + 28*p = 3. Let l be 15/(-4)*1/3. Let n = p + l. Which is bigger: -1 or n?
n
Let b = -77 + 149/2. Let t(x) = -x - 11. Let d be t(-9). Is d less than b?
False
Let v be 400/104 + (-1 - 3). Suppose -4 - 4 = 8*b. Is v <= b?
False
Suppose -2*v + 2*v - 2*v = 0. Suppose 5*r + 2*s + 10 = 0, -5*r + 2*s - 4 - 26 = v. Which is bigger: r or -19/7?
-19/7
Let z be (2/58)/(14 - 434/28). Let n be (-2 - -1)*(2 + -1). Which is bigger: z or n?
z
Let v be 0 - (1 + 25)/(-2). Suppose -2*p + 8 = -0*a + 5*a, 0 = -5*p + 4*a - v. Suppose 0 = 3*f - 0*k - k + 5, 5*f - 2*k = -8. Which is greater: p or f?
p
Let k = -233 - -477/2. Let u = k + -6. Is u greater than -2?
True
Let d = -490 + 432. Which is greater: d or -57?
-57
Let z = 5 - 1. Let g = z + -6. Let x = -3 + 3. Which is greater: x or g?
x
Let d = 85888 + -685919/8. Which is greater: d or 147?
d
Let g = -4.1 - -4. Let q be (-70)/(-315) + (-544)/2286. Which is smaller: