p
Suppose 7*n - 1 = -71. Let m(x) be the first derivative of -x**2/2 - 7*x - 1. Let w be m(n). Do 16/5 and w have different values?
True
Let q be (-18)/4*(-8)/6. Let z = q - 8. Let d be 5 + 1/(6/(-46)). Is z at least as big as d?
True
Suppose -2 = 3*a - 8. Suppose l + 16 = -3*m - m, m = -a. Which is smaller: -5 or l?
l
Let z = -55 - -96. Let n = z + -43. Which is greater: -13 or n?
n
Let o(f) = f**2 - 16*f + 11. Let z be o(13). Let q = -20 - z. Are 10 and q unequal?
True
Let y be ((-8)/(-10))/(54/(-15) - -4). Which is smaller: y or -0.1?
-0.1
Suppose 16*k - 134 = 650. Let x be (-4)/(-20) + 249/5. Which is smaller: x or k?
k
Suppose 18*o - 35338 = 20*o. Let u = o - -229451/13. Let j = 19 + u. Is j less than or equal to -1?
False
Let k be 8/28*7 - 8. Is -78/11 > k?
False
Let h = 182 - 387. Let c = 194.3 + h. Let f = 11 + c. Is 2 >= f?
True
Suppose 0 = -2*s - 4*d + 126, -12*d + 307 = 5*s - 10*d. Is s equal to 302/5?
False
Let v be ((-2 + 2)/(-3 + 2))/(-3). Let h be -2 + -4 + 7 - v. Which is smaller: h or -43?
-43
Let w(f) = 2*f + 16. Let d be w(-3). Let a be (-1*13)/(2/(-4)). Let u be 15/25 - a/d. Are -2 and u unequal?
False
Let d be -12 + 13 - (1 + -16). Suppose 3*a = d*a. Is 3 at least a?
True
Let n = 0.1 + -0.1. Let j = -27.6 - -20. Let t = j - -6.5. Which is smaller: n or t?
t
Let v = -1715 + 1714.7. Which is smaller: v or -60?
-60
Let v(g) = -g**2 - 2*g + 2. Suppose -2*r - 2*r = 0. Let f be v(r). Do f and 2 have different values?
False
Let z be ((-20)/6)/((-166)/18 + (-62 - -71)). Let a = 17 - 2. Do z and a have different values?
False
Suppose 5*y - 4 - 1 = 4*c, -3*c + y = -10. Suppose 0 = -3*o - 5*i - 8, 23 - 7 = c*o + i. Let h be (-66)/(-54) + o/(-18). Which is greater: 0 or h?
h
Let i = 12 + 0. Suppose 2*a + 13 = -2*a - j, -3*j - i = 3*a. Let c(f) = f**3 + 3*f**2 - 3. Let x be c(a). Are -5/2 and x unequal?
True
Let c = 1 - -34. Let u be 6*(-225)/(-40) + 1/4. Is c bigger than u?
True
Suppose -v - 2 = 5*c - 13, 5*v + 1 = 3*c. Suppose 3*z + 12 = -n - 2*z, c*n + 3*z - 4 = 0. Which is greater: n or 10?
10
Let c(k) = 24*k - 78. Let u be c(4). Which is smaller: -1 or u?
-1
Let o = -328 + 328.01. Is o at least -79/2?
True
Let g = -647 + 646. Is g smaller than 33/7?
True
Suppose -2*f - 162 = 3*k, 0 = f - 0*k - 2*k + 88. Let j be 9/f*16/(-66). Which is smaller: j or 1?
j
Let s = -11390/194097 + 2/2813. Is 0 less than s?
False
Let f = -25 - -13. Let j(x) = x**3 + 13*x**2 + 12*x + 18. Let b be j(f). Suppose b - 14 = h. Is 4 smaller than h?
False
Let v = -10 - -7. Let i be (0 - 1) + v/(-2). Let g = -14995/29 - -517. Is g bigger than i?
False
Let u = -180 + 210. Which is bigger: u or 26?
u
Let u be (-4)/3 + 42092/51. Let i be (-16)/u*1*1/2. Which is bigger: 1 or i?
1
Let x = 0.0246 - 0.0746. Is -83 < x?
True
Let m(s) = -s**3 - 7*s**2 + 4*s - 9. Let x be m(-7). Let v(b) = -7*b - 43. Let p be v(-1). Which is smaller: p or x?
x
Let f be 1/((-35)/(-2))*5. Suppose 0 = -3*a + 4*s + 17, 11*s + 2 = 3*a + 10*s. Which is greater: a or f?
f
Suppose -21 = -i - 11. Is i at least -2?
True
Suppose 1896 + 22212 = 12*a. Which is bigger: 2010 or a?
2010
Let o be ((-9)/1 - 2)*1. Let g(b) = -b**2 - 7*b - 4. Let s be g(-8). Which is bigger: s or o?
o
Let o = 285 - 536. Is -251 >= o?
True
Let c = -2.705 - -128.705. Which is bigger: 0.1 or c?
c
Let j = 0.89 - -0.11. Let h = 15 - 13. Suppose h*m - m = -4. Is j at most m?
False
Let i = -79.3 - -70. Let q = i - -9. Let r = -24 + 23. Is q smaller than r?
False
Let q(m) = -14*m**3 + m**2 - 1. Let z be q(1). Let h = z + 19. Suppose 6 - 16 = -h*o. Is o < -4?
False
Let s(i) = -i**2 + 12*i + 15. Let b be s(13). Suppose 0 = -5*l - b*h + 35, -3*l - h = 2*h - 30. Is l > -2?
True
Let y = 16353106169/6486 - 2521293. Let p = y + -1/138. Let i = -39/188 + p. Is i < 3?
True
Let q = 0.1 - 0.2. Let n(v) = 4*v**3 - 2*v**2 + 4*v - 11. Let p be n(3). Suppose -90 = -0*b + 3*b + 5*t, 0 = -4*b + 3*t - p. Which is smaller: q or b?
b
Let x = -20.997 - 0.003. Let t = -21.12 - x. Are 1 and t nonequal?
True
Let s(l) = 7*l + 189. Let y be s(-27). Are y and -2/661 unequal?
True
Suppose -a - 2*l + 304 = -560, 0 = -4*a + l + 3465. Let o = a - 5177/6. Let z = o + -2. Which is smaller: 0 or z?
0
Let i be (-3)/(30/4) + 8471/(-85). Let h = i - -100. Are 1 and h nonequal?
True
Let u = 2 + -2. Suppose u*c - 4*c + 36 = 0. Let v be (c/2)/(1/2). Is v at most as big as -1/3?
False
Let g = 61.64 + -94.73. Let k = g + 33. Is 0 at most k?
False
Let b = 192 - 1345/7. Is -0.18 at most as big as b?
True
Let f = -5 + 11. Suppose -b - 2*b = -f. Let i(c) = -c + 3. Let s be i(5). Is s >= b?
False
Let y(d) = -d + 13. Let v be y(6). Let x(l) = v*l + 0*l - 2*l - 7*l + 2. Let f be x(6). Are -10 and f non-equal?
False
Let t = 1005.414 + 0.586. Which is bigger: 1/2 or t?
t
Let f = -350723/55 - -6377. Which is greater: -2 or f?
f
Suppose -312*s = -305*s + 1330. Is s bigger than -190?
False
Suppose 2*x - 68 = -12. Is x equal to 26?
False
Let q be 9 - (5 - (-1 + 3 + 0)). Suppose 7 = -q*y + 73. Which is smaller: 8 or y?
8
Let n = -51 + 446. Are n and 395 equal?
True
Let f(s) = 4*s**2 + 29*s + 10. Let u be f(-7). Let z = -1 - 3. Let x be u/(-3 + 15/z). Is x > 1?
False
Suppose -4*r = 4*l, r - 12 = -0*r - 4*l. Let y be -9*(-8)/((-16)/r). Suppose y = -2*z + 4*u, -3*z + 1 = -0*u + u. Which is smaller: 2/21 or z?
z
Let z(t) = 2*t**2 - 17*t + 32. Let d be z(9). Does -0.1 = d?
False
Let h = -50805812 + 44099426307/868. Let o = h + -13/124. Let s = o - -21. Which is bigger: -0.1 or s?
-0.1
Suppose -2*j - j - 2*t = 52, 1 = j - 3*t. Let p be (-100)/6*21/j. Which is smaller: 26 or p?
p
Let z = -32 - -32. Suppose -x - 5 = -z*x. Which is greater: -8 or x?
x
Let n = -5.46 - -62.66. Let b = -57 + n. Which is smaller: 20 or b?
b
Suppose 5*j - 4*u - 40 = 0, 4*j = -u + 2 + 51. Suppose 0 = j*x - 6*x + 72. Which is bigger: 1 or x?
1
Let p = 6 - 6.05. Let c = p - 0.05. Let r = 351 - 346. Which is smaller: r or c?
c
Let r = 3896 + -1001270/257. Is 1 not equal to r?
True
Suppose -5*p = 3*x - 2*x - 227, -8 = -4*x. Suppose -3*n - 79 = 5*k, -4*k - n = -k + p. Let y be 4/10 + k/10. Which is smaller: y or -3/5?
y
Let w = -24 + 15. Let l be w/72*(-6)/1. Is 5 bigger than l?
True
Let j be (-11 - -12)*33/1738. Which is smaller: j or -1?
-1
Let w(o) = -o + 9. Let c(v) = -3*v + 26. Let r(f) = 3*c(f) - 8*w(f). Suppose 46 - 6 = 5*d. Let g be r(d). Which is smaller: g or -1?
g
Let l(p) = p**2 + 38*p - 216. Let i be l(-43). Which is bigger: i or -61?
i
Let i = -83/4 + 191/8. Let d = 181/40 - i. Is 1 at least d?
False
Suppose -145 = 4*j - 985. Suppose 0 = 5*g - 5*c + j, -2*g + 5*c - 78 = -0*g. Is g less than or equal to -44?
True
Let i = -24.33 - 0.67. Let a = -7 - 7. Let k = a - i. Is k equal to 1/4?
False
Let x(s) = 11*s**3 + 13*s - 3. Let q(h) = 7*h**3 + 9*h - 2. Let v(c) = -7*q(c) + 5*x(c). Let y be v(1). Let t be (y/(-21))/(2/12). Which is smaller: -2/3 or t?
t
Let p = -91 + 95. Let l = 0.01 + -0.81. Let w = -0.2 + l. Does w = p?
False
Let c = -322 - -303. Suppose 0 = f - 4*g + 18, 5*f + 90 = g + 4*g. Which is smaller: f or c?
c
Let q be 3 - (5756/(-1436) - (5 - 12)). Does q = -1?
False
Let b(g) = 3*g**2. Let r be b(2). Suppose 7*o - 60 = r*o. Which is smaller: o or -11?
o
Let n = 0.005 + 0.095. Let v be (-2)/6 + 35/15. Which is greater: v or n?
v
Let v be 108/30*(-60)/(-9). Let i = v - 16. Is i at least 1/2?
True
Let j be 477/99 + -8 + 3. Is -14 <= j?
True
Let q be (-33)/(-6) + ((-1)/(-2) - 0). Let t be -10 - 8/(q + -2). Is t < -11?
True
Let l = 320 + -318. Which is bigger: 13/17 or l?
l
Let r = 21 + -44. Let p = 22 + r. Is -1/20 equal to p?
False
Let d be 61/2 - (-39)/(-26). Suppose 0 = -s - d + 8. Let g = s - -19. Which is smaller: -0.02 or g?
g
Let t(n) = n + 1. Let h be t(5). Let w be h/(-9) - (-26)/(-6). Let j = w - -3. Which is smaller: j or -1?
j
Let y be (-5)/(0 + (-3)/(-3)). Let u be (-1 + -3)/2 - 0. Let q be (6/8)/(u/8). Is q equal to y?
False
Let n = 2.99 + -1.79. Let b = 0.08 - -1.22. Let y = n - b. Which is smaller: 3 or y?
y
Suppose 0 = 6*d + 340 - 88. Let n be (7 + -10)/((-9)/d). Is -18 at least as big as n?
False
Let g be (-40)/(-26) - (0 + 0). Let b(y) = 22*y + 443. Let d be b(-20). Which is smaller: g or d?
g
Let m(k) = -k**3 - 14*k**2 + 16*k - 58. Let d be m(-15). Which is smaller: -71 or d?
d
Let