*p - h*o = 9, -1 + 6 = -5*o. Is p at most -2/19?
False
Suppose 4*p = 3*y - 79, 119 = 4*y - p + 18. Suppose -c + 4*c + z = y, -c = -z - 7. Suppose 12*b - 37 = 59. Is c less than or equal to b?
True
Let i = 24 - 24. Suppose i*q = 4*q. Is -4/9 less than or equal to q?
True
Let l be 27/15 + 1/5. Let n = -265 - -185. Let d be (l/(-8))/((-50)/n). Which is greater: d or 2/3?
2/3
Let v = 1544 - 962. Let u be (11 - 10)/((-2)/v). Let a = u + 10183/35. Is 0 at most a?
False
Suppose -2*s + 2 = -2*i + 5*i, 4*i + 2*s - 4 = 0. Let d be 39/(-65) - (-1076)/10. Let b = d - 104. Are b and i unequal?
True
Let g = 3261/5 + -653. Let d = -4 + 7. Let b(v) = v**2 - 2*v - 3. Let n be b(d). Which is greater: g or n?
n
Let d(s) = -6*s - 1. Suppose 11 = -5*o + 3*u, -o + 4*u - 5 - 4 = 0. Let c be d(o). Suppose 3*b = z + 5*b + 4, -5*z + 4*b + 50 = 0. Is z != c?
True
Suppose -5*h - 6 + 16 = 0. Suppose 3*l = p - 5*p - h, p + 6 = 2*l. Let w be 2 + (l - 0) + 1. Which is smaller: w or 4?
4
Let m be 1/3*30/(-20). Let o = 34 + -37.4. Let j = 3.42 + o. Is m less than or equal to j?
True
Suppose 68*a = 35886 - 4402. Is a greater than 463?
False
Suppose 25*c + 289 - 89 = 0. Let u be -8 - (4/2)/(-2). Is c < u?
True
Let j be 3738/(-340) + -26 + 37. Is j > 1?
False
Let q(u) = -5*u - 40. Let t be q(-15). Let m = -36 + t. Let z = 1259/35 - 182/5. Which is smaller: m or z?
m
Let d = -4 + 5. Let n = -101 - 27. Let l be 12/(-30) - n/270. Is l smaller than d?
True
Let j = 16 + -9. Suppose 9 = -3*i + 3*s, 24 = 2*i - 3*s + j*s. Let h(b) = b**2 + 7*b + 9. Let l be h(-6). Which is bigger: l or i?
l
Suppose 4*r = -f - 6, -5*r - 2*f - 7 = 2. Let j be 1 + (-5)/(75/51). Is j less than r?
True
Let h(y) = 34*y + 185. Let w be h(-6). Which is greater: -135/7 or w?
w
Let p = -3.06 + 3. Let a = 296 - 298. Is a greater than p?
False
Let g(l) = l**2 - 19*l + 32. Let d be g(17). Let z be 5/(-2)*(8 + d). Which is smaller: -17 or z?
-17
Suppose 0 = 4*t - 4*v - 6 - 86, -t = 3*v - 15. Let s(b) = -b**2 + 21*b - 12. Let n be s(t). Let q be (-10)/(-2)*(-24)/10. Does n = q?
True
Let k = -0.1483 - -196.4483. Let r = 224 - k. Let l = -28 + r. Are l and -2/5 unequal?
True
Let v = -16 + 2. Let g be (v + 9)*(1 + -2). Suppose g*w - 40 = -0*w. Is 15/2 at most as big as w?
True
Let p = 453 + -456. Which is smaller: p or 98?
p
Let g = 673 + -610. Which is smaller: 65 or g?
g
Let n = -16 + 29. Suppose 10*h + 3*h = n. Is h bigger than 0.16?
True
Suppose 96 = 2*j - 0*j. Let q be (-6)/(-4) - 1 - 648/j. Which is smaller: q or -12?
q
Let z(n) = n**2 - 4*n - 45. Let o be z(-5). Is o equal to -3/119?
False
Let i be 33/22 + 15/2. Let g be i/11*(-1)/(-3). Is g != -1?
True
Suppose 10*w - 58 = 32. Suppose 3*s + 6 = w. Is 1/22 bigger than s?
False
Let y be 1*-1*(-13)/13. Let t be 4*y + (-78)/13. Which is smaller: -7/4 or t?
t
Let t be 6/109*16/(-144). Let q = 1643/1308 + t. Is q != 2?
True
Let j = -0.151 + 15.551. Let f = j - -2.6. Let g = -17.9 + f. Which is bigger: -5 or g?
g
Let a = 0.049 - -0.001. Is a at least as big as -0.2?
True
Suppose 112 = -f + 3*j, f - 2*f - 133 = 4*j. Let g = -969/8 - f. Suppose -2 = -5*v - 7. Is v at least g?
False
Let k(u) = 7*u - 27. Let h be k(-4). Do h and -56 have the same value?
False
Let l(f) be the second derivative of f**4/12 + f**3/2 - 5*f**2/2 - 3*f. Let w be l(-5). Let k = 318 + -311. Which is smaller: w or k?
w
Suppose -2*w + 2*j + 2 = 0, j - 22 = -23. Which is smaller: 2/3659 or w?
w
Let f(z) = -z**3 + 31*z**2 - 34*z - 99. Let h be f(29). Which is smaller: h or 598?
h
Let o = -1/977 + 979/1954. Let v = -584/91 - -46/7. Which is smaller: o or v?
v
Let i(s) = 3*s**2 - 11*s - 5. Let r be i(6). Is 36 less than r?
True
Let y(t) = -t**3 - 8*t**2 + 17. Let w be y(-8). Let j = 15 - w. Let p be j + 4/1 + -2. Is p smaller than 1/24?
True
Let g(v) be the first derivative of 3*v**2 + 12*v + 13. Let s be g(-6). Do s and -25 have different values?
True
Suppose 3*p - 21 = 15. Suppose -p = d + 5*t + 4, -3*d = t + 20. Let r(s) = s**3 + 2*s**2 + 4*s + 3. Let l be r(-2). Which is bigger: d or l?
l
Let x = 451 - 22097/49. Does x = 1?
False
Suppose 2*u - 6 = u. Suppose -4*w - 12 = -0*w, u = -3*k - w. Let x be ((-2)/(-40))/(6/(-32)). Which is smaller: x or k?
k
Suppose -7*d = -6*d. Let v = 10/2533 + -2208926/37995. Let o = v + 58. Is d greater than or equal to o?
True
Suppose 0 = -k + 3*k + 2*q - 4, -k - 4*q = 1. Let x be 1*(-2 - 0/k). Let t be (4/(-6))/((-76)/(-18) + -4). Is t bigger than x?
False
Let d be 4/48*6*-14. Is 1 > d?
True
Suppose -2 = 7*v - 8*v. Suppose -2*r + v*d = -2, 3*r - 4*d + 2*d = 7. Which is bigger: r or 2?
r
Let d be 1/(-1) + 36 + -34. Is d smaller than 8?
True
Suppose -18 = -3*p + 3*s, 2*s + 0*s = 5*p - 18. Suppose 2*i - 2 = -p*o, -2 = 5*o - 2*i - 0. Is -4/13 smaller than o?
True
Suppose -8*z + 271 = 87. Suppose 47 + 1 = 2*p. Is z greater than or equal to p?
False
Let h = 12 - 6. Let l be (-10)/(-15) + (-22)/h. Let y = l + 3. Which is smaller: y or -1?
-1
Let f(u) = u**3 - 10*u**2 + 14*u + 7. Let s be f(9). Let d = s - -109. Let y = -1777/11 + d. Does -2 = y?
False
Let k(f) = -f**2 - 8*f - 1. Let p be k(-8). Is -17/46 >= p?
True
Let t be (-14)/6*(-1 + 13 + -18). Suppose 2*u = -3*m - 19, -5*m = u - 6*u - 10. Let i = 8 - u. Is t greater than or equal to i?
True
Suppose -9 = -2*v - 5. Suppose -5*a = -v*j - 2*j - 21, 5*a - 30 = -5*j. Do -2/11 and j have the same value?
False
Suppose 5*z - 4*z + 5*v + 75 = 0, -2*z = 2*v + 150. Let o = -66 - z. Is 7 >= o?
False
Let u(g) = g**2 + g - 1. Let w be u(-2). Suppose -l + 5*l = 0. Is w not equal to l?
True
Let i = 524152/35867 + -453/31. Is 0 at least i?
False
Let f = 9 - 2. Suppose -12*c = -0*c - 108. Which is bigger: f or c?
c
Suppose 17*a + 13*a + 390 = 0. Let f(w) = 1 - w**2 - 7*w + 3*w - 9*w. Let n be f(a). Is -1/5 equal to n?
False
Suppose -2*j - o = 0, -3*j - o = o. Suppose -70 - 78 = 4*g. Let y = g - -147/4. Which is greater: j or y?
j
Let j = -636 + 889. Which is smaller: j or 2?
2
Let x = 0 + 6. Let i be (-1)/2 - (-286)/44. Are x and i non-equal?
False
Suppose 0 - 10 = -2*z. Let p = z - 10. Is -4 less than p?
False
Let t = 0.394 + 0.046. Let u = 0.46 + t. Is 2/9 at most as big as u?
True
Let o = -1086 + 1070. Are o and 4/7 non-equal?
True
Suppose -2*z + 6*z - 84 = 0. Let u be 1*z/28 + 134/(-8). Is -18 smaller than u?
True
Let u(i) = 5*i**2 - 3*i - 46. Let n be u(10). Suppose -3*v = 172 - n. Is v < 84?
False
Let s = -673/78 - -123/13. Which is smaller: s or -1?
-1
Let u(q) = -q - 6. Let h be u(-10). Suppose h = l - 4. Let z be 0 + 1 - (-6)/l. Are z and 2 nonequal?
True
Let k be 4/18 + (-113398)/72. Let c = 1583 + k. Is 9 < c?
False
Let y(c) = c. Let p(x) = 9*x - 17. Let z(v) = p(v) - 6*y(v). Let u be z(13). Is u smaller than -1?
False
Suppose -4*c - 4*a + 116 = -a, 5*a - 108 = -4*c. Suppose 3*b = -b + c. Let q = b - 9. Which is smaller: 2/5 or q?
q
Let q be ((-12)/10)/(6/(-40)). Suppose q*l + 2 = 10*l. Is l != -9?
True
Suppose -4*i = c - 20, -4*c + 4 = -2*i - 4. Let u be i - 3 - (-2 - -5). Which is smaller: 3/2 or u?
u
Let o(u) = -u**3 - 13*u**2 + 13*u - 18. Let n be o(-14). Suppose 23*j + 60 = -55. Which is bigger: j or n?
n
Suppose 0 = -45*s + 22*s + 161. Is s >= 22?
False
Let c(i) be the first derivative of -i**2/2 + 6*i + 3. Let s be c(4). Suppose 5 = -s*w + 1. Which is smaller: 2/7 or w?
w
Let z be ((-6)/1368)/((-3)/(-1232)). Let f be (-1)/(-4) + 404/304. Let q = f + z. Which is bigger: q or -0.4?
q
Let s(n) = 2*n - n - 4*n + n. Let a be s(-1). Let j be a + -2 + -1 + 0. Which is greater: -1/12 or j?
-1/12
Let l be (96/(-80))/((-16)/75). Is l not equal to 6?
True
Let p = 19.74 + -19.44. Let v(f) = 3*f + 0 - 3 + f**2 + 0*f**2. Let x be v(-4). Which is smaller: p or x?
p
Suppose 3*l - 39 - 24 = -5*d, -5*l - 5*d + 115 = 0. Let y = l + -11. Let a be (-4)/10 + 6/y. Which is smaller: a or 2/13?
a
Let z(s) = 4*s - s + 3*s - 4*s. Let d(a) = -a. Let y(o) = 3*d(o) - z(o). Let v be y(-4). Is 19 greater than v?
False
Let s = -533 - -534. Which is greater: s or 3/151?
s
Let l be 46/(-24) - (8 + -10). Let u(a) = -a**3 - 7*a**2 + a + 7. Let d be u(-7). Let s be d*(9/3 + -2). Is s != l?
True
Let a(m) = m + 2. Let q be a(-4). Let j be ((-57)/(-33))/1 + q. Let s be ((-1 - -1)/(-2))/2. Is j greater than or equal to s?
False
Let k = -51/1213733 + 171972633550