/(-3) + -2. Are 0 and p unequal?
True
Let i(v) = v**2 - 2*v - 1. Let p = 5 + 2. Let j be (1 + 0)*p/(-7). Let f be i(j). Is 2 < f?
False
Let u = 4 - 3. Let c = -105/2 + 54. Which is greater: u or c?
c
Suppose 0 = 7*t - 2*t. Do t and 0 have the same value?
True
Suppose -w - 18 = 2*w. Let d be w/15*(-2)/(-4). Which is smaller: 1 or d?
d
Let y be (-3*1)/(3/2). Let g be (-4)/(4 + -3) + -5 + 5. Which is bigger: g or y?
y
Let t(b) = b - 1. Let u be t(2). Is u <= -2/31?
False
Let h = -10 + 13. Suppose -u = 2*u - h. Is u equal to -2/17?
False
Let t be ((-10)/(-8))/(1/(-4)). Let l = t - -2. Let o(k) = -k + 3. Let h be o(6). Is h < l?
False
Suppose 5*d - 2*l - 16 = 0, 2*d - 4*l = d + 14. Suppose 12 = d*v + 2. Suppose 5*w = -q - 6, 2 = 2*q + w - v*w. Does q = 0.1?
False
Let x = 2 + -2. Let i be (2/(-36))/((-44)/132). Is x equal to i?
False
Let w be -2*5/(10/(-8)). Let x = -5 + w. Suppose -20 = k + 4*v, -2*k - x*v + 0*v - 15 = 0. Which is bigger: -3/8 or k?
k
Suppose 3*l = -3*w + 21, 2*l = 2*w + 3 + 7. Let b(p) = -p**2 - 4*p + 1. Let o be b(-3). Is l > o?
True
Let t = -0.5 - -5.5. Let c = 0.05 - -4.95. Let y = c - t. Is y at most as big as -3/8?
False
Let g = -20.9 + 21.9. Is 47/4 at most as big as g?
False
Let r = -40 - -82. Is 1/2 > r?
False
Suppose 0*j - j + 2*a + 4 = 0, a - 20 = -5*j. Suppose 4*w + 13 = 3*c + 2*c, -6 = -j*c + w. Let v = -0.3 + 3.3. Which is bigger: v or c?
v
Let d(u) be the third derivative of u**4/24 + u**3/3 + u**2. Let q be d(-3). Is q less than or equal to 2?
True
Let n(o) = -o + 8. Let q be n(8). Are 0 and q non-equal?
False
Suppose 3*h - 2 = -5*i - 20, 5*h - 4 = 3*i. Which is smaller: i or -14/5?
i
Suppose -2*h + 9 = -5*h. Let k be h/(-9) + (-15)/(-36). Suppose 3*w + 0*w = 2*p + 9, 3*p = 3*w - 12. Is k greater than or equal to w?
False
Let l(t) = -2*t**2 + 32*t - 32. Let g be l(15). Are -4 and g non-equal?
True
Let l be 4/(-6)*9/(-24). Let o(t) = -2*t**2 + 5*t + 24. Let y be o(5). Which is greater: l or y?
l
Let o be (-2)/6*(-36)/26. Suppose -3*r + 1 = 7*k - 2*k, -4*k = -4*r + 12. Which is smaller: k or o?
k
Let b = -1.2 + 1.29. Let q = b - 4.09. Suppose 11*u + 2 - 2 = 0. Which is bigger: u or q?
u
Let w(t) = t**2 - 8*t + 17. Let h be w(7). Is h less than 10?
False
Suppose -9*m + 3 + 33 = 0. Is m equal to 34/13?
False
Let s be (-2)/(6/(-9)) + 0. Suppose -3*d - s + 9 = 0. Suppose -5*b - k - 10 = 0, 0 = -d*b + 2*k + 4 + 4. Is b > 0.2?
False
Let k be (29/(-87))/((-2)/42). Is 10 less than k?
False
Let c = 19/10 + -153/70. Let y = 0.3 + 0.7. Is c less than y?
True
Let s be (-3)/1 + (-9290)/70. Let g = s + 136. Which is smaller: -1 or g?
-1
Suppose 2*i + 13 = 4*f - 1, -f - 5*i - 13 = 0. Do f and 1 have the same value?
False
Let l(o) be the third derivative of -o**5/60 - o**4/2 - 5*o**3/2 - o**2. Let g be l(-11). Let x be (g/(-3) + 0)/14. Which is bigger: 0 or x?
x
Let w be ((2/(-8))/((-6)/12))/(-1). Let b = -5.06 + 5. Is w != b?
True
Suppose 21 = -6*m - 33. Do m and -26/3 have the same value?
False
Let j(m) = m - 5. Let o be j(4). Let y = 1 + -4. Let z be ((-16)/(-6))/(y + -3). Which is bigger: z or o?
z
Suppose x = -x - 2. Let s = 4 - x. Let m = 6 + -2. Which is smaller: m or s?
m
Let l = -1 - -2. Let n = -507/7 - -72. Does l = n?
False
Let a = -5 + 4.96. Let y = -0.036 - -3.996. Let n = y - a. Which is smaller: -2/7 or n?
-2/7
Suppose 0 = -10*i + 5*i. Suppose -5*l + 3*l = i. Let b be (-36)/(-150)*(0 + -5). Which is greater: b or l?
l
Let x = 22 + -7. Let b = x + -15.1. Which is greater: -10 or b?
b
Let u = 0.95 - -0.15. Let j = 4.1 - u. Are j and 2/7 nonequal?
True
Suppose 0*g = 5*g + 5*r - 20, -14 = -g - 3*r. Let q = -138 - -549/4. Are g and q unequal?
True
Let b(x) = x - 11. Let q be b(9). Let a = 4 + q. Suppose 0 = a*h + h. Which is smaller: -1/3 or h?
-1/3
Let r = 0 - 1. Let o = r - -1. Let t = o - 0. Is t smaller than -0.3?
False
Let s = 7 + -7. Which is smaller: s or 1/9?
s
Let m = 2 - -2. Let y = m + 2. Let r be (-7)/y + 1/6. Is 3/8 < r?
False
Let a = -7 - -22. Let f be ((-24)/(-15))/(3/a). Let y be (-3)/(-2)*f/(-6). Does y = -2?
True
Let z = -3 - -3.2. Let u(y) = -y**3 - 2*y**2 + 3*y - 2. Let h be u(-3). Let g be (h/(-28))/((-4)/(-16)). Are z and g nonequal?
True
Let r(j) = j**2 + 6*j - 6. Let i be r(-7). Let m(g) = -5*g**2 + g - 1. Let z be m(i). Let l be 4/10 + (-3)/z. Does -1 = l?
False
Suppose -3 + 27 = 3*n. Which is smaller: n or 9?
n
Let t be (1 + (-60)/65)*1. Which is smaller: 2 or t?
t
Let d = 3716/13 + -286. Suppose -4*b + 4*v + 4 = 0, 5*b + v = 2*v + 17. Suppose 5*h - h = b. Which is smaller: h or d?
d
Let w be 7*((-24)/21)/(-2). Let r(m) = 3*m**3 + 1. Let x be r(-1). Let g = w + x. Is 1 greater than g?
False
Let h = -10 - -12. Let t be 1*2 - 4/(-1). Let b be (-1 - t/(-14))/h. Is 0 < b?
False
Suppose -2*i + 4 = 5*t - 23, 8 = 3*i + t. Is 4/57 > i?
False
Suppose 2*v - 3*a + 6 = -7, 0 = 5*v + a - 10. Let f be 2/(-56) - 2/(-7). Which is smaller: f or v?
f
Let r be (-14)/10 + (-4)/(-10). Let i = r - -1. Suppose -3*c + c - 6 = i. Is -3 at most c?
True
Let b be 0 + -4*1/(-2). Let p be 1 + (1 - 3) + 2. Suppose -2*k - p = -3*k. Which is smaller: b or k?
k
Let u = 256 + -4862/19. Which is bigger: 0 or u?
u
Let w(p) = -7*p**2 - p. Let z be w(1). Let k be (4/z)/((-1)/(-4)). Which is smaller: k or -0.2?
k
Let q be (-18)/(-675) - (-4)/30. Let b be (-4)/8 - 3/(-2). Which is smaller: q or b?
q
Let f = 1.3 - -3.7. Let a = f - 6. Suppose -4 = q + q. Which is bigger: q or a?
a
Let k(y) = -y**3 - y**2 + 3*y - 3. Let z be k(2). Let v(g) = -g - 4. Let r be v(6). Which is greater: r or z?
z
Let o be ((-12)/8)/(6/(-16)). Let x be ((-3)/4)/((-1)/o). Suppose -4*b + 5*b + x = 0. Which is greater: -2 or b?
-2
Suppose 0*p = 2*p - 4*c - 16, -5*c = 20. Is p > 13/2?
False
Let m = 17 - 17.06. Which is smaller: m or -1?
-1
Let k = 0 + 3. Let c = 4 + -8. Let v = c + k. Which is smaller: 1/4 or v?
v
Suppose 4*j = -2*g - 8, -2*j - 4*g = 10 - 0. Let u = -1 + 1. Which is smaller: j or u?
j
Suppose 0*r - 5 = -2*n - 5*r, 0 = 5*n - r + 1. Is 1/44 not equal to n?
True
Suppose 3*n = 5*n + 8. Let g(s) be the third derivative of s**5/60 - s**4/6 - 13*s**2. Let k be g(3). Is k > n?
True
Let w = 72 + -72. Is -1/34 at least as big as w?
False
Suppose 16*z - 17*z + 4 = 0. Which is smaller: 3 or z?
3
Let o(v) = -v**3 - 6*v**2 + 6*v - 8. Let x be o(-7). Let j be (-6)/(-8)*3/6. Is j <= x?
False
Let v = -6236/9 + 694. Suppose -6 = 5*x - 21. Let a be ((-16)/(-6))/4*x. Is a greater than or equal to v?
True
Let j be 84/10*20/6. Let q be -2*(-3 - j/(-8)). Which is smaller: q or 0?
q
Let b(j) = j**3 - 11*j**2 + 2*j - 8. Let u be b(11). Is u not equal to 4?
True
Let d = -5 - -5.3. Let h = -11383/4 - -2817. Let y = h + 29. Is d at most y?
False
Let z be -2*(-1)/(-2)*-1. Let m = z - 4. Which is smaller: m or -1?
m
Let b = 108 + -103.7. Let y = b - 4. Let l = 0.3 - y. Which is bigger: l or -0.01?
l
Let p = 155/38 - -1645/342. Let f = p + -418/45. Which is bigger: f or -1/3?
-1/3
Suppose -77*w - 5 = -72*w. Which is greater: w or -1/152?
-1/152
Let v = -4 + 7. Suppose -3*q + 22 = 1. Suppose 3*b = -1 + q. Which is smaller: b or v?
b
Let p be 4/12 + (-28)/(-6). Suppose 0 = p*o + 5. Is -1/3 at least o?
True
Let n(t) = t - 3. Let w be n(6). Suppose -w*b + 4*b = -1. Which is smaller: b or 4/9?
b
Let n = 27 - 32. Is n less than -5?
False
Suppose -5*s = 4*y + 21, 3*s + 4*y - 2*y = -13. Let t = 8 + -12. Which is bigger: t or s?
t
Suppose k - 8 = -0*k. Does k = 8?
True
Suppose 5 = p - 4. Suppose 0 = j - 3*m - p, -3 = -3*m + 4*m. Suppose j = -4*r + 7 + 9. Which is smaller: 3 or r?
3
Let r be (16/54)/((-4)/(-174)). Let a = 955/72 - r. Is a smaller than 0?
False
Suppose u + 5*p = -2*u + 243, -2*p = 0. Is 82 at least u?
True
Let g(a) = -3*a + 2. Let w be g(1). Is -1 at least w?
True
Let j be -3*6/(-9) - -1. Let m(s) = s**3 + j - s - 3. Let z be m(-1). Which is greater: 1 or z?
1
Let b(l) = -l**3 - l**2 + 2*l - 1. Let i be b(-2). Suppose -2*s + 3*s = -5*p - 19, -5*s - 32 = 4*p. Let g = p + 2. Is g < i?
False
Let f = -167/7 - -24. Which is smaller: f or 2.9?
f
Let y = 172/153 - 2/153. Do y and 0 have different values?
True
Let u = 5.9 - 4.9. Which is smaller: 1/111 or u?
1/111
Let f = -0.6 + 1.6. Which is greater: f or -1?
f
Let n be 18/30 + 4/10. Is n > 0.3?
True
Let q(w) = w. Let n be 2/