 -2*z = -2*p + 4, 4*z - 5 = 3*p - 11. Which is greater: q or z?
z
Let h = 329/4 + -83. Suppose -2*r = -2*r - r. Is r greater than or equal to h?
True
Let h(v) = v**2 + 7*v + 9. Let d be h(-6). Suppose d*g + 4 = -g. Which is greater: g or -2?
g
Suppose -2*f - 3*f = 5*k + 25, 4 = 4*k. Let x be (-12)/8*(-4)/f. Let y be -1 - (x/1)/3. Which is smaller: 0 or y?
y
Let o = -22 + 23. Suppose 5*j + 2*b - o = 24, 3*j - 24 = -3*b. Let g be ((-4)/(-10))/((-4)/(-35)). Which is smaller: j or g?
j
Let m = 8 - -19. Which is smaller: 26 or m?
26
Suppose -j = 2*j - h - 3, 9 = j - 3*h. Which is bigger: -1/16 or j?
j
Suppose 2*p = -2*q - 2, 5*q - q - 3*p = 3. Which is bigger: 1/13 or q?
1/13
Let z = 4 + -5.7. Let u = z - -1.9. Is 2/3 greater than u?
True
Let b = 46 - 191. Let r be ((-4)/b)/(30/(-75)). Are -1 and r unequal?
True
Let u be 1/(1/3) - 4. Does u = -4/13?
False
Let r(o) = -o**3 + 4*o**2 - 2*o. Let y be r(2). Let b = -1 + y. Suppose b*p = p. Is p > -1?
True
Suppose 27 = 4*l - l. Suppose -v = -l*t + 4*t + 22, 2*t - v - 10 = 0. Let b(j) = j. Let s be b(t). Is s at least 2/3?
True
Let p be (-8)/(-16) + 3/(-2). Is p smaller than -5/13?
True
Let j = -1 - -3. Suppose -2*p + 12 = s, s + 2*p = j*s + 4. Let m(f) = -4*f - 44. Let t be m(-12). Is s < t?
False
Let r(p) = p**2 + 2*p. Let t(q) = -q**3 + 3*q**2 + 2*q + 5. Let l be t(4). Let n be r(l). Let i = n - 2. Is i >= 1?
True
Suppose 4*c = 4*h - 3*h + 21, 0 = 5*h + 5. Let l be (-4)/(-2 + 1) - -2. Let t = l + -2. Which is greater: t or c?
c
Let i = -1/18 - -1/2. Let q = -40 + 40. Which is bigger: i or q?
i
Let o = 39 - 65. Let z be (-44)/o + 2/(-1). Which is smaller: 1 or z?
z
Let i be ((-106462)/(-15))/((-1463)/(-35)). Let u = i + 22/57. Let c = u - 170. Which is smaller: c or 0?
0
Suppose 0*o - 3*d - 16 = 2*o, o + 2*d + 6 = 0. Let u be (-130)/(-35) + (-4)/o. Is u at most as big as 5?
True
Let s = 24/95 - 1/19. Suppose 0 = -3*j + 5 - 2. Which is smaller: s or j?
s
Suppose 5 = 3*m - 19. Let w be m/(-36) - (-4)/18. Let q be 3*1*8/12. Which is smaller: q or w?
w
Let m = -2 - -2. Let s = -0.5 + -1.5. Is s <= m?
True
Let b = -10 - -12.1. Let r = 2 - b. Let i = 8 - 8.3. Is i at least as big as r?
False
Let m = -12/7 - -45/14. Do m and -0.1 have different values?
True
Let i = 0.5 + -0.3. Let l = -1.062 + 0.062. Are i and l equal?
False
Let t = -7.6 + 7.5. Is 13 greater than or equal to t?
True
Let a = -20 + 14. Let s be a/16 + (-15)/24. Are -1/13 and s unequal?
True
Let p be 8 + 1 - (17 - 13). Let v be (-26)/(-10) + 4/10. Suppose -a - v = -2*a. Which is greater: p or a?
p
Let z = 16 - 23. Which is bigger: -5 or z?
-5
Suppose 0 = 2*c - 54 + 278. Let h = -677/6 - c. Suppose 4*l - 2*i + 0*i + 2 = 0, 0 = -3*l - 5*i - 21. Is l < h?
True
Let q(f) = 2*f. Let l be q(-7). Is -2 greater than or equal to l?
True
Suppose 4*z + 2*w = -14, 0 = -3*z - 0*z - w - 8. Let o be 24/(-10) + (-2)/(-5). Is z less than o?
False
Let c = -50 + 46. Suppose 4*i - 10 = 6*i. Are i and c unequal?
True
Suppose 1 + 3 = -4*b. Which is smaller: b or 5/13?
b
Let q be (-21)/6*2 + 3. Let z = q + 8. Suppose v + 3*x = 6 + 13, x + 3 = 2*v. Is v < z?
False
Let r(n) = 5*n + 2. Let h be r(2). Do h and 12 have the same value?
True
Let t be (5 - 7)/(16/(-6)). Which is greater: 0 or t?
t
Suppose 5*m - 14 = 1. Suppose -z - m*z = 0. Is -3/7 less than z?
True
Suppose 0 = -n + 3, m - 5 - 2 = -3*n. Let p(v) = v. Let o be p(-3). Which is smaller: m or o?
o
Let z(r) = -r**2 - 8*r + 13. Let q be z(-8). Which is smaller: q or -1?
-1
Let z = -1.4 + -0.4. Let h = z + 1.7. Is h < 4?
True
Let i(a) = a**3 + a**2 - a. Let c be i(-2). Let o = 7 - -1. Let q = 5 - o. Is c > q?
True
Let r be -2 - -1 - (2 + -6). Let v = 20 - 17. Is r bigger than v?
False
Let d be 10/25 + (-7)/5. Let r = 2 - d. Suppose -5*l = -r*l. Is 1/5 <= l?
False
Let k = -0.15 + -8.85. Is k < -0.1?
True
Let q = 4.2 - 22.2. Let g = -17 - q. Which is smaller: g or 13?
g
Let n be (-18)/8 - (-1)/4. Let x be 4/12*(-1 + 16). Let o = 4 - x. Is n > o?
False
Let p = 0.8 - -0.2. Which is greater: p or -3?
p
Let w = -81 - -76. Is -34/7 at least as big as w?
True
Let o = 373475/7 + -53167. Let c = o - 186. Do 0 and c have different values?
True
Let r(c) = -c + 14. Let x be r(5). Is x at most as big as 37/4?
True
Let g be (1/(-2)*1)/7. Does g = -1?
False
Let f(m) be the third derivative of m**5/60 + 3*m**4/8 + 3*m**3/2 + 2*m**2. Let s be f(-8). Let k be s/(-3*(-1)/(-2)). Which is smaller: -1 or k?
-1
Let z = -480 - -487.02. Let f = 10 + -17. Let l = z + f. Which is greater: -0.1 or l?
l
Suppose -s + 2*s = -2*k + 12, -21 = 2*s - 5*k. Let r(b) = 2*b. Let x be r(2). Suppose l - 5*c = -x*l + 30, -4*l + 26 = -5*c. Is s less than or equal to l?
True
Let g(h) = -241035*h**3 + h**2 + h + 1. Let c be g(-1). Let l = c + -26031617/108. Let u = l - 1/108. Is 4 smaller than u?
False
Let y = 59 - 768/13. Suppose 47*v + 7 = 40*v. Which is greater: v or y?
y
Suppose 0 = g + g. Let i be (-16)/6*(-2)/(-72). Are g and i nonequal?
True
Let o(s) = -s**2 + 8*s - 3. Let r(h) = -h**2 - 6*h + 2. Let q be r(-5). Let u be o(q). Suppose -j + 4*j = -3. Is u less than or equal to j?
False
Suppose -2*d = 4*h - 18, -5*h = -0*d - 2*d. Is -13 < h?
True
Let f(v) = -2*v + 15. Let w be f(-5). Is w bigger than 26?
False
Let f(u) = 2*u**2 - u + 13. Let b(m) = -m**2 + m - 6. Let a(w) = 9*b(w) + 4*f(w). Let h be a(4). Let v be (-5)/(-3)*4/10. Is h smaller than v?
False
Let u = 457 + -8681/19. Is u not equal to 1?
True
Let l = 8 - -1. Is l less than 4?
False
Let p = -30 - -692/23. Which is smaller: p or -1?
-1
Let v be ((-28)/16)/(2/8). Is v equal to -6?
False
Suppose 2*h - 5 = -15. Which is bigger: -3 or h?
-3
Suppose -2*s - 3 - 1 = 0. Let a = s + 0. Suppose -4*j + 16 = -8*j, -5*g + 11 = -4*j. Is g greater than a?
True
Let j = -33 - -35.3. Let g = 0.7 + j. Which is bigger: g or 0?
g
Suppose -3*k = h - 44, 0 = -5*k - 3*h - 28 + 104. Let o(a) = -a**3 + 16*a**2 - 16*a + 28. Let u be o(15). Which is smaller: u or k?
u
Suppose -4*i - 2*v = -v - 47, 5*i - 60 = -v. Let z = 15 - 2. Is i less than z?
False
Let f(n) = n + 1. Let x be f(3). Suppose -4 + 0 = x*t. Which is smaller: t or 0?
t
Let h = -3152/21 + 150. Let a = 25 - 26. Is h smaller than a?
False
Let m(f) = -f**3 - 5*f**2 - 6*f - 3. Let o(k) = k + 4. Let i be o(-8). Let c be m(i). Is 5 less than c?
False
Suppose -185 = 2*d + 233. Let f = -1467/7 - d. Does f = -0.3?
False
Let a = 18 - 12. Let s be a/(-34)*6/(-9). Which is smaller: 0 or s?
0
Let d be 40/6*(-1992)/(-208). Let p = 64 - d. Which is smaller: p or 0?
0
Let j(k) = -k**3 - k**2 + 1. Let r be j(-2). Let u be r/25 - 58/(-10). Suppose u = -i - 2*i. Which is bigger: 0 or i?
0
Let b(t) = -10*t - 2. Let a be b(-3). Suppose -4*u - 10 = c, 9*u = 4*c + 5*u - 40. Let x be a/6 + c/(-9). Which is smaller: x or 3?
3
Let u = 1 + 9. Let l = 11 - u. Is l less than 1?
False
Suppose 0*i - 8 = -2*i. Let f be 10/15*(-78)/i. Is f not equal to -12?
True
Let q = 87/4 + -22. Which is greater: q or -1?
q
Suppose -4*p - a - a - 90 = 0, -2*p = 2*a + 50. Let g be ((-1)/2)/(p/(-8)). Let d = -0.08 + 0.08. Which is greater: g or d?
d
Let n(u) = u + 1. Let l be n(1). Let k(g) = -3 + 3*g**2 - 7*g + 2*g**l + 0 + g**3. Let s be k(-6). Which is bigger: 2 or s?
s
Suppose -4*g + 5*z - 1 = -0*g, 3*g + 4*z - 7 = 0. Which is smaller: g or 1/5?
1/5
Let y = 23 + -20. Let f be -12*(0 - (-1)/2). Let x be ((-4)/5)/(f/15). Which is bigger: y or x?
y
Suppose -i - 12 = 2*i. Let y be (-2)/i + (-1 - 0). Suppose 5*r + 0 = 5. Are r and y equal?
False
Suppose -2*b = -3 + 1. Let v = 41 - 617/15. Do v and b have different values?
True
Suppose -3*v = -5*q - 15, -2 = 3*q + 3*v - 17. Suppose q*c = -c. Which is smaller: 2/19 or c?
c
Suppose -3*c - 4*f + 8 = c, 4*c = -3*f + 9. Suppose -c*w + 6 = 3. Which is smaller: w or -2/11?
-2/11
Let c(b) = 2*b - 8. Let z be c(7). Let l be (2/z)/((-1)/(-3)). Which is smaller: l or 2/3?
2/3
Let t = -80 - -163/2. Let l be ((-3)/(-9))/((-2)/(-6)). Which is bigger: t or l?
t
Suppose -2*g + g + 2*z = 4, -4*g = -z - 5. Do g and 0 have the same value?
False
Suppose 12 + 13 = -5*o, 4*a = 2*o + 34. Let l = a - 6. Which is smaller: 2 or l?
l
Let t be 0 + (-38)/(-8) - (-36)/(-24). Which is greater: t or 2?
t
Suppose -7*x = 52 - 185. Which is smaller: -3 or x?
-3
Suppose 0 = 5*g + 7 + 43. Supp