Are -4/3 and p unequal?
True
Suppose 0 = 17*a - 11*a + 12. Let t = -791/995 - 1/199. Which is greater: a or t?
t
Let c = 11 + -12. Does -2 = c?
False
Suppose 4*i = 2*s + 20, 0 = -0*i - 2*i - 4*s. Suppose 5*a = -3*v + 15, 4*a - 12 = -0*a + i*v. Let z be (a/2 - 0)*1. Which is smaller: z or 2?
z
Suppose -12 = -2*z - 80. Which is bigger: -33 or z?
-33
Let w be 1 - (-8)/((-128)/21). Is -1 at most as big as w?
True
Let h(g) = g + 2. Let s be h(0). Suppose 3*a + 6 = -s*u + 3, 0 = -5*a - 5. Suppose -f = -5*f - 4. Is u at most as big as f?
False
Let q(k) = k**2 + 8*k - 2. Let u be q(-8). Is u less than or equal to -4?
False
Let g(v) = v**3 + 4*v**2 + 4*v - 1. Let t be g(-3). Is t not equal to -3?
True
Let h = -4196849/47103 + 28/6729. Let n = h - -89. Is n less than or equal to 0?
True
Suppose -1 = 2*m + 1. Let z = 107/801 - 2/89. Which is smaller: m or z?
m
Suppose 5*x = -1 - 14. Let g(u) = -u**3 - u - 4. Let o be g(0). Let p be (10/o - 1) + 2. Does x = p?
False
Let i = -2.4 - -1.7. Let z = i + 1.7. Which is smaller: 1/10 or z?
1/10
Let i(m) = m**3 + 5*m**2 + 4*m + 2. Let x be i(-3). Suppose 5*t + x = t. Is t at most as big as -1?
True
Let a be ((-18)/15)/((-2)/(-5)). Let w be (-88)/40 - (a - -1). Which is greater: 0 or w?
0
Let x be 2 + ((-3819)/39 - -2). Let t = -94 - x. Is t less than -1?
False
Let m be ((-1)/(-9))/(2/12). Is 32 bigger than m?
True
Let d be -124*(-1 + (-706)/(-616)). Let r = 123/7 + d. Which is greater: 1/3 or r?
1/3
Let b = -12.5 + 0.4. Let y = 12 + b. Which is bigger: y or 0?
0
Let k be 1 - (1 + 2/(-17)). Let b(w) = 2*w + 14. Let c be b(-7). Is c equal to k?
False
Let o = -6 - -4. Let h = -4 + o. Let y be (-10)/h*12/8. Is 4 at most y?
False
Let r = 30 + -12. Suppose 6 - r = 3*k. Which is bigger: -3 or k?
-3
Let l = 3 + -3. Let g = 78.92 - 76. Let u = g + 0.08. Which is bigger: u or l?
u
Suppose 0 = -14*r + 17 + 305. Are 21 and r non-equal?
True
Let c = 3641/4 - 958. Let g = c + 48. Let z = -250/3 - -84. Which is bigger: g or z?
z
Let t(l) = l**3 - 4*l + 3. Let y be t(2). Suppose 4 = -p - 0, 4 = -4*f - 3*p. Is y less than f?
False
Let t = 25.1 - 12.1. Which is smaller: t or -5?
-5
Suppose v + 33 = 5*k, k - 11 = -4*v - 122. Do 1 and v have the same value?
False
Let m(p) = 9 + 3*p + 0*p + 3*p**3 + 6*p**2 - 2*p**3 + 3*p. Let y be m(-5). Let k(c) = -c. Let j be k(-3). Is y at most as big as j?
False
Let d = 1013/6 - 167. Let t be 32/15 + 2/(-15). Is t not equal to d?
True
Let y = -7 + 5. Let z(i) = -i**2 - 2*i - 2. Let j be z(y). Is -3 at most as big as j?
True
Let n = -32 + 38. Suppose -8 = 2*t, 0*m - 26 = -3*m + 2*t. Is m greater than n?
False
Let q = 4.1 - 2.1. Let x be (-5)/9 - (-6)/27. Which is greater: x or q?
q
Let x(p) = -p**2 - 8*p - 22. Let h be x(-6). Is -13 smaller than h?
True
Let s = -66191 + 860927/13. Let u = 34 - s. Let p = -2 + 1. Which is smaller: p or u?
p
Let u = -13.16 - -13. Let x = u - -0.06. Which is bigger: -14 or x?
x
Suppose -3*g - 2*y + 23 = 0, 5*y + 9 = 29. Do g and 6 have the same value?
False
Let z = 4 + -3. Let j = 0.8 - z. Which is smaller: -1 or j?
-1
Let o be 3/(-7) - 4 - -4. Suppose 2*w + c + 3*c + 22 = 0, -2*w + 2*c = -8. Let k be (-2)/(-4) + w/(-2). Is k <= o?
False
Let s = 83067/76 + -1093. Are 1 and s equal?
False
Let v be (-4 + 3)/(2 + -1). Let a = 0 - v. Let s be 1 + (-2 - (-20)/6). Are s and a nonequal?
True
Suppose 6*h - 288 = -0*h. Is h at least as big as 49?
False
Let f = -0.079 + -8.721. Let n = f - -9. Is n not equal to 1?
True
Let r(k) = k**3 - 3*k**2 + 2*k + 5. Let t be r(3). Suppose -2*c - t = -3. Is c greater than -4?
False
Let w be (-130)/30 + 1*4. Do 5 and w have different values?
True
Let a be (-42)/2 + 7/21*-9. Is -22 not equal to a?
True
Suppose -8*u - u = 0. Which is smaller: u or 1/59?
u
Suppose 0 = -3*n + 2*q - 440, -5*n - 3*q = 2*q + 775. Let d be n/(-63) - 0 - 2. Let h = 5/7 - d. Which is greater: h or 0?
h
Let u = -5/29 + 49/116. Which is smaller: -5/6 or u?
-5/6
Suppose 0 = u - 7*u - 6. Let g = 94/7 + -13. Is g at most u?
False
Let k(o) = -3*o + 50. Let l be k(18). Is 8 less than l?
False
Let n be -1 - (2 + -4) - 1. Suppose r = -n - 1. Suppose -8 = -2*i, -y = 3*y - 2*i + 8. Which is greater: r or y?
y
Let i = -7388/665 - -210/19. Which is smaller: 1 or i?
i
Suppose 2*l - 3 = 5, -24 = -2*k + 5*l. Which is bigger: k or 24?
24
Let f = -0.3 + 0.2. Let v be 6/(-10) - 2/10*-3. Which is smaller: f or v?
f
Let s(u) = u**2 + 7*u + 2. Let r be s(-7). Suppose r*i + 2 = 4. Which is greater: i or 1/5?
i
Suppose -9 - 6 = -3*k, 3*f + 3*k = 15. Which is smaller: f or -4/23?
-4/23
Let h(u) be the first derivative of -u**2/2 - 5*u - 3. Let c be h(-4). Which is smaller: c or 1/3?
c
Let v be (1/(-2))/((-102)/196). Let s = 5/17 - v. Which is bigger: s or -2?
s
Let z(u) = -3*u + 30. Let o be z(9). Which is smaller: 15/8 or o?
15/8
Let k = -31 - -28. Suppose 0 = 4*d + u + 11 - 1, 0 = -d - 2*u + 1. Is k at least as big as d?
True
Let c = -11 + 11. Suppose -4*j + 5*j = c. Which is greater: 0.1 or j?
0.1
Let f be (0 + -6 + 4)/(-2). Are f and 1/9 non-equal?
True
Let i be (-3)/(-12)*(-8)/6. Let z = 2 + -1.9. Which is smaller: i or z?
i
Let v be 543/9*(-6)/4. Let l = v - -93. Do -2/9 and l have the same value?
False
Let w = -266 + 267. Suppose 4*s = 1 - 5. Let p be (-1 + s)*(-1)/2. Are w and p equal?
True
Suppose 2*a + 2*g = 2, -g + 2*g = 2*a + 1. Which is greater: -2 or a?
a
Let d be 1*-3 + 282/114. Which is bigger: d or -1?
d
Let s be 4*(50/8)/(-5). Let m be (-44)/(-20) - (-1)/s. Suppose -4*p + 3*p = -m. Is 1 greater than p?
False
Let d be (-3)/9 - 2/(-6). Suppose 192 = 4*n + n - 3*m, 5*m - 5 = d. Let w be 2/8 + n/(-12). Which is greater: -1 or w?
-1
Let j be (-117)/2 + -1 + (-13)/26. Is j not equal to -60?
False
Let h be (18/90)/(4/(-30)). Let k = 1 + -2. Which is greater: k or h?
k
Let g = 1.3 - 0.3. Let u = -7.13 - -0.13. Which is smaller: g or u?
u
Let b be (-3)/(-2) + (-5)/2 + 1. Let t = -5 + 5.4. Let u = t - 0.1. Are b and u non-equal?
True
Let w = -1 - -1.1. Let j(l) = l + 5. Let r be j(0). Suppose 2*p + 3 = r. Is w < p?
True
Let a = 5.7 - 4.7. Let f be 8/3*(5 + -2). Are a and f unequal?
True
Let z = 0.035 + -0.065. Is z bigger than 0.08?
False
Let q(l) be the second derivative of 1/12*l**4 + 0*l**3 - 1/2*l**2 + 0 + 3*l - 1/20*l**5. Let b be q(0). Which is smaller: 1/3 or b?
b
Suppose -y - 15 = 2*y. Let b(t) = -t**2 - 5*t - 2. Let g be b(y). Suppose 5*d = 3*d - 6. Is g smaller than d?
False
Let d be 1 + 6 + (-3 - -1). Is 6 less than d?
False
Let i = -285 + 593/2. Let o be (423/(-24))/((-6)/(-4)). Let p = o + i. Which is greater: 1 or p?
1
Suppose -2*r + 4*r + 14 = 0. Let u(y) = -3*y**2 + 3*y + 19. Let j(m) = -2*m**2 + 2*m + 13. Let z(d) = r*j(d) + 5*u(d). Let c be z(3). Are c and -2 equal?
True
Let m be ((-1)/2)/(2/(-12)). Let t(y) = -y. Let z be t(4). Let p be (16/z)/(1 + -3). Which is smaller: p or m?
p
Let z be (3/(-24))/((-5)/(-4)). Which is bigger: z or -1?
z
Let q = 12 - 6. Let s = -6 + q. Let n = 3 + -2.9. Do n and s have different values?
True
Let n be 318/(-72) - 3/(-18). Is n smaller than -4?
True
Suppose 24 - 19 = h. Suppose 0 = g + b - 9, -2*b + h*b + 15 = 3*g. Which is bigger: g or 6?
g
Let f = 37790/47 - 804. Let y(i) = i**3 + i - 1. Let l be y(0). Is l greater than or equal to f?
False
Let k = -33.74 - -34. Let p = 0.15 - k. Do -1 and p have the same value?
False
Let v(j) = -j + 4. Let k be v(11). Let p = 5 - k. Let l be p/(-21)*(-1)/2. Is l smaller than 1?
True
Let f = -0.881 + -0.019. Let h = 0.65 - -0.05. Let d = h + f. Which is smaller: -2 or d?
-2
Let p be (-18)/45 - 4/(-10). Let l = 1 + 0. Is l at most as big as p?
False
Suppose -100 = -2*w + 22*w. Suppose -23 = 4*a - c, -32 = -a + 5*a - 4*c. Is a >= w?
True
Let o(w) = w**3 - 4*w**2 - 5*w - 2. Let s be o(5). Let t(u) = -2*u**2 + u. Let b be t(-1). Which is bigger: b or s?
s
Let n(p) = 5*p**3 - p. Let g(k) be the first derivative of k**4/4 + 2*k**3/3 + k**2 + 3*k + 1. Let r be g(-2). Let u be n(r). Which is bigger: u or -3?
-3
Let k = -0.58 - 1.42. Is -9 > k?
False
Suppose 14*s + 70 = 19*s. Are s and 13 non-equal?
True
Let z(s) = -s + 9. Suppose 0 = 2*u - 3*x - 6, -37 = -2*u - 4*x - 3. Let a be z(u). Is 2/5 >= a?
True
Let s be (0 - 1)/((-1)/2). Suppose 2*z + 7*l = s*l + 5, -5*z = 3*l + 16. Is -5 >= z?
True
Suppose 0