 as f?
True
Let z(o) = o + 4. Let k be z(-5). Which is smaller: -3/8 or k?
k
Let n(d) = -d - 8. Let y be n(-8). Is -1/17 != y?
True
Let h = -89.1 - -88. Which is greater: 0.06 or h?
0.06
Suppose 15 = d - 9. Is 20 smaller than d?
True
Let f be (284/10)/(18/(-75)*-5). Are 25 and f nonequal?
True
Suppose -1 - 3 = 2*h. Let x = h - -5. Are -1 and x unequal?
True
Suppose -2*i + 6 = -0. Suppose 0 = -i*q - 2*q. Is q at most 1/15?
True
Let d be 66/44 + (-590)/388. Are 1 and d non-equal?
True
Let l(t) = -4*t + 7*t + 2*t - 3 - 4*t. Let m be l(3). Which is greater: -4/11 or m?
m
Let q = 0.27 + -13.37. Let h = q - -13. Do h and 0.1 have the same value?
False
Let d be -14*(-14)/(-52) + 4. Is d < -0.1?
False
Let s(y) = y**2 + 3*y + 3. Suppose -5*v - 12 - 3 = 0. Let o be s(v). Suppose -5*n = 4*w - 6*n - 9, -1 = w + o*n. Which is smaller: w or 0?
0
Let f = -23 - -9. Is f >= 0.1?
False
Suppose s - 6 = 4. Let z be s/25 + 3/(-20). Which is smaller: z or 0?
0
Suppose 2*j = 4*u + 2 + 12, j + u + 2 = 0. Let o = -8 + 15. Let v(m) = m**2 - 6*m - 5. Let d be v(o). Which is greater: d or j?
d
Let i = -0.3 - 0.7. Let f(y) = -y**2 + 6*y + 6. Let m be f(7). Is i at least m?
True
Let u(n) = -n**3 + 6*n**2 - n + 7. Let b be u(6). Let o be -3 + 1 + 5 + -3. Let q = o - b. Which is greater: q or -1/10?
-1/10
Suppose 2*k = -5*p + 26, 0 = -0*p - 4*p + 3*k + 7. Suppose -6 = p*d + 10. Let s be (5/(-2))/(-2 - -3). Is d not equal to s?
True
Suppose 0*w - w + 22 = -2*v, -8 = 4*w. Let s be ((-4)/(-12))/((-1)/v). Is s at least as big as 4?
True
Let s = 0.3 + -0.5. Let q = 3/382 - 779/147834. Let v = 85/387 + q. Is v smaller than s?
False
Suppose -4*x + 5*g = 89, 4*g - 109 = x + 4*x. Is -21 not equal to x?
False
Let u = 0.29 + -0.3. Let b = -2 + 1.91. Let o = u + b. Which is smaller: -4 or o?
-4
Suppose 0 = -s + 3*s - 18. Let r = s - 14. Which is smaller: r or -4?
r
Let p = 740/1743 + 1/249. Which is smaller: 1 or p?
p
Suppose -28 + 3 = -5*u + f, 4*u + 4*f - 44 = 0. Let p be (-4)/u + (-184)/(-267). Let r = p + 259/356. Which is bigger: 2 or r?
2
Let w be 2 - (0 - (-7)/3). Let o = 23 - 32. Let u = o + 12. Which is smaller: w or u?
w
Suppose -o + 3*o = 60. Let u be -2*(-1 + o/4). Does -13 = u?
True
Suppose -5 = 5*w - 3*d, -4 = -d + 1. Suppose -2*q - w*q = 0. Let o be 0/(4/(-1)) + -1 + 0. Is o less than or equal to q?
True
Suppose 2*y - 5 = -1. Suppose y = -2*d + 4. Let w = -27/65 - -8/13. Which is greater: d or w?
d
Let b = 6.6 - 2.84. Let y = b - -0.14. Let t = -4 + y. Is t smaller than -3/5?
False
Let h be 12/(-10)*30/(-12). Let s(g) = g**3 - 5*g**2 + 4. Let d be s(5). Which is smaller: d or h?
h
Let j(h) = -h**2 - 5*h + 1. Let l be j(-5). Let r be ((-8)/10)/(l/(-5)). Suppose 2*u - r = 4*u. Are u and -4/3 equal?
False
Let x be 1/(-252)*2*4. Let l be ((-179)/(-189))/((-5)/(-3)). Let w = l - x. Which is bigger: 1 or w?
1
Let u = -0.1 - 0. Let o = -2.6 - 0.4. Is o > u?
False
Let k(o) = -o**2 + 5*o + 3. Let p be k(5). Suppose -p*h = -8*h. Which is smaller: 4/7 or h?
h
Suppose 0 = -4*x - 0*x. Let k = x + 2. Is 2 > k?
False
Let l(x) be the third derivative of -x**5/30 + x**3/6 - x**2. Let k be l(1). Is 1/3 greater than k?
True
Let y = 1/7636 - 91667/267260. Let m = y - -37/35. Are m and 1 nonequal?
True
Let i be 282 - (3 + -2)/(-1). Let w = 396 - i. Let l = w + -793/7. Is l at most as big as -2/17?
True
Let g(l) = -l**3 + 2*l**2 + 2*l - 3. Let v be g(2). Is 5/7 smaller than v?
True
Let q = 0 - -2. Let y = 146 - 1292/9. Let i = -8/3 + y. Is i less than q?
True
Let s(v) = 2*v**2 + 2*v - 1. Let g be s(-2). Suppose -3*m + 10 = -2. Let y(d) = d**2 - 5*d + 6. Let t be y(m). Which is bigger: t or g?
g
Suppose 4*g + 35 = 5*u, 2*u + 0*u + 14 = -4*g. Suppose s - 6*s = -4*c - 8, -6 = u*c. Which is greater: -5/6 or s?
s
Let l be 3/((-6)/(-2)) + 1. Suppose 12 = -0*q - l*q. Let g = q + 23/4. Which is bigger: 3 or g?
3
Suppose -3*v - 2*i = -13, 5*v + 5*i - 3*i - 23 = 0. Suppose f - 3*q = q + 15, f = -v*q - 12. Let d be f/(-2)*(-4)/21. Which is greater: d or 1?
1
Let m = -17 - -17. Which is smaller: -4 or m?
-4
Let h = -5 - -5. Is 1/3 >= h?
True
Let q = -10 - -8. Is q != -5/7?
True
Suppose 2*a - 9 = -3*t, t = -0*a - 3*a + 3. Let s(r) = 3*r - 4. Let h be s(t). Suppose 7*m + 10 = h*m + 4*n, 0 = 3*m + 3*n - 3. Is 1/8 >= m?
True
Suppose 12*h = 14*h - 2. Which is bigger: h or 1/44?
h
Let b be 4*(0 - (-2)/4). Suppose b*t = t - 15. Let c be (-15)/(-6)*4/t. Which is smaller: -2 or c?
-2
Let k = -17.93 - -18. Which is smaller: k or -2?
-2
Let t = -2/19 + -47/95. Suppose 2 = -3*n - 5*g - 16, 5*n - 3*g - 4 = 0. Which is bigger: n or t?
t
Let a = 87.4 + -107. Let g = a + 23. Let b = -3 + g. Is b >= 0.1?
True
Suppose 11 = -4*i + 31. Suppose 16 = -3*h + 5*r, 4*r - 5 = i*h - 0. Suppose -4*x - 1 = h*u, -6*x + 2*x = 4*u. Is u < -0.1?
False
Let i = 0.6 + -1. Let r = i - -0.3. Let q = -0.064 + -0.936. Is q at least r?
False
Let h be (-6)/(-42)*0 - (-21)/4. Which is smaller: h or 4?
4
Suppose -5*v + 3 = -4*q - 2, -4*q = -4*v + 4. Suppose 2*j = 3*j - 3*f - 3, -3*f - 12 = 0. Let k be j/60*2/3. Which is smaller: q or k?
k
Let z = 12.1 + -10. Let t = z + -2. Does t = -2/9?
False
Suppose -5*a + 6 = -2*a. Suppose 0*v + a*v = 12. Are 6 and v equal?
True
Let c = 6 + -1. Let v be (1/(-3))/(1/(-3)). Let q be 2 - (c - (v + 0)). Is -3 <= q?
True
Suppose 3*c = 1 - 25. Are c and -6 unequal?
True
Let a be ((-2)/2 + 2)/(-1). Let u(q) = -q**2 + 14*q - 8. Let p be u(13). Let f = -5 + p. Which is greater: a or f?
f
Let j(h) = h**2 + 9*h + 1. Let r be j(-9). Let z be (-11 - (r - 2))/1. Let t = z + 14. Is 4 at least as big as t?
True
Let m = -0.09 - 4.91. Let k = m + 10. Which is smaller: k or 0.1?
0.1
Suppose -3*n = -4*n. Suppose n*q = -q. Is q bigger than 2?
False
Let v be -2*(-1 + (-10)/(-16)). Let l = 3/20 - v. Which is smaller: -0.1 or l?
l
Let l = 2.1 - 2.08. Which is smaller: -0.1 or l?
-0.1
Let h(m) = -m**3 + 13*m**2 + 13*m + 20. Let b be h(14). Which is greater: 7 or b?
7
Let u = 52 - 209/4. Is u greater than -6?
True
Let s be 1/((6/10)/3). Suppose -y - 5*a = -4*y + 31, s*y - a - 15 = 0. Let k = y + -3. Which is smaller: 2/5 or k?
k
Let p be 12/(-24) - 42/(-4). Is 0.2 bigger than p?
False
Let h be (-16)/(-80)*5*1. Let u be 2 - 5/(75/36). Which is bigger: h or u?
h
Let y be (-16)/(-4)*2/4. Let d be 4/2 - (-56)/(-40). Is d < y?
True
Let r be 0 - 1 - (-186)/(-5). Let s = -123 - -85. Let a = s - r. Is 1 at least a?
True
Let l = -0.07 + 1.07. Let t = 2 - l. Which is bigger: 0 or t?
t
Let x be 3/(-1) - 26/(-4). Which is bigger: x or 4?
4
Let b = -8 - -31/3. Do b and 3 have different values?
True
Let j be 288/45 + 4/(-10). Let v be (4 - 1) + j/(-4). Is 2 <= v?
False
Suppose u + 20 = 4. Let n = u - -13. Let x(i) = -3*i**3 + i. Let v be x(1). Which is bigger: v or n?
v
Let o be (2/(-12))/((-6)/2 + 4). Is 0 less than o?
False
Let s = 0.08 - 0.13. Is -1 smaller than s?
True
Let q be (4/12)/((-2)/12). Let h(u) = u**2 + u - 2. Let s be h(q). Which is smaller: 7 or s?
s
Suppose -2*c = 3*c + 50. Let p = c + 14. Suppose 0 = 5*q - p*r + r + 4, 3*q = -r + 6. Does q = 0?
False
Let x(d) = d**3 - 2*d**2 - 4*d + 4. Let v be x(3). Let m = -4 - 0. Let s be 6/20 - m/(-8). Which is bigger: v or s?
v
Let f(r) = -r + 8. Suppose -2 = b - 8. Let a be f(b). Let t = 395 + -392. Is a at least as big as t?
False
Let q be 2/4*9*-2. Let r(j) = j + 12. Let o be r(q). Suppose -2*f - o = -3*f. Do f and 3 have the same value?
True
Suppose -i + 8 = -3*i. Is i not equal to -4?
False
Suppose -4*q + 0*q + 36 = 0. Let a be 0*((-15)/q)/(-5). Let z = 0 + -2. Which is bigger: z or a?
a
Let t = -4/19 - -1/95. Suppose 0 = -2*a + 5 - 11. Let k be (-1)/a - 4/3. Is k less than t?
True
Let j = 327.17 - 330. Let x = -0.17 + j. Is -2/3 greater than or equal to x?
True
Suppose 2*v = 6*v. Which is greater: v or 4/23?
4/23
Let k be 66/14 - (-6)/21. Suppose -6 = k*a - 31. Suppose -a*i + 2 = -t - 7, -2*i + t + 3 = 0. Is i greater than or equal to 2?
True
Let m(y) = y**2 + 8*y + 13. Let c be m(-6). Is 7 at least as big as c?
True
Suppose 5*j + 0*z + 58 = 2*z, 0 = -2*j + 4*z - 20. Which is greater: -2 or j?
-2
Let c = -1 + 1. Let m be 5/2*(3 + -1). Let o be 2/m - 64/60. Is c at least o?
True
Let h = 41 + -14. Let c = h - 27. Which is greater: -2 or c?
c
Let z = 1 + 2. Suppose -2*u + z*f - 7*f = -1