1. Let j = x + y. Is 22 != j?
True
Let o be 1 + (-257)/910 + (-24)/42. Let i = 1/78 - o. Is i smaller than 0?
True
Let c(n) = -8*n + 166. Let d be c(20). Let y(r) = -3*r + 19. Let s be y(d). Suppose p + 5*a = -4, 0*p - 23 = 2*p - 5*a. Which is smaller: s or p?
p
Let p(l) = -38*l**3 - 3*l - 3. Let q be p(-1). Let u = q - 34. Suppose -u*c + s - 7 = 0, 3*c + s = -2*s + 6. Is c >= -12/25?
False
Suppose -16*l - 27*l = 8*l + 85884. Which is bigger: l or -0.2?
-0.2
Let f(t) = -t**2 + 11*t - 19. Let m be f(9). Let q be (m - (-6)/4)/(33/96). Which is greater: 1 or q?
q
Suppose -3*u - 12 = 0, a + 1350 = -8*u + 10*u. Is -1358 at least as big as a?
True
Suppose 320 = -0*c + 5*c. Let u = 35 - c. Are -31 and u non-equal?
True
Suppose r - 38 = 12. Let d be (-1)/((-5 - -2)/(-3))*64/(-416). Are r and d unequal?
True
Let s(q) = -q**3 - 9*q**2 - 5*q - 40. Let g be s(-9). Suppose -7*u + 8*u - 5*d + 14 = 0, 8 = g*u + d. Let c = -99/2 - -797/16. Which is smaller: c or u?
c
Suppose -2*v = 5*w - 29, -2*w - 14 = -2*v - 4*w. Let a be ((-660)/77)/(v/(-35)). Suppose 4*k + g = a, -3*k - 2*g + 115 = -0*k. Which is smaller: k or 2/5?
2/5
Suppose 7*a - 14*a = -70. Suppose 5*x - 10 = 0, g + 5*x - a = x. Is 18/19 at most as big as g?
True
Let u = -2285.4 + 2285.2. Is -0.03754 equal to u?
False
Let b be (48/(-82624))/((-1)/6888) + -4. Which is bigger: b or 0.1?
0.1
Let j = -2 - 49. Suppose 59*w - 38*w - 40*w - 1026 = 0. Let x = j - w. Which is smaller: x or 0?
0
Suppose 41 - 3018 = 13*i. Let u = 233 + i. Does -19 = u?
False
Suppose -3*l = 2258 - 764. Let z = l + 499. Which is bigger: -4/253 or z?
z
Let q = 8 + -3. Suppose -3 = t - 4*h, -11*h = 3*t - 12*h - 13. Suppose t*d - 60 = -q*n - 0*d, -3*d - 20 = -5*n. Is n != -2/7?
True
Let i(p) = p**3 + 20*p**2 - 102*p - 169. Let o be i(-20). Is o greater than 1?
True
Let t = -0.04068 + 236.04068. Which is greater: t or 62?
t
Let m(t) = -194*t + 129. Let q be m(19). Let x = 117371/33 + q. Which is smaller: 0 or x?
x
Let k = 4143/19 - 218. Let t = -827 - -3311/4. Which is smaller: t or k?
k
Suppose -3*b = -3*f + 5*f - 2, -3*f - 19 = -b. Let l be (-1 + f + 1)*(-69)/(-345). Let z(g) = g + 6. Let h be z(-5). Is h < l?
False
Let n = -7/1474 + 3583/1375242. Is n bigger than 0?
False
Let p be (-20)/50 + 196/(-10) - 1. Let u = -18 - p. Suppose 20 = 5*k + 5*r, 2*r + u*r - 25 = 0. Is k >= 37?
False
Let h = 1199 - 974. Suppose -4*m + 26 - 2 = 0. Let s be (h/m)/3 - 2. Is s <= 11?
True
Let f be ((-3)/(-6))/(12*23/775836). Which is bigger: f or 1407?
1407
Suppose -256*q - 42*q + 141040 = 522*q. Let r = -252 + 423. Which is bigger: q or r?
q
Let h be ((-8)/(-6))/((-16)/(-60)). Let u(o) = o**3 - 5*o**2 - 11*o + 2. Let a be u(h). Which is smaller: a or -52?
a
Let f be 1/(-4)*1468560/(-522). Is f <= 702?
False
Let w(q) = -5*q**2 - 23*q + 11. Let f be w(-5). Let g be 0/f + 10 + -6. Which is smaller: g or 12?
g
Let y(f) be the third derivative of f**5/30 + 17*f**4/24 + 3*f**3/2 - f**2 + 34. Let b be y(-8). Which is smaller: 11/40 or b?
11/40
Let j = 4912353/8 + -615996. Which is smaller: -1953 or j?
-1953
Let k(h) be the first derivative of -h**5/40 - 7*h**4/8 + 4*h**3 + 32. Let q(z) be the third derivative of k(z). Let m be q(-19). Are 36 and m equal?
True
Suppose -6*l - 6*l = 12. Let g be ((0 - 334) + 3)*(l + 0). Which is smaller: 332 or g?
g
Suppose -46*j + 43 + 3 = -0. Is j at least 12/67?
True
Let v = 22431 + -22469. Which is bigger: -81 or v?
v
Let t(u) = -2*u**2 - 129*u - 529. Let i be t(-59). Suppose -q - 4*q = -20. Suppose 4*v = h - 81, q*h = -5*v - i + 444. Are 80 and h nonequal?
True
Suppose -2*b = -6*b - 20. Let n = 614 + -575. Let d = n - 44. Is d less than b?
False
Let y be (-3)/(1/((-2)/693)). Let k be (-6)/(-4)*((-32)/(-42) + (-70)/735). Which is smaller: y or k?
y
Let q be 1/(-1*(-5)/105). Let o = q - 19. Suppose o*x = 1 + 3. Which is smaller: -1 or x?
-1
Let u = -10.71 + -401.09. Let o = -412 - u. Which is smaller: -65 or o?
-65
Let a(w) = -5*w + 49. Let q be a(11). Let p be q/(-6) - 2/2. Suppose p = 3*j - 2*u - 51, -5*u - 47 = -3*j + 4. Which is smaller: 18 or j?
j
Let r(w) = -2. Let h(u) = 13*u + 48. Let o(s) = h(s) - 4*r(s). Let j be o(-18). Let f = j + 5163/29. Is 0 greater than or equal to f?
False
Let s = -35.63 - -35.133. Which is bigger: s or -1/5?
-1/5
Let n = -5884 - -7088. Which is greater: n or 1199?
n
Let k = -2105859/58 - -36309. Which is bigger: 1 or k?
k
Let g = -5 - 23. Let v = g + 23. Let r be v*1/(-10)*0. Is r greater than 6/13?
False
Suppose 4148 - 488 = 6*h. Which is greater: h or -2/19?
h
Let q = -147.2 + 192.2. Which is smaller: 24 or q?
24
Let u(x) = 2*x**2 + 7*x + 11. Let h be u(6). Let y(d) = -d**3 + 9*d**2 + 22*d + 4. Let l be y(-4). Which is smaller: h or l?
l
Suppose -5*x = 3*m - 17, 3*x + 4*m - 3 = 16. Let l = x - -34. Let f(w) = -10*w - 6. Let s be f(-4). Is s bigger than l?
False
Let b = 93 - 77. Suppose 133 = 3*i + b*i. Suppose 3*m - 11 = 10. Is i smaller than m?
False
Let p = 236.4 - 249. Let y = p + 12.7. Do -1/213 and y have the same value?
False
Let n = -40643/5 - -8128. Is 67/31 greater than or equal to n?
True
Let t(f) be the first derivative of -f**4/4 - 11*f**3/3 - 7*f**2 - 43*f - 77. Let a be t(-8). Is -124 at least a?
False
Let i = -9 + 12. Let o = 150.9 + -126.9. Which is smaller: o or i?
i
Let v = 2012/4883 - 160/257. Let i = 2 - 5. Let y = 3 + i. Is v greater than or equal to y?
False
Suppose -5*k + 4*k = 26. Let a be -6*(-2)/(-3) - k. Suppose 2*z - a = z. Are 20 and z equal?
False
Let m be 2 + -1 + 6369/11. Let b = -1285/2 + m. Are b and -64 non-equal?
True
Let l = -26658 + 26010. Is -8438/13 <= l?
True
Let u = 21.7 - -400.3. Let p = 308 - u. Is -0.1 smaller than p?
False
Let l be (3/(-38))/((-64239)/12848 + 5). Let y = l + 1014. Which is smaller: 0 or y?
y
Let d(m) = -m + 5*m + m**2 - 9 + 10*m + 7*m. Let i be d(-21). Is -42/5 smaller than i?
False
Let m = -16139 - -16184. Is -17.1 at least m?
False
Let o(h) = -50*h**3 + 8*h**2 - 19*h + 13. Let w be o(2). Is w less than or equal to -390?
True
Let h be (3/6*0)/(-2). Let l = 116 - 112. Let n be 1*l*23/92. Which is smaller: n or h?
h
Let k = -489.2 - -489.1. Are k and -3/34 unequal?
True
Let h be -5 + 2 + -3 + 23/(-23) - -979. Is h at most 977?
True
Let i be (8*-1 - 0) + 0. Let q = -220 + 227. Let a be (q + 114/(-12))/((-2)/(-8)). Which is smaller: i or a?
a
Suppose -3*k - 81*k = -18*k - 66. Which is smaller: k or -5/3098?
-5/3098
Let v = -22 + 31. Let p be (1/2)/(2/(-12)*v). Are p and 2.9 unequal?
True
Let k = 63.141 + -63. Let n = k - 0.021. Let d = 1.62 - n. Is 0.3 bigger than d?
False
Let i = 10.81 - 412.81. Let o = i + 403. Let m = -0.003 + 0. Is o greater than or equal to m?
True
Let y(a) = -15*a**3 + a**2. Let t be y(1). Let c be 2 + 1 - (108 - 27). Let m be (10/(-15))/((-4)/c). Is t greater than or equal to m?
False
Let z be -521 + -1 + (-2 - -2). Let y(i) = i**3 - 5*i**2 - 36*i + 23. Let w be y(-8). Is w at least as big as z?
True
Let p be (-277156)/3175656 - (-2)/23. Which is smaller: p or 0?
p
Let z be (535/1)/(4 - 3). Suppose i + z = -20*x + 15*x, 0 = -2*i - 5*x - 1085. Which is greater: -551 or i?
i
Let a = -77.2 - -77. Let n = 0.041 + -0.031. Let y = n - 1.51. Which is smaller: a or y?
y
Let d(k) = 118*k + 677. Let g be d(-6). Suppose 101 = -3*t + l, -2*t + t - 5*l = 7. Which is smaller: g or t?
t
Let s be -5 + (-84)/(-6) + -7. Suppose 3*x - 3 = o + 7, -4*x + 4*o = 0. Suppose 5*i - 100 = -4*l, s*i + x*l - 40 = l. Which is greater: i or 22?
22
Let h be (-4)/(-15226)*((-10)/(-65) - 306/468). Which is greater: -1 or h?
h
Suppose 9*o - 10*o - 4*c = -71, 2*o - 5*c - 207 = 0. Let u be (-26)/o - (-74)/413*5. Is u at most 1?
True
Let j = 33183 + -33183.03. Which is smaller: j or 8/65?
j
Suppose 0 = -2*v + z, 9*v - 8*v = 5*z. Suppose -9*d + 31*d - 22 = v. Is 15/49 >= d?
False
Let b be 2/((-2)/(-2)) - (-54)/18. Suppose 0 = -6*z + b*z + 29. Suppose -a - 4*i - 3 - z = 0, 4*a + 92 = 2*i. Which is greater: a or -25?
a
Suppose 4*k = t - 21, 0 = -5*k - 14 - 6. Suppose 0 = 4*f + t*z - 22, 3*z = -f + z + 7. Which is bigger: 1 or f?
f
Let x = 14 + -8. Suppose -5*u - 22182 = u. Let l = -25835/7 - u. Which is greater: x or l?
l
Let q(g) be the third derivative of 1/2*g**4 + 1/120*g**6 - 7/30*g**5 + 0 + 7/3*g**3 + 0*g + 3*g**2. Let n be q(13). Whic