 180. Is 39 > p?
False
Let z = 0.1 - 5.1. Let j = 4.9 + z. Does j = -3/4?
False
Let f = 2 - 2. Let v = f - -0.05. Let m = -0.15 + v. Which is greater: 5 or m?
5
Let m = 2 + 3. Suppose 2*y = y - j, j = m*y - 30. Let n be (2/30)/(y/30). Which is smaller: 0.3 or n?
0.3
Suppose 0 = 5*g - 8*g - 6. Let k be (-15)/18 + (-1)/g. Let y = 308 - 3390/11. Which is greater: y or k?
y
Suppose 0 = 6*g - g - 35. Let o = g + -4. Let x(v) = v**2 - 1. Let l be x(-2). Do o and l have the same value?
True
Let f = -21 - -83/4. Is f > -15?
True
Let s be 3 - (2 + 0 - 6). Let u = 20/3 - s. Which is smaller: 0 or u?
u
Suppose -1 = 3*l - 13. Suppose 3 = -7*q + l*q. Which is greater: q or -0.3?
-0.3
Let w = -0.02 + 0.04. Let f = -0.18 - w. Which is smaller: 1/4 or f?
f
Suppose -o + 5*r = -4, -3*o - 16 = -7*o - 5*r. Suppose 4 = o*v + x + 3*x, -5*v + 3*x - 3 = 0. Let g be 4/2 + -2 - v. Is -1 smaller than g?
True
Suppose -5*q = 0, -5*f + 5*q + 10 = 25. Let t = f - -1. Is -2 at least as big as t?
True
Let s = -28 + 30.6. Let x = 0.6 - s. Which is smaller: 7 or x?
x
Let q be 17 + -1 + (3 - 5). Let v = 29 - q. Is v at least as big as 15?
True
Suppose -5*r = o - 11, -5*o + 4 + 1 = 0. Let c be (8/50)/(r/5). Let v = 462 - 8780/19. Is c at most v?
False
Let x = 3/2 - 5/6. Which is greater: x or 5?
5
Let j = 14 + -12. Is j >= 2?
True
Let k(p) = -8*p - 12. Let o be k(-8). Let b = 112 - o. Let q be 1/2 - 22/b. Which is bigger: 1 or q?
1
Suppose -2*p = p - 9. Suppose -4*b + p = -b. Which is bigger: b or 3/4?
b
Let s(g) = -2 + g + 0*g + 0. Let h be s(3). Let x be -1*(2 - (h + -2)). Is x > -2?
False
Let i be 3*8/60 + 74/(-60). Is -1 less than i?
True
Let j = 27 + -47. Let g = -25 - j. Is -7 != g?
True
Let x(w) = 4*w + 13. Let k be x(-8). Let m = -23 - k. Let f = -12 + 8. Do m and f have different values?
False
Suppose -4*o - 17 = 3*y, 5*y - 5*o + 10*o = -20. Let c(m) = m - 3. Let d be c(7). Suppose -y - 3 = -d*g. Which is smaller: g or 2?
g
Suppose 3*u + 0*b = 4*b + 73, -20 = -u - 3*b. Which is smaller: u or 24?
u
Let v = 17998/9 - 2012. Let l = -568/45 - v. Let r = 3 + -3. Is r > l?
True
Let s = 21 + -22. Is s smaller than 1/6?
True
Let j be (1/14)/((-3)/6). Let s = -0.6 - 5.4. Let t = s + 6. Which is smaller: t or j?
j
Let g = -50 + 48. Let a = 0.3 + -0.2. Let j = a - 0.3. Which is smaller: g or j?
g
Let u = 702/5947 + -4/313. Which is bigger: u or 1?
1
Let d = -10.2 - -2.2. Which is smaller: d or -0.2?
d
Suppose -5*i + 247 = k, -2*k + 6*k = i + 904. Let t = k + -2949/13. Is -1 equal to t?
False
Let x = 7/65 + -431/2795. Are 0 and x non-equal?
True
Suppose -5*v - j + 0*j + 9 = 0, -v = -2*j + 7. Let t = v + -4. Which is smaller: t or -1?
t
Let a(u) = -u**2 + 3*u + 1. Let c be a(4). Let k(j) = -j**3 - 3*j**2 - 4*j - 3. Let p be k(c). Let v be (-9)/(-6)*12/p. Which is smaller: 0.2 or v?
0.2
Suppose 0 = l + 5*p - 0 + 4, -4*p = 4*l. Does -1 = l?
False
Suppose -u + 7*l - 3 = 3*l, -2*u = l + 51. Let n = 42 + u. Which is smaller: n or 20?
n
Let g be 4/(-22) + 48/22. Suppose 0 = -0*f + f - g, -f + 1 = c. Which is smaller: -1/5 or c?
c
Suppose -a + 2*p = -8, -5*a + 5*p + 31 - 1 = 0. Which is smaller: 3 or a?
3
Let k be (5/10)/(1/10). Suppose -b = -k*b. Let h be (1 - -1)/(2 - 29). Do h and b have different values?
True
Let w = -0.65 + 0.55. Is w bigger than 0.17?
False
Let r = -2/107 + -99/428. Is 19 >= r?
True
Suppose 5 = b - 2*f + 14, 5*b + f + 89 = 0. Which is smaller: b or -16?
b
Let z be 1/(-1 - 1 - -1). Let y(h) = h - 5. Let x be y(8). Let v be (2/x)/(6/(-2)). Is z not equal to v?
True
Let r be -3*(-1)/((-9)/(-21)). Suppose -2 = 5*s - r. Is s not equal to 2/27?
True
Let o be 12*-2*(-3)/(-9). Suppose 2*x = 4*x + 16. Is x >= o?
True
Let x = 0.31 - -2.89. Let f = 3.7 + -0.7. Let o = x - f. Which is smaller: o or 0?
0
Let n(r) = -r**3 + 4*r**2 - 2*r - 2. Let q be n(2). Suppose -q*j + 0*j + 10 = 2*o, 4*j - 20 = -3*o. Let m be 5/((-10)/4) + o. Is -3 bigger than m?
False
Let v be (2 - -3)/(4/4). Is v >= 7/2?
True
Let s = 4 - 3. Let l be ((-2)/(-2) - s) + 1. Suppose 3*a + 1 = 4. Does a = l?
True
Let n be ((-3)/4)/(5/(-170)). Let u = -25 + n. Is 0 at most as big as u?
True
Suppose 0*t = 6*t + 306. Is t > -52?
True
Suppose -4 = -j + 1. Suppose j*s - 14 = 3*w, -3*s - 6 = 4*w - w. Let d be (-8)/(-20)*10/s. Are 4 and d unequal?
False
Let m = -0.2 - -0.3. Let i = -0.06 - -0.1. Which is bigger: i or m?
m
Let u = 6 + -7. Let t = u + 2. Are -2/7 and t unequal?
True
Let n be 60/45*3/6*13. Which is greater: 9 or n?
9
Let x = -15 + 21. Let o(l) = l**2 - 5*l + 5. Let b be o(5). Suppose -b*u + x*u = 0. Which is smaller: 2/15 or u?
u
Let w(c) = -c**2 + 6*c + 4. Let t be w(6). Let n(u) = -u - 1. Let l be n(-4). Suppose -2*s - 12 = -t*i - 0*i, l*s - 9 = -3*i. Is 3 < i?
False
Suppose 15 = 4*l + l. Let p be (2/(-3))/(2/l). Suppose -y + 4*g = 2*y - 2, g + 12 = -5*y. Is y greater than or equal to p?
False
Let s be 3/6*(-2 + 0). Which is bigger: -7/9 or s?
-7/9
Suppose -3 = f - 4. Which is bigger: f or -2/95?
f
Let u be (-27)/(-33)*422/(-15). Let b = u - -116/5. Let d be (1 + 1)*(-2)/(-4). Which is greater: d or b?
d
Let w = -9 - -15. Suppose 5*r = w*r - 1. Which is smaller: -3 or r?
-3
Let y = -364 - -364. Suppose 5*a + 18 = 3*a. Is a less than y?
True
Let v = 0.04 + 0.96. Which is smaller: 2 or v?
v
Let g = 16 - 5. Let q = 12 - g. Which is smaller: q or 2/23?
2/23
Let c = -0.081 + 7.981. Let s = 2.1 + c. Let z = -9 + s. Is z smaller than -1?
False
Suppose -3*q = 2*g - 12, 0*q + 24 = 4*g + 3*q. Let r be (-30)/4*(-4)/g. Suppose -5*f + 4*k = k + 9, -r*f + 4*k = 7. Are f and -3 non-equal?
False
Let n = -40.9 - -33.83. Let g = n - -0.07. Let p = -5 - g. Is p at least as big as 1/2?
True
Let n be (4 - 9)/(-55)*-2. Let o be -3*(7/3 - -1). Let s be o/(-8)*-2 - -2. Is n at most s?
False
Let n(s) = -s**2 + 4*s - 3. Let v be n(3). Let j be (1 - (-12)/(-16))*4. Is v <= j?
True
Let a = -5 + 2. Let z be (-2)/a*6/10. Is z less than or equal to -1?
False
Suppose 3*m - m = 12. Let r be (-1 + 3)*(-3)/m. Which is smaller: 1/5 or r?
r
Let l be 0 + 0 + 2218/22. Let j = l - 101. Which is greater: 0 or j?
0
Suppose 4*u + 0 - 8 = -3*l, -3*u = 3*l - 6. Is u greater than or equal to 1?
True
Suppose 2*l + 3 - 5 = 0. Which is greater: -4 or l?
l
Let m be 43/66 - 10/(-55). Suppose 2*j - 10 = -5*b + 4*b, -3*j = 3*b - 15. Are m and b equal?
False
Let n(p) = p**2 + 9*p - 15. Let q be n(-11). Suppose 3*s - 4 = q*s. Let f(t) = -t**2 - t + 3. Let r be f(-3). Is s >= r?
True
Suppose -3*b = -2*b - 4*w - 23, -b + 17 = -w. Let t(x) = -x**3 + 2*x**2 + 3*x - 3. Let l be t(2). Suppose -b = -5*h + 2*h, -26 = -l*a - 4*h. Does 4 = a?
False
Let u be 3/4 - 11/4. Let j = -41 - -79/2. Which is smaller: u or j?
u
Let a = 76 - 75.99. Is 2 at most as big as a?
False
Let m(s) be the third derivative of -s**4/24 - 2*s**3/3 - 3*s**2. Let y be m(-5). Which is bigger: 1/2 or y?
y
Let x be ((-28)/27)/(-5 - 169/(-39)). Let p = 0 + 1. Does p = x?
False
Suppose 4*y = -y. Let j = -8 + 26/3. Is j at least as big as y?
True
Let z(n) = 11*n - 16*n + n. Let t be z(-3). Which is greater: 13 or t?
13
Let c = 3 + 3. Let h be (-3)/c*(2 - 4). Let k be 0 + 0 + (-2)/10. Do h and k have the same value?
False
Let d(l) = -3 - 2 + 3*l + 0*l - l**2 + 2*l**2. Suppose -4*h = 4*u + 32, -u - u = -4*h - 8. Let x be d(u). Is -1 <= x?
True
Let k = -3/10 - -1/20. Suppose -3*t = 2*o + o + 12, -2*o + 3*t + 2 = 0. Let v be (-5)/10*(0 - o). Which is bigger: k or v?
k
Let i = 442/327 - 2/109. Are 2 and i equal?
False
Let p be ((-3)/(-2))/(2/(-8)). Let x be (-5)/p*-2*-3. Suppose 3*y + 0*h + 12 = 3*h, 26 = y + x*h. Is -1 at least as big as y?
False
Let c be -1*((-14)/6 + (-4)/6). Which is greater: c or 18/7?
c
Let g = 687 + -15805/23. Are g and 0 equal?
False
Suppose 5*l = 2 + 13. Is l greater than 13/5?
True
Let s(d) = -d**3 + 12*d**2 - 10*d - 12. Let k be s(11). Let h be (k - -1)/(-1 - -3). Which is smaller: h or 1/6?
h
Let a = -0.44 - -0.22. Let m = a + 0.25. Which is bigger: m or 1?
1
Suppose 4*j - 2*p - 36 = -6*p, 4*j - 39 = -3*p. Suppose j = -2*u + 5*u. Let y(x) = -x**3 + 4*x**2. Let f be y(u). Which is bigger: f or -1/5?
f
Suppose -4*d + 6 = 2*p, 0 = -2*d + p - 3. Let o = -49/3 + 193/12. Which is smaller: o or d?
o
Let p be (-2)/(-2) + 40/(-16). Which is smaller: -1 or p?
p
Let x be 50/136 - 2/8. 