5). Let h(f) = -2*f. Let v(s) = -s - 1. Let i(l) = -h(l) + 3*v(l). Let q be i(-4). Which is greater: k or q?
q
Let i be (-5)/(6 + 4)*-492. Let s = 210 - i. Is -37 less than s?
True
Suppose -12 = -6*q + 2*q. Suppose 4*o - 5*u + 1 = -q, -2*o + 3*u - 2 = 0. Let r be ((-19)/76)/((-105)/(-8)). Do r and o have different values?
True
Let o = -131 - -231. Let v = 98.6 - o. Which is greater: v or -3/8?
-3/8
Suppose w - 2100 = -3*u, -4*u + 2798 = 8*w - 6*w. Let x = u - 723. Which is bigger: -19 or x?
-19
Let j(z) = 2*z**2 + 4*z - 18. Let v be j(3). Let o = 58 - 53. Suppose 0*g - 5*t - 80 = -o*g, 4*t - 35 = -5*g. Which is bigger: v or g?
v
Let h = 27.1 + -323.1. Let p = h + 295.97. Is p less than or equal to 6?
True
Let k = 4.49 - 4.39. Let m be -4 - (1 + (-25)/10). Which is greater: k or m?
k
Suppose -4*v + 0*v = 3420. Let j = v + 549. Let f be (-272)/j*(215/212 - 1). Is f not equal to 1?
True
Let i = 1619 + -1075. Let q = i + -543.9. Are 6/71 and q nonequal?
True
Suppose 102 = -5*y + 5*d + 17, -2*y = 4*d + 10. Let n(r) = -2*r + 8. Let u(w) = w. Let s(h) = -n(h) - 3*u(h). Let j be s(y). Is j not equal to 17/4?
True
Let g = -90389/1070 - 13/535. Which is smaller: g or -84?
g
Let v(f) = 2*f**3 + 22*f**2 - 6*f + 26. Let q be v(-12). Let g = 190 + q. Which is bigger: -1/714 or g?
g
Suppose -72 = 13*q + 9*q - 40*q. Let l(a) = -a**3 + a**2 + 3*a + 7. Let r be l(3). Which is smaller: r or q?
r
Let i = 9557.1 + -9557. Which is greater: -103/9 or i?
i
Let r = -933255/22 - -42428. Is 7 equal to r?
False
Let j = -127 - -127. Suppose j = -u - 3*u + 3*a + 9, -15 = 5*a. Let d be (40/(-110))/((u - 7) + 0). Which is smaller: d or 0?
0
Suppose f - 2 = -0*f. Let v = -43887 - -43890. Which is smaller: v or f?
f
Let w = 9/41 + -127/205. Let d = 33/10 + -18/5. Is w <= d?
True
Let n(z) = 22*z + 18. Let p be n(-2). Suppose 3*r = 3*m + 27, 5*m = -r - 0*r - 21. Let j = p + m. Is j equal to -30?
False
Let a be (134/4 - -7)/(39/(-1794)). Is -1864 at most a?
True
Let s = -16 - -40. Let c be 0 - 24*(-8 + 6). Suppose 6*x = -c - s. Is x greater than or equal to -11?
False
Let a be (624/468)/(2 + 134/(-66)). Let i = 18 - 64. Is a at least as big as i?
True
Let q = 59553873092 - 49965693151985/839. Let i = q + -7595. Is i equal to 1?
False
Let z be (-1)/(-3) - ((-792)/54 + 15). Which is bigger: -2/49909 or z?
z
Let g(l) = -2*l**3 - 2*l**2 + 25*l - 97. Let o be g(4). Is -156 < o?
False
Let q = 0.26 + -0.31. Let a = 14.05 + q. Let k = a - 15. Is k bigger than 1/4?
False
Let y = 7 - 41. Let u(k) be the second derivative of -k**4/12 - k**3/3 + 29*k**2/2 - 5*k + 1. Let m be u(-9). Is y at least as big as m?
True
Let s be 378/(-1790) - (-6)/30. Let y = -1016/5191 + s. Let c(t) = -t**2 - 8*t + 1. Let d be c(0). Are d and y equal?
False
Suppose 0 = -2*n - 21*n + 552. Suppose 5*t + 3*t = n. Which is smaller: t or 10?
t
Let v(m) = -3*m**3. Let z be v(1). Let h = -5263.8 + 5263.8. Which is greater: z or h?
h
Let q be 1674/(-4) - 11/(-32 - -10). Which is bigger: -411 or q?
-411
Let l = 297 - 292. Suppose l*y = 2*j - 13, 0 = -5*y - 4*j + 4 + 7. Are y and -86 non-equal?
True
Let p be (-268)/(-201)*45/6 - 16. Suppose -1 = 2*a + 5. Is p less than or equal to a?
True
Suppose -7378 = 2*f - 3*s, 31*f - 4*s + 11065 = 28*f. Is f less than or equal to -3682?
True
Let b(g) = -4*g**2 + 20*g + 97. Let z be b(8). Which is bigger: 2/845 or z?
z
Let b(y) = -2*y - 78. Let s be b(-43). Let w be (0 - (-4)/s)*-48. Is -20 not equal to w?
True
Let r be (-401)/(3/((-24)/(-4))). Let b = -805 - r. Is b less than -29?
False
Suppose 10*h + 872 + 358 = 0. Let o = 270 + h. Let r be o/(-14)*(-4 - -2). Is r <= 18?
False
Let p = 409820/5339 + -2132442866/26668305. Let k = -2/999 - p. Which is smaller: k or 4?
k
Let j(p) = -2*p**3 + 32*p**2 - 45*p + 178. Let i be j(15). Is i at most 9?
True
Let h be 2/3 + (1 - (-26)/6). Let g be (-30)/h - (95/20)/(-1). Is -28 > g?
False
Suppose -5*y + 5*p = 5, -3*y - 42 = 5*p - 47. Let d be 354/4 - 3/(-2). Is d < y?
False
Suppose 25 = 5*b - 5*g - 0*g, 16 = 4*b - 2*g. Let y(t) = t**2 + 8*t + 3. Let i be y(-3). Let r be ((-8)/i)/(109/b). Which is smaller: -1 or r?
-1
Let b = 1188.7584 - -0.2416. Which is greater: 0.1 or b?
b
Let q(w) = -4*w**3 + 141*w**2 + 118*w - 6. Let p be q(36). Which is greater: 357 or p?
357
Suppose -3*t = t + 4*y + 20, -3*y = 15. Let n = -140/9 + 4024/261. Which is smaller: n or t?
n
Let m = 3386 - 3385.9. Is m < -452?
False
Suppose 5*g - 5*s = -35, 2*g - 4*s = -g - 25. Let a be (11 + -1)/(g + -14). Which is bigger: a or -1?
a
Let a = -53 - -53.6. Let t = a - 0.17. Let k = t + -0.42. Which is greater: -0.03 or k?
k
Let f = 58/41 - -1/492. Let q = f - 7/6. Is q > -3?
True
Let j(g) = 293*g**2 - 101*g - 36. Let y be j(-6). Does 11118 = y?
True
Let h = -1270.5 - 387. Is 0 < h?
False
Suppose -2253 = d - 2262. Suppose 13 = 2*h + 1. Suppose 3*g - d = h*g. Does 3 = g?
False
Let r(g) = 3*g - 326. Let n(v) = 164. Let x(w) = 5*n(w) + 3*r(w). Let a be x(15). Is 11 at least a?
True
Let h = -6781/17 + 399. Let y = h - -9/68. Is -0.2 less than y?
True
Let y = -198 + 201. Suppose y*v = -4*v + 371. Is 53 < v?
False
Let v = -13209/779665 + -2/2755. Is 1 equal to v?
False
Let s(a) = 6*a - 101. Suppose 8*z = 14 + 90. Let y be s(z). Which is bigger: y or -26?
y
Suppose -9*l + 69 = 24. Suppose 7*y = 5*y + 4*s - 158, -455 = l*y + 2*s. Are y and -88 equal?
False
Let d be 8208/(-2106) - ((-2)/7)/((-3)/21). Which is smaller: -7 or d?
-7
Suppose 30*h + 1424 = 4*s + 33*h, -3*s - 5*h = -1057. Is s less than 359?
False
Let m be -45*(12/5013)/(-2). Is m >= 0?
True
Let l = 203 + -158. Let p be (-6)/l - 4/(-30). Which is smaller: p or -4/107?
-4/107
Let g be -2 - (1996/(-16) + 1). Let p be 2/(-10)*-20 + 357/(-3 - -6). Which is smaller: p or g?
g
Let m be 2/(-7) + (-6)/(-21). Suppose 0 = 4*y + 5*f - 33, -31*f + 29*f = -4*y - 30. Is y < m?
True
Suppose 4*u + 25 = -5*p, 3*u + 191 = -p + 175. Is 2/59929 greater than p?
True
Let l = -2116 + 2112. Let z = 9.49 - -0.51. Which is smaller: z or l?
l
Suppose 1 = -9*p - 15 + 7. Are 16/525 and p unequal?
True
Let q(o) = 2*o**3 + 277*o**2 - 420*o - 1. Let b be q(-140). Does 11/320 = b?
False
Let w be 3/9 - (-24400)/(-73290). Which is bigger: -1 or w?
w
Let l(v) = 39*v - 324. Let q(s) = 19*s - 161. Let p(w) = -6*l(w) + 13*q(w). Let m be p(7). Is m at most -57?
True
Suppose 0 = 5*q - 5*n + 25, q - 2*n = -3*q - 12. Suppose 0 = -4*m + 4 + 4. Let f be m*-1*4/(-8). Which is bigger: q or f?
f
Let n be 10516/(-88) + (-5)/2. Let a be (-1)/(-1)*(-123 - -2). Let p = n - a. Which is bigger: p or -2/105?
-2/105
Suppose 3*p = 3*b - 6, -4*p + p - 8 = -5*b. Let i be ((-2)/4)/b - 63/(-126). Which is smaller: 35 or i?
i
Let w = -1 + 2. Let f be (381/(-6))/(105/518). Let h = 313 + f. Which is smaller: w or h?
h
Suppose -3*f + 82 + 380 = 0. Let j be f/(-19) + (-8 - -14). Are -1 and j unequal?
True
Let n = -1478.9 + 1479. Does -403 = n?
False
Let h be 0 + 302/(-4) - (-1)/2. Let g be ((-7)/21)/(1/h). Let w be (2 + 146)*4/24. Which is smaller: g or w?
w
Suppose 4*q = -5*o - 11, o + 0*q = 4*q - 7. Let y be (31 + -33)*3/(o/44). Is y less than 177/2?
True
Suppose 4*t = -0*t + 136. Let i be (7/(-3)*-1)/(39/117). Let w be 1*28/i*8. Which is bigger: t or w?
t
Let f = 49 - -33. Let s = 4 - f. Let m = -77.9 - s. Which is bigger: -45 or m?
m
Suppose 0 = 3*n + 4*o + 153, 19*o - 23*o = 5*n + 263. Which is bigger: -59 or n?
n
Let b be -4 - 116/550*(-304)/16. Let u = b - 112/275. Is u smaller than 1/2?
True
Let m be (-2*(-12)/(-3))/(10/(-30)). Suppose -u = -5*u - m. Let f(r) = -7*r**2 - r. Let x be f(-1). Do u and x have different values?
False
Let y be -4004*1/(-10)*(-35)/(-14). Are 1001 and y nonequal?
False
Let o(p) = 2*p**3 + 7*p**2 - 12*p + 83. Let g be o(-6). Which is greater: -21 or g?
-21
Suppose 1189 = -6*j + 11*j + p, -p + 950 = 4*j. Which is greater: j or 245?
245
Let p be (39/(-4))/(535/2140). Which is smaller: -33 or p?
p
Suppose -3 = -0*a + 3*a. Let q = 37135 - 62498203/1683. Which is bigger: q or a?
q
Suppose g + 2*m + 8 = -2*m, 3*g - 8 = -4*m. Let c(u) = u**3 - 21*u**2 - u + 35. Let r be c(21). Suppose r = g*k - 2. Which is smaller: k or 0.1?
0.1
Let w = -63 - 1609. Let i be (w/(-266))/((-9)/(-7) + -1). Is i > 21?
True
Let v = -13 - -7. Let y be 1 + v/(-8) - (-40)/160. Which is bigger