p or s?
s
Let a(q) = -q + 1. Let d be a(3). Let x(l) = l + 3. Suppose 7*w + 20 = 2*w. Let p be x(w). Does d = p?
False
Let p be 6 + -1 + (2 - 1). Suppose 3*o + 0*o - p = 0. Are o and 2 nonequal?
False
Let w(d) = d**2 + 6*d + 6. Let s be w(-4). Let q = -9 - -7. Let b = s - q. Which is greater: -1/6 or b?
b
Let u be 5 + -7 - 2*-2. Suppose -10 = -3*k - u*v, -2*k - 3*v - 3 = -8. Suppose 2*t = -0 - k. Is t != -3/2?
True
Let g be 1/2 + 3338/28. Let d = g - 120. Suppose -y + 1 = -s, -6*s = -3*s. Is d not equal to y?
True
Let p = -28 + 27.5. Suppose 4*d + 0*d = 0. Which is smaller: p or d?
p
Let o be ((-3)/14)/(30/50). Is o at least as big as 1?
False
Let d be 1/(-3) + 10/(-6). Let a = -1.31 + 0.23. Let x = 0.08 + a. Which is smaller: d or x?
d
Let h be (-6 + 1)*(-4)/(-10). Let w be (1/6)/(((-15)/(-5))/(-12)). Is h > w?
False
Let j = 967/14 + -137/2. Is 2 at least j?
True
Suppose -2*d + 4 = -0*d. Suppose d = 5*o - 3. Let c(p) = -p**2 + 4*p - 3. Let a be c(2). Is a >= o?
True
Let n be (-1 - 6/(-8))*2. Let w = -0.1 + 0.2. Which is smaller: n or w?
n
Let h be (-3)/45*(-2)/(-1). Let w = -14.1 - -14. Which is smaller: h or w?
h
Let d = -2 + 7. Let j be d/(-2) + 5 + -3. Which is greater: j or 7?
7
Let d = 0 - 2. Let k = 0 - d. Suppose k*s = 7*s - 5. Is s less than or equal to -1/9?
False
Suppose -36 = 2*v + 3*d - 12, -5*d = 4*v + 44. Let h be (-18)/12*(-40)/v. Is 1 less than or equal to h?
False
Let x(o) = -2*o**3 - 13*o**2 + 3*o**3 + 11*o + 1 + 2 + 0. Let n be x(12). Which is bigger: n or -10?
n
Let h be (1/3)/((-1)/(-15)*5). Which is smaller: -2/43 or h?
-2/43
Suppose 2*z - 1 = 3. Is z smaller than 1?
False
Suppose -p = g + 3, 3*p + 15 = -g + 2. Suppose 3 = 5*c - g. Let w be 2/2 + -2 + c. Which is smaller: 2 or w?
w
Let q(t) = -t**2 + 5*t + 4. Let r be q(5). Suppose -2*v - 4*c = 16, 3*c = -3*v - 2 - 7. Let s be (4/r)/(1/v). Is 2 smaller than s?
False
Suppose -5*b = 2*c + 2*c + 10, -5*b - 10 = 0. Let y(m) = m + 0*m**2 - 4*m**2 + 3*m**2 - 2. Let v be y(c). Which is bigger: -1 or v?
-1
Suppose -4*m + 10 = 3*t, -3*m + 5*t = -8*m + 15. Suppose 0 = 4*x - 7 - m. Suppose x*u - 5 = 7*u. Which is greater: u or 1/3?
1/3
Let m(k) = -2*k - 1. Let d be m(-2). Suppose 3*c = 3*j - 8 - 1, -d*j = -5*c + 1. Suppose j = 4*z - 8. Which is smaller: z or 3?
3
Let l(f) = f**3 - 8*f**2 + 9*f - 9. Let a be l(7). Suppose -16 = -a*r - 5*y + 29, 95 = 5*r - 5*y. Which is smaller: r or 15?
r
Suppose q - 2*b = -13, 3*q - 7*q = -3*b + 27. Let n be (-17)/(-6)*9/(-6). Which is smaller: q or n?
n
Let u(i) = i**3 + i**2 - i - 6. Let f be u(0). Let k be (2/1)/((-1)/f). Which is greater: k or 11?
k
Let a = -43 + 38. Which is smaller: a or 0.1?
a
Let b(x) = -4*x + 8 + 4 + 0 + 3*x. Let h be b(10). Suppose 2*a - h = -n - 10, -5*a - 20 = 0. Is 3/10 at most as big as n?
False
Suppose 4*p + 41 = 2*z - 3*z, -z - 5 = 0. Let t = -12 - p. Is t less than -2?
True
Let g = -63.9 + 64. Let q = -0.2 - 0.1. Are q and g nonequal?
True
Let k = -111.934 - -112. Is k at most 1?
True
Let y = -2.1 - -1.98. Let v = y + 0.02. Which is bigger: 2 or v?
2
Let c be 2/(-3) - 0/2. Suppose 0*z + 2*z = 3*z. Is z > c?
True
Suppose -8 + 2 = -2*l. Let f(b) = -b + 8. Let v(s) = -s**2 + 5*s - 1. Let z be v(3). Let x be f(z). Is l greater than x?
False
Suppose 8*x = 3*x. Let a be (-1 - 2 - x) + 6. Let y be a/((-9)/2) - -1. Do y and 0 have different values?
True
Let u = -8 + 6.5. Let o = 7.5 - u. Let h = -9 + o. Which is smaller: h or -1?
-1
Suppose 0 = f + 3*f + 196. Let v be (62*(-9)/(-12))/(-1). Let o = f - v. Which is smaller: -4 or o?
-4
Let d = 9 + -14. Let g = -4.9 - d. Let o = 0.1 - 0.1. Which is greater: o or g?
g
Let j = -0.4 - 0.6. Which is bigger: 0.007 or j?
0.007
Let h = 428 + -419.98. Let x = h - 8. Let y = x - 1.02. Which is bigger: y or 0.1?
0.1
Let n be -79*(-2 - (-2 - -1)). Let f = n - 239/3. Which is smaller: f or -1?
-1
Let i(d) = -d**2 - 6*d - 6. Let a be i(-5). Let n = 73/265 + -4/53. Is a at most as big as n?
True
Let g(c) = -1 - c + 3 - 9. Let r be g(-8). Let w be 1*3/(-9)*r. Is w less than or equal to 2/9?
True
Suppose -l + 1 = -3. Suppose 0 = -l*w + 3*v - 17, 4*w - 2*v + 7 = -15. Is w less than -8?
False
Let f = -0.265 + 20.365. Let s = f - 20. Which is smaller: s or -2/19?
-2/19
Suppose 0 = n + n. Suppose -r + 3*r - 6 = n. Suppose 0 = h + 3*j - 10, 9 = r*j - 0. Is h smaller than 1?
False
Let v = 2 - 2.5. Let i = v + 0.4. Which is smaller: 0.4 or i?
i
Let y = -119/2 - -61. Suppose -2*o - k + 2 = 0, o - 4*k - 25 = -2*o. Suppose 2*v - o*d - 21 = 0, -2*v + 4*v = 5*d + 31. Which is bigger: v or y?
v
Let t(w) = 2*w - 23. Let x be t(11). Do -6/23 and x have different values?
True
Let s = -0.3 - -1.3. Let v = s + 2. Let m = v + -3.4. Is 1 less than m?
False
Let v be (-4)/(-3) - 4/(-6). Let c be 3*(8/(-6) + v). Let j be 2/(-4)*(2 + -2). Which is smaller: j or c?
j
Suppose 4*c + 161 = 11*c. Is 25 smaller than c?
False
Let t = 59 + -62. Which is smaller: -2/3 or t?
t
Suppose -5*g = -f + 37, f + 4*g - 5*g = 53. Is f at least 57?
True
Let m be 32/(-6) + (-1)/(-3). Let d be ((-4)/m)/(2/5). Is 0.1 bigger than d?
False
Let m(j) = 3*j - 3*j - 16 + j. Let o be m(12). Does -5 = o?
False
Suppose -3*o = 5*h + 8 + 6, 2*h + o = -5. Is h greater than 2/63?
False
Let b(z) = z**2 + 6*z + 4. Let m be b(-4). Let j be (-10)/12 - m/12. Do 0 and j have the same value?
False
Suppose 0 = q + 5*y - 2 + 22, -2*y - 15 = -q. Suppose 4*r - b + q*b = -4, -3*r = 4*b + 4. Which is greater: 1 or r?
1
Let c be (-2 + (-145)/(-70))/(14/(-4)). Is 1 <= c?
False
Suppose -d - 1 + 14 = 0. Suppose d = 3*j - 5. Are 6 and j non-equal?
False
Suppose 3*r = 4*r - 14. Suppose -4*u = -r - 10. Let m be -2*(u/4 - 1). Which is bigger: -1/5 or m?
-1/5
Let y = -37 - -25. Let k be y/8*8/114. Which is smaller: k or 1?
k
Let w be 1 + 1 + (8 - 5). Let q be 4/8*(-1 + w). Which is greater: 0 or q?
q
Let a be (-8)/6*21/14. Let d = -7 - -10. Which is smaller: a or d?
a
Suppose 3*h - 8*h = -2*t + 7, 4*t - 3*h = 7. Which is greater: t or 0?
t
Let z = -24 + 24.9. Which is smaller: 2 or z?
z
Suppose 4*k = k. Let a(u) = u**3 + 10*u**2 + u + 7. Let b be a(-10). Let p = -13/5 - b. Are p and k non-equal?
True
Suppose 6*j = 3*j - 6. Let r be 14/8 + j/1. Which is bigger: 0 or r?
0
Let x be 4 + (6750/(-388))/5. Let s be (-1)/(97*1/(-2)). Let z = s - x. Is -0.1 equal to z?
False
Let a(u) = -u**3 + 20*u**2 - 19*u + 3. Let m be a(19). Which is smaller: m or 5?
m
Let w(m) = 3*m - 23. Let k be w(11). Is 10 smaller than k?
False
Let j = 0.1 - 0.2. Let x = -9 - 0. Let d = -11 - x. Are j and d non-equal?
True
Let r be (-2 - -3) + 2 + 2. Suppose 2*d - 7*d = 4*m, r*d - 3*m = 35. Suppose -2*j - 2*o + d*o - 12 = 0, 3*o = -5*j + 10. Is j not equal to -3/5?
True
Let h = 100/3 + -706/21. Suppose 0 = -7*p + 2*p - 5. Which is smaller: h or p?
p
Let x(t) = 0*t**3 + t + 1 - 2*t**3 - 7*t**2 + 4. Let y be x(-5). Let s be (10/y)/(2/(-10)). Which is bigger: s or -2?
s
Let l = 19922/23 + -866. Which is greater: l or -1?
l
Let w = 0.08 - 0.02. Let x = w - 3.06. Let i = x - -2.9. Is i equal to 0.1?
False
Let c be (186/3906)/((1/3)/(-1)). Let z = -0.1 + 0.1. Which is smaller: c or z?
c
Let j = 1432/13 - 110. Suppose -4*r - r + 15 = 0. Let n(b) = -b + 2. Let u be n(r). Is j bigger than u?
True
Let k(y) = y + 7. Let x be (1 - 0)/((-1)/(-6)). Let l be k(x). Suppose l = -2*v - 5*m, v + 3 = -m + 1. Is v <= 3?
True
Let u = 32 + -33. Which is smaller: -6/11 or u?
u
Let u be (-9)/48*(-20)/15. Which is greater: 9 or u?
9
Let j(z) = z**3 - 5*z**2 + 3*z + 3. Let m(u) = -u + 10. Let v be m(11). Let f be ((-2)/6)/(v/9). Let w be j(f). Which is greater: w or -4?
-4
Suppose g + 3*g - 8 = 0. Suppose -2*p = g*p + 8. Let n be (p/60)/(4/(-16)). Do 2/5 and n have different values?
True
Let f be (3 - -1)*(-6)/(-8). Let t be (9/f)/(9/6). Which is smaller: t or -0.1?
-0.1
Suppose -5*v + 4*v + 13 = 0. Suppose -v + 3 = 5*o. Let z be (0 - 2/2)/1. Are z and o unequal?
True
Suppose 0 = 4*t + 2*x + 6, -23 = t + 5*x + 1. Are t and -1 equal?
False
Let u = -50 - -89. Is 39 equal to u?
True
Let l(r) = -r**3 + 3*r**2 - r + 2. Let o be l(3). Let u(v) = 2*v**2 - v. Let d be u(o). Let y be ((-1)/(-2))/(2 - d). Is y at least -0.1?
False
Let f(k) = 2*k - 5. Let x be f(4). Suppose -5*t = -2*t - 9. Suppose -t*m - 4*s = -31, 2*m = m - 3*s + 17. Is