ppose -4*k = -3*t + 17 + 27, 4*k + 2*t = -44. Let q be (-19)/k + 1 + -3. Suppose 95*h + 5 = -5*m + 90*h, m + 1 = 5*h. Which is smaller: m or q?
m
Let y be 45/12 - 15/20. Let l be 1 + 4/(8/y). Is 3 > l?
True
Suppose -c - 19 = 5*y + 36, -c - 5 = -5*y. Which is smaller: c or -27?
c
Let p = 1450 - 24642/17. Let n = -35/34 - p. Let j = -1 - n. Are 1 and j unequal?
True
Let m be (4 - 4)/((-2)/2). Suppose -2*c + 6 = -2*a, m*c - a = -5*c + 35. Suppose -3*v = -c*v. Are 3 and v equal?
False
Let m(k) = 6*k + 17. Let v(d) = 6*d + 18. Let c(j) = 5*m(j) - 6*v(j). Let h be c(-4). Is -1/23 >= h?
False
Suppose 6*z - 15 = 5*z. Suppose -2*r + r - 5 = 2*h, z = 4*r + h. Let s = 440 - 436. Is r at least s?
True
Let f be 16/(-10)*(-330)/264. Are 16 and f equal?
False
Suppose 5*i - 9 = -3*q - 97, -3*q + 5*i - 38 = 0. Let a be 3 - (-4 + 9) - (-9)/q. Do -2 and a have the same value?
False
Suppose 3*k + 824 = 5*w, 1089 = 5*w + 5*k + 289. Which is smaller: w or 164?
w
Let c = 66.7 + -64. Let r = c - 3.7. Let k = -1 - r. Which is smaller: -6/5 or k?
-6/5
Suppose 3*g = -16 - 32. Let q be (9 - 5) + 16/2. Suppose q*c + 39 = -165. Is c greater than g?
False
Let b(s) = -s**2 + 9*s - 7. Let a be b(6). Suppose -n + 6 = 5*w, -3*w = 3*n + 40 + 2. Let u be 12/(-18)*(1 + n). Do a and u have different values?
True
Let x = -18.2 + 30.2. Which is bigger: x or -7?
x
Let x = 24 - -17. Let r = 16 - x. Which is bigger: r or -24?
-24
Let c(v) be the third derivative of -v**6/120 + 13*v**5/60 + v**4/12 - 4*v**3 - 10*v**2. Let r be c(13). Let z be 12/6 - 9/8. Is r < z?
False
Let d be (1 - 2) + 1 + 339. Let b = d + -1003/3. Which is greater: 5 or b?
5
Let y be 46/102419 + 0/2. Which is bigger: 1 or y?
1
Let t be (13/(-10) - (-4)/5)*-20. Is t greater than or equal to 4?
True
Let q = 58.109 + 0.691. Let o = q - 60. Is o at most as big as -0.4?
True
Let s be (-2)/(-6)*66/22. Let z be ((-2)/s)/(-6) - 1688/24. Is -69 != z?
True
Let v be 7 - ((-1)/2)/((-8)/32). Let o = 35 + -15. Let s be ((-8)/o)/((-28)/v). Which is smaller: 0 or s?
0
Suppose -2*h - 4*r = -7*h + 12, 5*r = -4*h + 26. Suppose -h = -m + 3*m. Let i(q) = -q + 3. Let l be i(4). Is m < l?
True
Let d = -645.4 - -729. Let t = 84 - d. Let g be (-2)/(-3) - 1/2. Is g smaller than t?
True
Let k(y) = 9*y - 1. Let l be k(2). Let t = 40 + -24. Suppose -w + t = -1. Is w < l?
False
Let v = -2 - -4. Suppose -2*l - 25 = -5*d + 2*d, 5*l - 23 = -v*d. Suppose -4*o = -2*u - 8, 5*o - d = u + u. Which is bigger: -6 or o?
o
Let h be (-3)/621*3*(6 + 0). Which is bigger: h or 1?
1
Let x(i) = i**3 + 29*i**2 - 61*i - 16. Let o be x(-31). Are o and -41 nonequal?
True
Let w(q) = -q**2 + 2*q + 16. Let x be -1*(1 + (2 - 1)). Let y be (5/x)/((-5)/(-10)). Let a be w(y). Is a >= -18?
False
Suppose 6*w + 0*w = -12. Let a be (w/4)/((-3)/(-6)). Let v = -14/19 + 50/171. Which is greater: a or v?
v
Let u = 508 + -15750/31. Let r(q) = q**2 - 6*q + 6. Let a be r(4). Let d = -1 - a. Which is smaller: d or u?
u
Let j(c) = -2*c + 144. Let y be j(14). Is 115 <= y?
True
Let h = 50.01 - 3.61. Let i = 56.37 - h. Let c = -10 + i. Which is bigger: c or 0.1?
0.1
Suppose 0 = -o + 3*l - 16, o - 28*l - 4 = -29*l. Are o and -6/179 unequal?
True
Let m = 368 + -349. Which is bigger: 143/7 or m?
143/7
Let m = 13/8 + -829/520. Let f be -1*1 + 7 + (312 - 318). Is m at most f?
False
Let x(q) = -q**3 - q + 3. Let s be x(0). Suppose s*h + 0*h - 42 = 0. Let t = -16 + h. Which is smaller: t or -3?
-3
Let d = 575 + -590. Do -128/9 and d have different values?
True
Let k be (-1569)/21 + -1 - -10. Is -67 greater than or equal to k?
False
Let m = 7 + 32. Which is bigger: m or -0.12?
m
Let t = -71/35 - -17/7. Suppose -2*b + 5*q = 14, -50 = -220*b + 216*b - 3*q. Is t greater than or equal to b?
False
Suppose 3 = 4*m - 2*f + 45, 52 = -5*m + 2*f. Are -100/11 and m nonequal?
True
Suppose -3*n + 14 = -g, -4 = -0*n + n + 4*g. Let d(i) = -i + 6. Let f be d(n). Does f = 1?
False
Let o = 31 - 26. Suppose -20 = 5*z - o*d, 5*z + 0 - 4 = -3*d. Which is bigger: z or -2/11?
-2/11
Let b = 3 + -5. Suppose 14 = -3*x + 2*f, 5*x + 1 = 5*f - 19. Does x = b?
False
Let i = -1.7 + 2.69. Let s = 1.29 - i. Are s and -1 unequal?
True
Suppose -3 = -2*v + v. Suppose -6 + v = -u + 2*i, -3 = -2*u + i. Let l = -177/1970 - 2/197. Which is greater: u or l?
u
Let b(k) = -2*k - 34. Let j be b(-18). Suppose y + 5*a = 2, -5*a = -y - 0*a + j. Is 13/5 equal to y?
False
Let z be ((-1)/44)/((-6)/12). Is -1 at least z?
False
Let f be 18/(-12) + 18/4. Let a be 0 - (f + 20/(-15)). Which is bigger: -1 or a?
-1
Let w = 3430883 - 703326848/205. Let o = -102/5 + w. Is o less than -0.1?
False
Let j(b) = 183*b - 1020. Let d be j(7). Is 519/2 bigger than d?
False
Let z = 96 + -71. Let w = z + -24. Let i = -0.1 - -0.26. Is i at least as big as w?
False
Let g = 10768589092440007566337/3627045 - 2968970358084919. Let p = g + 2/403005. Let x = -89/3 - p. Are 1 and x nonequal?
True
Suppose -1267 = 39*w + 20. Which is greater: -34 or w?
w
Let n = -323 - -321. Which is greater: -34/11 or n?
n
Let r = -33 - -70. Let n = -35 + r. Is -10 <= n?
True
Let o = 26 - 44. Let s be 1/(3/o*-2). Let m = s - -7. Which is smaller: 11 or m?
m
Let q be (36/14)/(-14 + 293/21). Is q bigger than -55?
True
Let c = -36 + 22. Let q = 16 + c. Suppose -j = 3*m - 4 + 5, -4*j = -q*m + 4. Does j = -1?
True
Let t be -6 + -1 + -4 + 1. Let m be (-12)/t*(-50)/20. Which is smaller: -1 or m?
m
Let n(t) = -6*t + 8. Let s be n(2). Let p be (7/(-28))/(2/8). Is s greater than p?
False
Let r = 16/3 - 11/2. Let w(l) = 5*l**2 + l - 1. Let g be w(1). Suppose -15*q + 10*q = g. Which is smaller: q or r?
q
Let u = -14297/20 + 715. Let h = 2/5 - u. Let s = -30 - -33. Which is bigger: h or s?
s
Suppose 0 = 3*i - 3*a - 6, 4*a = 2*i - 0*a - 4. Suppose o = i*o. Suppose 4*s + o*s - 8 = -4*r, -2*s = 3*r - 4. Which is bigger: r or 2?
2
Let m(t) = 37*t + 146. Let x be m(-4). Let y be 6/(-21) - (-18)/14. Which is greater: y or x?
y
Let d(r) = r**2 + 0*r**2 + 10 + 3*r - 7. Let q be d(-2). Suppose -q = -5*o + 9. Are o and 17/5 non-equal?
True
Suppose 6 = k + 2*k. Let f(g) = 1 + k*g - 4*g - g + 0*g. Let r be f(1). Are r and -2 unequal?
False
Let d = 2079 + -26463/13. Does 44 = d?
False
Suppose -3*z + 5*r - 16826 = 0, 3*r - 8*r = -2*z - 11209. Let a = 39394/7 + z. Is 11 equal to a?
False
Let f be (2 - 66/26)/((-13)/(-221)). Is -10 less than or equal to f?
True
Let h be (-3)/2 - (-249)/138. Which is smaller: h or 1?
h
Suppose -4*y - h + 14 = -6*h, -3*y + 16 = -h. Suppose -f = 2*f + 2*o - 85, 0 = -4*f + 3*o + 119. Suppose -4*b + 7*b + f = -5*w, -2*b = y. Does -6 = w?
False
Let w = 673 + -6719/10. Let k(c) = c**2 - 7*c + 8. Let f be k(6). Is f less than w?
False
Let u be 325/35 + 4/(-14). Suppose -u*y = -5*y - 60. Is y >= 16?
False
Let p(c) = -107*c - 756. Let v be p(-7). Is v bigger than -0.63?
False
Let j(o) = o**2 - 6*o + 15. Let b be j(6). Suppose -12*l = -b*l - 33. Let i be l/15 + 3 + -2. Which is smaller: i or 0?
0
Let y be ((-105)/28)/((-6)/(-32)). Does y = -17?
False
Let n(u) = -190*u + 142. Let f be n(-7). Is 1472 > f?
False
Suppose 5*r = -5*y + 55, 0 = r + 3*y - 1 - 0. Let u = 49/3 - r. Which is greater: u or -0.9?
u
Let b be (1 - 2 - 26/(-22))*1. Which is greater: b or -1?
b
Let u = -1.64 + -0.36. Which is smaller: 0.05 or u?
u
Let i = 0.82 + -0.59. Let x = i + -0.07. Let l = x - 0.2. Which is smaller: -0.1 or l?
-0.1
Let p(m) be the third derivative of -m**6/120 + m**5/20 - m**4/4 + m**3 - 4*m**2. Let a be p(3). Let g = a - -14. Which is bigger: -1 or g?
g
Suppose -5*j + 4*r = -17, 2 + 7 = -3*r. Which is greater: 1/1374 or j?
j
Suppose -11*j = -1369 - 9213. Is j at least as big as 1?
True
Suppose -11*s - 10 = -9*s. Let v be (-1)/s*-1 - (-516)/(-1020). Is -2 <= v?
True
Let n = 9.9 - 22.1. Let b = n - 1.8. Let l = b - -16. Is l at most as big as 1?
False
Let p(i) = -i**2 - 9*i + 1. Let z be p(-12). Let l = 177/5 + z. Is l equal to 3/2?
False
Let w = 0.2 + -0.3. Let c(z) = -z**2 - 17*z + 154. Let i be c(6). Which is bigger: w or i?
i
Let u(h) = h - 1. Let c be u(8). Let w(l) = -l + 16. Let a be w(c). Let q(g) = g**3 - 9*g**2 - g + 9. Let n be q(a). Is n < 2/15?
True
Let m be -51 - -49 - 6/(-20)*-2. Which is greater: -4 or m?
m
Let w be 80/(-3)*(-291)/194. Which is smaller: 13 or w?
13
Let a(c) = -2*c**3 - 2*c