less than k?
False
Suppose -7*g = -2*g - 3*v - 14, -2*g + 12 = 2*v. Is 5 <= g?
False
Let c be ((-1)/(-15))/((-7)/(-63)). Is 0 greater than c?
False
Let q = 8 + -4. Let l be (-3)/6*q/8. Is l smaller than -2/5?
False
Suppose 67 + 27 = -d. Let c be 28/(2 + -3 + -1). Let i be d/(-14) + (-4)/c. Which is smaller: 8 or i?
i
Suppose -5*y + 30 = 5*f, 15 = -4*f + 7*f. Let z = -0.4 + 0.2. Let p = z + 0.4. Is p at most as big as y?
True
Let n = -8 + 8. Are 1.4 and n nonequal?
True
Let p = 22 - 115. Is -2/7 greater than p?
True
Let i = -2.1 + 2. Let h = 2797 - 2814.93. Let k = -18 - h. Which is smaller: k or i?
i
Suppose 0 = -4*v - j + 7 + 24, -5*j = -v + 13. Suppose 2*q + 3*q + v = z, 3*q = -6. Which is smaller: -1 or z?
z
Suppose 0 = 29*o - 27*o - 2. Is 1/27 > o?
False
Let l(u) = u + 9. Let t be l(-4). Suppose t*b + 4 = 3*b, -b + 5 = -d. Let c = 9 - 17. Is c greater than or equal to d?
False
Let z = -2 + 7/4. Is z at most as big as -1.1?
False
Let r = 3 + -5. Let d be r*1/4*0. Is 4/7 at most as big as d?
False
Let w = -1 - -2. Let i = 9 - 3. Is i less than or equal to w?
False
Suppose 0 = -5*c + 4*r + 17, -2*c + 0*r = 3*r - 16. Which is smaller: 4 or c?
4
Let m(j) = j**3 + 4*j**2 + 3*j. Let d(p) = -p**2 + 6*p - 3. Let y be d(6). Let g be m(y). Is g smaller than 1/4?
True
Suppose -4 - 4 = -2*j. Suppose -j*z + 9 = -g, 2*z + 3*g - 5 = -2*z. Let h be ((-2)/(-7))/(z + -1). Is h smaller than -1?
False
Let g = 17 + -16. Let q = 11 - 0. Let y be 1 + (q/(-9) - 0). Which is greater: y or g?
g
Let g be (-14)/1*(-2)/4. Let o be (1/(-2))/(g/(-4)). Which is bigger: o or -0.1?
o
Let r = 4 + -4.4. Which is greater: r or 2?
2
Suppose -166 = 5*n - b, 0 = -2*n - 2*b - 3*b - 88. Is 1 less than or equal to n?
False
Let o be 15/(-30)*(-662)/(-3). Let p = 109 + o. Which is bigger: 0 or p?
0
Let z = -13 - -18. Suppose 5*b - 4*c = 28, 30 = 5*b - 5*c + z. Let a be (-23)/7 + b/28. Is -3 at least as big as a?
True
Let t = 9.3 - 7.25. Let r = 0.05 - t. Does 0.2 = r?
False
Let u = 2.6 + -2.7. Suppose 0 = 2*x - 5*w - 22 - 2, -5*w - 12 = -x. Is x >= u?
True
Let h be (-12)/(-3) + -2 + 2. Let z be (-1)/h + 9/12. Is 1 < z?
False
Suppose 0 = -2*i + 6 - 0. Let o(m) = 2*m**2 - m - 1. Let a be o(-1). Which is smaller: a or i?
a
Let b be 0 - -1 - (-138)/(-126). Let f = 2 + 1. Let n = f - 3. Which is smaller: n or b?
b
Let l = 60/679 + 2/291. Let d(c) = c**2 - 1. Let v be d(-1). Is l < v?
False
Suppose -3*h + 1 = -4*k - 8, 4*h - 12 = 2*k. Let d = k + -5. Let l(s) = -2*s**2 + 2*s. Let v be l(2). Is d greater than v?
False
Let l(g) = 3*g - 29. Let z be l(14). Which is smaller: 14 or z?
z
Let f be 12/(-10)*(-125)/10. Suppose 5*j = -2*u + f, -3*j - 26 = -4*j - 5*u. Which is smaller: 0 or j?
0
Suppose 0*a + 3*a + 5*f + 21 = 0, 0 = 2*f. Let n = 17 + a. Is 10 smaller than n?
False
Let w = 45 - 74. Let n = w + 25.2. Let o = n + 4. Which is bigger: o or 0?
o
Let o(y) = y - 9. Let l(q) = -3*q + 28. Let j(s) = 2*l(s) + 7*o(s). Let d be j(9). Is 3 >= d?
True
Let v = 33 - 14. Let b be 25*(-3 - v/(-5)). Let r be ((-2)/(-8))/(45/b). Which is smaller: -1 or r?
-1
Suppose -4*z - 5*t = 1, 2*t - 3 + 1 = -2*z. Let b be z/14*(-2)/(-3). Let m = -1 + -1. Is b at least as big as m?
True
Let t(a) = -a**2 + 4*a + 1. Let r be t(3). Suppose -g + 53 = r*i, 5*g - 2*g = -2*i + 19. Suppose -4*o - 2 = i. Which is smaller: o or -3?
o
Let l = 53 - 90. Which is bigger: 0 or l?
0
Let s be 1/(1*2/4). Let i be 2*s/(-28)*-1. Suppose -j = 5, -2*j = -p + 11 - 0. Is i greater than or equal to p?
False
Let p = 2 + 4. Let o(n) = n**2 + n - 1. Suppose 6*u - s = 4*u - 7, 2*s - 5 = u. Let l be o(u). Are l and p equal?
False
Suppose 2*c + c = 12. Let y = 49 + -43. Suppose f - w = -c + 1, -2*w = 2*f - y. Is -1/5 at least f?
False
Let b = 128/3 - 43. Let x = -1/15 + b. Is x at most -2?
False
Let b = -13 + 14. Which is smaller: b or 4?
b
Let d = 2 - 4. Let f be (-2)/1 - 14/(-2). Suppose -22 = f*w + 4*b, -2*w + 3*b = 2*b + 1. Is d equal to w?
True
Let d = 554/5 - 112. Is -2 not equal to d?
True
Suppose -2*h + 15 = -f, 4*f = -0*h + 2*h. Let q be 5/(h/18) + -1. Suppose -t = 3*v - 1, 5*t - q*v = -3*v - 35. Is -6 > t?
False
Let m = 0 + 4. Suppose -u + b = -2, -3*u + 5*b + m = -0*u. Suppose u - 9 = 3*n. Do n and -1 have the same value?
False
Let d = 137 - 199. Let i = -100 - d. Let s = 113/3 + i. Is 1 at least s?
True
Let t = 1 + 3. Suppose 2*m - 12 = -2*p + 4*p, 3*m - t*p = 21. Suppose 2*k + 0*k = 6. Is m greater than k?
False
Let k = -1.1 - -1. Let z = -10 + 9.1. Let h = k + z. Which is bigger: h or 0.1?
0.1
Let r = 0 - 0. Let h(c) = 2*c**2 - 2*c. Let y be h(2). Suppose 3*o = -o - y. Do o and r have different values?
True
Let l be (-2 - 1) + 8/(-4). Do l and 1 have the same value?
False
Let g be (-27044)/1934*(-1)/8. Let k = -4484/2507431 - -10/2593. Let b = g + k. Is 3 bigger than b?
True
Let y(a) = -a. Let d be y(-2). Suppose 2*h - d = -5*b, -2*h - 2 = 5*b - 4*h. Is 3/10 > b?
True
Let r(x) be the third derivative of x**5/60 + 3*x**4/8 + x**3/2 + 3*x**2. Let v be r(-9). Is 4 not equal to v?
True
Let q = 1.1 - 5.1. Let h = -2 - q. Let g = h - 3. Which is greater: g or -0.1?
-0.1
Let l = 21/80 + -1/80. Is l less than -3?
False
Let z = 11 - 10. Let x = -2 - -2. Which is smaller: x or z?
x
Let u(y) = -y**2 + 5*y - 4. Let s be u(3). Let j be s/(-6) - 1/(-3). Let c = -26/3 + 332/39. Which is greater: j or c?
j
Let k(f) = f**3 + 3*f**2. Let c be k(-2). Suppose -2 - 2 = c*o. Let j = 231.03 - 231. Which is bigger: j or o?
j
Let b = -2 - -4. Let f be (b/(-6))/((-3)/(-9)). Which is greater: -2/17 or f?
-2/17
Suppose l + 12 = -3*l. Let n = l - -2. Let d be (n/5)/(4/10). Do 0 and d have different values?
True
Let w be 6/(-4)*(-40)/30. Suppose -q = -w*q. Which is bigger: -2/11 or q?
q
Let u(h) = 6*h - 19. Let a be u(8). Is 28 < a?
True
Let k = -4 - 1. Suppose 2*c + 6 + 4 = 0. Is c bigger than k?
False
Suppose 0 = 2*s - 0*s. Let w = 2 - 5/3. Which is bigger: w or s?
w
Let z be 6/(-33) + 3936/(-495). Let q = 8 + z. Suppose -3*m - r - 2 = 0, -10 = 3*m - 3*r + 8*r. Do q and m have the same value?
False
Let c be (-1 - 5)/((-6 - -2)/(-20)). Is -30 at least as big as c?
True
Let p(a) = -6*a - 55. Let g be p(-9). Which is greater: g or 2/3?
2/3
Suppose -4*a - a = -4*k - 12, -3*a + 4*k + 12 = 0. Which is bigger: a or 2/27?
2/27
Let w = 0 - -0.02. Let f = -0.04 + w. Which is bigger: 0.1 or f?
0.1
Let h be 9/((-243)/60) + 2. Let p be (-3)/(-4) - 1/(-4). Do h and p have different values?
True
Suppose -3*v + b = 3, -2*v = 3*b - b + 2. Which is smaller: -0.1 or v?
v
Let y be (-3)/12 + -1*(-2)/4. Is -3/26 at most y?
True
Suppose -k - 10*k - 11 = 0. Let z be 1/20 - 1/(-5). Which is smaller: z or k?
k
Suppose -5*o + 3*w = 17, 0 = -5*o - w - 3 + 2. Which is smaller: o or -1/19?
o
Suppose 0 = 2*m + 5 + 1. Which is bigger: 0.2 or m?
0.2
Let l = -74 + 118. Which is smaller: l or 2/3?
2/3
Let t = -25 - -26. Which is smaller: t or 2/195?
2/195
Let n = 6 + -7. Let f be (5 - 5)*n/(-2). Which is smaller: f or -1/5?
-1/5
Let i(n) = -5*n**2 + n - 2. Let z(r) = 4*r**2 - 2*r + 1. Let l(q) = 5*i(q) + 6*z(q). Let c be l(-6). Which is bigger: 3/2 or c?
c
Suppose 0 = 5*h + 3 - 13. Suppose h*z = -t - 2*t, 4*t - 2*z = 0. Which is bigger: t or -4/3?
t
Let b(k) = -k**2 - k - 6. Let p be b(0). Let o = 10 + p. Suppose 0 = -g + y + 2, o*g - 4 - 5 = 5*y. Is g not equal to -2/7?
True
Let g = -216 - -206. Which is smaller: -9 or g?
g
Suppose -4*j = -t - 58, 3*j + t = j + 26. Let s be (-6)/(-4)*j/(-7). Let l = -0.98 - 0.02. Is l at most s?
False
Let k = 0 - 1. Let u = -16.5 + 15.6. Is k < u?
True
Let v be (-3)/15 - (-11)/5. Suppose v*f = -f. Which is bigger: f or 1?
1
Let d(c) = 4*c. Let n be d(1). Let q(w) = -w**2 - 7*w - 5. Let u be q(-5). Suppose -u = x + n*x. Is x equal to 2/7?
False
Suppose -2 = j, 4*u = -2*j - 5 - 3. Is -2/93 at least as big as u?
True
Let l = -3712 - -222703/60. Let f = 1/12 + l. Is f at least 1?
False
Let h(m) = m**2 + 4*m - 11. Let q be h(-6). Do -1/6 and q have different values?
True
Suppose 5*s - 1 = -16. Let t be s + 2/2 + -3. Is -5 at most t?
True
Suppose 68 = -2*r + 70. Is r less than -1/169?
False
Suppose 0 = -2*r - 4*j - 22, 2*j - 4 = 2*r - 6. Let m be (1 + r)*(-1)/(-14). Is m greater than 1?
False
Let b = -16 + 30. Which is smaller: 15 or b?
b
Let i be 4/(-22) + 8/44.