1)/27. Which is greater: w or l?
w
Let v(a) = a**3 + 21*a**2 - a - 40. Let k be v(-21). Let x = k - -93. Which is smaller: 73 or x?
73
Let g = 4537 + -535391/118. Is 1 at most as big as g?
False
Let z = 45.4616 + -41.49. Let k = -0.0284 - z. Are -7 and k equal?
False
Let v = -5600 + 201539/36. Do -3 and v have different values?
True
Let f = -45491/99 + 5596/11. Which is smaller: f or 50?
f
Let m = -711 - -629. Let d be m/12 - (64 + -71). Suppose -2*u - 4*k = -8, -k = u - 0*u - 2. Does u = d?
False
Suppose -g + 23*g - 22 = 0. Let f be (-1*(0 + g))/(-5 + 4). Is 4/13 equal to f?
False
Let w(y) = -y**3 + 9*y**2 - 18*y + 28. Let r be w(7). Let n be (-3)/(-6) - (-3)/(-2). Let u be n/(-59)*(-2)/2. Do r and u have different values?
True
Let a = 161.942 - -0.058. Let h = -113 + a. Let z = h + -51. Is z bigger than 0.01?
False
Let q be (-12)/20*(-23)/(-18193). Is 0 greater than or equal to q?
True
Let h = -49 - -111. Let a be h/22 + (-65)/(-55) + -1. Which is bigger: 2 or a?
a
Let z = 48 - 212. Let l be 6/(-4)*z/1353. Which is greater: -1 or l?
l
Suppose 10*c = 9*c - k + 93, 0 = c + 4*k - 111. Is 72 equal to c?
False
Suppose 12 = 13*f - 14. Let b be f/6 + -8 + (-253)/(-33). Which is smaller: 10/11 or b?
b
Let q(f) = 12*f**2 - 4. Let x be q(3). Suppose -311 = 7*c - 675. Let z = c - x. Which is smaller: z or -53?
-53
Let r = 2510 - 3139. Is r smaller than -14/5?
True
Let c be ((-1108470)/(-495))/((-10)/12 - -2). Is 1918 > c?
False
Let y = 9962 - 9966. Is -87/20 less than or equal to y?
True
Let f(a) = -a**3 - 2*a**2 + 27*a + 10. Let z be f(0). Which is smaller: z or -11?
-11
Let d = -359609/132 + 10889/4. Which is bigger: -3 or d?
d
Let x(d) = -d**2 + 43*d - 64. Suppose -32*f = -6*f - 910. Let a be x(f). Is a <= 216?
True
Suppose -5*b = -f - 2 + 6 + 1, 0 = -5*f. Which is smaller: b or 21/83?
b
Suppose -42 = 3*p + 132*p - 42. Which is bigger: -1/15189 or p?
p
Let v be (-4)/((-4)/4) - (-31)/(-7). Let z = 51 + -71. Let n = 19.8 + z. Which is bigger: v or n?
n
Suppose 2*a - 10 = 0, -26*m + 4*a - 2231 = -25*m. Is -2211 > m?
False
Let d = 956 - 962.864. Let z = 6.98 + d. Are z and 0.3 non-equal?
True
Suppose 283 = 7*j - 699 - 1860. Is j greater than or equal to 401?
True
Let c be (164/(-20) - -7)/((-9)/30). Suppose -c*d = 3*l + 39 + 6, l + 15 = d. Which is bigger: -20 or l?
l
Let j be 4/6*27909/(-42)*1. Which is bigger: -1333/3 or j?
j
Let j = 3088 + -3087.9. Are -3753 and j unequal?
True
Let y be (-19)/(60476544/237720) - (-2)/27. Is 1 less than or equal to y?
False
Let s = -1.61 - 203.39. Let z = -203 - s. Which is smaller: z or -6?
-6
Let n be -2 - -5 - 0/4. Suppose 5*y + n*s - 20 = -2*s, 2*s - 4 = 0. Suppose -y*z = -2*d - 2, 2*z = -2*z - 3*d + 25. Which is greater: z or 17/4?
17/4
Let d(r) = 6*r + 9. Let g be d(-2). Suppose -f + 4*p - 16 = 10, -4*p + 16 = 0. Do g and f have the same value?
False
Let s be -1 - 9 - (-4 + 1/1). Let g = -2/1221 - 20344/3663. Which is smaller: g or s?
s
Let m = -82616 - -82615.97. Let a = 12.93 - 13. Is a greater than m?
False
Let k(z) = z**3 - 8*z**2 + 4*z + 5. Let q be k(8). Let w = 1 + q. Which is smaller: w or 39?
w
Let z be (-32)/(-8) + 2 - (-616)/(-3). Is z equal to 2?
False
Let v be -19*(10 + -2) - (58 + -59). Let y = v - -151. Which is smaller: y or 8/37?
y
Let r = 1/93 - -6043/186. Let d = -67 + 100. Is d at most r?
False
Suppose 3*m - 2*m - 2*k = -100, -300 = 3*m - 4*k. Let c = m + 71. Let d(r) = -r**3 - 30*r**2 - 30*r - 27. Let s be d(c). Which is smaller: s or -0.034?
-0.034
Let u = -0.2066 - -571.2066. Does u = 0?
False
Let q = 6/35 + 641/140. Let z be ((-44)/(-8) - 4)*(-15)/(-45). Are q and z nonequal?
True
Let k(p) = 0*p**2 - 3*p**2 - p**3 - 94 - 93 + 188. Let t be k(-3). Which is smaller: -12.3 or t?
-12.3
Let m = -25871419/9900 - -94043/36. Let f = m - -3/50. Is -1 less than or equal to f?
True
Suppose 4*m - 3 = m. Let w be ((-2704)/3640)/((-96)/(-38) - 0). Let t = 1/120 + w. Is t >= m?
False
Suppose -241*p + 15960 = -276*p. Which is greater: -455 or p?
-455
Let d be (-11 - -5 - -11*1) + (-33723)/6744. Which is bigger: 0 or d?
0
Suppose 0 = -2*p - 5*a + 45, 0 = 2*a - 5 - 5. Let i be 2*-1*(195/p)/(-13). Which is bigger: i or 50/17?
i
Let o(h) = -8*h**2 + 258*h - 17. Let a be o(32). Let c be 3/4 + (-57)/12. Let r(n) = -10*n + 6. Let z be r(c). Which is greater: a or z?
a
Let o = -106.57 - -0.57. Let k = 106.48 + o. Let c = -0.4 + -0.6. Is c at least as big as k?
False
Let y = 1359 - 2058. Let v = y - -648. Is v smaller than -0.3?
True
Let d(n) = 465*n**2 - 8*n - 22. Let v be d(-2). Suppose -14*f - 4*f = v. Which is smaller: f or -102?
f
Suppose -b + 12 = 3*p, 7*b + 22 = 2*p + 3*b. Suppose -2*i + 5*t + 39 = 0, 4*i - 4*t = -i + 55. Suppose 0 = -2*y + i*y + p. Which is smaller: y or -2/7?
y
Suppose 5*a = -31 + 6. Let u be a/10*-32 - (-2)/(-2). Suppose 2*y + 61 = -5*o, -u = -0*o + o - y. Which is greater: -25/2 or o?
-25/2
Let f(t) = t**3 + 42*t**2 - 4*t - 37. Let s be f(-42). Let o = 248 - s. Is o less than 117?
False
Let m = 0.215 - 272.215. Let w = -272.1 - m. Let k be (-4)/18 - (-1)/(-3). Is w < k?
False
Let t = 87 + -95.5. Let h = -971 + 973. Which is greater: h or t?
h
Suppose 0 = -874*y - 33*y + 1814. Let r = 601 + -9581/16. Is y greater than r?
False
Suppose 0 = 9*v - 1393 + 8998. Which is smaller: v or -849?
-849
Let n be 10/35 - (-16)/(-7). Let r be 3*(n/3)/(-2). Let l = -63779/3 + 21262. Which is smaller: r or l?
r
Suppose -3*l + 14*v = 12*v - 1, -l = -2*v - 3. Let i be -2 - (l + (-12)/16). Is i > -2/5?
True
Let t(f) = -4*f**2 + 14*f - 34. Let o be t(6). Is o smaller than -11?
True
Let b be 94710/(-209580) + (-2)/(-4). Is b smaller than 1?
True
Suppose -7*z + 88230 = -2*z. Let o = -2241030/127 + z. Let u = o + -554/3175. Which is smaller: -1 or u?
-1
Let m = 753/1516 + 5/1516. Does -248 = m?
False
Let q be (-2)/1689*(-6 + 172/28). Which is smaller: 0 or q?
q
Let x = -23735 - -24479. Is 1 <= x?
True
Let l = 15607/1093 + 322495649/9837. Let i = 32684 - l. Let q = i - -114. Which is bigger: 1 or q?
1
Suppose 4*k = -3*v + 271, 16*v + 122 = 17*v - 5*k. Is 393/4 greater than or equal to v?
True
Let n = 344 - 300.8. Let h = 8.8 + n. Let y = h + -51.9. Is -9 equal to y?
False
Let k = -377 + 381. Suppose -k*g + 57 - 46 = -3*b, 5 = -b. Which is bigger: -30/37 or g?
-30/37
Let q(n) = -n**3 - 19*n**2 - 63*n - 96. Let g be q(-15). Which is greater: g or -78?
g
Let o(p) = -4*p**2 - 5*p + 31. Let b(a) = -2*a**2 - 3*a + 15. Let l(r) = 9*b(r) - 4*o(r). Let m be l(-6). Let i = -399 - -379. Which is bigger: i or m?
m
Let m = -145 - -142. Let q be -1 - ((-120)/28 - m). Let j = -650 + 20797/32. Is j less than q?
True
Let x = -1654/9 - -184. Suppose 1120*s - 1124*s = -5*a - 15, -38 = 4*a + 2*s. Is x > a?
True
Let s = 1667 - 1593. Is 0 at most s?
True
Let i = 65 + -90. Let n = i + 24.899. Let a = 0.001 + n. Which is smaller: a or -4/39?
-4/39
Let i(v) = v**3 + 10*v**2 + 10*v + 17. Let h be i(-9). Let m be ((h - 3)/(-5))/((-3)/(-189)). Which is greater: m or 1/4?
1/4
Let g be 4/14 + 38/(-84). Suppose 587*f = 583*f - 4*r + 68, -f + r = 15. Which is smaller: f or g?
g
Let y(l) = -15*l - 579. Let u be y(-39). Let o = 24 + -12. Let d be o/18*(-3)/(-1). Is d at least u?
False
Let a(n) be the third derivative of n**6/30 + n**4/12 - n**3/3 - 4*n**2. Let u be a(1). Suppose 0 = -u*y - 0*y - 4. Is -5/26 at least y?
True
Let n = -842841404/7319 + 115158. Let o = n - 14372/973427. Is -1 > o?
False
Let f be (-1 + 2)/((-5)/(-45))*1. Let i be f/3 - ((-12)/(-2) - 3). Which is greater: -1 or i?
i
Let v be (-12)/16*(1 + (-65)/15)*1356/(-15). Suppose 2*t - 4*b = -462, -5*t + 5*b = 4*b + 1137. Is v equal to t?
False
Suppose -23*q - 250 = -273. Are q and -5/439 non-equal?
True
Let c = -111 - -126. Suppose -8 = -7*z + c*z. Does z = 0.08?
False
Let b = 132785.902 - 132902. Let j = -116 - b. Which is greater: -1/4 or j?
j
Suppose -5*i + 275 = t + 3*t, -3*t = 3*i - 165. Suppose 0 = -u - 0*u + i. Let a be (2 - 1)/((-8)/(-440)). Is a < u?
False
Let n = 0.02748 + -0.15148. Are 1/30 and n unequal?
True
Let n = -290 + 438. Let v = n - 148.1. Does v = 0.077?
False
Let g = -266 + 238. Let u be (-81)/84 + 1 + 8/g. Which is greater: -0.011 or u?
-0.011
Let r be 12743/16254 - ((-65)/(-10) + -5). Let q be ((-4)/(-108))/(86/4). Let o = r + q. Is 0 less than o?
F