) - 0. Which is greater: 2/5 or p?
2/5
Let j be (8/10)/((-2)/(-5)). Suppose j*s = s - 36. Let i be 8/s - 2/(-9). Which is greater: i or 1?
1
Let h(l) = -l**3 + 5*l**2 + 5. Let m be h(4). Are 21 and m unequal?
False
Let q = -0.07 - 20.93. Let u = q + 12. Let s = -9.1 - u. Is -1/2 >= s?
False
Let d = -6 + 7. Let b = d + -5. Let c = 4 + b. Which is smaller: 1/10 or c?
c
Let a = 7 - 8. Which is bigger: a or -4?
a
Suppose -5*u = -6*u. Let s(i) = -i**3 + 2*i**2 + 2*i. Let v be s(2). Let j = v + -9/2. Is u <= j?
False
Suppose 2*p = -4*p - 84. Are -14 and p nonequal?
False
Suppose -5*w = -46 - 14. Suppose -4*c + j + 3*j - 12 = 0, 0 = 2*c + 4*j - w. Which is greater: c or 2/11?
2/11
Suppose 0 = 4*l - y - y + 14, 0 = -2*y + 6. Are 0.2 and l non-equal?
True
Let b = 5 - 3. Let o = b + -2.1. Let l = -0.02 - -0.02. Which is bigger: l or o?
l
Suppose b + 9 = 4*b. Suppose b*h = -h - 16. Which is bigger: h or -2?
-2
Let n = -4 - -2. Let z be n/10 - 8/(-10). Is z not equal to 1?
True
Let z(n) = -3*n**3 - 1. Let j be z(-1). Let s be (j - (1 - -1)) + -1. Let y = 0.3 + -0.1. Is s bigger than y?
False
Let u be (-16)/(-24)*6/4. Suppose -4*j + 7*j + 9 = 0. Let d be (j/10)/(12/10). Is u smaller than d?
False
Let k = 9081/2114 + -3/302. Which is smaller: k or 5?
k
Let y be (-3)/12 + 11/60. Let b = y - -19/60. Which is smaller: b or 0.03?
0.03
Let b = 41 - 40. Which is smaller: -2/29 or b?
-2/29
Let a = -6 - -6. Is a equal to -3?
False
Let j(o) = 3*o**2 - 13*o - 12. Let u be j(5). Suppose 4 = -3*x - 5. Which is smaller: x or u?
x
Suppose 5*m = 15, n + 23 = 5*m + 6. Let d = 0 + 1/2. Which is greater: n or d?
d
Let z = -1 - -1. Let r = 1 - z. Suppose 2*g - 3 = -r. Is 2 greater than or equal to g?
True
Let c(f) = f**2 - 4*f - 3. Let r be -1 + 1 - (-1 + -1). Suppose r*i + 0*i - 10 = 0. Let w be c(i). Is 2 less than or equal to w?
True
Let k be (-4)/(-10)*(2 + -7). Suppose -3*o + 10 = -2*n - 6, -3*n = 4*o - 27. Let c(f) = f - 7. Let h be c(o). Is h greater than k?
True
Let m = 0.28 + -0.28. Which is bigger: 9 or m?
9
Let s = 1 - 0.8. Let b be 14/(-28) - ((-26)/12 - -1). Which is bigger: b or s?
b
Let m(b) = -b**2 + 4*b + 7. Let a(u) be the first derivative of -u**2 - 7*u + 1. Let i be a(-6). Let r be m(i). Is 4/7 < r?
True
Let y be 1*((-8)/(-2) + -2). Suppose -y*u + 4*u = -2*v + 314, -5*v - 2*u + 782 = 0. Let n be (-50)/v + 3/18. Which is bigger: 0 or n?
0
Let f = -14 + 6. Which is smaller: f or 2?
f
Suppose 6*v = -5*c + v + 205, -5*v - 155 = -4*c. Let q be 1/(-4) - (-22)/c. Let s = q + 1/30. Is 1 smaller than s?
False
Let w be (2 + -1)/(1/(-13)). Are -14 and w equal?
False
Let f = -4 - -3. Let u be f/(-2)*(1 - -7). Let i be (u - 7) + 0 + 2. Which is bigger: i or 3?
3
Let c be -9*1/(-2 + -1). Let i = 3 - c. Let r = -2.05 - -0.05. Do i and r have different values?
True
Suppose 3*h + 0 = 6. Suppose -2 = h*q - 4. Let k = 8/7 + 5/14. Is q greater than k?
False
Let x(s) = -s**3 - 17*s**2 - 27*s + 46. Let o be x(-15). Let p be 1/2 + 22/(-4). Let b be 4/(-10) + (-1)/p. Which is greater: b or o?
o
Let w = 1 + 0. Let y = -0.04 - -2.74. Let m = -3 + y. Which is bigger: w or m?
w
Let l(m) = m**2 - 14*m + 14. Let o be l(13). Let z be (o - 3)/((-3)/(-12)). Which is greater: -7 or z?
-7
Let q = 0.2 - 0.06. Let f = -0.06 - q. Let s = f + 0. Which is greater: 0.1 or s?
0.1
Suppose 8 = 2*b + 2*b - 2*p, -3*p - 10 = -4*b. Let y be b*(0 - (0 - -2)). Let s be (2 - (-2)/4)*y. Is s < -4?
True
Let i = 0.1 - 0.1. Suppose z + 0 = 1. Is i < z?
True
Let y = -2/129 - 502/903. Let t(p) = 2*p + 1. Let x be t(-1). Is y less than x?
False
Let s = 4477/5 + -899. Which is smaller: -3 or s?
s
Suppose -2*i = -3*u + 6*u + 1, 0 = 5*u - 2*i + 7. Let z be (u + -9)*(-2)/(-4). Is z equal to -4?
False
Let y = -0.2 + -0.6. Let d = 1.8 + y. Let r = -0.99 + d. Do r and 1 have the same value?
False
Let p = 4 - 5. Let y be p/4 + 119/(-4). Let j be ((-4)/8)/(y/8). Is j greater than 0?
True
Let b be 38/10 + 3/15. Suppose r + 3*r - 12 = 0. Which is greater: r or b?
b
Let f be ((-2)/5)/((-2)/10). Suppose -44 = -3*k + 5*i, -f*k + 6 + 2 = 2*i. Let y be (-12)/9*2/k. Which is smaller: y or -0.1?
y
Suppose -5*n = -2*m - 6*n, m - n - 3 = 0. Suppose 8 = -0*w + 4*w. Suppose p + 3*z - 8 = 3*p, 0 = 5*p - 3*z + w. Which is smaller: m or p?
m
Let l be -4*(-1 + 0)/(-1). Let z = l - -3. Let w be (-18)/(-6) + -2 + -2. Is w less than or equal to z?
True
Suppose -r + 4 = -1. Suppose -3*s - 3 = -4*b, 6*s + b = r*s - 1. Which is smaller: s or 1/4?
s
Suppose 3*g + 16 = 7*g. Suppose 0 = 4*s - 3*r - 8, -4 = s - 3*s - g*r. Suppose -2 + 0 = -s*n. Which is bigger: 2 or n?
2
Let t = -0.12 - -2.12. Which is bigger: -0.1 or t?
t
Let b be (0 + 0 + 4)*1/6. Let z = -0.1 - -0.2. Is b < z?
False
Suppose -140 = -5*u + u. Suppose -5 = -2*d - f, 4*f + 0*f + u = 3*d. Let m = 2 - d. Does m = -4?
False
Let g be (3*15/396)/(8/128). Is 1 at least g?
False
Let n = 0.4 - 0.6. Are n and -3/8 equal?
False
Let x = -90/29 + 9328/2987. Are -1 and x non-equal?
True
Let c = -3 - 0. Which is smaller: 2 or c?
c
Suppose 0 = -4*h - g + 83, -h + 29 = -0*h + 3*g. Let o be h/(-6)*(-18)/10. Suppose 11 = 3*j + 2*q, -3*q + q = -2*j - o. Which is smaller: -1 or j?
-1
Suppose f = 2*o + 13, -2*o + 0*f - 3 = f. Let n = -214.3 + 214. Is o bigger than n?
False
Let v = -3/13 - -11/104. Which is smaller: v or 0?
v
Suppose 6*a - a = o + 11, 0 = 3*a - 4*o + 7. Suppose -7*k + 4 = -a*k. Let p = 16 + -63/4. Is p less than k?
True
Let z = -9 - -11.2. Let h = z + -2. Let v = h - 0.1. Which is bigger: v or 0.2?
0.2
Suppose 4*m - 88 = 4*d, -19 = -m - d + 5. Is m at least as big as 24?
False
Let l(j) = j**3 - j - 2. Let g be l(2). Let c be 9/6 + 38/g. Is 12 at most c?
False
Suppose y - 3*a + 2 = 6, 5*a = -2*y + 8. Is y less than or equal to 21/5?
True
Let y = 5.89 - -0.11. Let t = 5.8 - y. Is -1/4 bigger than t?
False
Let l = -2 - 4. Let t be (-3)/6*(l + 0). Is t greater than 5?
False
Let c = -26.99 - -27. Let k = 15 - 14.89. Let o = k - c. Is -0.6 less than o?
True
Let b(y) = -y**2 - 1. Let x be b(2). Let w(j) = j**2 + 19*j - 97. Let l be w(-23). Is x less than or equal to l?
True
Let i be 8/42*((-15)/6 + 1). Let j = 13 - 8. Suppose 0 = -3*u - 2*u - j. Are i and u equal?
False
Suppose 0 = 24*z - 29*z + 30. Does z = 5?
False
Suppose 0 = m - 2*w + 17, w = -m + 2*m + 12. Are m and -9 unequal?
True
Suppose g - 3 = 2*n, -3*g = -3 - 6. Do 1/18 and n have different values?
True
Let y = 63/572 - 1/52. Does -1 = y?
False
Let t be 2/(-5) - 340/(-975). Which is greater: 1 or t?
1
Suppose -2*j + 2 = s, 2*s + 3*s - 4*j = 24. Let c be s/30*(5 + 1). Is c equal to 1?
False
Let n(z) = -z**3 - 8*z**2 + z + 10. Let r be n(-8). Suppose 0 = -7*i + 5*i - r. Is i < -1/29?
True
Suppose 7*v - 2*v = 5. Let q be 2 + (0/1 - 0). Which is bigger: v or q?
q
Suppose -3*y + 2*y = 5*g - 3, -3*g + 13 = 2*y. Which is greater: y or 5?
y
Suppose 0 = 25*r - 28*r. Is 1/26 > r?
True
Let v be -4 + 0 - (-24)/8. Which is bigger: v or -4?
v
Let f = -21061/52 + 405. Let l = f + 55/156. Which is smaller: 1 or l?
l
Let c be 106/4 - (-5 - -3). Let i = -28 + c. Let s be 49/28 - 1/(-4). Are i and s unequal?
True
Let x be 20/(-2) - 2*-1. Let t = -10 + 1. Is t at most as big as x?
True
Let z = -98 - -148. Suppose 0 = -3*o - 2*o - z. Let n be (-1)/(-6) + o/(-12). Is n bigger than 1?
False
Suppose -15 + 25 = 2*a. Suppose 5*i - d = d + 21, -20 = -2*i - 5*d. Are a and i nonequal?
False
Let f be (46/(-8) + -1)*1328/249. Is -37 not equal to f?
True
Suppose -4*r = 3*m - 9, -3*m - 1 = 2. Suppose -r = p + 1. Which is smaller: p or -3?
p
Let s = 0.96 - 1. Let p = s - 0.06. Which is smaller: p or -2?
-2
Let s be (-21)/(-55) + 3/(-15). Which is smaller: 0.1 or s?
0.1
Let v = 0.13 - 0.02. Let k = v + -0.05. Do k and 0.1 have the same value?
False
Let g = 3076/3 - 1035. Which is bigger: g or -11?
g
Let p be (12/(-56))/(3/4). Which is smaller: 5/2 or p?
p
Let m be (-1)/(-2) - (-10)/(-4). Suppose 2*b = 2*u - 12, 2*u - 1 = 3. Let l be 1*b/((-12)/(-9)). Which is smaller: l or m?
l
Suppose -4*f + 40 = f. Let d = f - 8. Which is bigger: -3 or d?
d
Let a(i) = -i**3 - 2*i**2 - i - 4. Suppose -8*l = 2*j - 3*l + 31, -4*j - 2*l - 22 = 0. Let m be a(j). Let u be (-2)/(-56) + 2/m. Is u bigger than 4?
False
Suppose 7*v = 3*v - 8. Is v less than -7/4?
True
Let m = 0.3 - 0.4. Su