*p + 2*w + 6 = 0, 2*p = o*w + 6 + 3. Which is bigger: p or j?
j
Suppose -2*h + 4*h - 10 = 0. Suppose -4*g - g + h = 0. Is g equal to 3?
False
Let n(u) = -u**2 - 9*u + 9. Let t be n(-10). Let q be (40/(-6))/((-198)/(-11)). Let m = q + -20/27. Do t and m have the same value?
False
Suppose 0 = -11*h + 14*h + 5*t - 22, 0 = -5*h - 4*t + 15. Let m = -2523/13 + 194. Which is smaller: h or m?
h
Let b = -6 - -6. Suppose n + 4*n + 10 = b. Is n greater than or equal to -3/2?
False
Let z be ((0 + 1)*-27)/(-1). Let r be ((-4)/z)/(18/135). Is -2 less than r?
True
Suppose -4*z - 4*i + 16 = 0, -5*z = -2*z - i - 32. Let s = z + -7. Suppose 0 = 5*v + 5*b - 20, -4*v = -5*b + 14 - 3. Which is smaller: s or v?
v
Suppose 1 - 9 = f. Let q be 1 + 5/(25/f). Which is smaller: q or 0?
q
Let l be 120/(-32) + (4 - 2). Let s be (-1 + -1)*2/4. Are l and s non-equal?
True
Let g be -6*4/30*15/(-6). Let n(o) = -o**2 - 2*o + 3. Let f be n(-3). Is g at least as big as f?
True
Let g be -4 + (-4 - -4) - -4. Which is greater: 2/317 or g?
2/317
Let g(l) = l - 6. Let u be g(9). Suppose 3*r - 6 = -u. Let n be r - (-3 + 3)/(-3). Is -4/7 at least as big as n?
False
Let d(v) = 8*v**2 + 3*v - 2. Let i be d(1). Let x be (2/2)/(i/(-18)). Which is greater: -3/5 or x?
-3/5
Let m = -0.8 + 1. Let o = -0.19 + -0.01. Let a = m + o. Is 1 smaller than a?
False
Let l = -1266 - -2599/2. Let t = -33 + l. Let h = -7/6 + t. Is 0.2 at most as big as h?
False
Suppose 16 = -4*z, 0*z - 3*z - 3 = -t. Let p = 53.1 + -53. Is p < t?
False
Let z(n) = -n. Let j(p) = 3*p - 1. Let b(k) = -4*j(k) - 11*z(k). Suppose 3*d + 1 - 10 = 0. Let w be b(d). Which is smaller: 0.1 or w?
0.1
Let a = -3460/9 + 384. Which is smaller: 0 or a?
a
Suppose w - 24 = -4. Let x be 3/(-5)*(-25)/w. Suppose -l + 3*o - 6 = 0, 3*o - 10 = -4*l - 2*o. Is l less than x?
True
Let x = 1 - -23. Suppose -4*w - x = -0*w. Is w less than or equal to -7?
False
Let f(x) = 2*x - 5. Let b be f(5). Suppose 0 = -b*s - 501 + 121. Let p = 607/8 + s. Does p = -1?
False
Let a(n) = -2*n - 3. Let m(q) = 5*q + 8. Let o(p) = -8*a(p) - 3*m(p). Let u be o(1). Which is smaller: 2 or u?
u
Let i(a) = a**2 - 9*a + 7. Let l be i(9). Which is smaller: l or 9?
l
Let o be (-48)/119 - (-2)/7. Let g = -411 + 408. Which is smaller: o or g?
g
Let x = 56 - 34. Is 23 greater than or equal to x?
True
Suppose 0 = 3*b - 12, 2*l + 4*b - 2 = -10. Which is greater: 1 or l?
1
Let h = -8522/15 + 1684/3. Let i = 2/887 + 28374/4435. Let d = i + h. Are d and 1 equal?
False
Suppose -3*u = -6*u + 75. Suppose -5*x - u = -0*x. Which is smaller: -6 or x?
-6
Suppose 5*y = -2*z + z - 4, -z = y. Which is smaller: z or 0?
0
Let f be 80/6 - (-9)/(-3). Is f smaller than 10?
False
Suppose -5*o + 4*l + 22 = -5, -3*o = -l - 19. Suppose o*i - 8 = 3*i. Let u(j) = -2*j + 2. Let g be u(i). Is g less than 0?
True
Let f be -3*(-1)/18*23. Let m = f + -265/66. Let j be (-1)/(1/(-3)) + -2. Which is greater: j or m?
j
Let t = 9 + -11. Let n be (-4)/14 - 18/(-14). Is n at least as big as t?
True
Suppose b = -4*l + 6*l + 16, -4*b + 5*l = -52. Which is smaller: 48/7 or b?
48/7
Let x = -14 + 11. Let v be 6*-1 + x + -4. Which is greater: -12 or v?
-12
Let j = 3.04 + -3. Which is smaller: j or 2/17?
j
Let j = -12 + 11. Let f(i) be the first derivative of -3*i**2/2 + i - 1. Let m be f(j). Which is bigger: m or 3?
m
Let t = -46.49 - -47. Let b = t - 0.11. Let q = 40 + -159/4. Is q < b?
True
Let c be (-2 + 1)*(-6 - -5). Which is bigger: c or 2/9?
c
Let u = 2 - -1. Is u < 1?
False
Let v be 9/(-6)*(-24)/9. Let c be 2 + v*(-926)/44. Let y = c + 82. Which is bigger: y or 1?
1
Let x be (1 + 1)*2/4. Let w be 1*x*(-4)/(-26). Suppose -6*k = -3*k - k. Which is smaller: k or w?
k
Suppose 4 = 9*w - 7*w. Are w and 7/5 non-equal?
True
Let f be (4/((-80)/3))/((-2)/(-65)). Is f bigger than -6?
True
Let l = 13.24 - 0.24. Are l and 2 non-equal?
True
Let q(n) = -n**2 + 4*n - 6. Let c be q(4). Let b(y) = y + 12. Let f(o) = -o - 12. Let h(u) = -6*b(u) - 5*f(u). Let w be h(c). Are w and -6 equal?
True
Suppose -2*k - 5 = 3*o, 4 = 5*k + 3*o + 3. Let f be 1 + -3*(-4)/(-6). Let t be (0 - f)/(k/10). Which is bigger: t or 0?
t
Let r be (-6 + 1)*(-11)/(220/(-32)). Which is smaller: r or -9?
-9
Suppose 10 = 23*l - 18*l. Let p be ((-5)/(-25))/(l/6). Which is greater: 1 or p?
1
Let c be (1 - (2 - 0))*0. Let w be (-4 - -1)*2/(-6). Let a be w*3/(-12) - 0. Is a smaller than c?
True
Let n be (-50)/24 + (-6)/36. Which is bigger: n or -1?
-1
Let m = 9 + -12. Which is greater: 0 or m?
0
Suppose 0 = 3*q - 6, 2*r + 7 = 3*q + 1. Let o = 418/63 + -48/7. Is r less than or equal to o?
False
Suppose -5*y = -4*y - 1. Does 4/7 = y?
False
Let v = 0 + -0.1. Which is smaller: 27 or v?
v
Let g(a) = -a + 1. Let m be g(2). Which is bigger: -2/3 or m?
-2/3
Suppose -32 - 22 = -6*b. Let y(d) = d**3 - 2*d**2 - 2*d + 2. Let f be y(2). Which is smaller: b or f?
f
Let x = -2/35 - -39/70. Which is greater: x or 0.17?
x
Let i = -394 - -1963/5. Which is greater: -2 or i?
i
Suppose 0 = -4*r + 8*r, -2*b + r + 90 = 0. Suppose 0 = -5*p - 5*f - b, -2*f = 4*p + 24 + 6. Let j = 9 + p. Which is greater: 2 or j?
j
Let m be ((-5)/(-5))/(1/(-13)). Let l = 13 + m. Is -1/7 at least as big as l?
False
Let s be (-22)/(-77) - 4/14. Which is smaller: 1/15 or s?
s
Let b be 20/(-14)*1/(-2). Let n be 5 + 3 + -8 + 1. Is n at most b?
False
Let j = 0.23 + -0.26. Is j at most 2?
True
Let r = 4 - 4.07. Let u = 0.07 + r. Is 4/7 != u?
True
Let q(f) = -5*f + 1. Let c(x) = -x**3 - 2*x**2 + 1. Let l be c(-2). Let n be q(l). Let h = -32 - -28. Do n and h have the same value?
True
Let w = -7.8 - -7. Let u = 0.7 + w. Is 1 at least u?
True
Suppose 5*i + 14 + 11 = 0. Is i greater than -5?
False
Let n(g) = g**2 - 7*g. Let q(m) = -4*m - 3. Let v(w) = 17*w + 12. Let h(c) = 9*q(c) + 2*v(c). Let l be h(-5). Let b be n(l). Is b at least 0?
True
Let z(y) = 0 - 10 - 2*y - 7*y - y**3 + y - 8*y**2. Let q be z(-7). Are -4 and q unequal?
True
Let j(z) = -z**2 - 8*z - 4. Let s be j(-7). Let d = 2.88 + -3. Let v = 0.88 - d. Do v and s have different values?
True
Let h = -57/5 - -12. Which is bigger: h or -1?
h
Let z be 8/20 + 26/60. Let q = z - -2/3. Are q and 3 nonequal?
True
Let t = -4.4 + -3.6. Which is smaller: 2 or t?
t
Suppose -i = -2*i + 7*i. Is i at most as big as -6/13?
False
Let x(z) = -5*z + 2. Let b be -3*(21/(-9) + 3). Let n be x(b). Let j be ((-8)/n)/((-4)/6). Which is bigger: j or -2?
j
Let v be (-2)/1 + 3 + -2. Let s be (8/(-5))/(4/(-10)). Suppose -s*x - 11 = -3. Which is greater: x or v?
v
Let d = 0.9 - 1. Let h(s) = -6*s**3 - s**2 + 4*s + 2. Let a(l) = -l**3 - l**2 - 1. Let t(c) = 5*a(c) - h(c). Let f be t(5). Is f < d?
True
Let g = -5 - 0. Let p = -10 + g. Is p smaller than -14?
True
Suppose 2*f - 5 = -3*g, 3*f - 5*g = 2*f - 17. Let c be (-1)/f*(-7 + -7). Which is greater: -6 or c?
-6
Let r be (-6 + 4)*-1 - (-58)/(-30). Which is smaller: 0 or r?
0
Let p be 1*2*9/(-6). Let o = -1 - p. Let y be -4*(o + (-10)/8). Which is smaller: -2 or y?
y
Suppose -3*y + 14 = 5. Let g = y - -1. Let b be (-9)/7 - g/(-14). Which is smaller: -2 or b?
-2
Let w = -3 + 3.6. Let v = 0.32 + -0.02. Let l = w - v. Is l not equal to 1?
True
Let y be (-259)/87 - (-1)/(-4). Let j = -2/87 + y. Which is smaller: j or -3?
j
Let b = -8 - -3. Let l = b - -4. Let k = -2653/11 - -241. Which is smaller: l or k?
l
Suppose -q + 0 = 4*f + 3, 0 = -2*q + 4*f - 6. Which is smaller: -1 or q?
q
Let o = 0 + 4. Suppose -o*r + r = -3. Let y = 17/44 - 1/88. Is r equal to y?
False
Let f = -1 - -6. Suppose -f*k + k = -24. Let g = k + -6. Which is bigger: 2/5 or g?
2/5
Let a = -30 - -29.9. Which is smaller: 1 or a?
a
Let b = -6 - -10. Which is smaller: b or 3?
3
Let u = -120 - -231/2. Which is smaller: -6 or u?
-6
Suppose 0 = -11*w + w - 7*w. Which is smaller: 6/17 or w?
w
Let v be (4/6)/(7/63). Is v != 6?
False
Let w = 43 + -42. Is 14/23 != w?
True
Let d = -0.1 - -0.1. Let v be (-1 + -1)/((-3)/(-30)). Which is smaller: v or d?
v
Let l(g) = -4*g**3 - 2*g**2 + 1. Let d be l(-1). Let n = d + -4. Is -4/3 smaller than n?
True
Let t = -258 + 177. Is -80 < t?
False
Let z = 33 - 22. Let m = z - 12. Is m < 0.1?
True
Suppose 0 = o + o - 8. Suppose -o*l = -3*j - 3, 4*j - 3*l + 0 = -4. Let s be (-7)/3 - (-6)/3. Is j >= s?
False
Suppose 5*p + r - 5*r = 16, 4*p - 2*r = 14. Let 