/((-2)/(-14)). Suppose r*u = 3*u + 5*h + 78, 4*u + 4*h = -96. Are -22 and u equal?
False
Let g be 4/(-12) + 67/30*394. Let s = -338706/385 + g. Which is smaller: -1 or s?
-1
Suppose 0*d + 2*d = -4*z + 10, 5 = -d. Let f(x) = x**3 - 6*x**2 + 6*x - 8. Let g be f(z). Which is smaller: g or -4?
-4
Let g(s) = -s**3 + 7*s**2 + 2*s - 6. Let n be g(7). Let x be (-1)/(-10)*n/14. Suppose 1893*v + 5 + 0 = 1 + 4. Is v at least as big as x?
False
Let t = 0.64 + 0.36. Let k = 89704 - 4036513/45. Let f = k + -28/9. Which is greater: t or f?
t
Suppose -16*x + 16 = -12*x. Suppose -x*n = -n. Suppose 6*s + 0*s - 6 = n. Is s at most as big as -11?
False
Let l(n) = 126*n + 727. Let q be l(-6). Which is bigger: q or 14?
14
Let v(z) = -4 - 2*z + 0*z - 136*z**2 + 138*z**2. Let a be v(3). Let j(x) = -x**2 + 7*x + 9. Let t be j(a). Which is smaller: -1 or t?
-1
Suppose -46 = -2*l - 14. Let u(s) = 2*s - 10. Let f be u(l). Suppose -3*c - n + 62 = -1, 4*n - 105 = -5*c. Which is smaller: f or c?
c
Let c be -1 - -2 - 4 - (13 - 76). Suppose -4*o + u + c = -0*u, -75 = -5*o + 2*u. Let v = o - 17. Which is smaller: 1 or v?
v
Let f(i) = -7*i + 5. Suppose 0 = 4*s - 8 - 4. Suppose -5*v = -2*g + 22, s*v = -g - 4*g - 7. Let n be f(g). Which is greater: -11 or n?
n
Let d be 16/(-60)*6*-5. Let m(f) = 2*f**2 - 15*f - 10. Let z be m(d). Let q(w) = 15*w**2 + 4*w + 1. Let n be q(z). Which is bigger: 54 or n?
54
Suppose 0 = 13959*n - 13961*n + x - 17, 0 = -n - 2*x + 34. Let h be 1 + 0 - 54/46. Which is smaller: n or h?
h
Let v(d) = 3*d**2 + 4*d. Let x be v(-3). Let k be (15/15)/((-2)/(-40)). Let z be k/x*-3*1/(-2). Are 24 and z unequal?
True
Let a = 34 + -30.96. Let b = 0.96 + a. Let g = -0.06 - 0.02. Is g greater than b?
False
Let g = -0.00246 + -0.19754. Let t = 3 + -1. Let a = t - 13. Is a at most as big as g?
True
Suppose 50*i + 201 = 601. Suppose 0*v - 5*v = 40. Let p = 0 - v. Are p and i nonequal?
False
Let p(z) = z**2 - 2*z + 16. Suppose -x - 2 - 2 = -2*k, 0 = -3*x - 12. Let r be p(k). Suppose 5*i - 76 + r = -5*y, 4*i - 36 = -3*y. Is y equal to 12?
True
Let f be 1*34/1904*-28. Let d = 223.53 + -221. Which is smaller: d or f?
f
Suppose 181*w = 183*w - 6. Let v be 2/(w/5 + (-24)/240). Is 30 at least as big as v?
True
Let h be 3109/(-42) - 12/(-72) - -3. Let k = h - -1696/35. Is k equal to -23?
False
Let p = -46 - -14. Suppose 0 = 2*j - 2*f - 10, 17 = 5*j - 3*f - 6. Suppose 2*b + j*t - 10 = 0, 0*b - t + 7 = 5*b. Does b = p?
False
Suppose 22221*p = 22192*p. Let j = -1364/273 + 5. Is j smaller than p?
False
Let l(u) = 131*u**3 - 64*u**3 + 7 - 3 - 68*u**3 + 24*u + 3*u**2. Let i be l(-5). Which is bigger: 82 or i?
i
Suppose 4 + 236 = 10*k. Let x(s) be the second derivative of -s**5/20 - s**4/3 - s**3/6 - 5*s**2/2 + 2*s. Let g be x(-5). Which is greater: g or k?
g
Suppose -9 + 153 = 3*j. Let f be (2/5)/2 + 11856/520 + 29. Which is bigger: f or j?
f
Let a be (-4)/6*(-11571)/19. Let y = 328 - a. Is y at least -77?
False
Let o be (-30)/(636/(-162) - -4). Let u = o + 260. Which is bigger: -146 or u?
u
Suppose 0 = 3*s - s - 318. Suppose 4*j = 1903*l - 1900*l + 662, 2*j - 266 = -5*l. Is j at least s?
False
Let d(r) = r**3 - 16*r**2 - 35*r + 11. Let s be d(18). Is 10 equal to s?
False
Suppose -10 = -2*d + 3*g, -51*d + 56*d - 25 = g. Is d smaller than -13?
False
Let t be (-1 + 4)*(-44)/(-3). Let p be 2/(-5) - t/(-85). Let o = -498513 - -498514. Are p and o nonequal?
True
Let n be (-4)/6*(-1)/394. Suppose 15*p - 2*k + 41 = 0, 4*k = 12790*p - 12791*p + 51. Which is bigger: n or p?
n
Let v be 4 - 5/10*92. Let s be (v/8*(-8)/3)/2. Suppose -3*u = -2*a + a - 85, 0 = -u - 5*a + s. Is 27 at most u?
True
Let l be (2 + -1)*1*-11. Let v be (1*33)/((-42)/294*(-7 - 0)). Let z be -1 + (130/l - 6/v). Which is smaller: -8 or z?
z
Let s(q) = -3*q**3 + 101*q**2 - 62*q - 23. Let z be s(33). Which is smaller: z or 81?
81
Suppose -2*k - 2*y = -44, 3*k + 7*y - 6*y - 64 = 0. Let u = -63 + 63. Is u <= k?
True
Let h(l) = 4*l**2 + 147*l + 3754. Let u be h(-34). Is 3381 at most u?
False
Let y(r) = r**3 + 24*r**2 - 58*r - 847. Let v be y(-25). Suppose 3*n - 19 = 4*n. Is v less than n?
True
Let n be (-56)/(-700) + (-136)/(-175) + -1. Let s = 34 + -34. Is s >= n?
True
Let t be 26723/(-3)*162/3348. Let r = 431 + t. Let z(c) = -c**3 + 4*c**2 - 2*c - 2. Let f be z(3). Is r > f?
False
Suppose 12*t + 7024 = -841 + 353. Which is bigger: -625 or t?
-625
Let n be -13 - -5*(4 - 3/1). Let y be 48269/38916 + 10/n. Let j be 0/(-1) - (2 - 3). Which is greater: y or j?
j
Let c(f) = -68*f + 1223. Let i be c(-48). Is 1 at most i?
True
Suppose 0 = -4*t - 656 - 204. Let h = 239 + t. Does h = 27?
False
Let l = -1.13 - -4.53. Let d = 112.4 - l. Let t = -110 + d. Which is smaller: t or -91?
-91
Let w = 934/33189 - 1/897. Do 8 and w have the same value?
False
Let h(s) be the second derivative of s**5/20 - 3*s**4/4 - 11*s**3/6 + 11*s**2/2 - 120*s. Let f be h(10). Which is smaller: f or 21/26?
21/26
Let r be (-1*1 + -1)/(38 + 458040/(-12050)). Which is smaller: r or 171?
171
Suppose -70*k - 52 - 19 = 69. Which is bigger: k or -148/35?
k
Let b = 4749 - 4998. Which is smaller: -226 or b?
b
Let j = -3600.9 + 3601. Do j and -7.59 have the same value?
False
Suppose 4*z = -2*h - 189 + 55, 5*z + 3*h + 170 = 0. Let g = -2761 + 8194/3. Are z and g equal?
False
Let l = 15180.239 + -15175. Do 0.3 and l have the same value?
False
Let n = 10450 + -94040/9. Which is smaller: 14 or n?
n
Let l = -112 + 111.997. Let b = l - 0.072. Let a = b + -0.395. Which is smaller: -0.1 or a?
a
Let r be (-27)/(90/(-10)) + -8 - (-21248)/4236. Which is smaller: 0 or r?
0
Let s be -1 + 1/((4/(-12))/(-1)). Suppose 0 = -s*r + 13*r. Let p(o) = -o - 2. Let f be p(r). Is 0 greater than f?
True
Let m = 31 + -157. Let o = m + 125. Let v = -84 - -22. Is o at most v?
False
Let d = 126 - 123. Suppose -2*g = g + 2*b + 338, -d*g - 334 = 4*b. Is g at least as big as -115?
True
Suppose 3*c + 0*d = 5*d - 325514, 3*c + 325498 = d. Let m be (-13*6/c)/(1/2). Which is greater: -1 or m?
m
Let k = 1.97 + 0.03. Let o = 118 - 86. Let v = 26 - o. Which is smaller: v or k?
v
Let m(d) = -4*d - 4. Let b(u) = 7*u + 62. Let w be b(-9). Let c be m(w). Which is smaller: 5/9 or c?
c
Suppose 17*j + 26*j - 69*j = -16*j. Is 2/20743 not equal to j?
True
Let p be (-2)/(-6) - 130/(-6). Let f = 904 - 544. Suppose -9*s = 9*s - f. Which is greater: s or p?
p
Let s be ((-80)/78 + 1)/(28/(-168)). Let g = -3.5 + 3.566. Let c = -7.066 + g. Is s < c?
False
Let x = -3466 + 17747/5. Are 83 and x equal?
False
Let l be 65540/(-1530) - 4/18. Which is greater: -44 or l?
l
Suppose -2*t - 391 = -17. Suppose 437 + 2195 = -14*p. Do t and p have the same value?
False
Let y = -3182 + 3032. Is -151 >= y?
False
Let y be 3/24 - 19671/(-8). Let o = y - 231141/94. Is -1 > o?
False
Let b = -9 + 19. Suppose 10*x - 134 = -5*d + 6*x, 4*d = x + 103. Let l be 2/b - (-5 + d/5). Which is bigger: l or -30?
l
Let z(y) = -10*y**2 - 2*y - 1. Let m be z(-1). Let a = m + 10. Let x = -10521/13 - -811. Do a and x have different values?
True
Let j(y) = 5*y - 80. Let q = -2 + 16. Let b be j(q). Which is bigger: -80/9 or b?
-80/9
Let w(p) = -p**3 - 5*p**2 + 6*p - 8. Let b be w(-6). Suppose 35 = 5*y - 5*t - 0*t, -y - 3 = t. Let a be -3*7/(-42) - 5/y. Are b and a nonequal?
True
Let s = -55 + 58. Let z be 1/s + (-11)/33. Suppose z = -2*k + 3*k. Which is greater: -51 or k?
k
Let y(j) = -73*j - 5. Let b be y(-5). Suppose 0 = -0*r - 10*r - b. Let q = r + 34. Which is greater: q or 6?
6
Suppose 5*q + 11 + 9 = 5*t, 4*q + 6 = -t. Let m be 3 - -3*q/(-12). Suppose 3*f = -f - 3*c + 28, -3*f = -c - 8. Is f not equal to m?
True
Let u(n) = -18*n - 237. Let d be u(-14). Let m be d - 19 - -66*42/(-9). Is m >= -312?
True
Suppose -2450 = 5*s - 5*y, 60*y - 58*y = 4. Which is smaller: -478 or s?
s
Suppose 0 = -4*n + j - 38 + 45, -2*j - 14 = n. Which is smaller: 7/1739 or n?
n
Let q = 881 + -152409/173. Suppose 0 = -3*c + 4 - 1. Are q and c non-equal?
True
Let i = 3066 - 738904/241. Is i <= -1?
False
Let p be (-10)/15*(-30)/(-22025). Let y = -537446/39645 - p. Is -13 != y?
True
Let f = 549.1 - 619. Let i = -64 - f. Let r = i - 5.934. Which is smaller: 2/5 or r?
r
Let r be (2/3 + -2)*(-12 + 9). Suppose -2*u - 12 = -n, 5*n + r*u - 39 = 7*u. Which is bigger: -5 or n?
n
Suppose -j - f =