- -0.2. Which is smaller: o or k?
o
Suppose -104 = 10*k - 14*k. Suppose -k*n + 1 = -25*n. Which is bigger: -1/4 or n?
n
Let q be -8*(10 + -11)*-110. Are -879 and q nonequal?
True
Let l = -24 + 20. Let p be 8*(l + 25/6). Let n = -1 - -3. Which is greater: n or p?
n
Suppose -4*d - 4*j + 3*j = 722, 176 = -d + 2*j. Does d = -178?
False
Let s = -40 + 79. Let d = 2.065 + -14.065. Let b = s + d. Which is smaller: b or -1?
-1
Suppose 0 = 142*m - 141*m + 2. Is m equal to -17/8?
False
Let j(r) be the third derivative of r**7/2520 - r**6/144 + r**5/30 + r**2. Let z(s) be the third derivative of j(s). Let x be z(3). Is x less than 1/6?
False
Let a = 0 + 3.1. Let k = 3 - a. Suppose -o + 7 - 9 = 5*r, 5*o + 3*r = -76. Which is smaller: k or o?
o
Suppose 26*s - 18 = 8. Let u(w) = w**2 + 5*w + 1. Let b be u(-3). Is s > b?
True
Let n = 2.74 - 2.97. Which is greater: n or -2?
n
Let q = -2/103 - -9583/206. Let k = -4639/30 - -1628/15. Let x = q + k. Is 2 < x?
False
Let r(o) be the second derivative of 13*o**3/2 - o**2/2 - 8*o. Let j be r(-1). Let s be (6/(-8))/(135/j). Is s less than -0.3?
False
Let b = 41 - -10. Let m = b - 83. Let n = 21 + m. Does n = 0?
False
Let f = 1402 + -5551/4. Is 15 > f?
True
Let m be ((-185)/(-28))/(-5) - 23/(-322). Which is smaller: 0 or m?
m
Let w = 1596 + 1424. Is 3021 less than w?
False
Let m = -0.09 - -7.09. Let r be 4/(-12) + (0 - 0). Which is smaller: m or r?
r
Let b = -4522 - -18175/4. Is -2 at least as big as b?
False
Suppose -4*v = 4*n - 1456, v - n + 243 = 605. Is v at most as big as 364?
True
Suppose -14*k + 39 - 22 = 129. Let u be (-4)/(-6)*6/4. Suppose v + u + 8 = 0. Is v equal to k?
False
Let q = -90 + 91.38. Let u = q - 0.18. Let p = u + -1.1. Is p equal to -5?
False
Let d = -43 + 47. Suppose 2*j + 3*z - 39 - 2 = 0, 81 = d*j + 5*z. Is 20 at most j?
False
Suppose -5*u - 14 = o - 2*o, 4*o = u - 1. Let z = 10 + -18. Let p be ((-6)/52)/(6/z). Is p >= o?
True
Let d be 2 + 5 + 2 + -2. Suppose 3*i - 9 = 2*i. Which is greater: d or i?
i
Suppose 2*l + 1 + 9 = -2*i, -4*i = -3*l - 8. Are i and 9/121 equal?
False
Suppose 0 = -2*a + 2*x + 4, -x = 2*a + 13 - 8. Which is smaller: a or -15/13?
-15/13
Let y(h) be the first derivative of 5*h**2/2 + 3*h - 1. Let n be y(1). Which is smaller: n or 9?
n
Let u(r) = -r**2 - 45*r - 38. Let m be u(-44). Is -29 at most as big as m?
True
Suppose -13 = -54*j + 51*j - 5*d, -d = -2. Is j less than or equal to -349?
False
Let j = -108 - 306. Which is smaller: j or -413?
j
Suppose 9*w + 64 = -566. Does w = -71?
False
Let r = 98.2 - 98. Is r less than -75?
False
Let z = -100 + 176. Let p = z + -52. Let o = 339 - 314. Do o and p have the same value?
False
Let p(s) = s + 8. Let c be p(-8). Suppose 39*m - 42*m + 3 = c. Which is smaller: -2/33 or m?
-2/33
Let z = 5.813 + 0.187. Is z < -0.02?
False
Let j(d) = d**3 - 4*d**2 + 7*d - 11. Let m be j(4). Which is smaller: m or 16?
16
Let h(r) = -3*r**2 - 3*r - 17. Let t be h(-8). Let n = -120 - t. Suppose 4*y = -2*v + 5*y - 15, -5*v - 3*y = n. Is v bigger than -17/2?
False
Suppose -13 = -2*f + 5*r, -2*r + 0*r + 20 = -5*f. Let n be 4/(-15)*(-75)/f. Suppose 42*v + 232 = 148. Is v equal to n?
False
Suppose -4*q + 3*w - 16 = 0, q - w = 3*q + 8. Let t be (-19)/7 - 2/7. Let s = t - 3. Is q bigger than s?
True
Let v be (-1)/2 + 26/4. Let z = -276 - -270. Let q be (4/z)/((-4)/v). Is 1 greater than or equal to q?
True
Suppose 2*g + 3*j - 5 = 0, -2*g + 2 = j + 7. Let w be (2/g)/((-2)/50). Let c = 8 - w. Is c less than -2?
False
Let d be (-1720)/(-290)*(-59794)/124. Let r = -2860 - d. Let w = 4483/5394 + r. Do w and 0.1 have the same value?
False
Let m = -1539 + 1575. Let p be (-2)/(-1) - -18*2. Is m <= p?
True
Suppose -5*h = -2*v + 23, 4*h + 4*v - 69 + 65 = 0. Is h < 7?
True
Let k be 117/66 + -2 - 0. Let o = 397/56 + -493/88. Let j = o - k. Which is greater: 1 or j?
j
Suppose 2*z + c = 9, 4*z - 6*z + 6 = -2*c. Let a = 9 - z. Suppose 6*d + 2*o = 2*d + 10, -3*d = -a*o - 14. Which is bigger: d or 2/3?
d
Let f be 1/(-5) + (-5 - 207/115). Is f at least as big as -7?
True
Let z(t) = 4*t + 22. Let q be z(-5). Suppose 9*h + 33 = -q*h. Is -23/6 equal to h?
False
Let t(j) = j**2 - 4*j + 3. Let c be t(4). Let a be (c/(-42))/((-1)/(-6)). Let v = a - -47/77. Which is smaller: 0 or v?
0
Let x be (14 - 14 - (-4)/2) + -1. Is x less than -5/524?
False
Let w(u) = -2*u**3 + 7*u**2 - 2*u + 6. Let h be w(3). Suppose -2*q + h = -7. Which is smaller: 7 or q?
7
Let w(d) = -d**3 + 46*d**2 - 87*d + 32. Let t be w(44). Is t less than 80?
True
Let j be -132*4/120*10. Is -316/7 > j?
False
Suppose 2*c - c - 82 = -2*l, -2*c + 5*l = -155. Let r = c - 66. Which is smaller: r or 0?
0
Suppose 0 = -2*l + 6*y - 4*y + 20, 2*l + 15 = -5*y. Suppose -l*z = -7*z - 6. Let g(b) = b**3 + 2*b**2 + b. Let r be g(-3). Do z and r have the same value?
False
Let b be ((-26)/(-3))/(12/549). Let j = b + -410. Is j > -15?
True
Let d = 0.2 + 0.8. Let z = 2 + -2.9. Let j = z - 3.1. Is j less than d?
True
Suppose -2 = -d - 3*l, 2*d - 2*l = -2*d + 8. Let t = -3327/4 + 877. Let m = t + -45. Is d at most as big as m?
False
Suppose 0 = -o + 3*o + 18. Suppose 5*y = 2*y - b - 15, 0 = -3*b. Which is greater: o or y?
y
Let o = 74 + -74. Suppose 11*r + 3 - 14 = o. Do r and -2/207 have the same value?
False
Let g = -899 - -510. Does g = -391?
False
Let j = 90 + -89. Is -2/213 < j?
True
Let z be 2/20 - (-22)/(-160)*8. Is -3/35 less than or equal to z?
False
Suppose 0 = 2*z - 2*b - 10, -3*z - 3*b + 4*b = -15. Suppose 0 = -4*y - 16, -9 = -z*g + 5*y + 21. Which is smaller: g or -31?
-31
Let q(u) = u**2 + 6*u + 6. Let p be q(-5). Let m be (-144)/(-75)*-1 - -2. Which is smaller: m or p?
m
Suppose 0 = 219*m - 222*m - 3. Let d be (-24)/9*(-3)/(-10). Is d equal to m?
False
Suppose 0 - 12 = -3*w. Let u(s) = -w*s - 5 + 4*s + 3*s. Let p be u(3). Is 4 at most p?
True
Let t = 202/963 - -1936903/7704. Let r = t + -252. Suppose 3*h = -2*h. Is r less than or equal to h?
True
Let f be (-14)/(-12) + 323/(-228). Which is smaller: 160 or f?
f
Let w = 173 + -172.95. Does -1 = w?
False
Suppose -5*c + 79 = 19. Let i be c/(-8)*(-1 + -1). Suppose 0 = -i*q + 2*g - 12, 5*q - 2*g = -6*g - 42. Which is bigger: q or -7?
q
Let f(i) = -8*i + 1. Let m be f(1). Let r = 16 - 15. Let u be (-2)/5*r*(-15)/(-21). Is m < u?
True
Let j(w) = w**3 + 2*w**2 + 2*w + 65. Let u be j(0). Suppose 5*s + p - u = 0, 3*p = s - p - 13. Is 13 not equal to s?
False
Let w be (-6 - 101) + (-3)/1. Let i be (56/(-36))/7 - w/9. Is i not equal to 10?
True
Let p be (-15)/20*(19 - 3). Let f = 16 + p. Is 42/11 smaller than f?
True
Let h = -1848 - -2134. Is h <= 286?
True
Let a = -733 - -719. Which is greater: -7 or a?
-7
Let h be (-2173)/(-246) - (1 + 3). Which is greater: h or 4?
h
Let g be 2/(-3*2/(-6)). Suppose 2*w = -2*m + 4*w + 16, g*w = -5*m + 19. Suppose 10*k - 9 = 7*k. Which is greater: m or k?
m
Let k(v) = v**2 - 2*v + 12. Let a be k(0). Suppose 0 = -3*x - a, -x = -c - 0*x + 3. Let p be 3/c*(-20)/30. Is 1 > p?
False
Let b = 2.092 + -0.012. Let a = 0.38 - b. Let d = -0.7 - a. Which is bigger: 0.2 or d?
d
Let y = 349 + -348. Is y smaller than 3/199?
False
Suppose -6*g + 13 = -35. Let v(f) = -f**2 + 9*f. Let a be v(g). Let z be (a/2)/(-8)*2. Which is smaller: 1 or z?
z
Let o = 14.09 + -0.09. Let s = 14.14 - o. Suppose 2*t = 4 - 2. Which is smaller: s or t?
s
Suppose -8*t = -4*t + 2*t. Suppose t = -5*u - 3*x + 50, 41 = 3*u + 7*x - 3*x. Is 70/11 at least as big as u?
False
Let d(l) = -5 + 6 + 2*l**2 - 4*l**2. Let t be d(2). Is t smaller than -8?
False
Let d be 11/((-22)/216) + (-2)/(-1). Do -107 and d have the same value?
False
Let n be (35 - 11 - 1/3)*-6. Let c = n + 107. Which is bigger: 0.2 or c?
0.2
Suppose 309 = -21*c + 18*c. Is -102 <= c?
False
Let o = -6.322 + -0.678. Suppose c + 9 = 4*z, z - 6 = -0*c + 4*c. Which is greater: o or c?
c
Let f = 354 - 512. Let g = f - -1742/11. Are g and 1 equal?
False
Let l be (-4)/6 + (-28)/21. Let k be (-1)/l - (-6919)/86. Let c = k - 81. Is 0 greater than or equal to c?
True
Let x be (-5)/(-2385)*-1433 - -3*1. Do -1 and x have different values?
True
Let r be ((-129)/51 - -2) + (-14)/(-28). Which is smaller: r or 1?
r
Let a be (1 - 4)/1*(-30)/(-6). Are a and -14 non-equal?
True
Let i be (799/(-255) + 4/30)*7. Which is smaller: 2 or i?
i
Let y = -51 - 184