 i?
False
Let z = -4 - -3. Let s be (-14)/6 + z/(-3). Let k(n) = n**3 + 3*n**2 + 4*n + 3. Let p be k(-2). Which is greater: p or s?
p
Suppose -10*t - 50 = -5*t. Is t < -10?
False
Let i be (9 + 0)/(-1 - 4). Are 1 and i nonequal?
True
Suppose 3*r + v = -44, -43 + 7 = 3*r - 3*v. Is r less than -15?
False
Let o(h) = 3*h + 2. Let y be o(2). Suppose 28 = -3*v + 4*m, -y = 6*m - 2*m. Is v < -12?
False
Let m = 3.2 - 3. Let t be ((-1)/(-2))/(5/15). Which is greater: m or t?
t
Let f be 4 - -3 - 3 - -4. Which is greater: 9 or f?
9
Suppose 0 = q + 4*q + 5. Let s = -187 + 1307/7. Which is smaller: s or q?
q
Let r be (-3*16/(-300))/(8/20). Which is bigger: -0.8 or r?
r
Let f be ((-3)/(-11))/(9/6). Is -1 <= f?
True
Let p = 15 - 10. Let h = p - 7. Is 0.1 <= h?
False
Suppose -3 = -u + 2. Suppose 0 = -l + 3*w - 6, 6 = -4*w + 18. Let z be (-4)/(-10)*(13 - l). Are u and z equal?
False
Let a be 18/((-5)/(-2) + -1). Is a less than or equal to 13?
True
Let t(m) = 2*m**2 - 2*m - 1. Let l be t(2). Let y(o) = o**3 + 9*o**2 + 9*o + 11. Let z be y(-8). Is z > l?
False
Let s = 1.3 + -1. Let d = -0.3 + s. Let u = -79 + 76. Is u greater than d?
False
Let q be (4*-1)/((-14)/(-175)*5). Is q != -4?
True
Let s = -5 + 6. Let i = 7 + -10. Let a = i + s. Which is bigger: 1 or a?
1
Suppose -2*z - 5*i + 7 = 0, -i = -0 - 1. Which is greater: z or -1/28?
z
Let u = 0.034 + -0.034. Are u and -9/8 equal?
False
Let q = -3.7 + -1.3. Let x = q - -5.04. Let t = x - 0.05. Which is bigger: 0.1 or t?
0.1
Let x = -58 - 7. Let m = -719/11 - x. Which is bigger: m or 1?
1
Let b(m) = m - 6. Let o be b(5). Let y(v) = -v - 1. Let q be y(o). Which is smaller: 1 or q?
q
Suppose 0 = -2*q - 11 + 5, -3*t + 3*q = -36. Is t less than 10?
True
Let u(h) = -5*h**2 - 4*h + 7. Let v be u(3). Let y = 251/5 + v. Let f = 989/45 + -111/5. Is y less than f?
False
Let i(b) = -3*b**2 - 11*b. Let f(z) = 2*z**2 + 7*z. Let m(d) = 8*f(d) + 5*i(d). Let s be m(-1). Let k = 16 - 15. Which is bigger: s or k?
k
Let i be ((-2)/6)/(22/12 + -2). Let s(r) = 2*r - 1. Let k be s(1). Is i not equal to k?
True
Let s be (-3 + 28/12)/(5/3). Let t = -4 - -3. Let y = t - 0. Which is bigger: y or s?
s
Suppose 0 = -2*s + 6*s - 16. Suppose -s*i + 4*r - 12 = 0, -4*i = -0*i + 4*r - 20. Let x be (-1 - -3)*5/(-65). Which is greater: x or i?
i
Let o = -25/14 - -33/14. Which is smaller: 1 or o?
o
Let c(v) = v**2 + 8*v - 8. Let n be c(-9). Let q be -1*1 - (n - 2). Let j be 0/((-3)/(6/(-4))). Is q at least as big as j?
True
Let d(n) = -n**3 + 5*n**2 + 3*n + 3. Let g be d(5). Which is smaller: 17 or g?
17
Let v(w) = -29*w + 5. Let u be v(4). Let j = u + 553/5. Is j greater than or equal to 0?
False
Let m be (-3)/4 - (-9)/12. Suppose 3*k + 31 = -q - m*q, -5*k + 2*q = 59. Let u = 45/4 + k. Are 0 and u non-equal?
True
Let x = 0.3 - -0.1. Let z = x + -0.9. Let o = 0.1 - 0.2. Which is bigger: o or z?
o
Let n(b) = b**2 - 22*b - 104. Let s be n(-4). Suppose 5*a = -4*d + 25, 0 = -5*d + 2*a + 3*a + 20. Suppose 6 + 4 = d*g. Does s = g?
False
Suppose 0*m + 18 = 2*m. Which is smaller: 8 or m?
8
Suppose -2*i = -3*i. Let r(w) = w**2 + 5*w - 6. Let v be r(-6). Let u be (-5)/(40/6) + v. Which is greater: i or u?
i
Let c = -47.09 + 48. Let w = c - -0.09. Which is smaller: w or -2?
-2
Let g(s) be the first derivative of -s**3/3 - 6*s**2 - 10*s + 5. Suppose -41 = 2*j + 4*i + 1, 40 = -5*j + 3*i. Let o be g(j). Which is bigger: 3/11 or o?
o
Suppose h - 6 = 6. Suppose -4*d = -2*d + h. Let t be 31/(-11) + d/(-2). Which is greater: 0 or t?
t
Let b(q) = -q + 4. Let g be b(5). Do 0 and g have the same value?
False
Let d = -5 - -9. Let b be (-14)/(-30) + d/(-6). Which is smaller: 1 or b?
b
Suppose 3*h - 4*n - 100 = 0, 0 = -3*h - h - 3*n + 100. Let b be 1/7*h/8. Suppose 5 = 2*u + 3. Are b and u unequal?
True
Let f = 110009/6 + -18403. Let w = 68 + f. Suppose 0 = -2*h + 5*q + 3, -4 = h + h + 2*q. Are w and h equal?
False
Let k = -0.054 + -0.046. Is -6/7 at least k?
False
Suppose -9 - 15 = 3*q. Let f = -9 - q. Which is smaller: 2/9 or f?
f
Let r = 45 - 43. Let s = -2.4 - -2. Let u = -0.3 - s. Which is smaller: u or r?
u
Let j = 0.06 - -5.94. Is j bigger than -1/4?
True
Suppose -3*m = -3 - 0. Do 7/3 and m have different values?
True
Suppose -g - 11 = -5*d, 19 = -3*g - d + 2*d. Let x be g/(-21) - (-106)/(-28). Are -4 and x equal?
False
Let z = 4 + -5. Let a = 2 + z. Is 1 at most as big as a?
True
Suppose -n + 68 = 4*j, 3*n - 368 = 4*j - 116. Suppose -8*i + 4*i + n = 0. Let l be (1 - 0) + (-12)/i. Is l greater than or equal to 0?
True
Let c be 2/(-5)*(-5)/3. Let v = -1.107 + 0.107. Is v at most c?
True
Suppose 6 = 5*n - 9. Let v(y) = y**2 - 3*y + 2. Let m be v(n). Suppose -m*g = 2*j - 0*g - 10, j + 2*g - 9 = 0. Is 1 smaller than j?
False
Let u = -0.3 - -0.4. Let a = 0.3 - u. Let b = -0.8 - a. Are b and 0.1 non-equal?
True
Suppose 0 = h - 2 - 1. Let u be -1*-1*h - 1. Suppose 3*o + 1 = 4*o. Which is greater: u or o?
u
Suppose 4*x - 5*p = 22, -x + 2*p = 5*p + 3. Let n = x - 3. Which is smaller: 1/13 or n?
n
Let k(u) = -u**2 - 3*u - 4. Let a be k(-7). Let l be a/35 - 4/(-20). Which is greater: l or 0?
0
Let y(c) = c**2 - 11*c + 7. Let j be y(10). Is j >= -13/5?
False
Let h = -6.4 - -3.4. Do h and 18 have the same value?
False
Let l = -18 - -17. Suppose 2*k + 4 = -18. Let m be k/8 + (1 - 0). Is l bigger than m?
False
Let m be (11868/10 + -2)*-5. Let t be 0 + m/(-26) + 0. Let y = t + -228. Is y greater than -1?
True
Let c be (9/66)/(153/12). Let d = -356/1683 - c. Is d less than or equal to 1?
True
Let p(x) = x + 3. Let n be p(-2). Suppose 11 = 4*v - n. Let r be -1*v*(-2)/6. Is 3 at least as big as r?
True
Suppose -3*i - i + 16 = 0. Suppose 0 = 4*w - 8. Let l be w/(-4) + 14/4. Is i greater than or equal to l?
True
Let n = -2 + 3. Let t be (-6)/8 + (2 - n). Suppose -21*a + 11 = -10. Which is smaller: t or a?
t
Let z = 22 - 21. Which is smaller: 2 or z?
z
Suppose 2*w - 15 = 7*w. Let t = w + 1. Let o(z) = -2*z**2 - 2*z + 1. Let n be o(1). Which is smaller: n or t?
n
Let t(f) = f**2 + f - 4. Let c be t(0). Let k be ((-10)/(-15))/(c/6). Is -2/9 greater than k?
True
Suppose 0 = 2*f + 4, 5*x - 26 = -f + 4*f. Let y be ((-7)/(-63))/((-2)/x). Are -3 and y unequal?
True
Let f(w) = 6*w - 29. Let a be f(5). Is 4/47 > a?
False
Let p be (3 - -4) + -1*2. Which is smaller: 2 or p?
2
Let s be (16/(-12))/(2/(-3)). Suppose 2*z - s = b, -3*b + 5 = 2*z + 3*z. Suppose 0*k - 5*k = -2*h - 15, b = 2*k - 4*h - 22. Which is smaller: 1/2 or k?
1/2
Suppose 4 = 2*t - 3*r + 44, -t = -r + 19. Let i = 10 + t. Is i less than or equal to -7?
True
Let b(l) = -l - 7. Let v be b(-4). Suppose 8 - 2 = 3*c. Suppose c*p + 8 = -3*j, 2*j - 2*p - 1 = -3. Which is smaller: v or j?
v
Let s = -0.02 + 1.42. Which is smaller: 1 or s?
1
Let x be ((-8)/12)/(6/9). Let m = -1 - x. Is 2 != m?
True
Let b be ((-4)/3)/(14/21). Let n = 37/2 + -19. Is b at most n?
True
Let q = -13 - -12. Which is greater: -6 or q?
q
Let a be 6/(-4)*(0/(-5) + 2). Let j be (4 + -2)*(-2)/4. Which is smaller: a or j?
a
Let a = -66.7 - -66. Suppose n = 4*n. Is a greater than or equal to n?
False
Let y = 51 + -48. Let c = -2 - -3. Which is greater: c or y?
y
Let m be ((-12)/(9/3))/1. Suppose 4*j + 4*v - 28 = 0, 3*j + 2*v = 7*j - 10. Let n be (m + j)/(0 - -1). Do 0.2 and n have different values?
True
Let i(r) = 2*r**2 + 10. Let k be i(0). Is k at least as big as 28/3?
True
Let u = 79 + -72.4. Let y = 0.6 - u. Let m = y - -5. Which is smaller: 2/7 or m?
m
Let f be 3/(27/(-26)) + 2. Let g = 14/9 + f. Which is smaller: 2 or g?
g
Let v(p) = -4*p**2 + 3*p. Let g be v(2). Which is greater: -9 or g?
-9
Suppose -4 = -k - 0. Which is bigger: k or 0?
k
Suppose -g + 5 = 3. Suppose g*x - 6*x = 0. Which is smaller: -1 or x?
-1
Suppose -5*a = -9*a + 12. Suppose -4*f - 31 = 3*k, -5*k + a*k - 49 = -3*f. Is k equal to -16?
False
Let d be (-62)/(-119) + 4/(-14). Let r = -25/34 + d. Which is bigger: r or 1?
1
Let g = 9 + -6. Let d = -2 + g. Let m be 4/14 + 10/(-70). Which is smaller: m or d?
m
Let b be 6/9*6/2. Let x be ((-27)/(-6))/(-3) + b. Is x at least -0.3?
True
Let u = -20 - -20. Are u and 3/5 nonequal?
True
Suppose 2*x = 3*n + 6, -6*n - 2*x = -3*n + 18. Let m be 100/(-15)*6/n. Let i be (-4)/(-8) + m/4. Is 4 smaller than i?
False
Let k = -13 - -13. Suppose 3*b + 6 = b - l, 4*b - 4*l