-b*s, -3*q - 2*q + 4*s = 2. Is 1 bigger than q?
False
Let i be 3/(((-9)/(-3))/3). Suppose 2*k = i*k. Suppose 0 = 4*y - k*y - 12. Does y = 3?
True
Let v = 20 - 39/2. Let m be 1 + 5/((-15)/(-6)). Suppose -2*a - q + 5 = 3, -3*q + 6 = m*a. Are v and a nonequal?
True
Let c(p) = -2*p - 13. Let f be c(-10). Which is smaller: f or 20/3?
20/3
Let p = -0.8 + 0.3. Let n = 6 - 6.4. Let b = p - n. Which is greater: b or 0?
0
Suppose -42 = 2*z + z. Are -14 and z equal?
True
Suppose -3*g + 0*g + 56 = -2*x, -5*x - g - 140 = 0. Let o be 2/x*(0 - 2). Which is smaller: -1 or o?
-1
Suppose -2*c + 5*w + 16 = 0, 4*c + 4*w - 10 = 3*w. Suppose 0 = -3*g - 12 + c. Let i = 18.1 - 18. Is g equal to i?
False
Suppose -4*f = f + 25. Let a = f + 7. Is 2 less than a?
False
Suppose -6*t = -t + 35. Let c = t + 7. Do c and 1/3 have the same value?
False
Suppose 3*d = -0*d + 36. Which is bigger: 13 or d?
13
Let s(k) = -k - 5. Let i be s(-7). Let y be (-3)/(-6) - i/4. Suppose y*m = o - 3*m - 14, 4*o + 5*m = -12. Which is smaller: 3 or o?
o
Let u = -2 - -2. Let h be 10 + 3/(-5 + 2). Let m = h + -17/2. Which is greater: u or m?
m
Let v = 0.14 + 0.16. Which is smaller: -2 or v?
-2
Let v be 0/((-4)/8*2). Which is smaller: 1 or v?
v
Let g = 16 + -28. Let a = g - -8. Which is bigger: -18/7 or a?
-18/7
Let f = -1539 + 1559.06. Let v = f - 20. Is 0 <= v?
True
Let d be (-2 - -2)/(0 - -1). Let n(b) = b + 15. Let l be n(-15). Is d at least as big as l?
True
Let u = 18 - 19.3. Which is smaller: u or 0?
u
Let u = 2 - 2. Let j(d) = -d**2 + d + 1. Let o be j(u). Let n be -7*(-3)/84 + (-5)/28. Is n < o?
True
Let m = 3271184 - 1079492449/330. Let n = m + 53/10. Are n and 0 non-equal?
True
Suppose -5 - 4 = 3*k. Let c be 3 + 2 + k + -1. Let f be 2 - 1 - (-1)/(-2). Which is bigger: f or c?
c
Let x be 2/(-2) - 3/(21/28). Which is smaller: x or -8?
-8
Let v(w) = w**3 - 2*w**3 + 0 + 5*w**2 - 5*w - 3. Let z be v(4). Let c(t) = t**2 + 8*t + 4. Let j be c(z). Are -3 and j non-equal?
False
Let n be -4 + 66/15 + 1. Is 1 >= n?
False
Let x be (24/18)/(56/(-132)). Which is greater: x or -0.1?
-0.1
Let x = -35.7 + 34. Let g = x - 0.3. Let a = 0.086 - 0.186. Is g at most a?
True
Let y(r) be the second derivative of r**4/12 - r**3/3 - 2*r**2 + 2*r. Let n be y(3). Let c be 1/((-1 - -2)*n). Which is smaller: c or -1/4?
c
Let m be ((-12)/(-20))/(24/80). Is 10/7 smaller than m?
True
Let u(t) = -t**3 - t**2 + 2*t - 2. Let v be u(2). Let y be 13/v*2 - -3. Are y and -1 nonequal?
True
Suppose 4*h - h = 2*h. Let r = 1266/7 - 180. Is h greater than or equal to r?
False
Let m = -45 - -10. Which is smaller: -109/3 or m?
-109/3
Let g be (2 - 0)/((-10)/5). Let m(p) = p**3 + 5*p**2 - 2*p - 5. Let x be m(-5). Let i = 4 - x. Do g and i have the same value?
True
Let i be (4/18)/(2/6). Let s be 1*((-3 - -2) + 2). Which is bigger: i or s?
s
Suppose 0*k + k - 2 = 0. Suppose -4*z + 2 + k = 0. Let m be z/(1 + (-3)/4). Are 4 and m equal?
True
Suppose -9*a - 80 - 73 = 0. Do -15 and a have different values?
True
Suppose -22 = 3*k - 97. Suppose -4*q = -5*m - k, -4*m - 19 = -3*q + 1. Is q != 0?
False
Let v(a) = a**2 + 7*a - 3. Let n = -15 - -8. Let w be v(n). Let f = 1 + w. Is f at most -2?
True
Let v = 3 + -13/4. Which is greater: v or 0?
0
Let k = 3 + -5. Let x = k - 0. Let p = 23.2 + -23. Which is bigger: x or p?
p
Let m(k) = 18*k - 28. Let q be m(7). Is q at most 0.1?
False
Let u = -5/18 - -53/126. Let n(x) = -2*x**3 + 2*x**2 + x - 2. Let h be n(1). Is u less than or equal to h?
False
Let b(q) = q**3 - 2*q**2 - 5*q - 2. Let m be b(4). Is m greater than 8?
True
Let h = 8 + -7. Let i(n) be the third derivative of -n**6/120 + n**5/60 - n**4/24 + n**3/2 - 2*n**2. Let y be i(0). Which is smaller: y or h?
h
Let t be -1 - 20/(-25)*10/4. Is t equal to 1/188?
False
Let q = -8675 + 53105/6. Let n = 175 - q. Which is smaller: n or 1?
n
Suppose -2*i - 3*i + 45 = 0. Is 10 != i?
True
Suppose 0 = k - 0*k + 32. Let j = k - -23. Are j and -10 non-equal?
True
Let o = 3.97 + -4. Let n = -3.97 + o. Let y = 3 + n. Which is bigger: y or 1?
1
Let c be 15/20 - 1/(-4). Suppose -3 = -2*y + c. Is y <= 5/2?
True
Let u be 324/987 + (-4)/14. Is 0 less than or equal to u?
True
Let h = -60 + 67. Let o be ((-3)/(-2))/((-4)/(-16)). Is o at least as big as h?
False
Suppose 0*d - 22 = -2*d. Which is bigger: d or 12?
12
Let m be 5*(-2)/8 - -1. Suppose 0 = 4*b - 2*b + b. Is b equal to m?
False
Let x = 87.9 - 88. Let o = -2.94 - 0.06. Let a = o + 4. Which is bigger: a or x?
a
Let y = 8/13 - 66/65. Which is bigger: -3 or y?
y
Suppose 19 = -4*b - 13. Let k be b/(-20)*15/(-12). Which is bigger: -2 or k?
k
Let v(m) = -m**3 + 2*m**2 - m + 91. Let c be v(0). Does c = 92?
False
Let a = -165 - -144. Is -2/7 smaller than a?
False
Let f be -6*(-2)/(3 - -1). Suppose -4*a = -f*v - 21, -11 = -2*a + 3*v + 4. Suppose -6 = -a*w + 6*w. Is w < 0?
True
Suppose 4*i = i + 48. Suppose q + i = -q. Let r be q/15 + 2/6. Are r and -1 nonequal?
True
Let i = 5 + -5. Let c = i - -1. Is c < -1?
False
Let s be (-2)/4*1*-14. Suppose -4*w + o = -2 - s, -5*o - 28 = -3*w. Let y = 13/4 + -31/12. Is w less than y?
False
Let k = 8 - 6. Let t = k - 3. Is 0 less than t?
False
Suppose 3*k - 3 = 12. Suppose 4*t = -t - k. Which is bigger: 2/81 or t?
2/81
Let s = -147 - -281/2. Do s and -6 have different values?
True
Suppose -f + 0*f = 2*f. Is -1/41 greater than or equal to f?
False
Suppose 3*k = 6*k + 12, 4*k + 56 = 4*f. Let b be (-1448)/f*3/6. Let z = 72 + b. Which is bigger: z or -1/4?
-1/4
Let k(q) = -q + 15. Let n be k(-12). Let c = -64/3 + n. Is c >= 6?
False
Let d be (-1*(2 - 2))/1. Let w(x) = -x - 5. Let n be w(-4). Is d equal to n?
False
Suppose 4*z + 2 = 2*j - 0, j + 4*z = 7. Suppose j = -b + 1. Let w be (-1)/(-2) + 2/(-4)*3. Which is greater: b or w?
w
Let o = -1.74 + 0.74. Which is smaller: -10 or o?
-10
Suppose -2*p + 26 = 5*u, -2*u - 4*p = 3*u - 22. Suppose 0*h + 12 = 4*v + 4*h, -2*v = 5*h. Suppose -v*i + 14 = -u. Is 2 greater than or equal to i?
False
Let x be 3/9*3 + -1. Let r = -1 - x. Let i be (1 - (-8)/(-6))*0. Which is smaller: i or r?
r
Suppose 2*x = 3*x + 6. Let l be x/(-15)*10/(-8). Is l equal to 4?
False
Suppose -4*o + 0*o = -12. Suppose 17 = f + 4. Suppose -f = -4*l + s, 0*l = 2*l - s - 9. Which is smaller: l or o?
l
Let y be (-2)/4 + (-39)/(-6). Suppose -5*o + 4*o = 3*t + y, 12 = 3*o - t. Suppose -o = 4*p + 1. Is 2/11 bigger than p?
True
Suppose u + 3*u + 24 = 4*g, 5*u + 4*g - 6 = 0. Let z be u/(-3) + 20/(-21). Suppose 2*n + 0 = 5*r + 1, 6 = 2*n. Is z > r?
False
Suppose 2*d + 0 = -6. Let s be 1*((-9)/(-24))/d. Which is greater: s or 0?
0
Let l = 5 - 0. Let c(w) = w**2 + 7*w - 2. Let d be c(-8). Is l bigger than d?
False
Let y(s) = -s**3 + 8*s**2 + 8*s + 13. Let i be y(9). Suppose -8 = 5*x + i*m, 0*m + 22 = -4*x + 2*m. Does -4 = x?
True
Let w = -3.14 - -0.14. Let t = -0.05 - -0.15. Is t greater than w?
True
Let q(p) = -p**2 + p + 2. Let o be q(2). Suppose o = -5*t - 2 - 3. Which is smaller: t or -11?
-11
Let r = 30 + 72. Let j be 2/(-11) + r/(-44). Is j > -3?
True
Let z = -24 - -38. Which is smaller: z or 11?
11
Let a(j) = -j**3 + 2*j**2 + 2*j - 3. Let u be a(2). Suppose -k + 2*k + u = 0. Let z be k/(1*(0 - 1)). Which is greater: z or 0?
z
Suppose w + 2 + 24 = 5*r, 0 = 5*w - r + 10. Are -12/7 and w equal?
False
Let o = 7 - 0. Let y = 7 - o. Which is smaller: y or 4?
y
Let m = -2/13 + 20/299. Is 1 less than or equal to m?
False
Let w be (-1106)/10 - 4/10. Let s = -889/8 - w. Is s <= 0?
True
Let w = 5 + -10. Let u be -1 + 4/w + 2. Is u <= 1?
True
Suppose -3*a - 25 = 5*j - 0*a, a = -5. Suppose -v + 1 = h, 5*h + 3*v - 1 = -0. Which is greater: h or j?
h
Let i(d) = d**3 + 7*d**2 - d - 9. Let f be i(-7). Let y = 5 + 1. Let n be 2 - (22/y + -1). Is f at most n?
True
Let h be -3 - (0 - 42/4). Which is greater: h or 8?
8
Let p = 7.8 + -8. Let h = 9/32 - -3/32. Do h and p have different values?
True
Suppose -30 = 2*w + 4*w. Which is greater: w or -23/5?
-23/5
Let j(i) = -i**3 + 8*i**2 - 3*i + 17. Let b be j(8). Which is greater: b or -5?
-5
Let i(m) be the first derivative of -m**3/3 + 9*m**2/2 - 11*m + 2. Let j be i(7). Which is smaller: 1/4 or j?
1/4
Let k = 0.1 - -0.1. Let h = 4.2 - k. Let i = h - 6. Which is smaller: i or 2/7?
i
Let d = 0.02 + 0.03. Let f = d - 1.05. Let n = -0.1 + 0.3. Which is