t equal to q?
True
Suppose -6*k + 2*k = -4. Let w(j) = -j - 1. Let p be w(0). Does p = k?
False
Let n = -27 + 12. Is n greater than -2?
False
Let y be (0 - 1)*4/(0 + -4). Which is greater: y or 1/7?
y
Let v = 66 - 65. Let l = 301/6 - 50. Which is bigger: v or l?
v
Suppose -4*c + 20 = 0, 0*c + 22 = 4*p + 2*c. Suppose 8*w = p*w. Let l be (-3)/(-9)*w*1. Which is smaller: l or 1/2?
l
Suppose 0 = 6*k - 25 - 5. Is 5 not equal to k?
False
Let g be (1*(-4 - -4))/(-1). Is 11 > g?
True
Let s = 218/15 - 44/3. Let j = -63 + 62. Is j != s?
True
Let v = 0 + 0.1. Let j = -2.01 + 0.01. Do v and j have different values?
True
Let b be -36 - (0 + -1)/(-1). Let g = b - -261/7. Is 0 < g?
True
Let k = 14/3 + -61/15. Let p(u) = u**2 + 5*u + 1. Let c be p(-5). Is c >= k?
True
Let j(y) = y + 6. Let o be j(-3). Suppose o*n = n. Let v = -73/99 - -5/9. Which is smaller: n or v?
v
Let o = 5 + -8. Let q = -65 + 67.9. Let l = q + o. Is l at most as big as -0.2?
False
Let x(m) = m**3 - 11*m**2 + 12*m - 7. Let i be x(10). Let k = 8 - i. Which is bigger: k or -2?
-2
Let b = 30 + -23. Let j = -7 + 6. Which is smaller: b or j?
j
Let f be 1*(84/(-20) - -4). Let c = -0.3 - -0.5. Does f = c?
False
Suppose 5*k - 15 = -0*k + 5*w, -4*k + w + 9 = 0. Let s(u) be the first derivative of u**4/4 - u**3/3 + u**2/2 - 1. Let b be s(1). Which is bigger: b or k?
k
Suppose 5*u - 57 = 4*n, -4*u + 6*n = n - 51. Which is smaller: 7 or u?
7
Let g = -2 - -1.4. Let c = -128/3 + 43. Is c >= g?
True
Let i = -16 - -2. Is i != -1?
True
Let z(b) = -b**3 - 3*b**2 - 2*b - 1. Let p be z(-3). Suppose 18*h + 48 = 10*h. Let m = p + h. Which is bigger: m or -2/15?
-2/15
Let o = 24 + -30. Is -0.1 < o?
False
Let y be (-5)/2*((-10998)/1230 + 9). Is 1 greater than y?
True
Let u be 9/6*(-4)/16. Let w = 7/16 + u. Do w and 0 have different values?
True
Let y be (-6)/(-10) + (-17)/45. Is y equal to 1/3?
False
Suppose 4 = -a + 12. Let w(t) = 2*t**2 - 12*t - 6. Let u(h) = -h**2 + h. Let y(x) = 3*u(x) + w(x). Let d be y(-7). Is a greater than or equal to d?
True
Let t = 0.4 + 0. Let h = -0.25 + t. Let j = h - 0.05. Is -2 >= j?
False
Suppose 3*m = 2*m + 3. Suppose -m*t - 2*t = 2*q - 2, -5*q = 5*t + 10. Let u = 9 - 13. Is u at most as big as q?
True
Let x = 8 - 8.03. Let b = x - -0.08. Let v = b + -0.15. Which is smaller: v or 2?
v
Let m = -0.14 - -7.14. Let c = 7 - 8. Does c = m?
False
Let o(n) = -5*n + 4 + 4*n - 10. Suppose -3*t - 6 = -2*i, -3*t + t = i + 11. Let l be o(t). Which is bigger: l or -2/3?
-2/3
Let n be 0/(-1*2/(-2)). Which is smaller: n or -1/4?
-1/4
Suppose 22 = 4*t + 6. Suppose t*h = -0*h + 12. Suppose 2*v = -4*u, 0*v + 4*v = 5*u + 13. Which is smaller: h or v?
v
Let f = 33/3745 + -4/107. Is -1 < f?
True
Suppose -20 = 4*v, 4*v = -n - 4*n - 30. Is -5/4 equal to n?
False
Let b be (-14)/42 + (-68)/3. Let p = b + 23. Is 0 != p?
False
Suppose -3*m = -2*m - 1. Let l = -33 - -33. Suppose l*n = -n - m. Do n and -2/7 have different values?
True
Let j(i) = i - 2. Let q be j(10). Suppose -15 - 12 = -3*n. Which is greater: n or q?
n
Let s = -723/28 - -105/4. Which is smaller: 1 or s?
s
Let x = -0.05 - 0.05. Let l be 1 + (-3)/(1 + 2). Which is smaller: l or x?
x
Suppose t + 2*f = 6*f + 73, 121 = 2*t - 3*f. Suppose 5*i + 74 = 4*g, -3*g + t = -2*i + 1. Let u be (6/(-30))/(g/(-30)). Are -1 and u non-equal?
True
Let n = 51 - 36. Let l = -17 + n. Does 0.1 = l?
False
Let o = -21/10 - -47/70. Suppose 32*d = -7*d. Is o at least as big as d?
False
Suppose -k + 6 = -3*o + 1, 5*o = 3*k - 11. Suppose -2*j - 5*w = 0, 4*j - 3*w = k*w. Let h be (2 + 0)/(8*-1). Is j less than h?
False
Suppose -2 = -4*a + 18. Let k be (-4)/(-8) + a/(-6). Suppose x - 2*b = 3*x - 6, x - 5*b = -21. Which is smaller: x or k?
x
Let f = 4/29 + -45/116. Which is smaller: -2/7 or f?
-2/7
Let l = -0.5 - 0.5. Suppose -18 = -2*w + 4*v, -5*w + 3*v - 10 = 4*v. Is w smaller than l?
False
Let y = -0.07 - -0.27. Is y greater than 0.2?
False
Suppose -2*d + b + 9 = 0, 0*d + 5*b + 31 = 3*d. Suppose d*q + 0*q - 4 = 0. Let g = 0.7 + 0.3. Which is smaller: q or g?
g
Suppose 91 = -4*o - 13. Is o at most as big as -25?
True
Let f = 16 - 1. Let a be (-6)/f + (-17)/(-5). Suppose -2*v + a*v = -1. Is v less than -2?
False
Let l(q) = q**3 + 10*q**2 - 6*q - 56. Let o be l(-10). Let t be (-4)/(2 + -4 + 1). Is t >= o?
True
Let v(m) = m**3 - 13*m**2 + m - 10. Let r be v(13). Suppose 9 = -3*n, -r*w + 4*n + 27 = 3. Suppose 8*o = w*o - 8. Is -2 > o?
False
Let y = 12 - 10. Let p = 0 - -1. Which is bigger: p or y?
y
Let c = 7.3 - 7. Which is greater: c or -4?
c
Suppose -5*l - 314 = -2*u, -5*l + 8*u - 3*u - 305 = 0. Which is greater: l or -65?
l
Let j(s) be the second derivative of s**3/6 - 5*s**2/2 + s. Let q be j(5). Let b = q - -1/5. Are 1 and b nonequal?
True
Let o = 6 + -7. Suppose 3*a - w - 9 = 0, 0 = -3*w - 4 - 5. Which is smaller: o or a?
o
Let o(m) = m**3 + 6*m**2 - m + 4. Let n be o(-6). Let w be (2/n)/(15/50). Is -0.01 less than w?
True
Let k(c) = -3*c**2 - 19*c - 5. Let x be k(-6). Let f = -214/279 - -10/31. Is f >= x?
False
Let o be (-2)/6 - (-2)/3. Let d = 19 + -19. Which is bigger: o or d?
o
Let d be ((4/(-8))/((-3)/(-36)))/25. Which is smaller: 1 or d?
d
Let p(s) = -s**3 + 7*s**2 - 6*s - 1. Let f(v) = -v**2 + 3*v + 2. Let u be f(4). Let a = u + 8. Let h be p(a). Is h <= 1/4?
True
Let u = 1.3 - 1.4. Let z = -36/5 + 8. Let v = 17/15 - z. Which is smaller: u or v?
u
Let l be 105/14 - (-2)/(-4). Let r be (-3)/4 + -6 + l. Suppose b - 6 = 5*p, -5*b = 4*p + 1 - 2. Is p at most r?
True
Let g be (-1)/(-6)*(-54)/(-9). Let v be 2/11 + (-1864)/330. Let x = v - -17/3. Is x <= g?
True
Suppose 0*o - 4*o + 24 = 0. Let p(a) = -a**3 + 5*a**2 + 6*a + 2. Let r be p(o). Is 2 at most as big as r?
True
Let g(o) = o**2 - 8*o + 15. Let s be g(3). Is s != 1/260?
True
Let q(r) = r**2 + 8*r + 2. Let j be q(-6). Let t = -28 - -43. Let y be (-3)/t - 22/j. Is 2 at most as big as y?
True
Let n = -171 + 252. Let w be n/(-24) + 0 + 3. Which is smaller: 0 or w?
w
Let j = -1.6 - -1.6. Is -14 at most as big as j?
True
Let l = -5 + -13. Let x be (-10)/45 + (-4)/l. Which is greater: -1/10 or x?
x
Suppose 2*i = 4*k - i - 276, -2*k = 3*i - 156. Is k less than or equal to 73?
True
Let s(u) = u**3 + 7*u**2 - 8*u - 5. Let d be (-16)/2 + 1 + -1. Let g be s(d). Let b be g/(10/6) - -2. Which is smaller: 0 or b?
b
Let r(w) = w**2 - w. Let g(u) = u**3 - 7*u**2 + 6*u - 1. Let y be g(6). Let k be r(y). Which is smaller: -0.2 or k?
-0.2
Let n = 779/11 + -71. Suppose -4*p - 29 = 5*u, -p + 0*p + 19 = -4*u. Is n less than p?
False
Let i = -27.349 + 0.149. Let m = -38 - i. Let s = m - -10. Is s bigger than -1?
True
Let q(k) = -k**2 + 4*k - 3. Let g be q(4). Let a(j) = -j**2 + 7*j - 5. Let z be a(6). Suppose -3*v = z + 11. Is v less than g?
True
Suppose 1 = -z - 8. Let x(l) = -l**2 - 10*l - 2. Let u be x(-11). Let j = z - u. Which is bigger: j or 2?
j
Let b be 44/10 + (-6)/15. Suppose b*x + 148 = -n, 2*x - 4 = 6*x. Let l be (-4)/14 + n/(-210). Which is smaller: -0.2 or l?
-0.2
Let o = 18094479/74404805 + -535/2201. Let q = 48848121/878930 + o. Let r = q + -111/2. Which is smaller: r or -1?
-1
Let x be 4/((-8)/2) + 17. Which is greater: 17 or x?
17
Suppose 0 = -3*d + 3*v + 9, 5 = -3*d - v + 14. Suppose -4*c + d = -u - 14, -5*c = 3*u. Is c > 4?
False
Let c = -3.2 - -3.07. Let f = c + 0.03. Which is bigger: -14 or f?
f
Suppose -6*r + 12 = -3*r. Suppose 0 = r*p - 6*p - 2*k + 2, -4*k + 4 = -3*p. Suppose -s - 1 + 5 = p. Is s greater than 5?
False
Let i(y) = y**3 + 7*y**2 + 3*y + 10. Let a be i(-7). Let m = a + 14. Which is greater: 6 or m?
6
Let q = -0.12 + 0.12. Is -0.6 at least q?
False
Let z = -343/138 - -130/23. Does z = 3?
False
Let g(m) = -m**2 + 9*m + 4. Let w be g(9). Is w smaller than 3?
False
Let n = 28 + -4. Let p = n + -45/2. Which is smaller: 1 or p?
1
Let h be (-4)/(-8) - (-1)/(-2). Suppose -4*v + h*v - 4 = 0. Is 1 greater than v?
True
Suppose -2*y = -5*y + 15. Let j be 9/y - (-2)/10. Let z be 6/2*j/6. Is z at least 1?
True
Let h be (-1 - 36/(-20))/((-8)/140). Which is greater: -12 or h?
-12
Let j be 2/3*12/16. Let v be 35/(-4) + (-5)/20. Let y be 1 + 2 + v/2. Which is smaller: j or y?
y
Let r be (0 - 2)/(-7 - -5). Which is bigger: 2/29 or r?
r
Let g = 10 + -9.98. Let z = 0.12 - g. Which is smaller: z or -1?
-1
Let u(n) 