2*z + 145 = 5*t. Suppose -v - v - 22 = -2*p, 2*p + 3*v - t = 0. Suppose -p = 3*k + 3. Is -0.1 equal to k?
False
Suppose -2*r + 1 - 5 = 0, 5*q + 5*r - 10 = 0. Suppose 2*a = q*a - 2. Which is greater: 1/7 or a?
a
Let k = 36 + -33. Suppose -2 = -2*d + 4. Suppose -d*y - k = -6*y. Which is smaller: y or -1?
-1
Let d be 1/(-2)*(-12)/(-21). Which is smaller: d or 1?
d
Suppose 0 = -x + 1 + 3. Let m(b) = -b**2 + 4*b. Let z be m(3). Which is bigger: z or x?
x
Let f = 21 + -11. Is f > -0.1?
True
Let u = 12 - 7. Suppose 5*p - u = -15. Is p != -0.1?
True
Suppose -c - 4 = -3*c, -4*i + 5*c - 2 = 0. Suppose 3*m = i*m. Let z = -334/5 + 67. Which is bigger: m or z?
z
Suppose 0 = -7*c + 3*c + 8. Suppose -c*v + 5*v + 3 = 0. Is v not equal to -1/8?
True
Let d(w) = 2*w + 2. Let o be d(-7). Which is bigger: -1 or o?
-1
Let b be (-7 + 8)*(-2)/2. Let q = 3 - 4. Is q at most as big as b?
True
Suppose -5*q - 135 = r, -3*q = -5*q. Let i = r - -951/7. Is -1 at most i?
True
Let r = -9 - 41. Is r greater than -49?
False
Let i(l) = l - l**2 + 2*l**2 + 4 + 4*l + 2*l. Let a be i(-6). Suppose -3*p + p = 5*r + 8, -12 = 3*p. Is r < a?
False
Let k be (18/(-12))/(1/(-2)). Let z be ((-2)/6)/(k/(-18)). Is z equal to 2?
True
Let n(d) = d**2 - 7*d + 2. Let i be n(6). Suppose -16 = 5*g + w, 0 = -3*g - 3*w - 0*w - 12. Is i greater than or equal to g?
False
Let z = 0.044 + -0.234. Which is bigger: -4/7 or z?
z
Let w be (12/(-10))/(12/(-40)). Suppose 0 = -a - 0*a + w. Suppose 2*v = -2*v - a. Is -2/3 at least v?
True
Suppose 0 = -a - 2 - 2. Let w(g) = g**3 + 39*g**2 - g - 43. Let n be w(-39). Is n greater than a?
False
Let z = 0.57 + -3.47. Let h = z - -0.9. Is 4/7 at most h?
False
Let m = -147 + 97. Let v be (-30)/m + 19/(-15). Which is bigger: v or -2?
v
Suppose -6 = -3*p + p. Let a = 3 - p. Suppose -3*k = a, 3 = y - k + 4. Is -1 != y?
False
Suppose 5*w + 21 = -3*i, -4*i - 2*w = -5*w - 1. Which is smaller: -4 or i?
-4
Let x be 11/(-33)*3/5. Is x greater than 0.2?
False
Let q be (-11)/(-4) - ((-15)/(-20))/(-3). Let s = -6/109 - -1441/436. Which is bigger: q or s?
s
Let g = 0.151 - 0.051. Does g = -17?
False
Let l be 4/6*(5 + -2). Let i be (l + -3 + 2)*-1. Let r be (-2)/(i/(-3)*3). Is -3/2 greater than or equal to r?
True
Let y = -187487 - -2625967/14. Let g be ((-132)/(-10))/((-8)/(-50)). Let c = y - g. Which is smaller: c or 1?
c
Let k be (-1 - -1) + 3/(-3). Let q be (-1 - k)*1/2. Suppose 3 + q = -3*v. Which is bigger: v or -1/4?
-1/4
Let p = 95 - 95. Is p >= 1?
False
Suppose -m + 12 = -0*m. Let x = -66 - -79. Is x bigger than m?
True
Suppose 0*v + 2*v - 14 = 3*f, -v - 4*f = 4. Suppose 0 = v*k - 3*k + 5. Which is smaller: -3 or k?
k
Suppose 2*y = -3*y. Is 1 equal to y?
False
Suppose -r + 39 = -65. Let q be (16/(-14))/(-4) - -104. Let z = r - q. Is 1/2 greater than or equal to z?
True
Suppose 0*v + 2 = 2*v. Suppose -5 + v = -l. Let o(q) = q - 5. Let x be o(l). Is x greater than -2/3?
False
Let d be 2/8 + (-87)/252. Is 1 < d?
False
Let c(z) = -z**2 - 14*z - 18. Let p be c(-12). Let u be -3 + (1 - (-14)/p). Which is smaller: u or -1.6?
-1.6
Let h be 19/(-12) - 1/(-3). Let m = 15 + -19. Let d be 6/m - 6/(-4). Which is greater: h or d?
d
Let o(t) = t**2 + t - 3. Let q be o(-3). Suppose -3*b + k - 4*k = 27, -4*b - q*k - 31 = 0. Let p be (-6 - b)*10/4. Which is smaller: p or -4?
p
Let f be 2/6*2*3. Suppose 4*u + 6 = f. Suppose -4*h = -7*h. Which is greater: h or u?
h
Let b be 0*(-1)/(-2) + 2. Let i = 4 + 8. Let z be (15 - 19)*(-2)/i. Which is smaller: b or z?
z
Let a(p) = p**3 + 5*p**2 - 6*p + 5. Let f be a(-6). Suppose -f*i = -3*i - 12. Which is smaller: i or 5?
5
Let i = 6 - 5. Let f be (-1)/(-14)*(-1 - i). Which is greater: -1 or f?
f
Let o be 0 + (1 + 0)*(8 + -5). Which is bigger: o or 9/5?
o
Let p = 8.7 - 23.5. Let d = -15 - p. Which is smaller: 1 or d?
d
Let f(s) be the third derivative of 0*s**3 + 0 + s**2 - 1/24*s**4 + 0*s. Let y be f(-4). Is y > 3?
True
Let u = 722/765 - -74/45. Let n = 42/17 - u. Which is smaller: 0 or n?
n
Suppose 45 = -33*f + 36*f. Is 17 at least as big as f?
True
Let l = -3 + 5. Let n be ((-1)/(-3))/(l/24). Suppose -y + 1 = -n*f, 3*f - 3*y = 2*f - 14. Does 0 = f?
False
Let v(u) = -u**3 + 6*u**2 - 6*u + 7. Let l be v(5). Let s be (-5)/2*(-24)/105. Is s > l?
False
Suppose 4*l - 5*s - 19 = 0, 0*l = -l + 2*s + 7. Let t = 0 - l. Which is greater: -2 or t?
t
Let m be 12/10*(-45)/(-6). Let d = m + -6. Which is bigger: d or 5/3?
d
Let y = -32 + 8. Let u = y + 25. Suppose 0*l - 3*l = -c + 8, -5*l - 10 = -c. Which is greater: u or l?
u
Let w = -76 - -379/5. Let b(q) = -q**3 + 2*q**2 - 2*q - 1. Let k be b(2). Let f = k + 6. Is w equal to f?
False
Let f be 2/8 - 2/8. Suppose 0*z + 3*z = f. Which is smaller: z or 1/5?
z
Let f be 4*(2 - 1)*-1. Let j be 1*-2 - 2*f. Suppose -g + j*g = 0. Is 1/2 < g?
False
Suppose a = 4*a. Suppose 2 = 2*v - a*v. Let j be 4/2 - (-2)/(-2). Is v at most as big as j?
True
Let y = -27 + 29.8. Let v = y - 3. Let p = -2.5 + 0.5. Which is greater: p or v?
v
Let v = -2/1281 + 6427/14091. Which is smaller: v or 0?
0
Let x(r) = r**3 - 5*r**2 + r - 2. Let h be x(5). Are 5/2 and h unequal?
True
Let q = -4 - -4. Suppose 5 = -5*a - q*a. Let s be 3/((-3)/(-2)*a). Are s and -4/5 equal?
False
Let m be (-15)/(-8)*1/5. Are m and 0.2 non-equal?
True
Let m = -54.3 - -62. Let g = 8 - m. Let p = 8/3 - 2. Is p > g?
True
Let j = 111260 + -48219. Let z = 443783/7 - j. Let f = 356 - z. Is f at most as big as -1?
False
Let t = -58825/235994 - -24/631. Let v = -1/34 - t. Let c(o) = o - 2. Let s be c(1). Which is smaller: s or v?
s
Suppose 5*z = -6 + 16. Suppose -z*f + 4 = -0. Suppose -f*u = 4*w - 10, -4*u + 2*w = -u + 1. Which is smaller: 3/2 or u?
u
Let l be (3 + -1 + -2)*-1. Let i be (2/8)/(15/(-80)). Let j = i + 2/3. Are j and l unequal?
True
Suppose k - 1 = 1. Let j be k/(-8) + (-38)/(-56). Are -1 and j non-equal?
True
Let h = -0.31 - 6.69. Is h greater than or equal to 0.3?
False
Suppose -j + 3 + 4 = -3*f, -2*j - 13 = 3*f. Is -3/2 not equal to j?
True
Suppose 0 = -4*x + 4 - 8. Which is smaller: -0.6 or x?
x
Let y be (-15)/24*(-6)/(-20). Let r(p) = -2*p - 15. Let g be r(-7). Is g at most y?
True
Let h be ((-2)/4)/(-1)*1. Let x be (-8)/(-40) - (-4)/5. Suppose -2*b + 1 = -x. Which is greater: h or b?
b
Let a be (-1)/(-1) + 30/(-18). Let h = -2 - -6. Is h at most a?
False
Suppose -h = -5 + 2. Suppose -h*n + 0*n = -12. Suppose p = -p + n. Is p at least 2?
True
Let i be (1 - 2) + -1 + -14. Is i > -16?
False
Suppose 0 = 4*r + 8, 2*r + 13 = 2*b + 5. Which is bigger: 10/9 or b?
b
Suppose 4*d - 6 = -22. Is -4 not equal to d?
False
Let x(o) = 3*o**2 - 3*o - 3. Let i(t) = -5*t**2 + 7*t + 7. Let d(p) = 4*i(p) + 9*x(p). Let q be d(-1). Is 8 > q?
True
Let v = -3 - -5. Let r(h) = 6*h + 6 - 3*h - 2*h. Let d be r(-3). Do d and v have the same value?
False
Let f = 143 - 151. Is -8 > f?
False
Suppose 0 = 8*r - 0*r. Is r less than 0?
False
Let k be (-5 + 2)/(-3)*-3. Let t(n) = n**3 - 7*n**2 + 7*n - 9. Let h(l) = -2*l. Let c be h(-3). Let f be t(c). Is k smaller than f?
False
Let v be (-4 - 0 - -5) + 64. Which is bigger: v or 66?
66
Let v(g) = g**2 - 4*g + 3. Let m be v(3). Let u = 20/3 - 94/15. Is m not equal to u?
True
Suppose -i + 5 = -0*i. Let o(w) = 7 - 2*w**2 - 2*w - w**3 + 6*w + 6*w**2. Let s be o(i). Is s < 2?
False
Suppose -5*x + n = -2*x - 9, 0 = -x + 5*n + 17. Which is smaller: 0 or x?
0
Let s be (2 + (-33)/18)*-5. Let v be (-1)/(-3)*(-2 + -1). Is v <= s?
True
Let c(i) = -i**3 + 8*i**2 - 3*i - 8. Let j be c(7). Let q be 48/15 - (-16)/j. Do 3 and q have different values?
True
Let z = -9.8 - 2.2. Which is bigger: z or 0.1?
0.1
Let l = -11 - -11. Which is smaller: -2/7 or l?
-2/7
Let o(w) = 70*w + 4. Let u be ((-12)/(-8))/(3/(-8)). Let s be o(u). Let d = -5794/21 - s. Is d at least as big as 0?
True
Let g be (-58)/6 + (-2)/6. Let t be (-2 - 0)*(-2)/g. Let s be 4/3 - 3/9. Which is greater: s or t?
s
Let o = -0.29 - 2.01. Let t = -2 - o. Let g = -0.4 + t. Is 0 <= g?
False
Let m = 121 + -207/2. Let f(x) = -18*x**3 + x**2 - 1. Let o be f(-1). Let k = m - o. Is -1 not equal to k?
True
Let p = 46 + -183/4. Is 1/7 >= p?
False
Let s = 3.6 + -3.1. Is s at least as big as 0.2?
True
Let d = 85784/59 - 1454. Let m = d - -368/413. Is 0 at least m?
False
Let s = -3 - -2. Is s at most as big as -2