t y be z(17). Let t be (-15)/y*(5 - -1). Which is smaller: 4 or t?
t
Let f = 1/15 + 34/165. Do -1 and f have the same value?
False
Suppose 260*p - 16 = 258*p. Suppose -p*w + 300 = -2*w. Is 50 greater than w?
False
Suppose -2*s + 7 = -4*j + 3, -16 = 4*j + s. Let p be (2/j)/(6/(-4)). Let q = -418 + 417. Are p and q nonequal?
True
Suppose -2*p + 12 = 4. Let b = 10.8 + 5.2. Let l = -16.1 + b. Which is smaller: p or l?
l
Suppose 663 = -50*v - 637. Suppose -4*b - 77 = -i, -3*i = -0*i - 15. Let w = b - 7. Which is smaller: w or v?
v
Suppose -3*z = -5*o + 104 + 309, -3*z - 249 = -3*o. Which is bigger: o or 0?
o
Let v = -84.5 - -15.5. Let h = 64.4 + v. Which is smaller: h or -1?
h
Let p = 75 + 293. Is 369 > p?
True
Let f(p) be the second derivative of -p**3/2 + 17*p**2/2 + 10*p. Let d be f(5). Which is greater: 7/9 or d?
d
Let a = 2 + 1. Suppose a*t - 28 = 5*f, -5*t - 2*f - 10 = f. Is 4/11 < t?
True
Let j(m) = -3*m**3 + 41*m - 30. Let y be j(5). Which is smaller: y or -0.3?
y
Let m be 8/(-6)*18/(-128)*-4. Which is greater: m or 0?
0
Let m = 265 + -263. Is m != 0.13?
True
Let v = 15/238 + -1107/11900. Which is smaller: -1 or v?
-1
Suppose 2*v + 3 = -0*l - l, 5*v = 2*l + 15. Let m = 454/3 + -1789/12. Which is greater: v or m?
m
Let s(l) = -51*l - 853. Let k be s(-27). Is -1 < k?
True
Let m = 10 - 24. Let t = -8 - m. Let j = t - 4. Which is smaller: j or 1?
1
Let y = -0.4 - -0.3. Let f = -563 - -21959/39. Is f at least y?
True
Let d(u) = -3*u - 9. Let p be d(-5). Suppose p = -2*t - 4. Is -3 < t?
False
Suppose 0 = -2*q + 9 - 29. Which is greater: -44/5 or q?
-44/5
Let y = -1277 - -1278. Which is greater: 566/3 or y?
566/3
Let b(v) = 4*v + 58. Let o be b(-15). Let p be 8/(-1 - 3/2). Which is bigger: p or o?
o
Let p(u) = 17*u**2 + 3*u + 3. Let l be p(-2). Let k = 10208 + -10143. Is k at most as big as l?
True
Let d = 155 - 155.73. Let t = 0.03 + d. Let o = 0.5 + t. Is o at least 0.1?
False
Suppose -2*a + 14 + 4 = 0. Let c be 0 + -1 + (a - 12). Is -3 greater than or equal to c?
True
Suppose -2*g + 37 = 4*s - 9, -g = -s - 14. Suppose t = -4*x - 0*x - g, 2*t = -5*x - 25. Which is smaller: -10/3 or x?
-10/3
Let a = 0.11 + 10.89. Let h = a + -11.06. Let c = h - 1.94. Is -3 smaller than c?
True
Let g = 11 - 11.38. Let x = g + 0.28. Is -30 <= x?
True
Let f = 158 - 156. Is f <= 2?
True
Let t(f) = f**3 - 13*f**2 - 29*f - 10. Let j be t(15). Suppose 9 = 4*o - j*r, 5*o + 8 - 17 = 4*r. Let c be ((-8)/100)/((-3)/(-5)). Which is smaller: o or c?
c
Let o be ((-21)/4 + 3)*-30. Let c = o - 66. Is 3 at least as big as c?
True
Suppose -148 = -z + 5*s, 2*z + 136 = -s + 421. Is 143 greater than or equal to z?
True
Let c = -21/11 - -631/319. Is c at most -1/14?
False
Let y = 0.033 - 0.045. Do 0.1 and y have different values?
True
Let d(i) = -5*i - 12. Let m be d(8). Let g be 184/m - (4 - 8). Let f be (-123)/287 - (1 + (-20)/14). Is f > g?
False
Let h = 173 - 172.2. Is h less than or equal to -33?
False
Let u = 43 + -1. Let a = -41 + u. Let f be -3 - 1 - (-322)/70. Which is smaller: a or f?
f
Let m = 0.11 + 0.39. Let n = m - 16.5. Let b = -15.95 - n. Which is smaller: b or 2/5?
b
Let d = 0.1999 - 0.2999. Is -0.271 smaller than d?
True
Let p = -0.0262 - -0.2262. Which is bigger: -14 or p?
p
Let g = 2996.69 + -3025. Let s = 0.31 + g. Which is greater: s or -1?
-1
Let y be (-40)/(-50) + 13512/(-15). Let o be 1/((-2)/8 - 245/y). Is o smaller than 45?
False
Let b = -91 + 86. Let h = b + 26. Is h smaller than 21?
False
Let w = 315 + -297.9. Let t = 12 - w. Let j = -5 - t. Which is smaller: j or -7?
-7
Let g = 12 - -15. Let b be (4/(-6))/(9/g). Let i be 1*3 + b + 4. Is i bigger than 3?
True
Let m(f) = -f**3 + 9*f**2 - 8*f. Let n be m(8). Suppose 5*z - 17 - 13 = n. Suppose 5*c + z + 19 = 0. Are c and -5 non-equal?
False
Let q(c) = 7*c - 28. Let u(f) = 2*f + 1. Let b(o) = -q(o) + 3*u(o). Let k be b(12). Is 19 smaller than k?
False
Let v = -10 + 7. Let n = -382 + 383. Which is smaller: n or v?
v
Let v(c) = c**3 - 3*c**2 - 2*c - 7. Let t = 112 + -108. Let k be v(t). Which is smaller: 6/7 or k?
6/7
Let c = -2 - 2. Let o(x) = -x**3 - 4*x**2 + x + 5. Let k be o(c). Let q(p) = p**3 + 8*p**2 - 34*p - 9. Let b be q(-11). Which is greater: b or k?
b
Let k be (-3460)/11865 + (-4)/(-14). Which is bigger: 0 or k?
0
Suppose -5*w + 20 = 0, n + 0*n + 13 = 4*w. Suppose 8*d - 11*d + n = 0. Do 5/7 and d have the same value?
False
Let h(p) = p**2 + 5*p - 12. Let w be h(2). Are 1 and w unequal?
True
Let i(x) = -2*x**3 - 35*x**2 + 19*x + 13. Let t be i(-18). Let s be (46/(-10) - (1 + t))*1. Is s at least -2?
True
Let g(n) = -135*n - 387. Let r be g(-4). Is 156 bigger than r?
True
Let t(o) = -3*o + 20 - 3*o - 2 + 4*o. Let l be t(16). Are 2 and l unequal?
True
Let a = 349 - 358. Suppose -4*f - 35 = 5. Which is smaller: a or f?
f
Let x = 1125 - 1124. Which is bigger: x or 1023?
1023
Let n = 28 - 26. Suppose n*f + 5*f - 7 = 0. Is 5/19 at most as big as f?
True
Let u(h) be the third derivative of -h**5/60 + 5*h**4/12 - h**3/6 + 18*h**2. Suppose -27 = -7*c + 4*c. Let r be u(c). Is -1/2 smaller than r?
True
Suppose 33*u - 39*u = 762. Which is greater: u or 1/4?
1/4
Let o be 21/(-14)*(-8)/6. Let b be (45/20)/(o/(-8)). Let g be 1*(-10 - (1 + -3)). Which is greater: b or g?
g
Let r = 5621 - 1399631/249. Which is smaller: -4 or r?
-4
Let v(u) = u**2 - 5*u + 1. Let p be v(3). Suppose 3*f + 39 = 2*r, 8*f - 4*r = 3*f - 65. Let b = p - f. Do 8 and b have different values?
False
Let b = 31 - 30. Let s be (5 + -4)*(b + -6). Are -5 and s nonequal?
False
Let f be (3/4)/((-1)/(32/(-324))). Let l be 1/(1/3*3). Which is smaller: l or f?
f
Let s be ((-4)/3)/(40/(-60)). Which is greater: s or 81?
81
Let n = -5102/1881 - -13/171. Is 1 at least n?
True
Let w(q) = 2*q**2 - q**2 - q - 2*q**2 - 6*q - 1. Let a be w(-6). Is 1 smaller than a?
True
Let u be (105/52 - 2)/(19/(-2)). Let c = u + -3453/2470. Is -3/5 at most c?
False
Let o = -30 - -162. Let j be o/30 - (-4)/(-10). Suppose 0 = i + j*i. Is -1/10 bigger than i?
False
Suppose -13 = 3*f + 2*b - 0*b, -2*f - 27 = 5*b. Does f = 1/192?
False
Let k(o) = 3*o**2 + 24*o + 22. Let m be k(-7). Which is smaller: m or -1/69?
-1/69
Let l be 228/(-8)*(-6)/9. Let q(m) = -6*m + 1. Let x be q(3). Let g = x + l. Is g > 8/7?
True
Let o = -0.19 - 1.81. Let h be 9/3 - 54/22. Which is greater: o or h?
h
Let f = -1 - -4. Let k = f - 1. Let s = 153/286 - -3/286. Is s >= k?
False
Let t(m) = m**3 - 16*m**2 - m + 3. Let n be t(16). Which is smaller: 2 or n?
n
Suppose -5*q + 548 = 173. Suppose -6*y + 2*y + 3*z - q = 0, 20 = -y + z. Is y at least -14?
False
Let m = 297 + -298. Are m and 5/19 non-equal?
True
Let g = -1706.18 - -1708. Which is smaller: g or -4?
-4
Let b be 6/(-4)*(1 - -1). Let t = b + 0. Let j be (-10 + 19 - (-147)/(-12))*1. Which is smaller: t or j?
j
Let g(d) = -d**3 + 6*d**2 - 5*d - 2. Let w be g(5). Let t = w - -2. Let i be (-68)/34*-2*1. Which is bigger: t or i?
i
Let m = 2/123 + 37/246. Let j be (-7)/(140/18) - 2/(-5). Which is greater: j or m?
m
Let c be 1/((-5)/(41 - -4)). Let w(d) = -4*d - 3. Let g be w(c). Let k = 36 - g. Is 1 > k?
False
Let q(w) = w**3 + 13*w**2 + 3*w + 37. Let y be q(-13). Which is bigger: 265 or y?
265
Let t be (-243)/66 - 2/(-11). Let b = 1.19 + -22.09. Let y = -21 - b. Is t smaller than y?
True
Let j = -256 + 256. Is -7/9 >= j?
False
Let c = -52.99 - -53. Let n = 4.01 - c. Is n greater than -2/7?
True
Let d = -14 + 10. Let n = d + 5. Let s(h) = -3*h**3 - 2*h**2 + h. Let p be s(n). Is 0.2 > p?
True
Let j(c) = -99*c**3 - 4*c**2 + 6*c + 2. Let x be j(2). Let h = x - -8744/11. Suppose 3*m + m + t - 1 = 0, -5 = -m - 5*t. Is h at least m?
True
Let d = 0.2 + 8.8. Let z = 33 - 20. Let u = z - d. Which is smaller: u or -1?
-1
Suppose -296 = 6*i - 146. Which is smaller: -174/7 or i?
i
Let u = 31 - 95/3. Let w = 498/55 - 104/11. Which is smaller: u or w?
u
Let f = -14578/105 + 1096/7. Let b = f - 52/3. Let l = 2.508 + -2.508. Does b = l?
False
Suppose 4*v - 9*v - 2*t + 15 = 0, -t - 6 = -2*v. Which is greater: 21/5 or v?
21/5
Let v = 0.21 + 20.79. Let b = -22 + v. Is b not equal to -1/5?
True
Suppose 3*l = -3*g - 171, 13*l = 12*l. Which is bigger: -111/2 or g?
-111/2
Let n = 55.2 + -55.6. Are n and 4/7 unequal?
True
Let l be (-2 + 1)/(6/(-108)). Is l less than or equal to 13