 -362/9. Let q = i + -87/28. Let a = -1 - -1. Is a equal to q?
False
Let t(z) = z + 9. Let b be t(-8). Suppose 2*f - f - b = 0. Let g be (f/3)/((-1)/15). Which is smaller: g or 2/7?
g
Suppose 4*w - 92 = 5*s, 0*w - 70 = -5*w - 5*s. Suppose 3*z - v = 12, -6*z + z + v = -w. Which is smaller: z or 4?
z
Let d be 2/(-4) - (-18225)/36530. Let p = -957130/40183 - d. Let s = 24 + p. Is -1 greater than s?
False
Let v = 1 - -9. Let u = -40 - -51. Which is smaller: v or u?
v
Suppose -114 + 19 = 5*r. Is r bigger than -18?
False
Suppose 2*r = -0*r. Suppose -3*q - 2*q = r. Let i = 2 + q. Are 2 and i equal?
True
Let a(t) = t - 6. Let c be a(6). Is c greater than or equal to 3/8?
False
Let l = 4 + -4. Let h = l + -2. Let g = -1 - h. Is g < 0?
False
Let t be 7/28 + (-6)/(-8). Is t < -6/13?
False
Let x = 15 - 7. Is 5 greater than x?
False
Let h be (-1 - -2) + -3 + 6. Let p be 4/8*h/(-9). Let y(w) = w**2 + 6*w + 5. Let g be y(-5). Is g less than or equal to p?
False
Let c = -58.9 + 70. Let s = c + -11. Do s and -0.1 have different values?
True
Suppose 11*n - 7 - 202 = 0. Is 19 equal to n?
True
Suppose -4*d + 39 = 5*i, i = -i + 5*d + 9. Is i greater than 0.7?
True
Let h = 0.2 - 0.1. Let r be 1 + (32/6)/(-4). Which is greater: r or h?
h
Let j be (-12)/8*4/(-10). Let x = -48 - -34. Let n = x + 13.8. Is j less than or equal to n?
False
Let v(r) = r**3 - 4*r**2 + 3*r + 4. Let x be v(3). Suppose 6 = 3*b + 5*h - x, b = 3*h + 8. Suppose 2*n + b = -7. Which is smaller: -7 or n?
-7
Let u = 16 - 9. Suppose -5*y - 4 = 3*z, 0 = -5*y + 2*z + u + 4. Suppose -173 = 3*n - 176. Is n equal to y?
True
Let k be (2/(-1) - 0)/(-1). Suppose -2 = k*s - 4. Is s greater than or equal to 1?
True
Suppose 5 = 4*z - 11. Suppose -4*t + 0 - z = 4*x, -5*x + 5 = -5*t. Are 3 and x equal?
False
Let g(w) = 2*w**3 + 1. Let i be g(1). Let c be 6/(-21) - (i + -3). Is c <= 0?
True
Suppose -w + 62 = -0*w. Suppose -3*h + w = -4*h - 2*c, -c = -3. Let p be h/(-28) - 6/14. Are p and 0 unequal?
True
Let z = 8 + -28. Is 0 <= z?
False
Let o = 111 + -71. Is 1/2 less than o?
True
Let h be -1 + (-2)/((-4)/10). Suppose 2*j - 35 = -3*o, -h*o - 8 = -28. Suppose -j = 4*y + 2. Is -2 at most as big as y?
False
Let k = -8.9 + -3.1. Let t = k + 10. Is 0.4 at least as big as t?
True
Let v(w) be the second derivative of -w**3/6 - 7*w**2/2 - w. Let b be v(-10). Let z = b - 4. Is z < -1?
False
Suppose -13*l + 2*l = 11. Which is greater: l or 2/17?
2/17
Let k be (2/3)/((-100)/12). Are k and -1 nonequal?
True
Let o = -2 - -22. Are o and 20 non-equal?
False
Let c be 4/18 - (-228)/(-54). Let x(l) = l**3 + 5*l**2 + 4*l. Let y be x(c). Let d = -488/5 + 98. Which is greater: d or y?
d
Let h = -12/5 - -14/5. Is h smaller than 1?
True
Let d = -8 - -16. Which is smaller: d or 5?
5
Let g = -20 + 29. Suppose -5*z + 1 + g = 4*i, 0 = -5*z + 10. Let v be -1 - 1/(-3)*4. Which is smaller: i or v?
i
Let n(h) be the third derivative of -h**5/120 - h**4/8 + h**3/3 + h**2. Let x(b) be the first derivative of n(b). Let s be x(-2). Is 1 smaller than s?
False
Suppose -8 + 46 = -4*m - 5*x, m = -5*x - 2. Which is smaller: m or -2/3?
m
Suppose -3*i + 15 = 0, 0*l - 2 = 4*l + 2*i. Do l and -3 have different values?
False
Let g(m) = m + 1. Let w be g(3). Suppose -9 + 1 = -w*k, d - 4*k = -8. Is d not equal to -2?
True
Let q = 7114 + -21608/3. Let b = -88 - q. Suppose 4*o + l = -3*l - 4, 2*o - l = 1. Which is bigger: b or o?
b
Let b be ((30/8)/(-5))/3. Let i = 0.2 + -0.3. Let o = i + 0.3. Which is greater: b or o?
o
Suppose -2*y = y - 21. Suppose -13*f + 5 = -8*f. Does f = y?
False
Let z = 6.3 + -2.5. Let t = z - 4. Is t >= -2?
True
Let j(u) = u**3 - 15*u**2 - 33*u - 25. Let c be j(17). Which is smaller: c or -7?
c
Suppose c = -0*c + 4*t - 17, 2*c - 18 = -5*t. Let y = -17.5 + 16. Let l = -1.45 - y. Which is smaller: c or l?
c
Let p = -26/49 - 16/49. Are p and -2 unequal?
True
Let r = -2/91 + -87/182. Which is smaller: r or 2/11?
r
Let u be (-2)/4*(-8)/(-4). Let j = -0.19 - -0.24. Is u greater than j?
False
Let w = -5 - 3. Let x = w + 11. Suppose x*n - 3*h = -2*h + 9, -4*n - h = -5. Is 2/3 > n?
False
Let c = 6 + -2. Let z(y) = y**3 - 4*y**2 - y + 5. Let g be z(c). Which is smaller: 1/3 or g?
1/3
Let q be 70/(-8) - (-2)/(-8). Let p be (12/q)/((-1)/(-3)). Let l = 5 + p. Which is smaller: 2/9 or l?
2/9
Let g be (-4491920)/(-22) - (-1 + 1). Let l = 203992 - g. Let y = 186 + l. Are -1 and y non-equal?
True
Suppose 2*a = -8 + 4. Let p = -10 - -27. Let s = -16 + p. Is a < s?
True
Let z = -8 - -11. Suppose -z*h - 10 = -h + 2*j, -5*h + 4*j - 25 = 0. Let d = -5 - h. Are d and 0 nonequal?
False
Let t(w) = -5*w. Let y be t(1). Do y and -5 have the same value?
True
Let h be (-1)/5*(3 + -6). Which is bigger: h or 1/4?
h
Let n be 0 + 3 + 9/3. Is n < 5?
False
Let z = -167/14396 + -5/236. Do 0 and z have the same value?
False
Let o be 406/693 + 6/(-27). Which is greater: 1 or o?
1
Suppose -9 = 3*j - 3. Let r be (-4 - j)/(-2) - 0. Which is smaller: 0 or r?
0
Let z = -35 - -54. Let i = z - 13. Let d be i/4 + 3/(-2). Which is smaller: d or 2/33?
d
Suppose 4*d - 3*f + f - 14 = 0, 0 = -4*d + f + 13. Let y = 54 + -105/2. Which is smaller: d or y?
y
Suppose h - 3*f = 12, 0 = -2*f + 3 - 5. Which is bigger: h or 8?
h
Let y = -18541/13 - -1425. Is -2 at least as big as y?
False
Let w be (-13)/26*(-72)/1. Suppose 4*k = 8, 3*k + 15 = -5*d + w. Let o(i) = i**3 - 5*i**2 - 6*i + 4. Let r be o(6). Is d less than or equal to r?
True
Let i = 3 + -3. Suppose -3*s = -3*g + 18, 5*g - s - 23 + 1 = i. Suppose 0*r + 5*x + 10 = -g*r, -2*r - 5*x - 10 = 0. Which is smaller: -2 or r?
-2
Let f be ((-1)/6)/((-4)/(-3)). Suppose -11*j - 87 + 76 = 0. Is f < j?
False
Let j = -7 - -2. Let v = -10 + 5. Do v and j have different values?
False
Let j be (-2 + 0)*(-12)/(-80). Which is smaller: j or 1/2?
j
Let v(k) = k**2 - 5*k - 7. Let c be v(-4). Is 28 at least c?
False
Let q = 141 - 151.8. Which is smaller: 1/3 or q?
q
Let o = 24 + -27. Which is smaller: -5 or o?
-5
Let s = -0.09 - -1.49. Let h = s + -1.4. Which is greater: -2/7 or h?
h
Let s(c) = 3*c + 9. Let u be s(-3). Which is smaller: u or 1/6?
u
Let y = -5 - -7. Let l(x) = 0 - 3 - x + 2 - 3. Let t be l(-4). Which is smaller: y or t?
t
Let q = -23 + 24. Is 4 < q?
False
Let i be (5/3)/(-2 - (-21)/9). Which is greater: 6 or i?
6
Let k be 4/2 - (-40)/4. Suppose k = -u - 3*u. Are u and -4 unequal?
True
Let s(l) be the first derivative of -l**2 - 7*l + 1. Let k be s(-5). Suppose -k*x = 2*x + 3*z - 2, x = -5*z + 18. Which is greater: x or -3?
x
Suppose -2 = -w + 3*q, -q = -w + 3 + 1. Let p be 0 + w - 1 - 5. Is 2/21 > p?
True
Let b be 2/(-6) - (-19)/3. Let p(v) be the second derivative of v**4/12 - 5*v**3/6 - 5*v**2/2 + 2*v. Let g be p(b). Which is smaller: 1/6 or g?
1/6
Let i = 1336/105 - 38/3. Is 1 less than i?
False
Let a = 4 + -7. Let p = -3.2 - a. Let k = -0.4 + 0.1. Is p smaller than k?
False
Let f = 1.2 - 1.3. Let w = -76 + 461/6. Are w and f unequal?
True
Let b = 11636/21 - 554. Is b less than 0?
False
Let f = 13 + -9. Suppose -2*s = 4, 0*s + 16 = 2*x - 4*s. Is x less than f?
False
Suppose 0*a + 4 = 4*a + 3*o, -3*a = -o + 10. Let r be (2 - -1) + 1 + a. Is 3 greater than r?
True
Let d be 1/((-165)/189) + (-3)/(-5). Which is greater: d or -1?
d
Suppose n + 2*s - 152 = -3*n, 2*n = 5*s + 52. Suppose -4*c = -0*c - n. Is c less than 7?
False
Let d(s) = -30*s**3 + s**2 + s - 2. Let v be d(-2). Let b = -3357/14 + v. Do b and -1 have the same value?
False
Let d be -2 + 14/4 + (5 - 4). Which is smaller: d or 0.1?
0.1
Suppose 0*p - 4*p + 36 = 0. Let a be ((-2)/(-3))/(2/p). Suppose -5 = -a*v + 1. Is 2 smaller than v?
False
Let f be -3 + ((-25)/(-75))/((-2)/(-6)). Let l = -0.1 - -1.1. Is f smaller than l?
True
Suppose 3*v = 2*v - 1. Let n be (-2)/((0 + -3)/3). Let k be (v*(n - 1))/(-4). Which is smaller: k or 1?
k
Let t be 0/(0 + 0 - -1). Let r(g) = -g**3 - 10*g**2 - 8*g + 6. Let c be r(-9). Let q = c + 0. Are q and t nonequal?
True
Suppose 0 = 4*p - 3*p. Suppose p = -x + 3 - 1. Let j be (x + 3/(-3))*-1. Which is bigger: 0 or j?
0
Suppose -3*y = 5*n + 24, 4*y - 3*n = n. Suppose 0 = -2*s + 10, 3*k - 5*s = -0*k - 34. Is y greater than k?
False
Suppose -4*x + 5*l - 20 = 0, 5*x - 12 = x - 3*l. Which is smaller: x or -2/41?
-2/41
Let y(w) = -2*w**2 + 3*w + 3. Let m be y