-25.618. Let q = 0.618 - p. Which is bigger: q or b?
b
Let m(z) = z**2 + 3*z - 6. Let b be m(-3). Let v be (3 - 9)/b - (-8)/2. Suppose -2*a = -4*g + 44, -v*a = 20 - 0. Which is smaller: 10 or g?
g
Let w be (-2*(-42)/(-1660))/(60/300). Is 1 < w?
False
Let m be 59/(-15) - 234/(-702). Do m and 518 have the same value?
False
Let n = -5698 + 4666. Which is smaller: n or 3/2?
n
Let s = -508 - -532. Suppose -5*c + 84 - s = 0. Which is smaller: c or 0?
0
Let b = -415 - -530. Let p(q) = -q**3 - 5*q**2 - 15*q - 10. Let c be p(-6). Does b = c?
False
Let o(v) = 71*v**2 - 83*v - 6. Let p be o(1). Let w = -350/141 + 7/47. Are p and w nonequal?
True
Let q = -6 - -1. Let s(g) = 15*g + 367. Let m be s(12). Let a = -552 + m. Do a and q have different values?
False
Let b = 6646 + -6054508/911. Which is smaller: 0.3 or b?
b
Let t = -2347/2492 + 27/28. Let m(f) = 1. Let l(r) = -r - 18. Let n(z) = l(z) - m(z). Let u be n(-19). Is u at least as big as t?
False
Let q = -10902 + 10880. Are q and 0.051 non-equal?
True
Let x = 0.31158 - 0.21158. Suppose 4*t - 773 - 115 = 0. Is t < x?
False
Let l be 5 + -10 - 2495/(-1515)*3. Let i = 100/1717 - l. Which is smaller: i or -1?
-1
Let j(x) = -2*x**2 - 2*x + 10. Let b be j(2). Let i be (b + -1 + (-22)/(-2))*9. Let o be 2 + ((-12)/(-4) - i/(-3)). Which is smaller: 28 or o?
28
Let f be (-7)/5 - (-2)/5. Let h be 135/(-12)*(-112)/(-21). Let s be ((-8)/490)/(h/150). Is s greater than f?
True
Let y = 10 + -6. Suppose 2*q + 13 = 3*q + 2*f, 0 = -3*q + y*f + 9. Suppose -4 = -2*k + 4*i - 0, 2*k - 13 = i. Is q > k?
False
Let v(o) = -o - 7. Let i be v(-7). Let m be -3 + (-64029)/(-1582)*2/189*7. Does m = i?
False
Let m be 28 + -10 + 7 + -6. Suppose 3*h + 6 = 3*o, -2*o + 0*o - 3*h - 21 = 0. Is m less than o?
False
Suppose -703 + 190 = 74*s + 1041. Let y = 3 + 2. Suppose -4 = -4*r, y*t = r + 4 - 0. Is t less than or equal to s?
False
Suppose h = 3*g + 554, 0*h = -3*g + 5*h - 574. Which is bigger: g or -181?
-181
Let b be -8 - (-7)/((-175)/80)*(-165)/66. Let a = 2998 + -632581/211. Is b at least as big as a?
True
Suppose -4*z + 335 = -l, 2*l - 1 - 9 = 0. Let m = 128 + -42. Which is bigger: m or z?
m
Let h = -538 + 621.38. Let r = h - 83. Let n = 0.38 - r. Which is smaller: -26 or n?
-26
Let c = -15 - -180. Let h be (-166 + 0)/(2 - 3). Do c and h have different values?
True
Let b(g) = 3691*g + 1877. Let h be b(-3). Is h >= -9196?
True
Let s = -6061 - -5989. Which is smaller: -76 or s?
-76
Let m be (2 - 2) + (12 - (-1 + 10)). Let a(z) be the third derivative of 11*z**4/12 - z**3/2 + 8*z**2. Let n be a(m). Is 63 > n?
False
Let j(f) = 17*f + 358. Let i be ((-1638)/(-195))/((-4)/10*1). Let y be j(i). Are -2/221 and y unequal?
True
Let b = -222 - -215. Let n(g) = 23*g - 7. Let x be n(2). Let z be 2 + x - (-7 - b). Is 42 at most z?
False
Let h be (1/18)/((-18)/((-810)/(-75))). Let a be 12/8 + 79/(-45). Let v = a - h. Which is bigger: -0.2 or v?
-0.2
Let i(a) = -3*a + 11. Let c be i(-8). Suppose -8*w - c = -w. Let n be (-2)/w + 93/(-120). Is n >= 0?
False
Suppose -13 = -28*c - 97. Let h be 12/(-50)*(-4)/12. Let i = -131/75 + h. Which is smaller: c or i?
c
Let y = -7510 - -7553. Which is greater: y or 44?
44
Let c(h) = 5*h**2 + 15*h - 17. Let z be c(-4). Suppose 11*i = -z*i - 70. Let s = -4 - -1. Do s and i have the same value?
False
Let r = -41/7 + 622/105. Let k = -5.4 + 20.3. Let i = k + -15. Is i >= r?
False
Let d be -1 + -140 + (-6669)/(-351). Is d bigger than -849/7?
False
Let p be 654/351 - 95/285*(2 + -2). Is 2 at least as big as p?
True
Let g(l) = -8*l - 53. Let c be g(-9). Let i be (7/((-105)/10))/(c/(-30)). Is i != 2?
True
Let d(m) be the first derivative of m**4/4 - 2*m**3 + 5*m**2/2 + 3*m + 7. Let n be d(5). Let v be (2 + (-4)/(-4))/n. Which is bigger: v or -4/21?
v
Let d = -20491/5 + 4111. Suppose z = -3*i - 4, 5*z = -0*z + 5*i + 20. Let r = z - -11. Is r >= d?
True
Let c(j) = -j. Let n be c(-20). Let r = n + -25. Which is bigger: -9 or r?
r
Let y(l) = 4*l**2 + 12*l + 8. Let u be y(-2). Suppose 90 = -4*d + 2*k + 2, -2*d + 4*k = 32. Which is smaller: u or d?
d
Let x = 46 - 37. Let n = x - 40. Let v = -30.7 - n. Is 0 at most v?
True
Suppose -n - 3317 = -2*z, -n + 5*z - 2331 - 986 = 0. Which is greater: n or -3319?
n
Let l(w) = 26*w + 147. Let q be l(-11). Let h = 160 + q. Do 21 and h have different values?
False
Suppose 4 = -z - 5*o, 59*z - 64*z = -3*o - 92. Suppose 5*v = v + z, -5*x - 2*v + 53 = 0. Which is greater: x or -0.03?
x
Let l = -204504/14665 + 491/35. Which is bigger: l or 1?
1
Let l = -4150 - -4146. Is 2/339 less than or equal to l?
False
Let p = -153992/5 - -30801. Let u(d) be the first derivative of d**2/2 + 16*d - 2. Let w be u(-13). Are p and w equal?
False
Let v = -4140 - -4137. Let j = 41562/13 + -3199. Are j and v nonequal?
True
Let k = 31.1 + -22.25. Let z = -9.9 + k. Let j = -1.95 + z. Is -22 at least as big as j?
False
Let d = 59 - 21. Suppose 4*m - 6*m = -d. Suppose -h + 8 + m = 3*k, 4*k - 4*h = 36. Which is greater: k or 8?
k
Let d(j) = j**2 + 109*j - 1321. Let k be d(11). Which is bigger: 2/31313 or k?
2/31313
Let d = -7181 + 6562. Which is smaller: -607 or d?
d
Let c = -333 + 143. Let q = c + 111. Which is smaller: q or -1?
q
Let t(o) be the first derivative of -o**3/3 - 7*o**2/2 + 11*o - 12. Let x be t(-8). Let r be x + -1 - 5/5. Is 3 equal to r?
False
Suppose 71640 = 64*o - 65832. Is 2147 not equal to o?
True
Suppose -2*r + 2*p = -4*r - 456, -3*r + 4*p - 684 = 0. Let m be 5/(-4)*-2*r/(-30). Let w = -49 - -69. Is m at least as big as w?
False
Suppose -w + v = -3*v - 266, 20 = 4*v. Which is smaller: w or 285?
285
Let w be 678/(-2260)*((-4)/(-3747) - 0). Which is bigger: 1 or w?
1
Suppose 5*o = 4*t - 23, -3*t - 13*o + 16*o + 15 = 0. Let s(y) = -2*y**2 - 4*y + 2. Let i(b) = -b**2 + 1. Let r(h) = -3*i(h) + s(h). Let x be r(t). Does x = -4?
False
Let s = -2189 + 919. Let n be (-40)/(-20)*(s/4)/5. Which is greater: n or -126?
-126
Let s = 31 + -31. Let i(o) = -3*o**3 + o + 9. Let z be i(s). Suppose a + 12 = 2*d, -1 = d + 2*a - 12. Which is greater: d or z?
z
Suppose -y - 4*b + 7 = -13, 0 = -4*y + 3*b + 99. Let r be (y/1179)/(6/(-9)). Which is greater: r or 1?
1
Let j(q) = -3*q - 16. Let a = 2 + -7. Let t be j(a). Does -0.46 = t?
False
Let y = 4420.55 + -4421. Let d = 527/5 + -105. Is d at most as big as y?
False
Suppose 0 = 4*v + 4, 5*n + 4*v - 6630 = -41284. Let c = -4289672/619 - n. Which is bigger: 1 or c?
1
Let t = 196 - 196.1. Let o = 0.9 - t. Which is greater: -2/243 or o?
o
Let u(w) = w**3 + 4*w**2 + w + 4. Let r(k) = 2*k**2 - 21*k + 6. Let c be r(10). Let f be u(c). Let n be -2*(1 - -3)/(-132). Which is smaller: n or f?
f
Let n(m) = m**2 - 13*m + 33. Let j be n(10). Let r be -4*j/20 + 18/5. Is 13/3 at most r?
False
Let b(h) = 2*h**2 - 62*h + 353. Let g be b(8). Which is greater: -67 or g?
g
Let r = 1.364 + -6.364. Is -35 greater than or equal to r?
False
Let j = -647/5 - -129. Let q = 34.1 + -34.375. Let z = q + 0.275. Is z at least j?
True
Suppose 0 = c + 4, 0 = -2*o + 194*c - 189*c - 4800. Which is bigger: o or -2411?
o
Suppose -j - 6*j = -14. Let k(l) = -273*l - 16. Let p be k(-6). Let g = -22699/14 + p. Which is bigger: j or g?
j
Suppose -17*k + 14*k + 1782 = 0. Suppose -17*z + 8*z = -k. Which is bigger: z or 194/3?
z
Let c be (2 + -8)*(-6)/(-4). Let w = -107 - -262. Let t = w + -165. Does c = t?
False
Let m = 12 - 6. Suppose l = 2*l - m. Let b be (-1)/(-3)*(-162)/(-9). Is l at least as big as b?
True
Let p be (-4)/(-4) + -4 - -2 - -25. Let f = 4 + p. Suppose f = 17*d - 18*d. Which is bigger: -29 or d?
d
Suppose -91*c - 64030 + 15596 = -30*c. Is -796 > c?
False
Let l be 10/(-8)*-10 + 600/400 - 3. Which is greater: -179 or l?
l
Let g be (-10)/(-35) + 6828/14. Let r be g/6 - 6/18. Suppose 0 = -46*y + 8 + 3764. Is y not equal to r?
True
Let q = -655.78027 - 0.11973. Let u = -656 - q. Let x = -1125/8 + 555/4. Is x equal to u?
False
Let u be (-3)/(-2)*2/(-6)*-14 - 5. Do u and -1483 have different values?
True
Let u = 81 - 71. Suppose 5*s - 5 - u = 0. Let a be (s/9 + 1)/(-10). Is -3 at least a?
False
Let x = -297 + 289. Let w be (10/x)/(156/32 + -5). Are 10 and w nonequal?
False
Let m(c) = -c**3 + 14*c**2 + 49*c + 33. Let r be m(17). Let o be (48/(-54) - r)/(1/6). Which is smaller: o or 17?
o
Suppose 6*q - 