ue
Let l be -1 - 3*(-2)/(-3). Let u(v) = v + 2. Let o be u(l). Let q = o + -1. Is q not equal to 0?
True
Suppose -4*t - w - 4 = -12, w - 4 = 0. Which is bigger: t or 3/16?
t
Let g be (-3)/6*-1*0. Suppose c - 2*c = g. Are 4/9 and c nonequal?
True
Suppose 0 = -o - 0*h + 4*h + 223, 5*o + h - 1136 = 0. Let g = 3406/15 - o. Is g at most 1?
True
Suppose -u - 2*g + 4*g = -6, 5*u - 9 = 3*g. Suppose u = -2*x - 2*x + 8. Suppose -2*w = -4 + x. Is 1/4 not equal to w?
True
Suppose 4*r + 2 = 3*r. Let m be (-1)/(-2)*(2 + r). Do 5/6 and m have the same value?
False
Suppose -z + 33 = 7. Suppose 0 = 3*d + z + 22. Are -17 and d unequal?
True
Let a = 204 + -1017/5. Let h(m) = m - 7. Let y be h(5). Let l be -1 - (y + 0 - 0). Is l at least a?
True
Let o = -1.7 + -0.34. Let v = -1.04 + 1. Let f = v - o. Is -0.1 > f?
False
Let w = -6 + 9. Suppose w = -2*a - a. Does -0.1 = a?
False
Let g be ((-4)/(-72))/((-4)/(-3)). Is g < -1?
False
Suppose 0 = -5*k - 4 - 1. Let z be k + (-9)/(-6)*-6. Let t be 8/6*3/z. Is 1 equal to t?
False
Let b(s) = -s**3 + 7*s**2 - s - 6. Let g be b(7). Let k be 4/30 - (g - -13). Is k > 0?
True
Suppose -2*a + 3*t = 15, -3*t + 16 = 4*a + 1. Which is smaller: a or 1?
a
Let k = -0.1 - 0.1. Which is greater: k or 1/6?
1/6
Let y be 3/(72/(-23) + 3). Is -70/3 less than or equal to y?
True
Let c = 0.02 - 0.07. Let g = 2.05 + c. Is -3 at least g?
False
Let q = 17 - 12. Suppose 8*s - 3*s + q = 0. Are s and -1 nonequal?
False
Let m be (-4)/(-10)*90/3. Let q be (-18)/m*(-20)/6. Is q greater than or equal to 4?
True
Let u = -17 + 11. Let w = u + 5.8. Let z = 0.2 + -0.3. Which is smaller: w or z?
w
Suppose 2*g = -2*g - 36. Let u(x) = x**2 + 10*x + 10. Let j be u(g). Let k be 9/(-4) + 2*j. Which is smaller: k or -2/5?
-2/5
Let m = 0.7 - 1.2. Let u = m + -0.5. Which is bigger: -1/2 or u?
-1/2
Let k = -29 - -61. Which is bigger: 33 or k?
33
Let y = -7 - -7. Suppose y = -i + 4*m - 6*m - 6, -3*m - 3 = 3*i. Let t be 1/i - (-15)/36. Is 0.2 smaller than t?
True
Let w = 5.5 + -6. Let q = w + 0.54. Let s = q + 0.96. Which is smaller: 0.4 or s?
0.4
Suppose r - 12 = -2*r. Suppose r*n - 4 = -0*n. Is n greater than 0?
True
Let z be 3*1*2/2. Is z less than or equal to 0?
False
Let k be (-4)/((5 - 1) + -42). Suppose a = 3*j + 1, 2*a - 13 = -j - 4*j. Does j = k?
False
Let x be ((-1)/(9/6))/(8/(-60)). Let f(g) = g**3 - 4*g**2 - 3*g - 4. Let n be f(5). Which is smaller: x or n?
x
Let f = 0.019 - 0.219. Do f and 13 have the same value?
False
Suppose 5*t + 4489 + 21396 = 0. Let a = -26098/5 - t. Let r = 43 + a. Is -1 <= r?
True
Suppose 0*n - 444 = -12*n. Which is bigger: 38 or n?
38
Suppose 0 = f - 2*k - 12, -28 = -8*f + 3*f + 2*k. Let d(x) = -x**3 + 3*x**2 + 5*x - 3. Let v be d(f). Let o be v*(-2)/2*2. Which is greater: -5/2 or o?
o
Suppose -v - v - 6 = 0, 0 = -4*a + 2*v + 2. Let s be ((-4)/20)/(3/(-5)). Does s = a?
False
Suppose -c - 2*q - 10 = -0*c, 0 = -3*q. Which is smaller: -7 or c?
c
Let m be (-60)/273*(-87)/(-18). Let d = 40529/39 - 1039. Let f = d + m. Is f <= -1?
False
Let d = 88 - 154. Let i = d + 459/7. Is -1/3 at most i?
False
Let c(r) = -3*r**2 - 5*r - 5. Let o(i) = i**2. Let t(f) = -c(f) - 2*o(f). Let a be t(-4). Are 4/5 and a non-equal?
True
Let d be (-1)/15 - 2/(-3). Let y be 2 - (1 + 0 - 0). Which is greater: d or y?
y
Let i = -1 + 1. Let f = -3/11 + i. Which is bigger: 0 or f?
0
Let o(k) = 1 - 4*k + 6 - 1 + k**2 - 2*k. Let d be o(5). Let c = 4 + -2. Is d bigger than c?
False
Suppose 59*v = 64*v + 35. Is v bigger than -13/2?
False
Suppose 0*z = z - 5. Let l(i) = i - 2. Let p be l(4). Is z less than p?
False
Let t(s) be the second derivative of -1/20*s**5 - 2*s - 7/12*s**4 + s**3 + 0 - 4*s**2. Let z be t(-8). Is z bigger than 9?
False
Let d be (2/4)/(1/30). Let j be 3/d + (-79)/(-5). Let b = -50/3 + j. Which is smaller: -0.1 or b?
b
Suppose 46 = 5*o - 2*o + b, -4*b + 16 = 0. Let v be (10 - 16)*2/(-30). Which is bigger: v or o?
o
Let i = -8 + 13. Suppose s - 2 = t - 4*t, 2*s - 15 = i*t. Let f be 3/((-21)/(-5)) + t. Is f equal to 0?
False
Let a be (3/9)/((-1)/(-63)). Which is greater: 20 or a?
a
Let x = 3.5 - 2. Let a = -0.5 + x. Which is greater: a or 0?
a
Let g(t) = t**3 - t**2 - t + 4. Let v be g(0). Suppose 32 = v*x - 4. Suppose -c - x = -3*w + 3, -3*w = -15. Which is smaller: 2 or c?
2
Let g = 5 + -10. Let h = g - -6.9. Let q = h - 2. Which is smaller: 2/7 or q?
q
Let n(m) = m**3 - 10*m**2 - 2*m + 10. Let f be n(10). Let w be f + 12 + (-34)/15. Which is smaller: w or 1?
w
Let i = 12 - 4. Let w = -6 + i. Is w greater than or equal to 2?
True
Let d = -14 - -14.1. Is d > 63?
False
Let d(a) = -a + 4. Let z be d(6). Let u be z*(1 + -3) - 2. Suppose -10 = -u*r + 4*y + 6, -21 = -2*r + 5*y. Is -1 greater than or equal to r?
True
Let j(i) = i - 4. Let q be j(4). Let s = 20.8 + -19. Let v = s - -1.2. Which is smaller: q or v?
q
Let c = -0.2 + 0.3. Let d = -0.2 + c. Let v be (-1)/5 - 26/(-30). Which is greater: v or d?
v
Let q = -917/9 - -102. Which is smaller: 1 or q?
q
Let f = -5 - -10. Suppose -f*q + 3*q = -8. Suppose -q*m = -1 + 5. Which is smaller: -3 or m?
-3
Let k(q) = -7*q**2 - 10*q + 11. Let o(c) = 6*c**2 + 9*c - 10. Let z(g) = 5*k(g) + 6*o(g). Let s be z(-5). Which is smaller: 2/13 or s?
s
Suppose 4*f + f = -120. Let l be 122/f + 8/6. Is -5 <= l?
True
Let c = 35402/41 - 35459132/41041. Let l = 6/143 - c. Which is greater: l or 1?
1
Let m be (-36)/(-14)*1*7. Let s = -28 + m. Let f = -32/3 - s. Are 0.1 and f equal?
False
Let i = -59 - -412/7. Is i < -1?
False
Let b be (-2)/4 + (-27)/(-18). Suppose 2*j - 3 - b = 0. Which is smaller: j or 4?
j
Let j(g) be the third derivative of 0*g + 0 + 0*g**4 + 2*g**2 - 1/120*g**6 - 1/15*g**5 + 1/6*g**3. Let h be j(-4). Is 2 less than h?
False
Let g(p) = -p**2 - 5*p + 4. Let i(b) = 6*b**2 + 25*b - 20. Let s(u) = -11*g(u) - 2*i(u). Let v be s(4). Is v greater than 0?
False
Let b be (18/(-8))/((-3)/(-2)). Which is greater: -2 or b?
b
Suppose 5*s - 28 + 68 = 0. Let q be 5/((-5)/(-2)) + s. Let v be 3/(-1) - q*1. Which is greater: 0.1 or v?
v
Let n(g) = g**3 - 2*g**2 + g + 2. Suppose j + 14 = 5*v, -v - 3*j - 2 = 4*v. Let b be n(v). Which is smaller: 3 or b?
3
Let z = 15.1 - 15. Which is greater: z or -1?
z
Let v(y) = 2*y**2 - 6*y + 4. Let g be -3*(1/1)/(-1). Let d be v(g). Is 4 less than d?
False
Let l(g) = 4*g + 2. Let q be l(-7). Let t = -38 - q. Let r be ((-9)/t)/((-21)/(-8)). Is 2 at least r?
True
Let c(z) = -3*z + 4. Let x(a) = 2*a - 3. Let o(f) = 5*c(f) + 7*x(f). Let y be o(-3). Suppose -u - 12 = y*p, -5*p - 12 = -5*u + 33. Which is smaller: -8 or p?
-8
Let x be 8/(-3) - 2/6. Let c be x*3/(6/(-2)). Suppose -2*h = 0, 0 = -c*n - 3*h - 2 - 1. Which is greater: n or -1/10?
-1/10
Let t(v) be the second derivative of v**4/12 - 4*v. Let c be t(1). Which is smaller: 2 or c?
c
Suppose -2*h = 4 + 2. Let g(j) = j**3 + 2*j**2 - 3*j - 1. Let x be g(h). Let y(o) = o**3 + 3*o**2 + 5*o + 5. Let c be y(-2). Is c <= x?
True
Suppose -5*t + g - 45 = 6*g, -30 = 2*t + 5*g. Let j(o) = o**3 + o**2 + o - 4. Let v be j(0). Which is smaller: v or t?
t
Let g(o) = -2*o - 2. Let q be g(3). Which is smaller: q or -5?
q
Let f be ((-3)/(-6))/(7/98). Is 13 at least as big as f?
True
Let j be (7 - 7)/(2/2). Is 2/19 equal to j?
False
Let a = -3 + 7. Which is greater: a or 0?
a
Let z = 492/19 + -26. Is z bigger than 1?
False
Let f = 0.3 + -0.1. Let j = -0.4 + f. Let q = -0.1 + 0.3. Which is smaller: j or q?
j
Let q = 23.1 - 23. Let h = q - 0.07. Which is smaller: -1 or h?
-1
Let l = 7 + -5. Suppose 2*i - 4 = l*g, -2 = -2*i + 4*i + 4*g. Let p be -1 + -2*1/(-2). Is i > p?
True
Suppose d + c = 2*d - 1, 3*d + c = -1. Are d and 3 non-equal?
True
Suppose 6 = 3*z - 3*m, -3*m + 4 = -7*m. Let o = 2/167 + 308/2171. Is o at most z?
True
Let a be 3 - (-1 + -15 + 1). Let r be (-18)/(-99) - a/(-22). Which is bigger: -1/4 or r?
r
Let p = 3 + 1. Suppose -2*v - 20 = -2*z, 3*v = -5*z - 2 + 4. Let f be (-40)/42 + v/(-9). Which is bigger: p or f?
p
Let s be 15/(2 + 1) + -1. Suppose -2*a = -s*a. Which is bigger: 5/6 or a?
5/6
Suppose -8 = i - 0*s + 5*s, 4*i + 13 = -s. Which is smaller: i or -14?
-14
Let j be (-2 - -5)/((-1)/(-4)). Let l = j - 10. Which is smaller: l or -3?
-3
Let g be 76/12 + 2 + -1. Let c = g - 8. Let x be 0 + (-1 - (-6)/4). Which is bigger: x or c?
x
Let t be ((