t y = 532 + -556. Which is smaller: 2/5 or y?
y
Let m = 97/4453 + -3/61. Let f = -13 + 17. Suppose -15 = -f*l - 11. Which is greater: l or m?
l
Let z = 25.2 + -22.3. Is z at least 1?
True
Let b be 0 + 2 + -9*(6 + -11). Is 51 > b?
True
Let x = -103 + 517/5. Is x > -2?
True
Let m = -5629 + 5128022/911. Is m not equal to 1?
True
Let d be 18000/(-35616) - 1/(-2). Which is smaller: 0 or d?
d
Suppose -7*n = -11*n. Let k be 3*(-14 - -1 - n). Let b = 116/3 + k. Is b at least as big as 4/5?
False
Let t = -32 - -32.06. Let j = 0.74 + t. Is j less than or equal to 0?
False
Let y = 53 + -30. Suppose 4*t + y = -3*n, -4*n - 2*t - 19 = t. Let o = -3 - -2. Is o > n?
False
Let h be (-9)/(-15) + 4/10. Let z be (-1057)/(-28)*4*h. Let n = z - 2267/15. Do 0 and n have the same value?
False
Suppose -x = 2*t - 73, -7*t + 3*t + 4 = 0. Which is smaller: 77 or x?
x
Let x = 1.2 - 0.9. Let u = -11.3 + x. Let f = u + 9. Is -4 >= f?
False
Suppose b - 5*b + 4*d = 0, -2*d - 6 = 0. Is b at least 4?
False
Let d = -48 - -43. Let f be 2/(-42) + (-1)/(-3). Is d at most as big as f?
True
Let z be ((-4)/(-6))/((-2)/(-3)). Let d = 7210/5403 - 2/1801. Which is smaller: d or z?
z
Let f = -31 + 33. Suppose 0 = 5*b + f*s - 363, -7*b - 2*s + 290 = -3*b. Which is bigger: b or 74?
74
Suppose -6*d + 2*m + 42 - 16 = 0, 35 = 5*d + 5*m. Are d and -7 non-equal?
True
Let j(t) = -7*t**2 - 8*t + 3. Let d(c) = -15*c**2 - 17*c + 5. Let q(x) = 6*d(x) - 13*j(x). Let k be q(-4). Let w = 65/198 - 3/11. Is k less than w?
True
Let r be (-16 + 15)/((-2)/(-62)). Is 0.04 not equal to r?
True
Suppose 31 = -2*s - 35. Let v = 45.3 + -45.3. Which is smaller: v or s?
s
Let m = -4/839 + 19325/5873. Which is smaller: 3 or m?
3
Let p(q) = q**2 + q + 2. Let c be p(0). Let z = -230 + 2075/9. Is c equal to z?
False
Let a = 1573 - 25149/16. Is a less than 1?
False
Suppose 4*g = 55 + 85. Let o be (g/10)/((-2)/20). Is -34 <= o?
False
Let p be (-4744)/(-48) + -3 + 2 + -4. Which is smaller: p or 94?
p
Suppose -6*i + 10 = -i. Suppose -4*c - 6 = 3*w - 3*c, 0 = 4*w + i*c + 10. Let j = -110 + 109. Is j less than or equal to w?
True
Suppose -5*b + 22 = 3*p, 3*b - 8 = -2*p + b. Let k be p/(4/(-12) - 0). Suppose 16 = k*i - 8. Is i equal to 9?
False
Let c be (-2)/(-7) - (-768)/(-42). Let m = -1515 + 1500. Which is greater: c or m?
m
Let l(i) be the third derivative of -i**5/60 + 5*i**4/12 - 11*i**3/6 + 4*i**2. Let j be l(9). Let p be 0/(-2*2 - j). Which is smaller: p or -2?
-2
Let p = -13 + 10. Let g(c) = c**2 - 4*c - 4. Let t(a) = a + 1. Let d(n) = p*t(n) - g(n). Let f be d(2). Which is greater: f or 0?
0
Let z be ((-8)/4)/(-1 + 2). Let d be (z + 4 - 2)/1. Suppose d = -2*y + 6 - 2. Which is smaller: y or 3/5?
3/5
Suppose 2*l = -2*c + 3 + 19, 0 = 5*l + 2*c - 52. Let u be l/(-12)*-2 - 2. Let v = 18 - 23. Which is smaller: v or u?
v
Let i be 0/8 + (-1 - -24). Suppose 0*v - 3*v + i = -d, 0 = -5*d - v - 51. Is -9 greater than d?
True
Let q = 29.81 - 24.81. Which is smaller: q or -0.72?
-0.72
Let j(w) = -w**2 + 9*w + 11. Let b be j(8). Let m = b - 44. Let y be -3 + (-5)/(m/17). Which is greater: y or -0.6?
y
Let h(p) = 2*p**3 - 8*p**2 - 9*p + 13. Let n be h(4). Are n and -179/8 unequal?
True
Let a = -27121/5 + 5446. Let g = a + -22. Which is bigger: 0 or g?
0
Let g be 45/(-60) + 21/(-12). Which is smaller: g or -3?
-3
Let q(f) = -f**2 + 6*f. Let p be q(6). Let k = p - -9. Let l be 30/4 - 5/(-10). Is k at least l?
True
Let c be 28/5 + (-10)/(-25). Let q be (3 - c)/6*8. Let j be -2*(18/4)/3. Do j and q have the same value?
False
Let w = 1.3 + -6.3. Let a = w + 3. Let t = 1 + a. Is t less than -5/2?
False
Suppose -61 = 5*n + 2*s - 1, -4*s = 20. Let z = -3878 - -27144/7. Which is greater: z or n?
z
Let g(p) = -p - 2. Let m be g(4). Let r = 9 + m. Suppose 2*n + 0*n + u = -5, -r*u - 3 = 0. Is -2 greater than n?
False
Let f(w) = 47*w + 84. Let b be f(19). Is 977 at most b?
True
Let x = 2698 + -2697. Let y = -48/13 + 829/221. Is y less than x?
True
Let f(k) = 4*k**3 - 2*k**2 + k. Let o be f(1). Suppose -5*d = -7*d + 8. Suppose o*l - 4*l + 29 = 4*i, d = 4*i - 4*l. Which is greater: i or 8?
8
Let y = 14 - -5. Let g = y + -14. Which is bigger: g or 6?
6
Suppose 0 = -4*s + 2*y - 32, 2*y = -s + 6*y - 15. Do 0.2 and s have different values?
True
Let h(r) = -8 + r**2 - 3*r + r - 3*r + 2*r. Let o be h(6). Let c be (-60)/50*o/(-39). Do c and 0.1 have the same value?
False
Let a = -235183923/4534180 + 88510/1631. Let k = a - -1/556. Do k and 3 have different values?
True
Let z = 119/3 - 3454/87. Let s = -84.3 + 84. Is s < z?
True
Let g(k) = k**3 - 2*k**2 + 1. Let v be g(-1). Suppose 4*j + 155 = -49. Let q = j + 50. Is q at least v?
True
Suppose -3*v = 3*j - 21, 0 = 3*j - 4*v + 9 + 5. Let u be -3 + ((-43)/(-12) - j/6). Let t = -0.05 + -0.05. Which is smaller: t or u?
t
Let o = -18 + 20. Suppose -3*x + 9 = 5*n, 0*x - 2 = o*n + 4*x. Suppose n*m = 3 + 3. Are m and 3 unequal?
True
Let q = -1882 - -9407/5. Suppose -b = 4*b - 20. Suppose 0 = -r - b*p + 4, 5*p - 3 = 5*r + 2*p. Is r less than or equal to q?
False
Let s = 13 + -11. Let p be (2/(-4))/((-1 + 0)/s). Let b = -12/49 + 75/49. Are b and p non-equal?
True
Let u be ((-14)/6)/(3/(-9)). Let o(p) = -p**3 + 17*p**2 + p - 6. Let v be o(17). Suppose v*a - 90 = -4*a. Is a less than u?
True
Let b(r) = 2*r**3 + 2*r**2 - 3*r + 2. Let d be b(-2). Let c be 55/13 + (-1)/1 + -3. Is d bigger than c?
False
Let k = 0.96 + -0.07. Let t = k + -0.89. Which is smaller: t or 4.1?
t
Let m = -1865/1638 - 1/234. Let p = m - -247/14. Which is greater: 18 or p?
18
Suppose -4 = -b - 5*z, 3*z = 3*b - 6*b. Let i = 2/4389 - -6728317/43890. Let l = -153 + i. Which is smaller: b or l?
b
Suppose -j = 3*i - 28, 4*i - 5 = -4*j + 75. Let v be 0 + j + 5 + -3. Let t be 6/12*(-4)/v. Are 0 and t equal?
False
Let o(w) = -2*w**3 - 2*w**2 + 7. Let p be o(4). Let l = -49 - p. Is 104 bigger than l?
False
Suppose -137 = 7*a + 360. Let j be (-3 - a/(-3))*5/60. Which is smaller: j or -1?
j
Let v = 181 - 117. Suppose 0 = -3*u + 7*u + v. Which is greater: u or -14?
-14
Let w = -0.03 + 9.03. Let q = w + -8.93. Which is smaller: q or 2?
q
Let s(h) = 3*h**2 - 1. Suppose 0 = -3*t + 3 - 6. Let u be s(t). Suppose 0 = 4*k - 4*w + 40, 2*k + u*w + 1 = k. Is -8 not equal to k?
True
Let h be (-2094)/418 - -3 - -2. Let j = -635/836 - h. Is 0.1 <= j?
False
Let b = 28 - 25. Suppose 0*r + b*r = 6. Is 7 < r?
False
Let d be -8*((-2)/4 - 0). Suppose -28 = -6*x + 2*x - d*k, -4*x = k - 28. Let i(g) = -g**2 + 7*g - 2. Let o be i(x). Which is smaller: o or -3?
-3
Suppose -7*r + 12*r + 845 = -5*k, 0 = 3*k - 12. Is r greater than -343/2?
False
Let b = -874 + -32. Let o = b - -2750/3. Which is greater: 11 or o?
11
Let x = 34 + -35. Let y be 3 - ((-94)/(-22) + x). Do y and 1 have the same value?
False
Let k(g) = g**3 - 4*g**2 + 4*g. Let p be k(3). Suppose 2*v - 5*u + 24 = 5*v, 0 = -p*u + 9. Suppose v*j = 24 - 3. Is 6 greater than or equal to j?
False
Suppose -11*s + 455 = 2*s. Which is smaller: 33 or s?
33
Let w be 0/((-6 - -2) + -1 + 2). Which is smaller: 3/49 or w?
w
Let t = 471 - 501. Is t bigger than 3?
False
Let r(y) = y**3 + 6*y**2 + 2. Let i be r(-6). Suppose x = i*x - 3. Suppose 0 = -z + 2*c - 4, -x*z - 52 = 5*c - 3*c. Is z greater than or equal to -14?
True
Let s = -441 - -446. Do s and 13 have the same value?
False
Let b be (-24)/(-6) - (1 - 44). Let n = -43 + b. Is -6/11 greater than n?
False
Let a be (-1)/2*(-5 + 7). Which is bigger: 4/303 or a?
4/303
Let k = -2429486 - -138473803/57. Let w = -121 - k. Let s(g) = -g**2 - 15*g + 15. Let i be s(-16). Which is bigger: i or w?
w
Let a(q) = 17*q + 184. Let i be a(-12). Which is greater: -121/6 or i?
i
Let x = -0.4621 + 0.2621. Let i = 5442/17 - 320. Which is greater: x or i?
i
Suppose 0 = -8*d + 4*d. Let n be 1*(-89)/16 - -2. Let j = n + 2825/784. Is d less than j?
True
Suppose 466 = 2*c - 5*b, 3*c - 14*b - 724 = -19*b. Is -1 <= c?
True
Let n be (-192)/15232*(-2)/5. Are 1 and n equal?
False
Suppose 112 = j + 114. Let f = -4 - 0. Which is smaller: f or j?
f
Let n = -44.7 + -1.3. Let g = 0 - -0.1. Is g > n?
True
Let d(a) = 61*a - 366. Let v be d(6). Which is greater: 25/24 or v?
25/24
Let p = 29 + -187. Which is smaller: -157 or p?
p
Let f be ((-4)/(-6))/(2/14). Let y be (-13)/(-5) - (-2)/5. Suppose -y*g = -9 - 9. Which i