- 392. Let o be s(45). Suppose -3*g - 2 = b + g, 4*b - 3*g = 11. Let z be (3/(-6))/(b/120). Which is greater: o or z?
z
Suppose 3970 = 12*a - 902. Let f = 398 - a. Suppose -5*t + 30 - 80 = 0. Which is smaller: f or t?
t
Let i be 0 - (3 + (-263 - -6)). Let r = i - 249. Is 3.5 <= r?
True
Let u(i) = -i**3 - 7*i**2 + 11*i + 6. Let s be u(-8). Let h(w) = -3*w + 14. Let z(v) = 14*v + 5. Let n be z(0). Let d be h(n). Do s and d have the same value?
False
Let x(w) = 20*w - 56. Let p be x(3). Suppose -5*u - 59 = -3*g + 118, -142 = p*u - 2*g. Which is smaller: -37 or u?
-37
Suppose -35 = -18*r + 73. Let x be 2 + 3655/r - (-25)/30. Is x at most 612?
True
Let i(s) be the first derivative of -s**5/15 + 11*s**4/24 - 3*s**3/2 + 13*s**2 - 6. Let u(g) be the second derivative of i(g). Let p be u(4). Is -29 > p?
False
Let b = 12496 - 12496. Is b less than 28/303?
True
Suppose 5*r + 8*p = 12*p + 22, 19 = 5*r - 3*p. Suppose 9*f = f + r*f. Which is greater: -2/401 or f?
f
Let t(p) = 476*p - 2428. Let q be t(5). Which is smaller: -1110/23 or q?
-1110/23
Let k be 2/4*(-84)/162. Let z = -5485 + 5486. Are z and k nonequal?
True
Suppose -4*a + 205 = a. Let z(h) = 2*h**2 - 8*h + 5. Let k be z(5). Suppose -k = g - 55. Which is smaller: g or a?
g
Let h be (-2)/(140/54882) - 106/265. Let l = h - -784. Is 10/7 != l?
True
Let g = -7639 - -3515. Is -2/7 bigger than g?
True
Let x(m) = -13*m + 7. Let t(f) = -5*f + 3. Let j(c) = 7*t(c) - 3*x(c). Suppose -4*s - 3 = 5*u, 0 = u - 0*u + 3*s - 6. Let y be j(u). Is y at most -12?
True
Let r = 944 - 1598. Let o = r + 192277/294. Which is bigger: 1 or o?
1
Let j = -26 + 36. Suppose -7*t - 10 = -j. Suppose 2*c + 2*c + 8 = t, 14 = -2*i + 5*c. Which is bigger: i or -4?
-4
Let z(q) = q**3 - 4*q**2 + 4*q. Let j be z(3). Let m be 180/(-27) + 2/j. Let u = m + 6. Do u and 4/7 have different values?
True
Let v be ((-90)/28)/((-4)/(-14)). Suppose 0 = 2*b + 4*n + 46, -5*b = 38*n - 39*n + 49. Which is smaller: v or b?
v
Let u = -283190 - -283133. Suppose -4*q + 29 = 253. Which is greater: u or q?
q
Suppose -2*m + 3*h = 56, -34 = m - 4*h + h. Let b(w) = 3*w**2 - 314*w - 115. Let x be b(105). Is x < m?
False
Let g be (0 - (-7 - 0)) + 2 + (-95)/11. Are g and -0.2 nonequal?
True
Suppose -2*l + 4*l = 2*b + 578, 0 = -5*l + 2*b + 1445. Let g = 124218.4 - 124218.3. Is l equal to g?
False
Let n be (3/(-1185))/(1*8/(-17620)). Let v = n + -6/79. Is 6 less than v?
False
Let d = 207 + -209. Is -15 >= d?
False
Let b = 1/3 + 1/6. Let m = 533048/17 + -31356. Do m and b have different values?
True
Let g be (-4)/(-10) + (-14)/10. Let l(a) = 5*a**2 + 6*a + 2. Let h be l(-2). Let k be h/(-425)*(-6 - -3 - -2). Which is smaller: k or g?
g
Let m be ((-9)/54)/(2/4). Let y be (4/24)/(25/30). Which is greater: m or y?
y
Let o = -1/192 + -19573/2112. Suppose 16 = -371*g + 355*g. Is g at least o?
True
Let y = -22 + 32. Suppose -d + 2*c + y = 0, 2*d + 2*c = c. Suppose 6 = d*o + 5*q - 14, 2*o = -4*q + 16. Which is smaller: -3/29 or o?
-3/29
Let k(t) = -t**2 - 25*t - 44. Let o be k(-23). Suppose z = o*z + 21. Let g be (z - 2)*5/(-5). Which is greater: 24 or g?
24
Suppose 692*n - 560 = 697*n. Let y be 198/(-21)*147/n. Is 13 at least y?
True
Suppose 42*q + 34*q = 0. Which is greater: q or 49/599?
49/599
Suppose -12*t - 23 = -71. Suppose d - 47 = t*o, d + 1 = o + 9. Is -12 smaller than o?
False
Let x be ((2070/(-4820))/(-3))/(6/8). Does -1 = x?
False
Suppose -3*w = 3*k - 3, 7*w - 3*w + 3*k = 3. Which is greater: 1431 or w?
1431
Let f be 1/(-3) + (-247)/(-39). Suppose 70*i = 80*i + 60. Let j be (f/82)/((-36)/(-8) + i). Which is smaller: j or -0.3?
-0.3
Let m be (-1 + 1)/4*-1. Suppose 28 = 4*i - m*i. Suppose 10*y = -0 + 60. Which is smaller: y or i?
y
Let w = -4634 - -4956. Which is greater: 321 or w?
w
Let g = -9673 - -9633.03. Let i = g - -0.97. Let q = i - -39.5. Is -4 at most q?
True
Let g(r) = 3*r - 8. Let x be g(4). Suppose x*a - 4 = 8. Suppose p + 8 = 4*i, -3*p + 2*p - 7 = -a*i. Which is greater: p or -3?
-3
Let i = 373.3 + -379. Which is bigger: i or 42?
42
Let f = -5829 + 5828. Which is bigger: f or -12/3869?
-12/3869
Let z = 16.5 - -31.5. Let r = 741.9 + -695. Let f = z - r. Is f smaller than 1?
False
Let a = 2/191011 + 148087/4099478082. Which is bigger: a or 1?
1
Let a = -690/103 - -1679944/250805. Is a not equal to 1?
True
Let r = -5727 - -5777. Is r at most as big as 29?
False
Let r = 1004 - 73283/73. Let h = 0.1 + 0. Which is smaller: h or r?
h
Let r(d) = 5*d + 6 - 4*d - d**2 - 3*d. Let o(g) = g**2 + g - 6. Let f(v) = 3*o(v) + 2*r(v). Let q be f(-2). Which is smaller: 10/7 or q?
q
Let x = -410 - -376. Let y = 109 - 143. Is y less than x?
False
Suppose 0 = 3*z - 5*v - 6, z = -5*v + 22. Let l be (-2 - -3)/(1/8). Is z greater than l?
False
Let h = -1 - -1. Let i(j) = 5*j**3 - 8*j**2 + 5*j - 21. Let d(t) = t**3 - 3. Let p(f) = 4*d(f) - i(f). Let r be p(7). Is r less than or equal to h?
False
Let s = -39273 - -39273. Let j be 73/134*2 + -1. Is s at least as big as j?
False
Suppose -12*t = -6*t + 1854. Let v = t + 307. Which is bigger: -23/7 or v?
v
Let d be -12 - 304/(-276393)*10911. Is -1 at least d?
False
Let w = -15 + 10. Let u = w + -3. Suppose -50 = -6*d + 11*d. Which is bigger: u or d?
u
Let f = 132965 + -132964.951. Let w = 6 - 4. Is w >= f?
True
Let o be 4/6*531/(-708). Is o less than 3576?
True
Let t be -1 + 13 + -845 + -11. Is t at least -843?
False
Let o be 23 - (-126)/(-7) - 10973/2195. Which is smaller: o or 0?
0
Let i = 13347 + -13410. Is 165 at most as big as i?
False
Let y = -19 + 62/3. Suppose -5*b + 4*t - 16 = 0, -2*b + 8*t = 5*t + 5. Let u be 1/3 + 4/b. Which is smaller: u or y?
u
Let d = 543 - 63. Let n = d - 370. Are n and 109 equal?
False
Let s = 17798 + -17798. Which is smaller: s or -9/1571?
-9/1571
Suppose -3*r - 4*i + 835 = -6163, r - 2321 = i. Suppose -19*o - r - 49 = 0. Is -125 at least o?
True
Suppose -28*o = -2*m - 25*o - 621, -m = -3*o + 315. Is -302 at least as big as m?
True
Let n be (4/34 + 39/(-476))/((-17)/(-136)). Let w be ((-33)/2)/((-3)/(-20)). Is n equal to w?
False
Let h be 3*1*((-84)/(-9))/7. Suppose -15*k + 49 = h. Let u be (-26)/4*(-4 + 24/k). Which is smaller: -24 or u?
u
Suppose 5*q + 0*q + 10 = 0. Let s be (5 + -6)/(q/6). Suppose -1 = s*t + 8. Which is bigger: 0 or t?
0
Let k be (-3)/(-6) + 1665/6. Suppose 7*z + 146 = 2*n + 12*z, 3*z = -4*n + k. Which is bigger: 64 or n?
n
Let s(k) = k**3 - 2*k**2 - k - 7. Let l be s(0). Let h(z) = z**2 + 8*z + 16. Let a be h(l). Let n be (68/(-6))/(15/a). Which is bigger: n or -8?
n
Let d = -2 - -4. Suppose -5 = -41*m + 46*m. Let x be (-5*-3*1/5)/m. Which is greater: d or x?
d
Suppose -2*u - 646 = -1714. Let w be u/268 + 6/(-3). Suppose 5*a + 30 = 0, 0 = 3*i - 0*a - 7*a + 3*a - 27. Do w and i have the same value?
False
Let j be ((-1764)/490)/((-2)/85). Which is smaller: 161 or j?
j
Let o = -1148 - -1136. Is o at least 27?
False
Let x = -615 + 615. Which is smaller: -38/47 or x?
-38/47
Let t be -3 - -9*(-618)/(-9). Are 613 and t equal?
False
Suppose 10 - 17 - 9 = -16*d. Is 25/77 equal to d?
False
Let o = 127 + -216. Suppose -124*a = 16957 - 5797. Is a != o?
True
Let a be (-822)/(-10) - -7*(-20)/70. Is a < 81?
True
Let f = -1 - -3. Let z be 4 + 459/12 - (-2)/(-8). Let u be z/70*20/2. Do f and u have the same value?
False
Let o = -2101 + 2112.21. Let z = 0.21 - o. Let n = 37 - 37. Is n not equal to z?
True
Let l be -33 - -38 - (2/4)/(2/(-4)). Which is smaller: l or 20?
l
Let v = -3 + -1. Let r be ((-5)/1 + 4853/69)*3. Let t = -200 + r. Is v less than t?
False
Let v be (-3)/(-15 - (-346128)/23008). Is v equal to -69?
False
Let f = 142.567 - 5.367. Let l = -66 + -70. Let p = l + f. Is p < -3?
False
Suppose -11*y + 704 = -13*y + 4*l, 5*y - 3*l + 1781 = 0. Let z = y + 299. Which is bigger: z or -289/5?
-289/5
Let l = 10919/581830 + -14/701. Which is smaller: l or 1?
l
Let c be 3/(-3) + -3 + 1029/257. Is c smaller than 1?
True
Let g = -3 - -7. Let a be 1/(-2 + 9/g). Let q(h) = h**3 - 3*h**2 - 21*h + 24. Let f be q(6). Which is greater: f or a?
f
Let p = -254.7209 - 0.5791. Let m = -258 - p. Let b be -2 - (8/(-6) + -1). Is b greater than m?
True
Suppose -3*z - 3 = 2*x - 0*z, 0 = 2*z + 6. Suppose -5*h = -0*h - 4*r + 73, x*r = -h - 7. Which is greater: -106/9 or h?
-106/9
Let p = 2 + 97. Let h = -94