 (-12)/(8/4)*-2. Suppose f - 3*f = -v + 6, -5*v + f + r = 0. Is z < v?
True
Let q = 5 - 5.1. Which is smaller: -2/7 or q?
-2/7
Let u be 123/(-126) + 2/(-12). Is 0 <= u?
False
Let s be (9/30)/((-102)/45). Let j = -2/17 + s. Do j and 1 have the same value?
False
Let o(v) = -v**3 + 9*v**2 - 11*v + 9. Let s be o(7). Is 28 less than or equal to s?
True
Let y(v) = -43*v - 4 + 10 + 46*v. Let j be y(-4). Is -4 > j?
True
Let a(x) = x**2 + 10*x + 3. Let u be a(-10). Let h be -3*(-12)/(-27)*u. Is h greater than -2?
False
Let v be (-14 - -9) + 2 + -2. Is 3 less than v?
False
Let z = -9 - -10. Let o = -3 + 5. Which is bigger: o or z?
o
Let h = 18.9 - 19. Suppose -6 = 3*d + 12. Do d and h have the same value?
False
Suppose -x = -1 + 5. Let i be 32/(-57) - x/6. Is -1 >= i?
False
Let z(h) be the first derivative of -h**4/4 + 7*h**3/3 - 3*h**2 - 6*h + 3. Let v be z(6). Let y be (-2)/v*(0 + -3). Which is greater: -2/11 or y?
-2/11
Let o(n) = n**3 - 4*n**2 - n + 4. Let w be o(4). Which is smaller: w or -2/9?
-2/9
Suppose -o + 6*o = -5. Is -4 >= o?
False
Suppose 0 = 4*y + x - 72, -y = y - 5*x - 58. Is y > 81/4?
False
Let a = 675092/195 + -3462. Let x be (-56410)/(-203775) + (-4)/22. Let d = x + a. Do d and 0.1 have the same value?
False
Let u(t) be the first derivative of -t**2/2 - 2*t - 1. Let l be u(-2). Suppose 9 = h + 8. Is h < l?
False
Let h be 1/(-10)*-4 + 162/(-180). Which is smaller: 3 or h?
h
Let l be ((-9)/(-27))/(1/2). Let h be (-21)/(-6) + 2/4. Let d = h + -3. Which is smaller: l or d?
l
Let s = -22 - -8. Let g = -12 - s. Does 4 = g?
False
Let t = -0.2 + 0.2. Let k = t - 0.3. Let j = k - -0.3. Which is bigger: 2 or j?
2
Let k = -31 - -58. Let y be 3/80*318/k. Let g = y - 1/24. Is g at most -1?
False
Let q be 6/9*6/14. Is 0.8 >= q?
True
Let p be (-8)/(-6) + 5115/(-3870). Let b = 339/430 + p. Which is smaller: 0 or b?
0
Let r be 6/(-87) - (0 + 0). Let c = 72/203 + r. Let h = 0.1 - 0.3. Is h bigger than c?
False
Let v = -0.1 - 0. Let f = -2.9 - -3. Is f > v?
True
Suppose 0 = 14*z - 10*z + 12. Is z not equal to -50/13?
True
Let a(d) = 4*d**3 + d - 1. Let g be a(1). Suppose 0 = -k + g. Which is smaller: 3 or k?
3
Let o = -7.7 + 8. Let q = 1.16 + 0.14. Let n = q - o. Which is bigger: n or -1?
n
Let s(m) = m**2 - 7*m + 6. Let x be s(4). Let c be 36/(-2)*3/x. Let a be c/42*4/(-3). Which is smaller: 1 or a?
a
Suppose -2*l - 4 = -14. Let j = l + -4. Let m be ((-2)/30)/(2/(-4)). Is j greater than m?
True
Let i = -139.2 - -154. Let r = i - 18. Let s = 3 + r. Which is smaller: s or -0.1?
s
Let s = -19 - -6. Let d = -12 - s. Suppose -24 = -i - 3*i - 4*x, 2*x = -4*i + 14. Is d at most as big as i?
True
Suppose 5*j + 20 = 5*b, 2*j = 6*j + 2*b - 14. Let p be (-84)/63*j/52. Which is bigger: -1 or p?
p
Let k = -9 - -31. Let l = k - 23. Which is greater: l or 17?
17
Let z = -83 - -83.97. Let o = 0.03 + z. Which is bigger: -1 or o?
o
Let f be (-2 - -6) + (-112)/30. Which is smaller: -1 or f?
-1
Let g = 0.17 + -10.17. Let s = g + 4. Let c = 3 + s. Is 0.1 at least c?
True
Let p = -2 - -2. Let h = 4 - p. Suppose 0 = -5*i - h - 1. Which is greater: -2/21 or i?
-2/21
Let i(j) = j + 4. Let p be i(-3). Let y be p/(4/12) + -3. Is y not equal to 7/5?
True
Let s be 15/1 - (-6)/2. Let y be 9/(-3) - s/(-5). Suppose 2*q + 4 + 14 = 4*t, -3*q - 17 = -t. Are y and t unequal?
True
Let y(z) = 5*z - 1. Let n be y(5). Let b = n + -170/7. Let o be (0/(-1) - -1)*-1. Which is smaller: o or b?
o
Let k be (21/9 - 2) + 0. Which is greater: k or 3?
3
Let w be (14/3)/((-5)/3). Which is greater: -4 or w?
w
Let n be 20/(-8)*(-4)/35. Which is smaller: n or -0.1?
-0.1
Let a = -2357/2 - -1210. Is a at most 33?
True
Let v = -0.2 + -6.8. Let c = v + 8. Let z be 5/3 + -2 + 0. Is c < z?
False
Let j = -17/3 + 13/3. Suppose -2*d = -2*l - 10, 3*d - 14 = -5. Is l > j?
False
Let i(z) = -3*z - 2. Let y be i(-2). Let h be (-9 + -1)*(-6)/12. Which is smaller: y or h?
y
Let q = 24 + -172/9. Is q != 4?
True
Let y = -1.2 - -1. Suppose 5*z = 9*z - 12. Let a = z + -3. Which is smaller: a or y?
y
Let r(z) = -z**3 - z**2 - 2*z + 1. Let p be r(-2). Which is bigger: p or 10?
10
Let n = -4 - -3.6. Let q = n + 3.8. Let o = -3 + q. Which is bigger: o or 0.1?
o
Let m be 72/(-105) + (-6)/10. Let y be (-16)/14 + 6/42. Is y greater than or equal to m?
True
Let c(l) = -3*l**3 - 2*l**2 - l. Let u be c(-1). Let q be u/7 + (-32)/98. Let x = 108/245 + q. Which is smaller: x or -1?
-1
Let z = 124 + -126. Which is smaller: -7/8 or z?
z
Suppose -4 = -i - r - 2*r, -r + 1 = 0. Is i <= 12?
True
Let t(k) = 3*k**2 - k - 1. Let z be t(-1). Let n be 59 + z - 3/(-1). Let w be 10/n - (-108)/(-26). Is w less than -3?
True
Let t be (2/36)/((-4)/(-8)). Suppose -5*o = 2*x, 0*o - o + 3*x = 0. Is o greater than or equal to t?
False
Let y = -12 - -10. Let n = -1 - y. Is 2/17 > n?
False
Suppose -5*d - 4*x = -65, 3*d + 9*x - 32 = 8*x. Is 9 != d?
False
Suppose -2*i + 4*t = 2, 4*t - 2 = 3*i - t. Is -2 >= i?
False
Let z be 6/(-215)*(2 + (-6)/(-2)). Is 1 > z?
True
Suppose -4*v - v + 30 = 0. Suppose 5*s - 1 = v*s. Let n = s + 0. Which is greater: n or 1/3?
1/3
Let u = -36 - -33.3. Let o = u - -3. Which is smaller: 0 or o?
0
Let s = -32 + 30. Is s smaller than 0.45?
True
Let j be (-4)/(-10) - (-13)/5. Suppose -j*v = 3*y - 6, 3*v = -5*y + 13 + 3. Suppose -10 = -y*t - 5. Is 4/5 less than t?
True
Let w = 6.7 + -7. Let x = 17.9 - 18. Which is bigger: x or w?
x
Let g = -0.039 - 2.061. Let i = 0.1 + g. Let v = 0.02 - 0. Do v and i have different values?
True
Let p = 5/7 - 22/21. Is 0 greater than p?
True
Let m = -217/3 + 73. Which is greater: -3 or m?
m
Let w = 3 - 2. Let o be 2 - 1 - -1 - w. Which is smaller: 2/5 or o?
2/5
Let q = -0.56 - -0.5. Suppose 4*a + 0*a = -4. Is q less than a?
False
Let f be -10*((-12)/3 + 2). Let c be (-8)/f + (-1)/10. Which is greater: c or -0.1?
-0.1
Suppose 6*l = l + 10. Let t(a) = a**3 + 7*a**2 + 7*a. Let p be t(-5). Suppose 5*v = 5*k - p, -3*k - 6 = 4*v - 1. Which is greater: k or l?
l
Let r = -32.3 - -32. Let w = -3.5 - 0.5. Let s = -3 - w. Which is smaller: r or s?
r
Suppose 12*b - 334 = -34. Which is bigger: 26 or b?
26
Let i(p) be the third derivative of -p**4/24 - 4*p**3/3 + 2*p**2. Let y be i(-7). Is y >= 0.2?
False
Let r be (-4)/(-30) - (-516)/180. Let x = 7/4 + -1/4. Which is greater: x or r?
r
Suppose 0 = f - 1 - 3. Suppose 198 = 3*k + 4*l, 232 = f*k + 4*l - 32. Let u be (-1)/4 - k/(-72). Which is greater: 2 or u?
2
Let j be (-2)/(-4)*48/318. Let t = -93/530 + j. Which is greater: t or 1?
1
Let f = -166.5 + 167. Is f at least 1.3?
False
Suppose 8 = 4*q - 2*z, -8 = -q + 3*q + 2*z. Let x = 4 - 6.9. Let l = x + 3. Which is smaller: q or l?
q
Let z = 5/12 + -37/60. Is 11 greater than or equal to z?
True
Let a be (-9 - -3 - 0)*-1. Suppose 8*x = a*x. Let n = 5 + -7. Is x not equal to n?
True
Suppose 5*u - 8 - 2 = 0. Suppose -u*g = g. Let d be (-2)/28*-4 + g. Which is smaller: -1 or d?
-1
Let w = -1.9 - -1.7. Which is smaller: -0.8 or w?
-0.8
Let s(g) = -g**2 + 3*g. Let f be s(2). Suppose 5*i = f*x + 2*x + 11, -2*x - 9 = i. Are 2/35 and i non-equal?
True
Let y be ((-269)/(-8))/((-3)/6). Let p = -68 - y. Which is greater: p or -2?
p
Let h(i) = -i**2 + 2*i - 3. Let k(z) = z**3 - 2*z**2 + 2*z - 2. Let j be k(2). Let r be h(j). Let g be 0 - (-2)/((-14)/r). Which is smaller: g or 0?
0
Let x be 0 + 1/(-1) - -2. Suppose 4*n + 5*b + 5 = -0*n, -x = 2*n + b. Let q = 2/59 - 69/295. Which is bigger: q or n?
n
Suppose -u = q - 40, 0 = 4*u - u - 2*q - 105. Let p = -149/4 + u. Which is smaller: -1 or p?
-1
Let h(f) = f**2 + 11*f - 2. Let d be h(-9). Let k be (-4)/d + 1/(-3). Which is greater: 0 or k?
0
Suppose -8*g = -3*g + 15, -4*f + 5 = 5*g. Let a = -50 - -35. Let y = 16 + a. Is f < y?
False
Let f(y) = y**2 + 1. Let c be f(3). Let j be (-4)/c + 32/30. Suppose 0 = -13*w + 5*w. Which is smaller: w or j?
w
Let y(m) = -m**3 - 1 - 1 - 2*m + 0*m**3 - 3*m**2 - 2*m. Let s be y(-2). Suppose s*i + i + 15 = 0. Is i at least as big as -6?
True
Let o(b) = -b - 3. Let p be o(-4). Let l be 6*(p - (-2)/(-4)). Is l at most as big as 3?
True
Let d(h) = 6*h**3 - 2*h**2 - 2*h - 1. Let m be d(-1). Let q = m - -14. Suppose 0 = -q*s + 3*s. Is s >= 0?
True
Let a = -13 - -18. Suppose a*z = z. Suppose y = -4*i + 16, z = y + 3*y - i + 4. Is y at least 1/4?
False
Suppos