j?
j
Let v(p) = 4*p**2 + p. Let a be v(-1). Let j be (1 - 2)*(2 - 1). Let h be 1*j + (1 - a). Which is greater: h or -4?
h
Suppose 0 = -2*r + 4*r. Let h be 1 - -1 - (r + 0). Suppose 0 = 4*b - h*b - 2. Is b less than 1/4?
False
Let m = 1.99 + 4.01. Let g = -1.1 + 1. Is m >= g?
True
Let o be 80/(-12)*(-18)/15. Which is smaller: o or -0.1?
-0.1
Let c(t) = 3*t + 4. Let b be c(0). Does b = 10/3?
False
Let i = 5 + -5. Suppose 0*v = -2*v + 4. Which is greater: i or v?
v
Let i be ((-36)/(-90))/(21/5). Which is smaller: 0 or i?
0
Let r be 10/45 - 502/(-36). Let w = r + -437/30. Which is smaller: 2 or w?
w
Suppose -35 = -k - 4*k. Which is smaller: 1 or k?
1
Let w = 17.8 + -18. Is 0.6 greater than w?
True
Suppose -s = 8 - 2. Which is bigger: s or -2/5?
-2/5
Suppose g - 26 = -5*m, 3*m + g - 4*g - 12 = 0. Let w be 3 + ((-16)/m - 1). Suppose 2*o - 4*o - 4 = 0. Is o < w?
True
Suppose 5*q = -0*q. Which is smaller: 4/23 or q?
q
Suppose -3*n - 7 = -5*j, -5*n - 3*j + 15 = 4. Let d be 2/(-5) + (-84)/15. Let u be -2 + 7 - d/(-2). Does n = u?
False
Let o(v) = v**2 - 9*v - 2. Let q be o(10). Let r = 6 - q. Is r smaller than -1?
True
Let f = -1 - -3. Suppose -j = -f*j - 2*i + 11, 0 = j + 3*i - 16. Is 4/3 greater than j?
True
Let m = 4 - 7. Let l = 2.4 - 2.4. Which is greater: l or m?
l
Suppose -9 = 5*d - t, d + 2*d + 2*t = 5. Which is bigger: d or 3/14?
3/14
Suppose z - 1 = -5. Let b be (z + 0)*(-4)/(-4). Let u be 0*(-2)/b + 0. Which is smaller: 1 or u?
u
Let a(w) = -w**3 + 5*w**2 + 5*w + 4. Let o be a(6). Suppose -2*n + 2*b = -12, 11 - 3 = 2*b. Let t be 2/(-10) - 4/n. Which is greater: o or t?
t
Suppose 5*a - 63 + 8 = 0. Let t(n) = n**3 - 12*n**2 + 8*n + 15. Let q be t(a). Let w be 75/q*(-2)/5. Is w bigger than 2?
False
Let c(x) = x**2 - 11*x + 11. Let p be ((-80)/(-28))/(4/14). Let k be c(p). Is 1 > k?
False
Let f = 138 + -176. Which is bigger: 0.1 or f?
0.1
Let x be (-4)/6 + 40/45. Let s = 1.92 - -0.08. Is x equal to s?
False
Let p = 18 - 20. Let d be 1 - (p - (-36)/16). Is d at most 2?
True
Let r(c) = c + 4. Suppose -15 = -2*m + 7*m. Let i be r(m). Which is bigger: i or 1/3?
i
Suppose 10 = 3*a - a, 2*a - 1 = 3*y. Suppose -c = y*c - 48. Suppose 3*b - c = -0*b. Is b greater than or equal to 3?
True
Let u be 3 + 106/(-22) + 2. Let d = 4 - 5. Is u smaller than d?
False
Suppose g + 4*g + 3*h - 155 = 0, -h + 33 = g. Let s be g/(-7) + (-1 - -4). Is -2 bigger than s?
False
Let s = -239/98 - 3/49. Is s > -4?
True
Let r be 61/4 + (-3)/12. Does 16 = r?
False
Let y be (-273)/(-6) + -2 - 0. Let u = -45 + y. Which is smaller: u or 0?
u
Let g be 6/14*4/6. Suppose -y - 4*q - 21 = 0, q - 48 = 4*y - q. Let w be (-4)/(-10) + y/20. Which is smaller: w or g?
w
Let p be (-1)/4 + (-486)/(-24). Let r = -2 + p. Let j be (-16)/r*1/(-4). Is j <= 0?
False
Let i = -18 - -18.81. Let p = i - 0.01. Let g = p + -0.4. Which is bigger: g or -0.1?
g
Let c = -3.1 + 1.7. Let b = -0.45 - -0.05. Let o = b - c. Which is smaller: -0.1 or o?
-0.1
Let c = 273 - 284.1. Let y = -11 - c. Is y <= 0.07?
False
Let m = 93 + -93.1. Is m smaller than 0.02?
True
Let b = 0.2 - -0.8. Let c = 8911 - 561409/63. Let g = -2/63 + c. Which is bigger: b or g?
b
Suppose i - 4*m - 44 = 0, -i + 224 = 3*i - 4*m. Let f be ((-36)/i)/(22/20). Is -1 greater than or equal to f?
False
Suppose -5*d = -x - 18, -43 = -0*x - 4*x - 3*d. Let p = 589/2 + -288. Let f = p - x. Is -1 less than f?
True
Let v be 1/1*3/9. Let p be 1/(-1)*(1 - 2). Is p equal to v?
False
Suppose -2*b = -4*b. Let k = 341/559 - 13/43. Which is smaller: b or k?
b
Let y(f) = 2*f - 45. Let q be y(4). Is q greater than 2?
False
Let r(w) = 2*w - 4. Let u be r(4). Let x = u - 3. Do x and 1/20 have the same value?
False
Let j(h) be the third derivative of h**6/120 - h**5/60 + h**4/24 + h**3/6 + 2*h**2. Let u be j(0). Let n be 3/(-45) + 4/6. Is u less than or equal to n?
False
Let b = 1761/7 + -251. Is b != 1?
True
Suppose 3*l - 5*l + 14 = s, 3*s - 60 = 3*l. Let k be (-3)/s*(-3)/4. Let j = 8 + -7. Which is bigger: j or k?
j
Suppose -4*j = -4*w - 12, -3*w - 4 = 5*j - 43. Let z be j/(-3) + (-4)/(-4). Which is bigger: 1/5 or z?
1/5
Let b = 53.5 - 54. Which is smaller: b or -5/2?
-5/2
Let d = -15 - -17. Which is greater: 0 or d?
d
Let q be (-3 - -11)/(4/(-10)). Suppose -4*y - 3*t + 107 = 0, 3*y + 4*t - 89 = -0*t. Let f be (-5)/q + y/(-28). Which is smaller: f or -2?
-2
Let d be ((-14)/(-4))/(-7)*-14. Is -3 < d?
True
Suppose -2*o + 16 = -2*i, 7*i + 32 = 3*o + 2*i. Suppose -o*b - 2 = -x + 6*x, -5*x = 2*b - 4. Which is bigger: b or -2?
-2
Let x(d) = 2*d - 12. Let q be x(6). Suppose 16 = 4*m, 2*t + 4*m = 15 + 7. Which is smaller: q or t?
q
Let n = -9.88 + 8.9. Is n > 1?
False
Let m = 42/13 + -268/91. Let i(w) = w + 5. Let u be i(-6). Let z = u + 0. Which is bigger: m or z?
m
Let y = 11 - 14. Suppose 0 - 2 = 2*t. Is t smaller than y?
False
Let p = -6.3 - -5.97. Let q = p - -0.03. Which is smaller: q or -0.1?
q
Let a(z) be the first derivative of -z**3/3 - 7*z**2/2 + 2. Let h = 10 - 17. Let i be a(h). Are i and -1 equal?
False
Suppose -7 = 7*r + 7. Suppose a - 4*a - 12 = 0. Let y = 2 + a. Is y at most r?
True
Let n = -0.1 + 0.2. Let v = n - -0.1. Let u = v + 0. Which is bigger: -0.2 or u?
u
Suppose 5*i + 41 = 4*p, -3*i + 27 = 3*p + 3. Suppose -1 = z + n, z = -2*z + 3*n - p. Let r = 5 + z. Which is smaller: 2 or r?
2
Let o be 6/(-3) - 1606/(-720). Let h = -1/120 + o. Is 1 smaller than h?
False
Let d be (-4)/(6/(-2) - 1). Let g be (3 - 2)/(d/(-2)). Do g and -2 have the same value?
True
Let b = -2.1 - -1.8. Is 1 bigger than b?
True
Let d = 22 + -43/2. Which is smaller: d or 2/7?
2/7
Suppose 0*u - 4*h + 22 = 2*u, u - 3*h + 4 = 0. Suppose -3*a - 5*o + 25 = 0, -4*a - u = -7*a - o. Let k = -168/5 - -34. Are k and a nonequal?
True
Let x be 2/3*(-1100)/6. Let f = -124 - x. Let q = f + 121/63. Is q != -1?
True
Suppose -12*v + v = 0. Suppose x = -3*x - 2*i + 6, -x - 3 = -4*i. Is v equal to x?
False
Let f = -74 - -368/5. Which is greater: 6 or f?
6
Suppose 3*w - 5 = -4*h + 10, 3*h + 5 = w. Let s be -2 + ((-22)/(-4) - 2). Let v = s + -5/4. Which is greater: h or v?
v
Let j be 3 + (40/(-7) - -3). Let f = -0.07 + 0.07. Is j > f?
True
Suppose -3*w + 11 = -13. Suppose 5*l - 3*l = 4. Suppose -l*i + 5*m - m = -16, 2*m = -w. Is i at least 0.2?
False
Let h = -9 - 4. Let w = 40/3 + h. Suppose 4*t - 5*j - 5 = 0, t - j - 1 = -t. Is w at most as big as t?
False
Suppose -5 = x + 7. Let k = -12 - x. Which is smaller: 1/8 or k?
k
Suppose 84 = -2*s - 5*s. Which is smaller: s or -66/5?
-66/5
Let w(v) be the third derivative of v**4/12 + v**3/6 - 4*v**2. Let r be w(-2). Is r smaller than -2?
True
Suppose 2*p + 167 = 5. Let c = -125 - p. Let h be -4*(-1 - 46/c). Is -2/5 less than h?
True
Let v = 0.4 + -0.9. Let l = v + 0.3. Let i = -0.1 - l. Which is smaller: i or 1/4?
i
Let z = 48.17 - 0.17. Let w = z + -28. Which is greater: w or 0.1?
w
Let x be (-16)/(-24)*(-3)/(-7). Which is smaller: -8 or x?
-8
Let d = -2 - -3. Let f = -41/330 - -1/30. Which is smaller: f or d?
f
Suppose 7598 + 5892 = 5*z. Let o be 5 + -7 + z/1120. Let m = o + -1/112. Are -0.1 and m non-equal?
True
Let r(q) = q - 1. Let x be r(3). Suppose 3*t - x*w = -0*t, 7 = 2*t + w. Let m be t/5 + (-55)/200. Which is greater: 0 or m?
m
Let w(m) = m**3 + 8*m**2 - 8*m + 12. Let u = 16 - 25. Let g be w(u). Suppose -3*p = -5*p + 6. Is g greater than p?
False
Let t = -7 - -8. Let p be 7/(-15) + 1/(-5). Which is smaller: p or t?
p
Let o(l) = l**3 + 4*l**2 + 3. Let t be o(-4). Suppose t*c - 5*h = -h - 10, 3*c + 5 = -h. Which is greater: c or -1/2?
-1/2
Let p be (-24)/(-30)*10/4. Suppose -p*w + 3*w - 21 = 4*z, 0 = 5*z + 25. Which is bigger: w or -1?
w
Let l be 2 + -2 + (-3)/3. Let h = -189/284 + -6/71. Is h at least l?
True
Let p be ((-2)/6)/(1/(-3)). Let y = -1/1203 - 2381/30075. Is y smaller than p?
True
Let q(i) = i**3 - i**2 - i + 1. Let b be q(0). Is -2/13 at least b?
False
Let u be ((3 - 3)/2)/(-1). Suppose -g + 6*g = u. Does g = -2/7?
False
Let a = -604/7 + 86. Which is greater: 33 or a?
33
Let h be 9/5 - 4/(-20). Let d(g) = -4 - 3*g**2 + g**3 + 0 + h*g + 3. Let m be d(2). Is m greater than 1/6?
False
Suppose 4*x - 5*u - 37 = 59, -48 = -2*x - u. Does 22 = x?
False
Let o = 5 + -7. Let a be (-2)/(-3) + (-8)/(-6). Suppose a*s + 7 - 1 = 0. Which is bigger: o 