ual?
False
Let z be ((-3)/(-15))/(20/(-25)). Are z and -1 unequal?
True
Let k = -8 - -4. Let a = 1 + k. Is a greater than -3/2?
False
Suppose -m + 12 = 3*m. Let f(i) be the first derivative of -i**2/2 + 3*i - 12. Let b be f(m). Is 0 at least b?
True
Let x = -1117/1870 + 1/110. Which is greater: 0 or x?
0
Let p = 8 - 7.7. Suppose -8*i + 11*i - 3 = 0. Which is bigger: p or i?
i
Let u be ((-4)/((-8)/3))/9. Let h be 0/((-1 - -1) + -1). Suppose -1 = -3*o - 4*q - h, -5*o - 2*q - 3 = 0. Are o and u unequal?
True
Let i = -7 - -9. Let f(a) = -a**2 + 2*a - 2. Let x be f(i). Let k = 4 - 7. Which is smaller: k or x?
k
Let s = 11 - 78/7. Let c be 4/2 + 0 - 3. Is s at most c?
False
Let i = -4 - -1. Let x = 7 + -22/3. Is x < i?
False
Suppose 4*s + 8 = 0, -3*v = 3*s + 17 - 2. Suppose 3*j = -2*d + 24, -51 = -2*d + 4*j - 13. Let h be 1/v + 8/d. Which is bigger: h or 0?
h
Let a be 3*-3*(-1 + 2). Let h be 10/((-10)/(-6) - 2). Let r be (-3)/(-6) + a/h. Do 2 and r have different values?
True
Let h = -121 - -107. Which is greater: 2/7 or h?
2/7
Suppose 5*j + 1 - 26 = -5*u, 1 = -j + 2*u. Suppose 2*m = -j*m - 10. Is m smaller than -4/5?
True
Suppose -2*r + 5 = 1. Let i be (6 - 0) + -2 - r. Is i equal to 1?
False
Let f(j) = -j**3 - 5*j**2 + j + 3. Let g be f(-5). Is -1/2 less than or equal to g?
False
Let v = -2.8 + 2.57. Let w = v + 3.23. Is -0.2 at least w?
False
Let r(v) = -2*v - 1. Let u(b) = -b. Let q(o) = -3*r(o) + 5*u(o). Let t(s) = s**3 + s**2 - 2*s - 3. Let d be t(-2). Let i be q(d). Is 1 smaller than i?
False
Let x = -2/35 - 101/70. Let m = 5 - 8. Let b be (m/6)/(2/12). Which is smaller: x or b?
b
Let v be -1 + (2 - 1) - -10. Suppose 4*l = -2*h + v, 9 = 2*h - 1. Is l >= -1?
True
Suppose 0 = 2*w + 2*w - 5*o - 24, -3*o - 14 = -2*w. Let x(b) = -b + 1. Let d be x(-1). Let u be 7/(d - 2/(-1)). Which is smaller: w or u?
w
Let f be (-8 + 6)*2/(-918). Let u = f - -2740/3213. Is u equal to 0?
False
Let q be 595/(-15) + 2/3. Let n = -116/3 - q. Let j(i) = -i**2 + 5*i + 5. Let v be j(6). Which is bigger: v or n?
n
Let r(i) = i**2 + 7*i + 9. Let q be r(-5). Let c be (1*1/(-2))/(-4). Which is smaller: q or c?
q
Suppose 4*l + 2 = -4*z + z, -4*l = 2*z + 4. Let o be -3 - (-39)/18 - -2. Do o and z have the same value?
False
Suppose -83 = -4*k - j, 2*j + 97 = 5*k + j. Suppose -3*d - 2*d = -k. Is 7 > d?
True
Let p(f) = -3*f**2 + 0*f**3 - 5*f - 4 - f**2 - f**3. Let t be p(-3). Let y be (-1 - -2)/(-1 + 2). Which is smaller: y or t?
y
Let f = 17/207 + 2/69. Which is bigger: f or 0.2?
0.2
Let j be -2 + (132/27)/4. Let s = j + 41/18. Let h be (-1)/(4/2*-1). Is h greater than or equal to s?
False
Suppose 8*y - 3*y = -4*p + 8, 0 = 4*p - 5*y - 8. Let a be -2 + (-2 - -2) - 2. Let f be a/(-10) + 32/(-30). Which is smaller: p or f?
f
Let y = 22 + -24. Let o = y - -1. Is -1.6 at least o?
False
Let l be 7/4 - (-3)/(-4). Which is smaller: l or 3/8?
3/8
Suppose 4*f = g - 5, -f - 2*g + 0 + 1 = 0. Is f bigger than 3/32?
False
Let j = -6 + 13/2. Is j greater than 1/4?
True
Let r = 5.1 + -5. Let l = -0.1 - r. Let j = 0.4 + l. Is -0.2 >= j?
False
Suppose 7 = i + 3. Suppose d + i*d + 10 = 0. Let y be 0/1 - 2/6. Is y smaller than d?
False
Suppose 2*z + p - 3*p + 24 = 0, -28 = z - 5*p. Let a = -8 - z. Is -3/7 at least as big as a?
False
Suppose -5*f = 2*t - 1 - 5, 2*t - 34 = 2*f. Suppose 0 = 2*d - 3*i + t, -i = -4*d - 0 - 1. Is -1/33 >= d?
False
Let f = 11 + -9. Let g = 3 - f. Which is bigger: 7/6 or g?
7/6
Suppose -2*p = -5*y + 21 - 64, 4*y = -2*p - 38. Which is smaller: y or -8?
y
Let a(q) = q**2 - 5*q + 4. Let n be a(4). Which is smaller: 2/29 or n?
n
Suppose -2*r + 5 = -3*u, -4*u - 3*r = -2*r + 25. Let g = -14 - -10. Is g <= u?
False
Suppose 0 = w - 5 + 2. Suppose 4*g = 3*z + 2*z - 24, 2*z + w*g = 5. Let u = z - 5. Is u at least 0?
False
Let g(i) = -i. Let z be g(-2). Let f(p) = 2*p + 4. Let m be f(-2). Let a be m/(2/(-6)*-3). Is a less than or equal to z?
True
Suppose -2*q + 14 = -2*w, -5*w - 2*q - 2*q + 10 = 0. Let g be 1 + -1 - 1/w. Let m be (2/4)/((-3)/12). Is m at least g?
False
Let w = 1 - 1. Suppose -3 = 3*f - 2*q, 5 = f - 2*q + 2. Which is smaller: f or w?
f
Let l = -9 + 59. Let h = 201/4 - l. Which is greater: 0.4 or h?
0.4
Let k = 104 - 101. Which is bigger: k or 22?
22
Let o = -1/15 - -7/5. Let k = -4 - -5. Which is smaller: o or k?
k
Let z = 31 + -24.6. Let x = z - 6. Is x greater than 0.1?
True
Suppose -5*t - 3*s = -3*t - 12, 0 = 4*t - 3*s - 6. Let z be 3 + (-2)/(0 - 1). Suppose 0 = -z*k + 15, 0*k - t = 3*v - 2*k. Is -1 < v?
True
Suppose 20 = -3*w + 5*y, 0*w + 2*w - 2*y = -8. Suppose -o + w = -5. Suppose -o*r + 18 = 3*l, -3*l - 4*r + 10 = -5*l. Is l less than or equal to 2?
True
Let k = 1/132 - 811/2508. Which is smaller: 0 or k?
k
Let d = 14 - 60. Is d not equal to -46?
False
Let j = 0.43 + 18.57. Is j not equal to 0.1?
True
Let x = 915/112 + 9/112. Is x at most 9?
True
Suppose -5*h + 4 + 2 = -2*b, b + 3 = 3*h. Which is greater: -1/29 or h?
h
Let g(w) = -w + 1. Let b be g(1). Let j be ((-2)/(-2))/((-39)/6). Is b at least j?
True
Let x = 22.4 - 22. Do x and 2 have different values?
True
Let f be 4/3 + -2 - 192/(-18). Is f <= 9?
False
Let k(a) = a**2 - a + 1. Let l be k(0). Which is greater: -4/21 or l?
l
Let d(r) = r - 3. Let v be d(6). Let i be (2*1)/(v - -4). Let w be 3/(-4)*(-56)/(-147). Which is greater: i or w?
i
Let u(c) = c**2 - 8*c + 1. Let d be u(6). Let y = d - -18. Is y at least 3?
True
Suppose 0*s - 4*s - 28 = 0. Let x be 8/(-28) - 4/s. Let v be (1/(1/1))/(-2). Which is bigger: x or v?
x
Let g be 2/16 + (-7)/56. Suppose -1 = b - g. Which is greater: -3/7 or b?
-3/7
Let a = 1.3 + -1.29. Let g = 0.99 + a. Is 10 less than g?
False
Suppose 4*z + 32 = -4*u, 0*u + 16 = -4*u. Suppose -5*i = -5, 0*a - 2*a - 11 = -i. Which is greater: a or z?
z
Let u(s) = s**2 + 8*s + 8. Let w be u(-7). Let v be 88/(-280) + (-6)/(-10). Is v equal to w?
False
Let p = 55 + -54.9. Which is bigger: p or 0.32?
0.32
Let l = -23.06 - -1.06. Which is smaller: 1 or l?
l
Let x be (-2)/3 + (-21)/9. Let p = 6 - 10. Which is smaller: p or x?
p
Let o(g) = g - 1. Let p be o(4). Suppose p*b - 2*b = 1. Which is bigger: b or 0?
b
Let w(g) = g**2 - 2*g. Let p be w(5). Let k = p - 9. Let f be (-3)/k*2 - -2. Which is bigger: f or -2/7?
f
Let w = 4513 - 745. Let d = 14769/4 - w. Let l = d + 75. Are l and -1 equal?
False
Suppose 0 = 2*l - 4, 3*d = 4*d - l - 1. Which is smaller: d or 22/9?
22/9
Let l = 1.52 + -0.12. Let g = 1.2 - l. Is 1 greater than or equal to g?
True
Let u(r) be the third derivative of r**4/24 - r**3/6 + 2*r**2. Let z be u(4). Is 1 at least z?
False
Let c be 0/1 + 4/(-1). Let z(q) = -q**2 + 5*q - 3. Let p be z(3). Let d be -3 + p + c/(-6). Which is bigger: d or 1?
1
Let p = -40/11 - -324/77. Let c = -38.8 + 39. Is c != p?
True
Let n be (-4)/(-12) + (-406)/1560. Let q = n + -3/20. Let j = 1 - 1. Which is bigger: j or q?
j
Let r = 21 + -21. Which is smaller: -1 or r?
-1
Suppose 4*m - w = -24, -7 - 5 = 2*m + 4*w. Is -6 bigger than m?
False
Suppose 6*s - 2*s + z - 46 = 0, 3*s + 4*z - 28 = 0. Is 13 <= s?
False
Let j be (0 - 2)*(-9)/18. Which is bigger: 3/2 or j?
3/2
Let m(r) = r**3 - 4*r**2 - 5*r. Let v be m(5). Let c = -1807/9 - -201. Which is smaller: v or c?
v
Let r = -122 + 122. Let j be (3/6)/((-10)/44). Let y = 13/5 + j. Is r < y?
True
Let g = 31 + -33. Which is greater: g or -12?
g
Suppose 4*f = 4*m - 2*m - 18, -4 = f. Let p be m - (6/8 + 1). Let o = 1/2 + p. Do o and -1 have different values?
True
Let t = -212/21 + 32/3. Which is smaller: t or -1?
-1
Let s = -209 + 227. Are s and 17 nonequal?
True
Let z(k) = -k**3 - 5*k**2 - 2*k + 2. Let l(f) = 0*f**3 - 8*f**2 + f**3 + 5*f**2 + f - 2. Let g be l(2). Let w be z(g). Which is greater: w or -7?
w
Let h(r) = -6*r**2 - 9*r + 3. Let d(c) = 5*c**2 + 9*c - 4. Let a(n) = 5*d(n) + 4*h(n). Let w be a(-10). Which is bigger: w or 1?
w
Let j = 34 + -7. Let n be (-50)/(-48) + (-18)/j. Let y be -1*((-14)/8 - -2). Which is smaller: n or y?
y
Let x = -184 - -172.7. Let z = -12 - x. Let q = 0.9 + -1. Are q and z non-equal?
True
Let g = -2 + 2. Let p = -0.1 + g. Let v = 1 - 2. Is v != p?
True
Let i = 18 - 34. Which is smaller: -1/3 or i?
i
Let w(o) = o**3 - 3*o**2 + 3*o - 3. Let c = -4 - -6. Let u be w(c). Let b = -4 + 3. Is b at least as big as u?
True
Let i = 84