unequal?
True
Suppose -225 = -6*m + m. Let f be m/10*(-2)/(-3). Let l(g) = g + 3. Let a be l(0). Is f < a?
False
Let a = -3.8 + 4. Let p = 51 - 50. Is a at least p?
False
Let y be (1/1 - (-7 + 6)) + -8. Is y at least as big as 2?
False
Let t = -9 + 11. Suppose -t*x + x = -2. Suppose 2*v = -x*v. Which is bigger: v or 2?
2
Let v = 48 + -29. Let i = 18.7 - v. Which is greater: -1/5 or i?
-1/5
Let a(d) = d**2 + 10*d - 27. Let v be a(-17). Suppose -v = -2*b - 3*u, 0 = -u - 3 + 1. Which is smaller: b or 48?
48
Let q = 563 + -564. Which is smaller: q or 1/13?
q
Let s = 7 + -13. Let p be 3 + -2 - (-1 - s). Suppose 4*q + 6 = 5*c, 0 = 4*q + 4*c - 0 + 24. Is q less than p?
False
Suppose -42*k + 43 = -3*f - 43*k, -f - 21 = -k. Suppose 37 = -2*i + 9. Is i bigger than f?
True
Let f(m) be the third derivative of -m**6/120 + m**5/30 + 5*m**4/24 - 5*m**3/6 - 25*m**2. Let q be f(3). Which is smaller: 4/41 or q?
4/41
Suppose 0 = 3*m + 2*m + 5*z + 25, -m = 3*z + 1. Let y be ((-32)/(-10))/(2/(-5)). Which is smaller: m or y?
y
Let r = 244 - 126. Let u be -2*(-2)/((-8)/r). Let k = 411/7 + u. Does k = -1?
False
Suppose 10*j = -0*j - 30. Which is smaller: j or -31/7?
-31/7
Let d = -7 + 7. Let n = 22/5 + -204/35. Which is smaller: d or n?
n
Let l(h) = 4*h. Let i(k) = -3*k - 1. Let p(x) = 5*i(x) + 4*l(x). Suppose 12 = 4*y + 4*u, -21 = -3*y + 3*u - 2*u. Let v be p(y). Which is smaller: 1/8 or v?
1/8
Let z = -0.07 + -27.93. Let u = 18 + z. Which is bigger: -1/5 or u?
-1/5
Let j be ((-2)/(-8))/(4/(-16)) + -318. Which is smaller: j or -321?
-321
Let t be 1 + -1 + 0 + 16. Let l = 18.75 + -18.85. Which is greater: t or l?
t
Suppose 4*s = -2*v + 18, 0*s - 5*s + 3*v + 17 = 0. Is 23/6 at least s?
False
Suppose 1072 = -3*c + 5*c. Let w = 932 - c. Let z be (-1)/(-4) + (-75)/w. Which is smaller: 0 or z?
0
Let g = -36 + 36.4. Let o = 5.7 - 4.9. Which is greater: g or o?
o
Let w be (-5)/2*(7 - 9). Let p be 1/(((-5)/11)/w). Which is smaller: -12 or p?
-12
Let k(v) = v**3 + 3*v**2 - 5*v - 4. Let a be k(-4). Let n = 2 + a. Suppose -m + n*m - 6 = 0. Which is bigger: m or -1?
m
Let c = 0.009 - 5.259. Let h = c + 0.25. Is -4 less than or equal to h?
False
Suppose 4*l + 3*j - 18 - 1 = 0, -2*l - 18 = -4*j. Suppose 40 = -w + 6*w + 5*o, 5*o - 19 = 2*w. Suppose -u - 12 = w*u. Is u <= l?
True
Let h be 3/(-6) - 139/(-2). Is h bigger than 70?
False
Let g = -1 - -3. Suppose 2*m + g*q = 7*m - 31, 5*m = q + 28. Is -0.1 > m?
False
Let w be 0/(-10) + (-1)/((-116)/(-12)). Which is smaller: 1 or w?
w
Let r = 15 + -5. Suppose 114*k = 116*k + 6. Let z(l) = l**3 + 5*l**2 + 4*l + 4. Let u be z(k). Do u and r have different values?
False
Suppose 42 = 795*f - 789*f. Let g(w) = 2*w - 4. Let h be g(3). Is h at least f?
False
Let z be (3 + 4)*1 - 2. Suppose 3*u = 2*g - 2, 2 = -3*u + 3*g + z. Let j be -1*2 - (-3)/(-3). Do j and u have different values?
True
Let p = -0.0414 + -1.9586. Is p >= -32?
True
Let a(r) = 186*r - 848. Let d be a(5). Does d = 83?
False
Let d = 2170 - 2222. Which is smaller: d or -31?
d
Let f be (-16 - -12)*(-25)/(-4). Let c = 17 + f. Let m be (-9)/(-2) - c/(-2). Is m at least 0?
True
Let h(g) = g - 67. Let s be h(0). Let m be 5866/88*1 - 7/(-28). Let i = m + s. Is i at least as big as 0?
False
Let s = -272 - -750. Which is bigger: s or 476?
s
Suppose p - 3*r - 2 = 0, -4*r - 4 = -p - 3*r. Let t(y) = -y - 1. Let q be t(-7). Which is smaller: q or p?
p
Let p = 2/443 + -453/2215. Is -1 < p?
True
Let v(c) = -2*c + 2. Let i be v(2). Let o be (-1 - 0 - i) + -1. Let m be (o + 1)*(8 + -8). Is 2/21 bigger than m?
True
Let i = 2.9 + -1.8. Let b = i - 2.1. Are -3 and b non-equal?
True
Suppose -6*z - 77 = -17*z. Suppose 0 = 5*j + 2*o - 14, -3*j + 2*o + 9 = 3*o. Suppose v + j*v - 40 = 0. Is v at least z?
True
Let x(t) = -t**3 + t**2 - 1. Let b(a) = 7*a**3 + 18*a**2 + 23*a - 27. Let d(r) = b(r) + 6*x(r). Let z be d(-23). Is z at least as big as -34?
True
Let b be (-42)/(((-27)/12)/3). Suppose 4*r + b = 4. Let l = r - 0. Which is smaller: -12 or l?
l
Let d(m) = -9*m + 74 - 74. Let k be d(-1). Let h be (46/15 + -3)*k. Is 2 > h?
True
Let d = -25 + 35. Suppose -d = 4*z - 2*z. Are z and -3 unequal?
True
Let q = 1.2 - 0. Let l = q + 0.8. Suppose 0 = -2*d - 1 + 3. Which is greater: l or d?
l
Let o be 240/70 + 6/(-14). Let t be o*(-4)/6 - 6. Let x = -14 + 7. Are x and t equal?
False
Suppose 14 = -7*x + 140. Let z = 8 + 4. Suppose -14*b = -x*b + z. Is b at most as big as 2?
False
Let b = -1 - -3. Suppose b*a - 7 = -27. Let c = a - -9. Which is greater: c or -2/7?
-2/7
Let i = -16.9 - -12.9. Which is greater: i or -27.5?
i
Let l be 6/(-54)*-3*(-5 - -2). Is 5/39 bigger than l?
True
Let h(p) = 3*p**2 - 7*p + 6. Let q be h(4). Let x = -18 + -9. Let v = q + x. Which is bigger: -4 or v?
v
Let f be (-102)/(-8) - 9/(-36). Suppose 10*h - 73 = -f. Do h and -5 have the same value?
False
Let d = 1 - 1.01. Let t = 24.2 - 25. Let k = 0.9 + t. Are k and d unequal?
True
Let g = 5 - 7. Which is greater: -0.09 or g?
-0.09
Let j = 1.96 - 0.96. Is -27/5 less than or equal to j?
True
Let r = 5 + -4. Suppose -107*c - 56 = -79*c. Which is smaller: r or c?
c
Suppose -8*l + 12*l - 3*j = 1695, l - 3*j - 417 = 0. Are l and 426 nonequal?
False
Let z = 99.5 + -97.5. Is -393 != z?
True
Let q be (-46)/(-276)*6/260. Which is smaller: -1 or q?
-1
Let z be (-4)/(-2) - 32/34. Let d = 194/119 - z. Let y = 0.8 - 0.7. Which is bigger: y or d?
d
Let x = 93 - 80. Let d be 1*3 + x/13. Let w = -1 - -1.1. Is w bigger than d?
False
Let l be 30/(-150)*(-6)/(-8). Which is bigger: 0.05 or l?
0.05
Let d be (-29)/3 + (-4)/(-6). Suppose 21 = -2*a - 2*p - 11, -2*p + 43 = -3*a. Let m be ((-6)/(-9))/(a/d). Is 7 > m?
True
Let s(m) = -m**3 + 9*m**2 + 11*m - 10. Suppose 7*g + 80 = 15*g. Let j be s(g). Is j at most -1/29?
False
Let c = 194 + -1360/7. Is c != 16?
True
Let m = -0.7 + 0.6. Let x = -2.8 - -0.6. Let y = x + 1.9. Is y at least m?
False
Let m(k) = -12*k - 4. Let a be m(-1). Let q = -2 - -4. Suppose 0 = q*h + 6 - a. Which is bigger: 1/39 or h?
h
Suppose 15*m = 19*m - 2*q - 12, -5*m = -5*q - 25. Is m greater than or equal to -4/569?
True
Let v = 10 + -10.052. Let h = 5.452 + v. Is 1 at most h?
True
Suppose 0 = 4*f + 5*q, f + 5*q + 11 = -4. Suppose -f*v + 4 = -1. Let y be (6/(-14))/((-171)/(-38)). Is v at least as big as y?
True
Suppose 2*b - 3 = -9. Let v be 8/1 + b + 1. Let m be 35/(-11) - (3 - v). Which is greater: m or 1?
1
Let n be ((-30)/(-20))/(1/8). Suppose a = 3*a + n. Let u be -1 + (-1 - (a - -2)). Which is smaller: -0.1 or u?
-0.1
Let g = -41750/49 - -852. Let p = 7220 + -353792/49. Let q = p + g. Which is smaller: q or 1?
q
Let z = -5317 - -37445/7. Are z and 32 non-equal?
True
Let d(m) = m**2 + 16*m + 9. Let p be d(-15). Let r be p*(79/(-27) + 3). Which is greater: r or -1?
r
Let v be (-26)/(-6) - (-4)/6. Suppose 3 = -v*c - 2. Let l be c/3 - (-20)/66. Which is bigger: 0 or l?
0
Let s(y) = y**2 - 7*y + 12. Let a be s(9). Suppose -a*x + 27*x = -9. Which is bigger: x or 14/9?
x
Let y = 0.32 - 13.32. Let j = -4 + y. Let w = -44 - j. Which is greater: w or -0.1?
-0.1
Let a(m) be the first derivative of -m**4/4 + 10*m**3/3 - 4*m**2 - 12*m - 10. Let p be a(9). Let k be p/7 - 18/(-42). Which is smaller: 4/9 or k?
k
Let t = 51 + -85. Let k = -14 - t. Let h = k - 33. Is 1/4 >= h?
True
Let y(k) = 29*k + 377. Let w be y(-12). Let z be 2/(-6) + (-85)/(-3). Which is smaller: z or w?
z
Suppose 16 = 4*a - 24. Let t be -13 + 12 + 42/a. Let v = t - 3. Is v < -1?
False
Let h be -3 + (-2)/(6/(-75)). Let g be ((-186)/h)/(-3) + -3. Suppose 3*x + 0 = 12, -5*b - 13 = -2*x. Which is smaller: g or b?
b
Let k = -240 - -340. Which is smaller: 98 or k?
98
Let k(t) = -t**2 + 7*t + 7. Let u = -12 - -20. Let d be k(u). Is -1 bigger than d?
False
Let f = 590.2 + -590. Is f != 101?
True
Let w = 120 - -1122. Let a be 2 - (4/(-14) - w/(-525)). Is a greater than or equal to 0?
False
Suppose 3*d + 52 = 5*f + 2, -54 = 3*d - 3*f. Let r = -61/3 - d. Let o = 0.38 - 0.18. Which is bigger: o or r?
o
Suppose -94 - 182 = 12*p. Is 0 at most as big as p?
False
Suppose 2802 = 2*t - 7*t - 2*v, 0 = -5*t + v - 2814. Is t less than -562?
False
Let t be 20/16158*36/15. Let q = t - 2800792/24237. Let l = 116 + q. Is l greater than -1?
True
Let p(j) = -445*j + 10. Let n(z) = 297*z - 7. Let s(g) = -7*n