14)). Which is greater: r or w?
r
Let g(u) = 3 - 13*u + 54*u**2 - u**3 - 31*u**2 - 41*u**2. Let y be g(-17). Let n = -61 - y. Which is smaller: 32/7 or n?
n
Let a be (-41 + 41)/(3/1). Which is bigger: -2/2385 or a?
a
Suppose -9*p + 55 = 19. Suppose -3*v - 5*d + 5 = 0, 0*d - 4*d = -v - p. Let o = -1/283 + -1402/3679. Is v bigger than o?
True
Let y(h) = -7*h + 27. Let c(x) = 2*x**3 + 22*x**2 + x + 21. Let r be c(-11). Let z be y(r). Let k = 94 + z. Is 51 greater than k?
False
Let a = -22/3 - -20/3. Suppose 5*v + h = 36, -2*v + 20 = -3*h - 8. Suppose v*y = -y. Is a greater than y?
False
Let c = 0.22 - 0.253. Let a = 31.4 - 33.4. Is c less than a?
False
Suppose 0 = -16*p - 6*p - 353412 + 143444. Is -9544 != p?
False
Let l be (118 - 101) + 1510/(-89). Which is bigger: l or -57?
l
Let w(p) = -74*p**2 + 180*p - 1371. Let x be w(7). Do -3737 and x have different values?
False
Let c(m) = -m**2 - 10*m + 5. Let b be c(-10). Let p(s) = -2*s**3 + 13*s**2 - 5*s - 5. Let x be p(6). Which is greater: b or x?
b
Let b(a) = -6*a + 8*a - 7 + 12*a. Let d be b(4). Suppose d = -5*o - 81. Which is smaller: o or -25?
o
Let k(b) = -b**3 - 8*b**2 - 12*b - 6. Let y be k(-3). Let s be (-12 - y) + (-32)/14. Suppose 4*i = 3*i. Is s greater than or equal to i?
True
Let u(w) = -4*w**3 + 7*w**3 - 2*w**3 + 5*w + 8 + 3*w**2. Let n be u(-2). Which is smaller: n or 8/11?
8/11
Let w = -14.434 + 13.434. Are -37/107 and w equal?
False
Let g = 22/871 - -77972/16549. Let i = 455/76 - g. Which is bigger: i or -2/3?
i
Let z(q) = -q**3 + 19*q**2 - 28*q + 38. Let j be z(17). Let l be (-7)/28 + 415/j. Which is smaller: l or -0.1?
-0.1
Let c = -4 - -8. Let k be (-18)/66*496/(-48). Is k at least as big as c?
False
Let g = 2755 - 2388. Is 371 <= g?
False
Suppose 0 = -a - 6*u - 22, 210 - 213 = u. Let s = -5524 - -60712/11. Which is greater: s or a?
a
Let p = -1478029/4 - -14214401/36. Let t = -25305 + p. Which is bigger: t or 32?
t
Let s(y) = -5*y**2 - 19*y + 431. Let i be s(11). Are -382 and i equal?
False
Let d(y) = 12*y**2 - 15*y - 18. Let w(z) = -10*z**2 + 15*z + 17. Let s(t) = -4*d(t) - 5*w(t). Let j be s(8). Which is smaller: 1.5 or j?
j
Let q be (-8)/2 - 240/(-6). Suppose -10*f = -6*f - q. Let j be f + 16 + (0 - 0). Is j greater than 24?
True
Suppose -4*p = -2*l + 126, -2*p - 3*l = -0*l + 59. Let f = 45 + p. Suppose 104 = 5*u + 19. Which is smaller: u or f?
f
Let g(m) = m**3 - 12*m**2 + 20*m. Let d be g(10). Let t be 16098/3192 - (-1 - -5). Let i = t - 27/28. Is i != d?
True
Let s(b) = -63*b + 1131. Let d be s(18). Which is smaller: d or -32.32?
-32.32
Let z be (1125/18)/(-5)*32/(-40). Is z smaller than 235/23?
True
Let n = 1.3 + -210.3. Let d = -326 - n. Are d and 0.1 unequal?
True
Let n = -95 - -450. Let u = -177 + n. Which is greater: 2 or u?
u
Let m be -10 - (-314823)/15011 - 11. Is m >= -1?
True
Let b be ((-1)/2)/((-1)/22). Suppose 0 = 2*s + 4, -7*t - 1564 = -11*t + 4*s. Let g = t + -383. Is g equal to b?
False
Let d = -21534.5 - -21525. Which is smaller: d or -1/2?
d
Let t = -7468 - -7462. Which is smaller: t or -287?
-287
Let w = 354 - 521. Let n = w + 91. Let i = n - -76.04. Do i and 0.6 have the same value?
False
Let y be (0/(6 - 12))/(-2). Suppose n + 5*m - 7 = y, -3*n - 2*m - 17 = -6*m. Is n at least as big as -1?
False
Let t be -1*4/(-2)*1*2. Suppose 4 = 5*i + 4*n + 16, t*i + 6 = -2*n. Suppose -2*w + 4*w + 4 = i. Is w at most -18/13?
True
Suppose 9*h = 3*h + 144. Let w = -52 + h. Let r be 70/w + (-2)/(-4). Which is smaller: -5/3 or r?
r
Let n be (31*14)/(245/(-231) + 1). Let i be (-715)/n + (-1)/7. Which is greater: i or -1?
i
Let r be (-1)/(-2)*(3 + 2263/(-31)). Suppose 19 = 3*v + 4. Which is greater: r or v?
v
Let h(t) = -t**3 - 15*t + 37. Let w be h(2). Which is bigger: w or 2/8575?
2/8575
Let s be (568/552 + -1)/(-7). Let i = -20/69 - s. Let c = 19.67 + 0.33. Which is bigger: c or i?
c
Let a = -15 - 15. Let q = -14 - a. Suppose t = -2*d + 44, 2*d + 5*t - 28 = q. Which is bigger: 23 or d?
23
Let p be (-4)/(-6) + (-78)/(-18). Suppose p*s + 863 - 738 = 0. Which is bigger: -28 or s?
s
Let h = 5 + 24. Suppose 0 = 3*a + 5*x - 196, 3*a + 7*x - 6*x = 212. Suppose 3*s = -3*f + a, 3*f - 53 = 4*s - 184. Is s equal to h?
True
Let x = -80.63 + 81. Let b = -0.13 + x. Let f = b - -0.76. Which is smaller: 6 or f?
f
Let k(v) = -v + 12. Let a be k(5). Let w be (19/6)/(4/24). Suppose 0 = -4*z + 5*l + w, 3*l + 10 = 2*z + l. Is a bigger than z?
True
Let k = -68 - -93. Let v = -118 + 165. Suppose 0 = 4*w + v - 151. Is k greater than or equal to w?
False
Let b(j) = j + 9. Let h be b(-6). Let m be h*1 + 81/((-15)/5). Let l be (m/342)/(-1)*(-2)/(-4). Is 0.2 >= l?
True
Let q = 53.8 - 10.8. Do q and -0.91 have different values?
True
Let x(u) be the first derivative of -u**4/4 + u**3/3 + 8*u**2 - 18*u + 43. Let s be x(4). Let q = -26 + 101/4. Which is smaller: s or q?
s
Let f = -3808 - -3708. Is f less than or equal to -86?
True
Suppose 488 = -3*n - 5*b - 918, 974 = -2*n + 4*b. Is -475 not equal to n?
True
Let v = 9838 + -1417. Which is smaller: 1 or v?
1
Let a = -0.5 - -2. Let c = -1.4 + a. Let k = 13/28 + -503/1204. Is k smaller than c?
True
Let b be 866/(-5*2/40). Let x = 1159417 - 33522625/29. Let w = x + b. Does 0 = w?
False
Let y be ((-175)/(-14) - 3 - 7)*(-40)/52. Which is bigger: y or 5?
5
Let o(m) = m**2 + 5*m + 2. Let z be o(-5). Let p be (-81)/513*z*2/(-4). Suppose 0*s = -3*s - 3. Is s less than or equal to p?
True
Let g(v) = -v**3 - 7*v**2 - 9*v + 7. Suppose -33*c + 29*c = 20. Let l be g(c). Let q = 53 - 29. Which is smaller: l or q?
l
Suppose 0 = 2*u + 28 + 2. Let h(p) = -6*p + 189. Let r(c) = -1. Let b(w) = -h(w) + 6*r(w). Let z be b(30). Is z less than or equal to u?
True
Let b = -26 + 30. Suppose 2*g = 4*g + 3*t - 250, b*t = -3*g + 373. Suppose -1 = 10*r + g. Which is smaller: -16 or r?
-16
Let c = -1.9 + 1.9. Let k be 11 - (-5 + 471/27). Which is greater: c or k?
c
Let v = -3315 - -3745. Is 4 <= v?
True
Let o = 580918485/25142 - 46211/2. Which is greater: o or -1?
o
Suppose -3*z + 2*z = -16. Let v be 2/4 + 24/z - -115. Suppose 5*q + v = w, 3*w = -2*q + w - 42. Is -24 equal to q?
False
Let j(s) = 9*s**2 + 72*s - 4. Let d be j(-8). Let l be (46/d)/(30/60). Which is smaller: l or -25?
-25
Let v = 203286883/2986 + -68080. Which is smaller: -1 or v?
-1
Let z = -11912 + 11911.42. Which is greater: -3/4 or z?
z
Suppose -3*u + 16 = 1. Suppose -3*i = u*z, -i = 3*i - 3*z. Let b be -1*(2/(-17) + 0). Which is greater: i or b?
b
Let m = 82293/8 - 1156521/104. Let z = -835 - m. Which is greater: z or -1?
-1
Suppose -6*p + 1013 = -577. Let v = p + -196. Is v > 70?
False
Suppose 375 = -3*c + t, 5*c + 2*t + 446 + 179 = 0. Let g = -16822877/25 + 672790. Let j = g - c. Is 0 less than or equal to j?
False
Suppose -3 = -3*x - 3. Suppose x = -3*m - 1005 - 3465. Let h = -16360/11 - m. Is 4 at least h?
True
Let y = 3918 + -3116. Which is smaller: y or 800?
800
Let l = -103 + 62. Let t(y) = -877*y + 2 + y**3 + 2*y**2 + 869*y - 10. Let d be t(-5). Does d = l?
False
Let a = 699400 + -4879478/7. Let m = a - 2327. Suppose -n - 5*v = 0, 7*n - 4*n = -2*v + 13. Which is smaller: n or m?
m
Let r be (-13)/(-4)*-18*1. Let m be (2 - 1)*(-1740)/(810/27). Is m at most as big as r?
False
Let g = 9946793 - 2844789237/286. Let j = -2/143 - g. Is j <= 24?
True
Suppose 5*s + 216 = 4*q + 3, 0 = -3*q - 9. Is s at most -218/5?
True
Suppose -m - 35 = -37. Suppose 3*z = m*c + 212, -z + 2*c + 19 = -57. Which is bigger: z or 70?
70
Let o be 889/9 + 3 + (-12)/(-54). Let d be (-34)/o - ((-3704)/(-2226) + -2). Is 0 bigger than d?
False
Let z(r) = -37. Let k(d) = d. Let j(g) = -3*k(g) - z(g). Let a be j(8). Is 13 >= a?
True
Let u = -2335 + 2336. Which is smaller: u or -2/9873?
-2/9873
Let r = -1324 - -1364. Suppose 121 = 3*t + 4*f - 5*f, -44 = -t + 4*f. Is r greater than or equal to t?
True
Let d(n) = 2*n + 6. Let p be d(-7). Let k(j) = -j**2 - 10*j - 5. Let l be k(p). Let m be ((-4)/(-30) + l/30)/(-2). Which is smaller: m or 1?
m
Suppose -5*n - 10*n + 4952 = -3568. Is n at most 568?
True
Let j = -4637 - -4629. Is j greater than or equal to -12?
True
Suppose -6*b - 1902 = -2010. Which is smaller: -20/3 or b?
-20/3
Let m be (72/(-16) - -3)*(-41054)/(-39). Is -1578 > m?
True
Let f = 13727/25 - 549. Let x = 3.76 - 2.02. Let r = -0.26