p - 36 = -4*t, -2*p + 2 = -5*p - 2*t. Let s be 2/(p/(13 + -5)). Are g and s equal?
False
Let k(q) = -q**2 - 167*q - 3998. Let f be k(-29). Which is bigger: -2/123 or f?
f
Let j be (-20)/(-2220)*6/(-35). Which is smaller: -1 or j?
-1
Let t = -17 - -25. Let f(a) = -a**2 + 8*a + 1. Let b be f(t). Let s be 6/360*(b - 2). Which is greater: -1 or s?
s
Let p = -234 - -379. Let f = 223 - p. Suppose -5*x - 212 = -3*k - 0*x, 222 = 3*k - 3*x. Which is bigger: f or k?
k
Suppose -361 = 2*n - 347. Which is greater: n or -3?
-3
Suppose -4*q = -77 - 1267. Suppose 109*k - 115*k - q = 0. Is k at least 0?
False
Let l = 7 - 6. Let s be (3*(-1)/(-9))/(-27 - (-107 + 25)). Is l bigger than s?
True
Let i(c) = 18*c**3 + c**2 + 4*c + 3. Let n(y) = -2*y**2 - 11*y - 6. Let z be (20/(-8))/(0 + 2/4). Let x be n(z). Let u be i(x). Which is smaller: u or -19?
-19
Let d(k) = 0 + 9*k - k - k**2 + 4 + 1. Let v be d(9). Suppose -16 = p + 3*p. Is p smaller than v?
False
Let z be (-75)/(-20) - 4 - (-17)/4. Let h be 0*(6/z)/(-3). Is h equal to -3/4?
False
Let g be (-855)/570 + ((-7)/(-3) - 2/6). Do g and -180 have the same value?
False
Suppose -4*b - 3*j = 58, 2*b + 60 = -2*b - 2*j. Let q = 7692 - 7694. Is q at most b?
False
Suppose -j + 4 = l, 5*j = -3*l + 22 + 6. Let w be 38/j*(6 - (-1 - -5)). Is 10 at most as big as w?
False
Let p = 5710 + -5716. Let o = 0.2 - 0.3. Let s = o - -0.2. Is s > p?
True
Let a be (24/230)/(4/20). Let s(g) = -2*g**3 + 10*g**2 - 8*g + 6. Let f be s(4). Suppose 8*y = -f*y. Which is bigger: a or y?
a
Let l = 3.879 - 3.979. Which is smaller: l or -2/11137?
l
Let r be (6792/4)/(34/51). Which is smaller: r or 2548?
r
Let x = 328186/187 - 1755. Which is smaller: -1 or x?
-1
Suppose 0 = -7*d - 6 + 13. Let j be (42 - 42)*(0 + d/3). Let w = 13231/35 + -378. Is w < j?
False
Let u(m) = -4*m**2 + 42*m + 25. Let q(z) = -7*z**2 + 83*z + 49. Let x(g) = 6*q(g) - 11*u(g). Let j be x(-15). Which is smaller: -73 or j?
-73
Let x = 6/33493 - -538634408/100479. Is x <= 5362?
True
Let a(b) = 76*b - 2601. Let k be a(34). Which is bigger: k or 2?
2
Let i = 167 - 396. Let w = -165 - i. Which is greater: -2 or w?
w
Suppose -4*g = -24 + 4. Suppose 74 - 29 = g*n - 5*w, 3*n = w + 17. Let l = 31948/69 - 10588/23. Does n = l?
False
Suppose 0 = -5*u - 2*o + 19 - 1, -16 = -4*o. Suppose -q = 5*w + 2, 3*w - 8 = 3*q - u. Let z be ((-144)/10)/((w - 1) + -1). Is 7 at least z?
False
Suppose 0 = -3*a - a + 20500. Let f = a + -240885/47. Which is greater: f or 0?
0
Let v(i) = -2*i - 10. Let l be v(-8). Let t be ((-1)/184)/(l/(-1437396)). Let k = t + -1302. Do k and 0 have different values?
True
Let g be (-45)/(-6)*48/120. Let i(x) = x + 1. Let t be i(-1). Let b be (g - t) + -3 - 8. Is -9 smaller than b?
True
Let r be (-12)/28 - (-18)/42. Let g(i) = i**3 - 26*i**2 - 3*i + 18. Let x be g(26). Let d be x/(-612)*(-2)/(-25). Are r and d nonequal?
True
Let y(r) = -5*r**2 - 3*r + 2. Let v be y(4). Let x be (-90)/(-7)*(-21)/15*5. Is v at most x?
True
Let s = -0.0649 - 23.9351. Let m = -24.31 - s. Which is smaller: -8 or m?
-8
Suppose 4*o = 2*g - 76 + 20, -g - 5*o = -21. Let w be 14/(-4) - -3 - 62/(-4). Let j be (42/w)/((-1)/(-10)). Is j > g?
True
Suppose 48*w + 14 = 55*w. Suppose -5*n - 30 = -4*q + 3*q, 3*q + 12 = -w*n. Let b be 1/4 + (-211)/28. Which is smaller: n or b?
b
Let n = 1047 - 934. Suppose 24 + 72 = -r. Let i = r + n. Which is smaller: 20 or i?
i
Suppose 32*u = -27*u - 18*u - 77. Which is bigger: u or 120/917?
120/917
Let f = 0.031 + -22.031. Let m = f - -128. Which is smaller: m or 1?
1
Let r = 1.1 + -1. Let n = 81755/4 + -20445. Which is smaller: n or r?
n
Let f = 60 + -32. Let y be (-24)/9 - f/21 - 9. Is y at least as big as -19?
True
Suppose -9*n - 5*n = -3486. Let z be (-552)/n - (-1 - (-1)/(-1)). Which is smaller: 0 or z?
z
Let h(z) = z**2 - 1359*z + 16162. Let x be h(12). Which is bigger: x or 14/251?
14/251
Let q be (-2 + (-7280)/(-3645))/2. Let c = q - 10195/8019. Is c less than 0?
True
Let n = 22 + -20. Suppose -j + 3 = -5*b + n*b, 5*b = 4*j - 5. Let c be 2/(-5) + (-66)/(-120). Is j less than or equal to c?
True
Let n be (-4 + (-18)/(-5))/((-1)/(-5)). Let m be (-27 + 28)*(0 - n)*-2. Let s(v) = -2*v**3 - 4*v**2 + 3*v - 5. Let l be s(m). Which is greater: 48 or l?
48
Suppose -242 = -v - 5*f, 0 = v - 3*f + f - 242. Let y = -203 + v. Which is smaller: y or 40?
y
Let l be (-3)/(-6)*-5*(-4 - -2). Suppose l*u = 57 + 53. Is u != 153/7?
True
Let h = -163 - -160. Let x be 48/21 + h + 76/28. Does 1 = x?
False
Let o be ((-48)/(-18))/(2/3)*(-1)/(-4). Let b = -416 + 25375/61. Do o and b have different values?
True
Let b = 333 - 333.014. Let q = 0.236 - b. Is 3 smaller than q?
False
Let b(y) = 12*y**2 - 290*y + 47. Let h be b(24). Are 3/6311 and h non-equal?
True
Let i be (4 - (-2 + 5))/(-3)*(16 + -16). Which is bigger: i or 78/161?
78/161
Let i(b) = 9*b - 12. Let q(p) = -p**3 - 11*p**2 - 10*p + 6. Let t = -39 - -29. Let o be q(t). Let n be i(o). Do 42 and n have the same value?
True
Let z = 1815132/5 - 85307956/235. Let y = 95/47 - z. Which is smaller: -12 or y?
-12
Let c = -695 + 747. Let a be 78/c*112/(-6). Which is greater: -37 or a?
a
Let d = 52252 - 52250. Let z = -21 - -20.963. Is z > d?
False
Let h be (2 + -5)/3 + 424/4. Is h <= 319/3?
True
Let z = -0.18954 - 0.41046. Which is smaller: z or 34?
z
Let d = 303 - 299. Suppose -d*u - 22 - 22 = 0. Which is greater: u or -9?
-9
Suppose 0*a - 8 = q - 3*a, 16 = 4*a. Suppose 0 = -3*x - q*b - 0*b + 17, 5*x + 5*b - 25 = 0. Is x != 56?
True
Let a = -1399/2804 - 3/2804. Which is greater: -545/6 or a?
a
Let l(j) be the second derivative of -j**6/360 - j**5/24 + 7*j**4/12 - 21*j. Let p(b) be the third derivative of l(b). Let u be p(0). Which is smaller: u or -1?
u
Let d be 3 + -2 - (2 + 427/1). Let u be 3 + 1264/d - 0. Which is smaller: -1 or u?
-1
Let s = 29 - 29. Suppose -15*l + 14*l = s. Let i = 49/9 + -47/9. Are i and l unequal?
True
Suppose -26*l = 11*l + 370. Which is bigger: l or -34?
l
Let n(z) = -z**2 + 5*z + 13. Let w be n(7). Let p be (-42)/12*w*2. Suppose -5*a = 5*q - 50, -a + 2*q + 2 = -2. Is a at least as big as p?
True
Suppose 3*t + 7 = -2*d, -t + 6*t + 41 = 4*d. Let s(x) = 3*x**3 - 4*x**2 - 4*x + 7. Let i be s(d). Let m = i - 121. Is -11/5 not equal to m?
True
Let k = 3732.1 + -3732. Are -13/55 and k equal?
False
Let q be (-3)/(-6) - (-2)/(-4). Let w = -31215 + 7023377/225. Which is smaller: w or q?
q
Suppose 12*r + 18*r = -10920. Let t be (1/2)/((-26)/r). Are -9 and t equal?
False
Let y = -0.5 - -3.5. Let u be 216/(-135)*(-9)/120. Is u equal to y?
False
Let w = -101 - -101. Let z(u) = 5*u**2 - u - 2. Let g be z(-1). Let r(o) = o**3 - 4*o**2 + 2. Let i be r(g). Which is greater: w or i?
i
Let h be 5/1*(72/54 - (-344)/(-60)). Which is smaller: -47 or h?
-47
Let g = -6296 + 9275. Is g >= 2979?
True
Let z(f) = -f + 11. Let y be z(6). Suppose -3*d - 14 + 35 = 3*u, -y = -2*u + d. Suppose 3*t - 1 = -u*x + 10, -2*t = x - 9. Is x greater than or equal to -24/13?
True
Suppose -14*r + 20 = -15*r. Let c be (-1*(-3)/5)/(136/r). Does c = -1?
False
Suppose 71372 = -4*n + 74340. Which is bigger: 736 or n?
n
Let i = -0.161 - 0.008. Let u = -52.169 - i. Is -1 at most u?
False
Let d be (-858)/(-10) - ((-24)/165)/(154/(-847)). Is 40 != d?
True
Let i = -4692 - -4702. Is i < 298/29?
True
Let l = -486 - -303. Do -189 and l have the same value?
False
Let u = -84915260/257 + 330410. Which is greater: 1 or u?
1
Let t be (3 + 2 + -3)*((-15)/(-2) + -7). Is 26/329 less than or equal to t?
True
Let y be 1/(6/(-18))*-1 + -2 + -1. Does y = -1/6267?
False
Let g = 1080.501 + -1081. Let l = 0.599 + g. Let b be 1 - ((-6)/(-4) + -1). Is l at least as big as b?
False
Suppose 0*v = 2*v + 5*w - 608, 3*v = -w + 925. Let m = -1628/13 + -19073/104. Let c = v + m. Does 0 = c?
False
Let o(k) = -3*k - 21. Let w be o(-21). Let m be 468/w*(6 + 1). Let u = 58 - m. Is -21 at least as big as u?
False
Let h(m) = -5*m - 38. Let a(k) = 2*k + 13. Let y(g) = 17*a(g) + 6*h(g). Let v be y(3). Suppose -4*t = 3*q - 5, -3*t + 14 = -v*q - 26. Is t smaller than 7?
True
Let s = 77 + -70. Let i be 1 + ((-1596)/44)/s + 4. Let c(q) = -q**2 - 4*q - 3. Let k be c(-2). Which is bigger: i or k?
k
Let a be (10113/(-63))/((-73)/(-33)). Let i = -508/7 - a. Which is smaller: i or 0?
i
Let c(u) = u**3 - 15*