non-equal?
True
Let x(p) = -p - 10. Let z be x(-11). Let m be (z + 0)/((-4)/4). Which is greater: 1/7 or m?
1/7
Let i = 0.03 + -9.03. Let f = i + 5.1. Let m = 4 + f. Which is greater: m or 2?
2
Suppose -2*c + 14 = 4*q, 0 = -0*q + q - 5*c - 31. Let o be 1/q + (-3)/18. Which is greater: o or 2/31?
2/31
Let x(p) = 3*p**2 + 3*p. Let k be x(3). Let y be (-4)/k*3*-3. Do y and -0.05 have the same value?
False
Let g be 1/((1 - 4) + 2). Which is smaller: -1/3 or g?
g
Let q(s) = 2*s**2 + 5*s - 2. Let a be q(-4). Is 11 at least a?
True
Suppose 3*p + 4*p + 7 = 0. Are p and -16/13 equal?
False
Suppose 17 + 16 = 3*a + 3*j, 2*a + 4*j - 20 = 0. Which is greater: 13 or a?
13
Let y be (1/(-4))/(3 + 34/(-8)). Which is greater: y or 1?
1
Let f = 19 + -23. Which is smaller: f or -0.2?
f
Suppose 12 = -3*p - 3. Is p greater than or equal to -13/3?
False
Let c be 3 - (10/2 + -3). Let n be 2*(-1)/(-2)*1. Is n <= c?
True
Let i(z) = z - 1. Let a be 18/5 + 6/15. Let f be i(a). Is 2 != f?
True
Suppose -15*f - 14 = -13*f. Which is bigger: -1 or f?
-1
Let c be ((-12)/(-24))/((-2)/40). Is -10 > c?
False
Suppose 5*g - 25 = 0, -t = -2*t - 3*g + 8. Is 2/7 less than t?
False
Let x(q) = q + 4. Let w be x(-4). Is -2/7 greater than or equal to w?
False
Let i = 19 - 19. Which is smaller: i or 1/4?
i
Suppose 2*k = -0*k, 2*q + 4*k = 0. Suppose -5*p - 2*m - m - 2 = q, 3 = -p + 2*m. Is -3/8 not equal to p?
True
Suppose -6*p + 4*p - j = -1, 2*p - 11 = -3*j. Let d(w) = -w + 6. Let h be d(5). Which is smaller: h or p?
p
Let b be (10/40)/((-1)/(-8)). Suppose -4*n + q = -2*n + 1, 5*n - q = 5. Are b and n unequal?
False
Suppose 0 = 3*p + 5*i + 1560, 5*p + 2587 = -2*i - 2*i. Let a be p/360 - 2/(-9). Let w = a - -4/3. Which is greater: 1 or w?
1
Let q(t) = t**3 - 13*t**2 + 11*t + 10. Let x be q(12). Let j be (x - (-45)/21)*-1. Is j <= 0?
True
Let b(z) = -2*z. Let x be b(0). Are 17 and x unequal?
True
Let g be (((-2)/(-6))/(-1))/(-1). Let q be ((-8)/(-12))/((-2)/(-15)). Suppose 8 = -q*x + x. Which is smaller: g or x?
x
Let w be ((-104)/(-28) - 4)*-14. Suppose b = -w*b. Is b greater than or equal to 2/7?
False
Let x be ((-2)/1)/(-2) + 20. Let q be 6/x + 36/21. Suppose -q*h + 5 = -1. Is h greater than 3?
False
Let n = -3.927 + 0.027. Let l = -4 - n. Let y = l - -2.1. Is -2 >= y?
False
Let x = 7/39 + 2/13. Let d be ((-21)/(-9) + -3)*-12. Suppose -3*z + d = o, -o - 2*o - 6 = -z. Is o < x?
True
Let c be 4 + 3/((-9)/6). Let o = c - 0. Let b = o - 1. Which is smaller: 1/3 or b?
1/3
Let f(y) = -y**3 + 10*y**2 + y - 4. Suppose -5*h + 2*h + 30 = 0. Let d be f(h). Is d smaller than 5?
False
Suppose 2*n + 2*c = c - 17, -4*n = c + 31. Let y = n - -11. Suppose -4*q = -5*m - 6, 0 = -y*q + m + 8 + 6. Which is smaller: q or 3?
3
Let r be (-6)/(-5)*(-30)/(-9). Suppose 5*x - 4*x = -r. Suppose 3*b - c + 5 = 0, -4*b - 6*c - 11 = -3*c. Is b greater than x?
True
Suppose 5*k = -14 - 1, 0 = -4*u - 3*k - 1. Which is smaller: u or 0?
0
Let x(w) = w + 5. Let h be x(-5). Let a be (-2)/(-9) - (-1)/(-45). Is h smaller than a?
True
Let f = 2.7 - 0.7. Let t = f + 0. Which is smaller: t or -1?
-1
Suppose 0 = -c, 5*p + 0*p = 2*c + 150. Suppose 5*v + 0*v = -p. Let t be 0*(15/v - -2). Is 2/21 less than or equal to t?
False
Let h = 0.5 + 0.5. Let x = h + -0.9. Are x and 0 equal?
False
Let m be ((-1)/1)/(2/14). Are m and -9 equal?
False
Let d(h) be the third derivative of h**6/120 - h**5/12 + 5*h**4/24 - 2*h**3/3 + 2*h**2. Let k be d(4). Suppose 3*r = -3 - k. Which is greater: 3/7 or r?
3/7
Let h = 2.949 - 0.049. Let o = h - 4. Is 1 smaller than o?
False
Let p = -72 + 214/3. Is p at least -2/3?
True
Let k = 5/59 - 223/1239. Let u(l) = 2*l - 3. Let t be u(2). Is t not equal to k?
True
Let m = -0.14 + 0.25. Let o = m + -0.01. Is 2/7 at most o?
False
Let m be -2 + (-32)/(-14) + 903/(-588). Does m = 0.1?
False
Let j = 458 - 468. Let a(r) = -r + 6. Let x be a(6). Which is bigger: x or j?
x
Let d(s) = 0*s - 4 + 2 + 3 + 2*s**3 - s. Let w be d(1). Let i be 1*(-5 - 1) + w. Do i and -3 have different values?
True
Suppose 4*o + o = -3*h - 22, 3*o - 3*h = 6. Let q(u) = -u**2 - 6*u - 5. Let y be q(o). Is y >= 3?
True
Let m = -0.29 - 0.31. Is -2 less than or equal to m?
True
Let s = 11 + 0. Is 11 not equal to s?
False
Let r be 9/(2 - -1) + 2. Let q be (-3)/r - (-2)/(-5). Let g be (q/2)/((-12)/18). Do g and 0 have the same value?
False
Let t = 4 - -39. Is t <= 42?
False
Let j = 16.9 - -102.1. Which is greater: j or 0?
j
Let b = 24/61 - 1678/4575. Is -1 at most b?
True
Let c = -15 - -17. Is 22/9 equal to c?
False
Suppose -2*l = o + 2, 11 = 4*l - l - 2*o. Suppose 3*n = 3*d, -5*n + 2*d - 6*d + 27 = 0. Suppose -n*i = -2*q, -2*i = -3*q - 6*i. Which is bigger: q or l?
l
Let c = -0.21 - 0.69. Let g = c + -0.1. Which is greater: 0.3 or g?
0.3
Let o(q) = q**3 - 13*q**2 + q - 10. Let l be o(13). Is -1 greater than l?
False
Let t = 0 + 0. Suppose 2*a + 6 - 2 = t. Is -3 smaller than a?
True
Let n(o) = o + 7. Let x be n(-6). Let v be -1 + x - (4 - 9). Suppose -3*d + 3 = -q, v*q - 2*d + 9 + 6 = 0. Is q at least -3?
True
Let y(m) = -m**3 + 10*m**2 - 3*m + 16. Let h be y(10). Which is smaller: 0.1 or h?
h
Let i = 50/3 - 346/15. Which is smaller: 1 or i?
i
Let r be 4/(-6) + 14/3. Let n = -1 + 3. Suppose -2*t = 3*l + n*t - 7, -r*l - 2*t = -6. Is l not equal to -3/8?
True
Let d be 3 + -3*(-2)/6. Suppose -24 = d*l - 2*l. Is l at least as big as -12?
True
Suppose -2*v - 1 = -107. Which is smaller: 54 or v?
v
Let g(y) = y**3 - 3*y + 1. Let m be g(2). Suppose 2*q = 0, q = 5*a - 4*a + m. Let x = -3 - a. Is 1 at most x?
False
Let n(z) = z - 28. Let x be n(7). Is x at least as big as -1?
False
Let s be ((2 - -1) + 0)/(2/8). Is 12 at most s?
True
Let v(x) = x**2 - 4*x - 4. Let y be v(5). Let t = y - -2. Which is smaller: 2 or t?
2
Suppose 124 = m - 3*n, -5*m - 5*n + 805 = 185. Let q = m + -862/7. Which is greater: q or 2?
2
Suppose 2*y + 2 = 5*u, -4*y - 1 = 2*u + 3. Let l = -60/29 - -126/145. Which is smaller: u or l?
l
Let z = 7 - 4. Suppose z*j = -7 - 2. Let r be (1*0/j)/(-2). Are 2/3 and r equal?
False
Let i be -1 - (-2 + (1 - 2)). Let o be (0/(-1))/(i*1). Let b = -19 - -39/2. Which is smaller: b or o?
o
Let g be 3/((-15)/(-4)) + 2449/(-155). Is g at least as big as -18?
True
Let g = 9 + -7. Let c = 0 - g. Let w = 0 - 0. Which is smaller: c or w?
c
Let l = -8 - -14. Suppose -28 = 4*m - 4*c, -4*m + 10 - 38 = 4*c. Let j be 4 + -3 + m/l. Which is greater: j or -1?
j
Suppose 0*b = 4*b. Suppose -u + m + m - 7 = b, -u - 2*m + 9 = 0. Which is smaller: u or 1/6?
1/6
Let r(k) = -14*k**2 + 1. Let w be r(-1). Let n be w/(-28) - (-8)/28. Let b(p) = p**2. Let j be b(0). Which is greater: j or n?
n
Let z be 8/3 + 7/21. Let n = z - 10. Let b(i) = -i**2 - 5*i + 10. Let v be b(n). Is -3 at most v?
False
Let z be 4*2/(-16)*-2. Let x(y) = y**3 + 16*y**2 + 14*y - 16. Let t be x(-15). Which is bigger: z or t?
z
Let p(t) = t + 5. Let g be p(-6). Suppose 2*w + 14 = 4*q, 6*q + 4 = -4*w + 2*q. Let i be w/(7 + -2 + 0). Which is smaller: i or g?
g
Let o = -182 + 1276/7. Let j be 7/(-21)*(-9)/(-12)*12. Which is smaller: o or j?
j
Let r(t) be the third derivative of -t**5/60 - 7*t**4/24 - t**3/6 + 11*t**2. Let a be r(-7). Which is greater: a or 2/45?
2/45
Suppose -20*x + 75 = -15*x. Does 19 = x?
False
Let i(n) = -n**3 + 7*n**2 - 8. Let w be i(7). Let v = w - -12. Is 3 smaller than v?
True
Let s be 1 - -1 - (1 + -1). Suppose 0 = 5*t - s*t + 15. Is t greater than or equal to -4?
False
Let y(g) = g**3 + 9*g**2 - g - 9. Let a be y(-9). Suppose -s + 11 = -3*d, -s + 5*s - 4*d = 20. Suppose z - s*z = a. Which is bigger: -0.4 or z?
z
Suppose 3*k - 20 = -a - 3*a, -3*a + 15 = 4*k. Suppose a*h + 0 = 15. Suppose 2*d - h = 3. Is 3 > d?
False
Let a be (1/3)/((-1)/3). Do a and -5 have the same value?
False
Let h be (-5)/(-14*(-4)/(-16)). Let o be (-1 + 1)*(0 - -1). Which is bigger: h or o?
h
Let n be -12*(-7)/10*5. Suppose 0 = 3*g - 3*x + 7*x - n, 0 = -2*g - 2*x + 26. Is g < 11?
True
Let g = 0.7 + -0.6. Let d = -14 + 26. Let m = 11 - d. Which is smaller: m or g?
m
Suppose -2 + 0 = -2*h. Which is smaller: h or 2/11?
2/11
Let t(y) = -2*y - 1. Let x be t(-4). Let b = 9 - x. Suppose -3*j - 4*r + 0 = 2, 0 = -5*j - 4*r + b. Is 2 less than j?
False
Let c be (1/5 - 1)*10. Are c and -7 equal?
False
Suppose -2*q = -4*q 