 302*j. Suppose 10*d + 18 = 5*d - 4*p, 4*d - p + 27 = 0. Let h be y(d). Which is bigger: h or 1?
h
Let w be (-9)/9*87/(-3). Which is smaller: 28 or w?
28
Let l = -9 - -5. Let m be l/6 + 8/(-6). Let p = -226 - -224. Is p != m?
False
Let h(n) = -n**2 - 9*n + 12. Let c be h(-9). Let g = -2 - c. Is -15 at least g?
False
Let g(a) = a**3 + a**2 + a + 1. Let f(q) = -11*q**2 - q - 14. Let y(d) = -f(d) - g(d). Let v be y(10). Which is smaller: 14 or v?
v
Let u be (6/(-4))/((-27)/(-72)). Suppose 0 = 4*t - 12 - 4. Let l = t - 7. Which is smaller: l or u?
u
Suppose -6*d + 35 = d. Suppose 2 = -c - d. Let b be (-6)/(-2) + c*1. Which is smaller: -3 or b?
b
Suppose r + j + 2 = 0, 3*r - 15 = 3*j + 3. Let g be 4 + -4 + r + 0. Suppose 4*c = -g*k + 22, -c = k - 2*k + 5. Is k at least as big as 8?
False
Let t(c) = 3*c + 61. Let x be t(-34). Is 3 smaller than x?
False
Suppose -q = 3*q. Suppose 6*z - 3*z + 36 = q. Let g = z + 13. Is g not equal to 1?
False
Let b = 4 + 1. Let j = b + -7. Let s = -1 - -8. Is s at least as big as j?
True
Suppose 3*k - 9 = -0. Suppose k*a + 0*a = 2*u - 8, 5*u - 3 = -a. Which is greater: 1/71 or u?
u
Suppose -8 = 3*w - 44. Suppose 5*z - w = -4*m, 4*m = -3*z + 8*z + 12. Suppose -5*t + z*d = 4*d - 7, -4 = t - d. Do -1 and t have the same value?
True
Let g = -200.32 + 205. Let u = g + -5. Let l = 0.4 + u. Which is smaller: l or 0.1?
l
Let v(c) = 9*c**3 + 3*c**2 + 12*c + 15. Let d be v(-3). Is -238 >= d?
False
Let f = 151 + -80. Which is smaller: 72 or f?
f
Let f be (-761)/42 - 12/(-42). Let n = 52/3 + f. Which is bigger: n or -2?
n
Suppose 6*k - 1040 = -4*k. Let f be (-1)/3 - 939/(-9). Are f and k nonequal?
False
Let b be 199/(-1) + -3 - 30/10. Is b >= -203?
False
Suppose -6*y = -57 - 165. Let z = y - 34. Does z = 34/11?
False
Let j be (973/14 + -1)/(20/15). Which is smaller: j or 52?
j
Let c = 36.5 - -10.6. Let u = 2.1 - c. Is -1 at most u?
False
Suppose 0*n - n + 23 = 0. Let p = -14 + n. Let k be (-12)/(-8)*12/(-9). Which is smaller: p or k?
k
Suppose -3908 = -65*z + 2462. Which is smaller: z or 99?
z
Let s be (-385)/308 + (-2)/(-8). Let v = 1561/11 - 143. Which is smaller: s or v?
v
Let k be 38/(-9) + 8/36. Let p(n) = -2*n**3 - 4*n**2 - n + 2. Let d be p(-2). Let i be (8 + d/k)/(-5). Do -2 and i have the same value?
False
Let x(i) = -5*i**3 + i**2 + 2*i + 2. Let s be x(-1). Let k be (-33)/(-2) - s/4. Which is bigger: k or 16?
16
Suppose 7 = 3*h + 2*b + 2*b, -3*h + 2 = 5*b. Let s be 18/10 + 1*1/5. Suppose 0 = 3*a - 5*v - s, -a + 4*a - 37 = -2*v. Is a bigger than h?
False
Let b = 0.007 + -2.707. Let h = 4.7 + b. Which is smaller: -7 or h?
-7
Let v = -157 + 157. Which is smaller: v or 1/115?
v
Suppose -p = 3*b - 321, 3*p - 3*b = -b + 974. Let k be (-14)/(-4)*p/63. Let c be k/30 - (1 + 0). Which is smaller: 0.4 or c?
c
Suppose -2*z - 104 = -15*z. Let v = 0.5 + 2.5. Let f = v + -2.8. Do f and z have the same value?
False
Let r = 340 - 236. Which is smaller: -1 or r?
-1
Suppose 3 - 3 = -10*h. Suppose h*r = -7*r - 3*r. Is 5 != r?
True
Suppose 1963 + 3809 = 3*u. Let q be ((-65)/u)/((-2)/(-460)). Let w = q + 10/37. Is -8 smaller than w?
True
Let f(n) = n**3 + n**2 - 12*n. Let t be f(0). Is -2/207 at least t?
False
Let i = 20 - 39/2. Let q = 31 + -45. Let j = q - -13.9. Are i and j nonequal?
True
Let x(r) = 2*r**3 - 25*r**2 - 46*r + 20. Let q be x(13). Is q at least as big as -410?
True
Let s(u) = u**2 + 6*u + 1. Let a be s(-4). Let p be (-2)/a + 2613/91. Suppose -5*l - p = -4*k, 0 + 7 = 2*k + 5*l. Is k at most 6?
True
Let f = 70519 - 2538409/36. Let a = 921 + -33151/36. Let d = a - f. Which is smaller: d or -7?
d
Suppose 4*l + 4*j = 1740, -5*l + 5*j = -9*l + 1738. Which is greater: l or 435?
l
Let v(p) be the first derivative of -p**4/4 - 3*p**3 - 6*p**2 - 32*p - 15. Let h be v(-8). Let t be (-4)/(-14) + 24/(-133). Is h at most as big as t?
True
Let x be (10 - 4)*(-3)/(-783). Is 0 greater than or equal to x?
False
Let u(j) = -3*j - 188. Let w be u(-24). Which is greater: -115 or w?
-115
Let p = -104 - -833/8. Let i = 43/33 - 1577/2046. Let g = 1/31 - i. Which is smaller: g or p?
g
Let u = 38.9 - 43. Let n = u - -4. Let k = -0.335 - -0.285. Are k and n equal?
False
Let o(v) = 103*v - 2. Suppose 4*c + c = -5. Let h be o(c). Let q be (-20)/h*(3 - 0). Which is bigger: q or 1?
1
Let b be (-13)/((-52)/1080) + -4. Let n be (-2)/(-9) + b/18. Let a(l) = -l**3 + 15*l**2 + 12. Let x be a(n). Is x less than 12?
False
Let t = 363/5 + -59179/815. Which is greater: -2/5 or t?
t
Let b(c) = -c + 3*c + 0*c - 6. Let l be b(5). Let k be (-6 + 6)*(-2)/l. Which is smaller: k or -2/7?
-2/7
Let z be 3 - (0 - 3)/(6/8). Let i be (6/(-7))/(1 + (-11)/z). Suppose -f = 1 - 2. Is i < f?
False
Let i = -3 + -1. Suppose 4*s - 16 = -3*g, g + 13 = 4*g + s. Is g greater than or equal to i?
True
Let t = 3.3 - 7. Let y = t - -2.7. Does 13/2 = y?
False
Let x = -56.4 - -54.24. Which is greater: 0 or x?
0
Let r = 112/23859 + -6/241. Do r and 3/4 have the same value?
False
Let c(a) = -a - 13. Let n be c(-14). Is -4 < n?
True
Suppose 544*d - 523*d + 42 = 0. Which is greater: -8/11 or d?
-8/11
Let g be (-7)/5 + ((-36)/6)/(-6). Let o be (-1)/4 - 10/(-8). Let l be (1/(-3))/(o/2). Are l and g equal?
False
Let q = 0.11 + -0.21. Let a(t) = -3*t**2 - 22*t - 2. Let i be a(-7). Is i greater than q?
True
Suppose -65*u + 67*u + 20 = 0. Let r be (4 + 3 + -16)*u/21. Is r >= 1?
True
Let v = 28 + -17. Let g = 173 + -163. Do g and v have the same value?
False
Let y be (8/(-14))/((-5)/35) + -3. Let c be (-2 + 5/3)/y. Which is bigger: c or 10/11?
10/11
Let d = -49 + 51. Let p = 15 - 15.9. Is d equal to p?
False
Let s = -2892 + 2871.13. Let r = 0.87 + s. Are -1 and r equal?
False
Let l(d) = d**2 - 34*d + 272. Let x be l(9). Which is smaller: x or -11?
-11
Let p = -9 - -12. Suppose 0 = -p*j + 5*x - 13, 4*x + 7 = 4*j + 27. Let b be (-4)/j + (-280)/375. Which is greater: 1 or b?
1
Let z be (-4)/2 - (38 - 0). Let h = -15 + 5. Let b be h/z + 6/8. Is b at most -3/13?
False
Let t = 327 - 327.2. Which is smaller: t or -0.93?
-0.93
Let b(r) = r**2 + 71*r + 266. Let a be b(-4). Which is greater: 1/142 or a?
1/142
Let u(p) = 2*p**2 + 24*p - 60. Let k be u(-14). Is -35 less than k?
True
Let k = 70.2 + -72.62. Which is greater: 1 or k?
1
Let k = 648/13 + -9226/195. Let a = k + -617/60. Do a and -9 have different values?
True
Let m be (1116/45)/(24/10 + -2). Suppose 63*w = m*w - 4. Let x = -278/3 - -89. Is x >= w?
True
Let l = -321 - -291.4. Let g = 33 + l. Let w = g - 3.06. Is 1 less than or equal to w?
False
Suppose -3*b = -3*z + 4*z + 47, 0 = -5*z - 3*b - 223. Let m = 31 + z. Is m > -11?
False
Let w(c) = -c**2 - 16*c - 49. Let g be w(-13). Which is smaller: g or -19?
-19
Let o be -7*((-52)/84 + (-2)/(-6)). Suppose 2*q = -n - 10 - 21, -5*n - 95 = -5*q. Let y = o + n. Is -22 < y?
True
Let z = -24.946 - 0.054. Let r = z - -11. Let v = -14 - r. Which is smaller: v or 0.06?
v
Suppose -16*w + 9*w = -4*w. Is 5/64 less than or equal to w?
False
Let n(s) = -s**3 - 4*s**2 + 10*s + 10. Let i be n(-6). Suppose 0*p + 116 = -2*p. Let y = -36 - p. Is i less than or equal to y?
True
Let g(l) = l + 1. Let p(o) = -3*o + 3. Let x(z) = 2*g(z) + p(z). Let s be x(11). Which is smaller: s or -4?
s
Let l = 0.042 + 0.708. Let p = l - -0.25. Let i be 1 + 1 - (-1 - -7). Is i >= p?
False
Let v be 406/(-9) - (-8)/72 - 4. Which is smaller: -247/5 or v?
-247/5
Let q = 362/7 - 5771/112. Which is smaller: 0 or q?
0
Suppose -5*s - 5*h - 865 = 0, -36*s + 2*h - 358 = -34*s. Is -175 greater than or equal to s?
True
Let t be 2/(-5 - (0 + 0)). Suppose 5*c = -2*f - 11, f - c - 1 = 4. Suppose 5*d = -f*d. Is d smaller than t?
False
Let q(j) = -2*j - 1. Let y be q(-1). Let o = -39 - 52. Let f be (o/(-26))/(y/(-2)). Is -8 less than f?
True
Let u = -136 + 136.131. Let x = 0.031 - u. Is 0.14 greater than x?
True
Suppose -5*u = 4*g - 74, 3*u = -u - 2*g + 64. Let r be (1 + -1)*(u/(-12))/3. Does 7/8 = r?
False
Let k be 13 + -13 - (-1)/3. Which is smaller: -7.3 or k?
-7.3
Let t = 34.06 + -0.06. Is -2/9 less than or equal to t?
True
Let l = -216.28 + 215.5. Is l less than -1/4?
True
Let r(a) = 4*a - 239. Let c be r(55). Suppose 3*d - 2*b - 9 = 0, d + 4*b - 9 = 8. Suppose 0 = -d*w, 6*w = -u + 3*w - 19. Is u > c?
False
Let m = 1 - 0. Let r be (2/2 - 2)/m. Let s be (