Is z equal to j?
False
Let k(c) = -2*c**2 - 4*c. Suppose -5*o - 27 = 4*a, -2*o - 18 = 5*a - o. Let j be k(a). Which is greater: j or -3?
-3
Suppose 3*z = 5*c + 75, -3*z - 135 = -8*z + 5*c. Is 32 bigger than z?
True
Let b(t) = -t + 5. Suppose 7 = -4*x + 31. Let r be b(x). Let n(i) = -i**2 - 6*i. Let j be n(-6). Which is greater: r or j?
j
Suppose -20 = 5*n - v + 5*v, 5*v - 20 = 5*n. Is -6 greater than n?
False
Let m = -227 - -8625/38. Do m and 1 have different values?
True
Let h(x) = -6*x + 10. Let l(t) = t - 1. Let i(d) = 2*h(d) + 10*l(d). Let b be i(5). Which is smaller: 1/15 or b?
b
Let u = -30 - -29. Suppose 0 = 5*j - 8 - 17, 3*p + 3*j - 15 = 0. Suppose 5*o - 4*o + 1 = p. Is u at most as big as o?
True
Suppose -2*b + 0 = -4. Let v = b + 0. Let l be v/(-8) - (-39)/(-36). Is -1 != l?
True
Suppose 3 + 1 = 4*t. Let j = 5 + t. Let y be j/(-14)*(-1)/(-3). Is y greater than 1?
False
Let a(w) = w**3 + 14*w**2 - 31*w + 5. Let x be a(-16). Which is smaller: -13 or x?
-13
Let g(b) = b**3 - 4*b**2 + 4*b. Let c be g(3). Suppose c*n = 2*n. Which is bigger: 2 or n?
2
Suppose -3*i - 55 = 32. Is -28 greater than or equal to i?
True
Let a(v) = 6*v - 3. Let n be a(3). Let s be 11/n - 2/5. Is 2 != s?
True
Let t be 44/(-66) - (-52)/42. Which is bigger: t or 0?
t
Let h(r) = -7*r + 1. Let b be h(-3). Let q be 1/3 + b/(-30). Which is smaller: -1 or q?
-1
Let w = 13 - 19. Let l = w + 25. Are 19 and l equal?
True
Suppose 0 = 4*a - 0*a. Let g be 0 + -1 + -4 + 2. Let h(s) = s + 3. Let x be h(g). Is x > a?
False
Let u = 13 - 9. Let n = u + -3.8. Which is bigger: -2/5 or n?
n
Let m = -16 + 28. Suppose 5*b - 15 = 5*x, 0*x + x = -4*b + m. Let u = -3 + b. Is 6/7 greater than or equal to u?
True
Suppose -2*d - c = -5, -5*c - 4 = -3*d - 3. Suppose -f - d = -3*f. Let j be (2/5)/(34/(-10)). Which is smaller: j or f?
j
Suppose 6*f + 112 = 2*f. Let c be (1 + 0)*(-6 + 1). Let g be 2/c + f/(-45). Which is smaller: -1 or g?
-1
Let d(u) = -u**2 - 10*u - 9. Let v be d(-9). Suppose 4*c + v = 4. Let l = 1.4 - 1.5. Is c < l?
False
Let j = -5 + 4.9. Let k = 8 - 8. Is j at most as big as k?
True
Let k = -3/2 + 5/4. Does k = 4?
False
Let n = 6 + -3. Are -4/7 and n unequal?
True
Let k = 976/105 + -66/7. Let q = 2/3 - 1/3. Which is smaller: k or q?
k
Let m be (64/(-600))/(2/10). Which is bigger: 0 or m?
0
Let j(q) = -q + 5. Let u be j(-8). Is u greater than -1?
True
Suppose 2*a + 10 = -2. Let b = 10 - 5. Suppose -11 - 18 = b*z + w, 0 = 2*z - 5*w - 10. Is z at least as big as a?
True
Let u(m) = -m**3 - 4*m**2 - 2*m + 1. Let t be u(-2). Let w be 33/(-12) - (-6 - t). Let s(a) = -a - 5. Let h be s(-4). Which is smaller: w or h?
h
Let r(v) = 3*v**3 - v**2 + 1. Let n be r(1). Suppose 3*b = 3*x, 2*x = -2*x + 5*b - 2. Which is smaller: n or x?
x
Let d = -0.14 - 4.86. Is -4 bigger than d?
True
Let v = -374779/64 - -442836569507/75621952. Let g = v + 3/5722. Let i = g - -116/413. Which is greater: i or -2/7?
i
Let v(y) = 2 - 2*y**2 - 3 - y + 0 + y**2. Let h be v(0). Which is smaller: -2 or h?
-2
Let f(p) = p + 3. Let h be f(-9). Let d be (-27)/h*(-39)/(-9). Let w = -20 + d. Is w greater than or equal to -2?
True
Let p = 0.34 - 1.34. Which is greater: -2/5 or p?
-2/5
Let f be ((-3)/(-3) + 0)/(-1). Let w be -1 + 5 - (3 + f). Is 5/4 equal to w?
False
Let z be (-6)/39 + (-1636)/13. Let t be 2/7 - (-64)/z. Which is greater: t or -1/4?
t
Suppose -11 = -v - 2. Suppose 4*w - 26 = u - 7, 5*w = -3*u + 45. Let s be (6/(-56))/(v/w). Which is greater: s or 0?
0
Let b(g) = g**3 + 4*g**2 - 6*g - 5. Let d be (-1)/((-9)/5 - -2). Let z be b(d). Which is smaller: z or -1?
-1
Let j(q) = -q + 5. Let g be j(6). Let i be g + (6 - 1*-2). Suppose -3*p + 19 = 4*f, -f + i = 2*p + p. Which is greater: 2 or p?
2
Suppose 15 = 3*r - 3*j + 84, -3*r - j - 69 = 0. Is -23 smaller than r?
False
Let d be (-18)/(-10) + 4/4*-4. Is -2 smaller than d?
False
Let s be 1*-5 + 0 + -2. Is 6 less than or equal to s?
False
Suppose 0 = l + 4*y + 10, -2*l = -l - 2*y - 14. Let q = 10 - l. Let k = -1 - -4. Which is greater: q or k?
q
Let g = -4 + 7. Suppose -5*u - c = 2*c - 30, c - 8 = -u. Are u and g unequal?
False
Let q = 16 - 12. Is 4 >= q?
True
Let a be (-2)/5 + (-8)/(-20). Suppose -t - t - 4 = a. Suppose 2*z - 4*z - 3*c = -6, 4*c = 16. Which is greater: t or z?
t
Let y = -1.3 + -6.2. Let u = y - -9. Which is smaller: -1/3 or u?
-1/3
Let m be 75/30*(-8)/45. Which is greater: m or -1?
m
Let x be 1162/(-624) - (-4)/(-6). Let s = x + 19/8. Suppose 0*p = -p. Is p greater than s?
True
Let t = -5 + 10. Suppose -5*g + 2*y = t*y + 14, 12 = -4*y. Do -2 and g have different values?
True
Suppose 2*r + r - 21 = 0. Let s be (-1)/(-2)*4/r. Is s not equal to 0?
True
Suppose -4*x + 6 = -2*x. Let l be (-3)/(-18)*x/2. Suppose -3 = -3*u - 0. Which is smaller: u or l?
l
Let t be 8/(576/(-124)) + 4/18. Which is smaller: -3 or t?
-3
Let w(m) = m**3 + 7*m**2 - 2. Suppose -2*p = 5*a + 37, -a + 2*a + 3 = 4*p. Let r be w(a). Which is bigger: r or 0?
0
Let r = 61 + -58.2. Which is greater: 0.2 or r?
r
Let h = -24 + 59. Suppose 0 = 5*w - 0*w - h. Suppose -4*n + 3*n = m + w, 5*n = -m - 27. Which is smaller: m or -3?
-3
Let x = -0.31 - -0.61. Is 4 smaller than x?
False
Let k = 9.14 - 0.54. Let g = k + -8. Let s = -0.5 + g. Which is smaller: -2/9 or s?
-2/9
Let k = 11.85 + -12. Let a = k + 0.22. Is a at most 1?
True
Suppose -5*z - 35 = 2*t, -4*z + 5 = 25. Let r = -1 - t. Let u = r - 3. Is u greater than -1?
True
Suppose 5*n = 2 + 8. Suppose -n*a - 4 = -0. Let o = -30 - -212/7. Which is bigger: o or a?
o
Let n = -0.21 - -0.11. Which is smaller: n or -0.06?
n
Let j = -218.97 + 218. Let a = 0.03 - j. Which is smaller: -0.3 or a?
-0.3
Let b = -8 - -7. Let u be b/6 + (-1)/2. Is 0 less than or equal to u?
False
Let x be (-10)/(-14) + (-6)/14. Is x at least 1?
False
Let r be (-4)/2 + (-160)/(-50). Which is greater: r or 2/7?
r
Let l = 0.011 - 11.111. Let a = -11 - l. Which is greater: a or -1.2?
a
Let r = 24 + -55. Let d = r - -46. Is d equal to 16?
False
Let p = 12 + -34/3. Let i(z) = -z. Let b be i(-2). Which is greater: p or b?
b
Let h(z) = -z**3 - 11*z**2 + 12*z + 2. Let f be h(-12). Let w be -1 + 1 - (1 - -1). Which is smaller: w or f?
w
Suppose 3*j = -t - 13, 3*j = -2*t + 4*t - 10. Let o be j/(-10) + 32/20. Which is smaller: 3 or o?
o
Let j = -2 - 1. Let l be (-186)/210 - j/5. Which is bigger: 0 or l?
0
Let i = -0.1 - -0.2. Let y = 79 - 551/7. Is y != i?
True
Let n = -23 + 22.7. Let g = 46 - 320/7. Which is smaller: n or g?
n
Suppose -48 = -0*b - 4*b. Let z = 24 - b. Is 12 less than z?
False
Suppose h - 2 = 3*q, h = -2*h - 3*q - 42. Let f be (-20)/h*2/16. Let c(a) = -a - 9. Let s be c(-8). Do s and f have the same value?
False
Let j be (-2 + 8/5)/(6/(-9)). Suppose 3 = -l + 4. Suppose 3*y = 4*y - l. Is j at most y?
True
Suppose 3*r - 4 = -4*d, 5*d - 5 = -4*r - 0. Let p = 18/17 + -125/102. Is d at most p?
False
Let f(n) = n + 4. Let u be f(-3). Let p = -1 + 2. Is p bigger than u?
False
Let d be 4/105*5/2. Let f = d + 4/7. Let y = -0.08 + 0.28. Does y = f?
False
Let g(q) = q**3 + 2*q - 5. Let k be g(0). Suppose m + 3*o - 5 = 0, 9*o = 4*o + 20. Which is bigger: m or k?
k
Let a = -6221/2422 - 1/346. Which is greater: -3 or a?
a
Let q be 5/(-7) - (-6)/(-21). Let k = -0.2 - -0.3. Let s = 0 + k. Which is greater: q or s?
s
Suppose -5*y = j + 107, -5*y = -6*j + 3*j + 119. Let w be 0 - (-2 - y/10). Which is smaller: -1 or w?
-1
Let q = 2 - 2.1. Let h = -0.12 - q. Let f = h + 0.02. Which is smaller: f or 4?
f
Suppose -4*q + 0*t = -4*t - 20, 5*t + 15 = 0. Let o = 14 + 3. Suppose -h + 4*x - 14 = h, -h = -4*x + o. Is h smaller than q?
False
Let z be (-2)/(-4)*(2 - 2). Suppose -15 = 5*m + j, 0 = -z*m - m - 5*j - 3. Let l be (1 + -6)*(m + 2). Is 5 greater than l?
False
Let v = -15 - -17. Let y be v/(-8) + 10/160. Which is smaller: 0 or y?
y
Let g be ((-8)/6)/((-570)/45). Which is greater: g or 0?
g
Let p(q) = 3*q - 23. Let d be p(7). Suppose 3*k - 2*f = -1 - 0, -f - 2 = k. Which is smaller: d or k?
d
Let f(u) = -u**2 + 4*u - 1. Let q be f(3). Let r be ((-6)/(-2))/12*(3 - 4). Is q at least r?
True
Let h be 32/(-64) - 2/(-4). Are -7/15 and h equal?
False
Let m be 39/(-42) - 2/4. Is m less than -1?
True
Suppose 0*p - 4*p = -4. Let i = -84 - -171/2. Is i at most p?
False
Let y(q) = q + 10. Let 