= -12 + y. Let r be (-33)/22 - (-10)/b. Are 25 and r unequal?
True
Let i be (5 - 32/2)/(-1). Suppose -8*k + i*k = -9. Let l be (k + 1)/(4/(2 + 0)). Is -7/19 at most as big as l?
False
Let d = 3993 - 5088. Which is bigger: d or -1094?
-1094
Suppose 4*b - 310 = -922. Suppose 4*d + 796 - 185 = -3*l, -603 = 4*d - 5*l. Is d > b?
True
Let j(t) = 13*t**2 + 424*t - 2547. Let o be j(6). Is o at least 476?
False
Let v be (-10)/(-210)*-159*(1 + -3). Which is bigger: v or 16?
16
Let l = 2 - 2.35. Let d = -34.35 - -33. Let t = l - d. Which is smaller: -1.2 or t?
-1.2
Let n(z) = -5*z**3 + 113*z**2 + 169*z - 25. Let p be n(24). Let u = -1356 + 29825/22. Let m = -31/22 - u. Is p at most as big as m?
False
Suppose 0 = -u - 2*u + 3*m - 84, -4*m = -3*u - 81. Is u greater than or equal to -0.76?
False
Let w(s) = -s - 70. Let y be w(0). Let q(h) be the second derivative of -71*h**4/12 + h**3/6 - h**2/2 - 9*h. Let o be q(1). Which is smaller: y or o?
o
Let y be -5*1 - (5 + 3 + -27). Suppose 0 = -z - z - y. Is -6 greater than z?
True
Suppose 0 = -2*l + 3*a + 151, 5*a - 20 = -l + 62. Suppose -240 = -4*h + 5*y, -h + l = -y + 4*y. Is 67 at least h?
True
Let p be 2 + (-25 - -27)/(-2 - 0). Suppose 3*s - 5*s = 4*z + 94, -5*s + 73 = -4*z. Is z at most p?
True
Let s(i) = -i**2 + 20*i + 95. Let a be s(22). Suppose y = -5*j + 261, 0 = 5*j + 2*y - 285 + 28. Is j greater than a?
True
Let p(t) = t**3 - 11*t**2 + 18*t + 6. Let y be p(9). Suppose -8 = -d + 3*u, 6*u = -3*d + 2*u - 15. Which is smaller: d or y?
d
Let u = 2.3 + -5.06. Let c = u - -1.26. Do c and 5 have the same value?
False
Let s(f) = 10*f**2 - 59*f + 15. Let d be s(9). Let z = -491/2 + d. Which is greater: z or 1?
z
Let v(c) = -c**2 + 2. Let g be v(2). Let w(z) = z - 4. Let a(n) = -n + 3. Let h(q) = -6*a(q) - 5*w(q). Let b be h(g). Which is greater: b or 7/9?
7/9
Let g = -71.305 - -0.305. Let t = g + 70.9. Which is smaller: t or 60?
t
Suppose -q + 13615 = 4*z, -3*z - 14*q + 8*q + 10206 = 0. Is z at least as big as 3406?
False
Suppose -23842*w + 126521 = -23823*w. Which is smaller: w or 6660?
w
Let n = -9780 + 9785. Are 133/36 and n unequal?
True
Let g = 141 - -234. Let k = -195 + g. Let y be (-567)/k - (-2)/5. Which is smaller: -3 or y?
-3
Let z be 22/(-759)*(3 - 5766/1924). Is 0 != z?
True
Let u = 2243 - 2303. Suppose 2*x + 4*k = -100, 3*x + 105 = x - 3*k. Is x < u?
False
Let p = 1273/3145 + -3/629. Which is smaller: p or 702?
p
Suppose 3*c = 3*f - 72, -f - 3*c + 8 = 4. Suppose 0 = -t - 1, 3*z - 5*t = -t + f. Suppose z*k = -5*x - 335, -4*k - x - x = 260. Is k >= -63?
True
Let x = 1988 + -5089. Is x >= -1?
False
Let y = -1 - -0.5. Let t = y + -0.5. Let p = 19/301 - 481/17157. Which is greater: t or p?
p
Suppose -188*r = -191*r - 4*g + 3, -4*r + 4 = 4*g. Is r greater than 1/1346?
True
Let x = -784 + 787. Let y = -21 + -3. Which is smaller: y or x?
y
Let q = -15769 - -110374/7. Let j = 2 + -3. Which is smaller: q or j?
q
Let z = -0.0184 - -15.0184. Let g(q) = q**3 + 7*q**2 + 6*q + 4. Let c be g(-6). Is c > z?
False
Let j(n) = 5*n + 28. Suppose 3*a + 3*q = -6, 3*q + 15 - 49 = 5*a. Let d be j(a). Suppose d*l - m = -0*m + 2, -l = -2*m + 6. Which is bigger: 6/11 or l?
l
Let t = -703 + 707. Suppose 4*k - 200 = t*s, -4*k + 66 + 152 = 2*s. Are 50 and k nonequal?
True
Suppose 32*i = 3*w + 33*i - 30952, -5*i - 25 = 0. Is w bigger than 10319?
False
Let o(v) = -4*v**2 + 41*v + 191. Let p be o(14). Which is smaller: -565/28 or p?
-565/28
Let y = 1726 - 1722.559. Let v = -0.441 + y. Which is bigger: v or 69/4?
69/4
Let v be (((-10212)/(-40))/(-3))/((-9)/((-360)/16)). Is v at least as big as -213?
True
Let b = -7 - -7.2. Let o = -313/3 - -109. Let g = o + -16/3. Which is bigger: g or b?
b
Let g = 6 + -5. Let w = 1.1 - g. Let p = -75.1536 + 0.1536. Which is greater: w or p?
w
Let m be ((-2)/114)/((-62)/(117/(-13) - 117)). Which is bigger: -1 or m?
m
Let t = 60139/7 - 8577. Let y = -5 - -20. Is y >= t?
True
Let a = -129.518 + -0.482. Let f = 131 + a. Which is bigger: f or -1.1?
f
Let q = 875 - 1062. Which is greater: q or -4/7?
-4/7
Let h(i) be the first derivative of -i**3 + i**2/2 + 5*i + 6. Let v be h(3). Let w = 62 - 82. Which is smaller: v or w?
w
Let s be 3/((-45)/(-6)) - ((-24)/(-10))/1. Which is greater: s or -62?
s
Suppose -i = 3*x + 62, 0 = -2*x + 6*x + 5*i + 79. Let v be ((-19)/30 + (-7)/x)*-64. Is v greater than or equal to 20?
False
Let p = 1793509/2030 + -1767/2. Which is greater: p or 8/5?
8/5
Suppose -2*w = -4*y - w + 17, -21 = -2*y + 3*w. Suppose 918 = y*a + 15*a. Is a less than 52?
True
Let f = -30 - -14. Is f smaller than 0.02?
True
Let p(s) = 11*s**3 - s**2 - 4*s + 3. Let w be p(1). Suppose -w*n + 19*n = -670. Which is smaller: n or -64?
n
Let f(a) = 57*a + 7695. Let z be f(-127). Is 453 greater than z?
False
Suppose 0 = 3*a + 15, 9*r - 3*a - 51 = 13*r. Let x be -3 - 2 - (-3)/(r/(-12)). Is -22 less than or equal to x?
True
Let b(m) = -59*m + 2363. Let u be b(40). Is 258 <= u?
False
Let a(i) = -i**2 + 6*i - 4. Let o be a(4). Suppose -o*b + 14 = 6. Suppose 2*w + b*h = 10, 5*w - 21 = h + 28. Is w at least -1?
True
Let w = 7548 - 14651/2. Let k = w - 4109/18. Which is bigger: k or -7?
k
Suppose 190 = 10*w - 260. Let o be 3 - w/(-5 - -2). Which is smaller: o or 125/7?
125/7
Let m(r) = -115*r - 2760. Let q be m(-24). Which is smaller: -35/989 or q?
-35/989
Let c be (6 - 1) + (-3 - 0). Let u(q) = -q + 4. Let g be u(-1). Suppose -9 = -2*j - 3*o, -5*j - 3*o + 13 = -g. Is j at least c?
True
Let o be 9/4426*48/72. Is 0 >= o?
False
Suppose -2*t - 5*l + 1183 = -545, -l - 6 = 0. Which is greater: t or 882?
882
Let z be 7/((-1026165)/1824768) - (1 + -4). Let n = z + 274/29. Let d = 6779/65715 - n. Do d and 0 have the same value?
False
Let l = 10 + -42. Let v be 6*8/l*6. Let i(h) = -7*h**3 - h + 1. Let a be i(1). Is a less than or equal to v?
False
Let f be 280/(-4471) - (-2)/34. Is f < -2/5?
False
Let m(v) = v**3 + 12*v**2 + v + 29. Let x be m(-12). Suppose -4*w + 3*w + x = -4*z, -4*w + 5*z = -24. Let j be (-312)/(-102) + (-3)/w. Is j > 0?
True
Let x = -92.3086 + 1.3086. Which is greater: -20 or x?
-20
Let i(c) = 85*c + 43. Let n be i(-8). Let v = -420 - n. Let k = -2824/13 + v. Is 0.3 less than k?
False
Let n(v) = -v**2 - 4*v + 13. Let b(o) = -6*o**3 - o**2 - o + 2. Let i be b(1). Let x be n(i). Which is bigger: x or -40?
x
Suppose 10 = -35*r + 45*r - 2*q, -11 = -3*r - q. Is r less than or equal to -30?
False
Let a = -32 + 45.91. Let x = a - 3.91. Is 18 greater than x?
True
Suppose -5 = -y - 5*w, -y - 2*w + 2 = 12. Let r be ((-2184)/(-70))/(0 + (-6)/y). Suppose 3*d + 5*p = -0*d - 169, -r = 2*d - p. Which is greater: -52 or d?
-52
Let p = -9605/1246 + -1/178. Let w(q) = 2*q**3 - 3*q**2 - 19*q - 11. Let c be w(4). Do c and p have the same value?
False
Suppose i + 204 = 13*i. Let x(b) = -2*b - 66 + i + 27. Let n be x(-15). Which is smaller: n or 96/11?
n
Let u = -40 + -70. Let p = u - -128. Which is smaller: 93/5 or p?
p
Suppose 213*h - 201*h = 588. Is h not equal to 40?
True
Let p = 3535 - 4541. Is -1005 less than p?
False
Let f = -42 + 169/4. Let z be (-3)/(-2) + (-13)/(-26). Let j be (720/(-52))/4 - (-5 + z). Are j and f unequal?
True
Suppose 6*v - v = -y - 10, 4*y + 4*v = 40. Let n be (256/(-5))/(9/y). Let s = n + 575/6. Which is smaller: 12 or s?
s
Suppose l - 201 = -6*o + 5*o, -617 = -3*o + 4*l. Let j be o*(0 + 3/(-18)). Let z = j - -679/18. Is z equal to 5?
False
Let o be ((-22828)/(-36))/((-4743)/54) + 7. Let h = 2248 - 209068/93. Let v = h - o. Are v and 0 non-equal?
True
Let m(p) = p**3 + 33*p**2 - 2280*p - 119. Let s be m(-67). Which is smaller: s or 2/323?
2/323
Let j = -344.76 - -345. Which is smaller: 17 or j?
j
Suppose -3*v - 471 = 17*b + 971, -4*b + 1358 = -3*v. Do v and -460 have the same value?
False
Let t = -8856438/1039 + 8524. Is 0 at least t?
True
Let p be ((-3627)/981)/13*7 - (-2 + 0). Is -1/7 <= p?
True
Let a(q) = 246*q - 458. Let p be a(2). Is p not equal to 2?
True
Suppose 23772*v - 32572 = 23789*v. Which is smaller: -0.2 or v?
v
Suppose 9*q + 42 = 132. Suppose -q*i = -8*i + 20. Let r = 7 - 16. Which is smaller: i or r?
i
Suppose -2*h + 204 = -3*u + 2*u, u = -h - 219. Let i be (22/187)/(40/u). Let d = 1/34 + i. Do d and -2 have different values?
True
Let g = 3 + -4. Let r be -6*30/36 - (-5 - (-12)/52