38. Is 1 bigger than p?
True
Let g = 1288.5 - 1287. Which is bigger: g or -7?
g
Suppose -2*k + 0*k + x = -174, 3*x - 435 = -5*k. Suppose -h = i - 21, -2*h - i = 2*h - k. Which is smaller: h or 23?
h
Let r be -2 + 6 - 4/(-4). Suppose r*q = -q + 18. Which is smaller: 13/4 or q?
q
Suppose -6 = -2*p - 0. Let s be 8/3 + 6 + -6. Is p <= s?
False
Let x(f) = -10*f**2 - 50*f - 181. Let q be x(-7). Which is bigger: -320 or q?
-320
Let w = 395 - 395. Which is smaller: 40 or w?
w
Suppose -555 + 23 = -2*r. Let h be r/(-270) - (0 - 1). Which is bigger: 1 or h?
1
Suppose 32*y - 5 + 37 = 0. Do -4/65 and y have the same value?
False
Let y = -15 - -11. Let m = y + 15. Let h = -10.9 + m. Which is greater: h or 0.3?
0.3
Let s(b) = -b**2 + 5*b + 4. Let x be s(3). Let k be (-2)/(-5) - 21/15. Let u be (k/x)/(42/(-35)). Is u not equal to -1?
True
Let c(n) = -49*n - 98. Let o be c(-2). Is o >= 3/517?
False
Let f = 143/6 + -67055/2814. Which is greater: 0.3 or f?
0.3
Let g be 3 - (1130/130 + -8). Which is smaller: 2 or g?
2
Let i be (-48)/(-1440)*(-6)/208. Is i less than or equal to 0?
True
Let m(q) be the third derivative of q**5/30 - 5*q**4/24 - q**3/6 + 3*q**2. Let y be m(4). Let i(c) = c**2 - 10*c - 13. Let u be i(y). Is u at most -2?
True
Suppose 7*p - 2*p = -3*y - 25, -3*p = -3*y - 33. Suppose 0 = -23*h + 19*h - 72. Let o be 4/(-1) - -1*(-78)/h. Are y and o unequal?
True
Let k(f) = -565*f - 3. Let y be k(-8). Let i = -18563/4 + y. Let l = 123 + i. Which is smaller: l or 2/3?
l
Suppose 5 = 2*n + 19. Suppose -53 = 6*h - 17. Which is greater: n or h?
h
Let y = -1037 - -1036.95. Is y at most 32?
True
Suppose 3*d = d + 4. Suppose b - m - 4 = -16, -5*m + 27 = -d*b. Let i = -21 - b. Which is greater: i or 0.1?
0.1
Let v(h) = 9*h**2 - 4*h + 5. Let u be ((-1)/(-2) - -2)*8/10. Let l be v(u). Is 34 at least as big as l?
True
Suppose 2*z + 4*d = 26, 5*z - 55 = -5*d - 0*d. Let q be (-1 + (-1)/(-3))*z/249. Is q at least 0?
False
Let l = 0 - -0.05. Let q = -74 + 84.9. Let r = q - 11. Which is smaller: r or l?
r
Let h = 601 + -248. Let b = h - 5645/16. Is b > -1?
True
Let v be (156/(-89076))/(10/12 - 1). Which is smaller: 0 or v?
0
Let l be (-60)/(4/(-8) + 2). Let n be 3/(-8) - 95/l. Let d be (-4 + n + 1)/(-1). Which is smaller: 3/5 or d?
3/5
Let t(i) = -i**2 + 2. Let a be t(-1). Which is smaller: 8/165 or a?
8/165
Let c = -33.1 - -16.1. Which is smaller: c or 4/7?
c
Let o = 208418941/234 + -8024582/9. Let j = 941 + o. Let b = j + 58/39. Does 1 = b?
False
Let d = -2 - -35. Suppose 0 = 4*c + 39 + d. Is c smaller than 1/4?
True
Let u be 1/(-3) + (-26)/(-75). Let l = u + 521/300. Suppose 6*x + 96*x = 17*x + 170. Is l at least as big as x?
False
Suppose -1 = -13*i + 129. Suppose 2*w = -i*w. Which is smaller: w or 1/119?
w
Let l(w) = 2*w - 5 - 8*w - 1. Let r be l(-9). Do r and 47 have the same value?
False
Let m be (-7)/9 - 4/18. Let b = 80 - 555/7. Let n = b - 58/91. Is n less than or equal to m?
False
Let z(a) = -a**3 - 6*a**2 + 4*a - 15. Let m be z(-7). Let r be (13/m + -2)*(-19)/(-152). Are r and -1 non-equal?
True
Suppose 0 = -3*o - 4*a + 158, -3*a + 144 = 3*o - 6*a. Let k be (-8)/(16/(-6)) - (o + 0). Which is bigger: -48 or k?
k
Let q = -16 + 37. Let m = -22 + q. Is m greater than -0.037?
False
Let d = -44 - -23. Let x = d - -27. Suppose -1 = x*b + 11. Is b greater than or equal to -2?
True
Let w be 75/27 - 3 - 0. Let x be 8/(-16)*(-2 + 0). Is x greater than or equal to w?
True
Let c = -1686 + 1380. Is -0.1 equal to c?
False
Let u be 4*(9/(-4) - -1). Suppose -2*f + 10 = 0, 4*n + 5*f - 21 = 28. Let m be ((-6)/(-8))/(n/u). Which is smaller: -2 or m?
-2
Let q(l) = -l**2 - 10*l + 2. Let f be q(-10). Suppose 2 = -4*v - f. Let u = 103/172 + -15/43. Which is bigger: u or v?
u
Suppose 2*d + 5*q - 37 = 0, d + 0 - 14 = -q. Let r(f) = -f**3 + 11*f**2 - f + 9. Let o be r(d). Are o and -6 non-equal?
True
Let p be 0 - (10 - 3 - -40). Suppose -156 = 3*z + u - 15, 0 = z - 4*u + 47. Is z at most as big as p?
True
Suppose -5*s - 4*f + 60 = 0, -3*f = 12 + 3. Let n be (1/((-16)/(-72)))/(2/s). Is -2/9 at most n?
True
Let d = -37 + 7. Let q be d/50 + (-43)/(-30). Is 0 > q?
False
Suppose -n + 313 = 5*a, -4*a + 1649 = -24*n + 29*n. Are n and 333 unequal?
False
Let k = -9.2 - 38.6. Is k smaller than 1/3?
True
Let d = 279 - 290. Which is smaller: -13 or d?
-13
Let u = 5/302 + -643/11476. Let c = -769/228 - u. Let y = 0.08896 - 0.18896. Is c > y?
False
Let t = -712 - -997. Suppose 0 = -7*k + 2*k - t. Is k < -57?
False
Let a = -14 - -20. Let l be (-378)/(-45) - a/(-10). Which is smaller: l or -0.2?
-0.2
Let g be (-8)/(-1282)*(12 - 6)/(-12). Which is bigger: 1 or g?
1
Suppose -3*g + 24 = -4*g. Let x be (-14)/105*15/5. Which is bigger: g or x?
x
Suppose 5*v + 29 = 3*r, 0 = 2*r + 2*v + 2. Suppose r*u - 1 = 4*u. Which is bigger: 13 or u?
13
Suppose 0 = -5*r - 83 + 78. Let d be 3/(-1) + 170/58. Which is smaller: r or d?
r
Let x be 58 - (-1 - 4/(-4)). Let o = -49 + x. Does 28/3 = o?
False
Let q = 125 + -126. Let j be (q + -1)*(-1995)/70. Is j at most 56?
False
Let y(c) = c**2 - 9*c - 91. Let f be y(15). Is f greater than -11/13?
False
Let p = 155 + -151. Which is smaller: 35 or p?
p
Let g = -85 - -84. Suppose -3*l - 15 = 0, 0 = 2*p - 2*l - 16 + 2. Is g greater than or equal to p?
False
Let n(q) = -q**2 - 6*q - 9. Let o = 15 - 18. Let m be n(o). Which is smaller: -6/5 or m?
-6/5
Let w = 0.111 + -1.011. Which is greater: w or -45/7?
w
Suppose 0 = 4*u + 5*p - 10 - 0, 0 = -5*u - 3*p + 6. Suppose u*d - 18 = -2*w - 2*d, 4*d - 18 = -w. Let a = -2009/20 - -526/5. Is a >= w?
False
Suppose q = 2*o + 12, -13 = 9*o - 6*o - 4*q. Let g = 2 + -8. Which is smaller: o or g?
o
Let n be (-16)/24 - (-125554606)/188331666. Let j = n + 1009300674709/130199958428. Let m = -2/1037 + j. Is 8 < m?
False
Let q = 1069/3 + -361. Suppose -16 = -4*w - 0. Let b be (-26)/w + 12/8. Which is smaller: q or b?
b
Let c(y) = 5*y + 83. Let l be c(-21). Which is smaller: -23 or l?
-23
Suppose 7 = -2*l + w, 0*l + 2*l = 3*w - 1. Let x be ((-2)/l)/(14/(-35)). Let j be -1 + 4 - (x - -3). Are j and 3/23 nonequal?
True
Let l(r) = -4*r - r + 3*r + 5. Let k be l(3). Which is bigger: k or -2?
k
Let q(d) be the third derivative of -d**4/24 + 11*d**3/6 - 8*d**2. Let k be q(-5). Suppose -f = -h + 3*f + 15, 0 = 4*f + k. Which is bigger: -1/2 or h?
-1/2
Let y(s) = -s - 5. Let t be y(-5). Suppose -3*z = 5*w - 2*z - 16, t = -5*w + 2*z + 28. Let n = w + -3. Is 6 at least as big as n?
True
Let w(q) = -2*q**2 + 3*q + 5. Let t(d) = -3*d**2 + 4*d + 6. Let n(c) = 4*t(c) - 5*w(c). Let m be n(1). Let u be (108/567)/((-12)/(-14)). Is u <= m?
False
Let d(l) = l**2 + 9*l - 22. Suppose 16 = -2*r - 8. Let t be d(r). Let j be 7/t*(-3 - -1). Which is smaller: -1/2 or j?
j
Let p = -865 + 851. Is -9 at most p?
False
Let w be (-1 - 0)*(-504)/2568. Is w at least as big as 0?
True
Let l = -1953 - -2468. Are l and 514 nonequal?
True
Let m = -23 + 72. Let o = m - -21. Which is bigger: 72 or o?
72
Let x be (1 - 0)*3*5. Suppose 6*a + 5*n - x = 3*a, 5*a - n - 25 = 0. Suppose a*d - d + 3*o - 1 = 0, 5*o = -d - 4. Are 4/7 and d equal?
False
Let r = 11 + 8. Let y = r + -11. Which is smaller: y or 1?
1
Let c = 0.018 - -0.062. Do 1 and c have the same value?
False
Let b = 35.07 - 0.07. Let f be (-5)/(-2)*(-288)/(-1800). Which is greater: f or b?
b
Suppose 2*w = 5*t - 21 - 7, 5*t = 3*w + 37. Suppose 5*f - 2*q + q = -40, 5*f = 2*q - 45. Are w and f nonequal?
True
Suppose -2*w + 7*w - 205 = 3*a, 0 = 2*w + 5*a - 51. Let u = -67 + w. Which is smaller: u or -31?
-31
Let i(p) = p + 7. Let w = 48 - 54. Let l be i(w). Let b be (4/30)/(2/20). Is b greater than l?
True
Let t be 8/2*(-37)/74. Which is smaller: t or -0.94?
t
Suppose 2*c - 4*c = -6. Let p = -12 + c. Let s be (6/p)/(20/4). Which is smaller: s or -1?
-1
Let n(t) = 4 + 0 + t**2 + 20 - 19*t. Let l be n(17). Which is bigger: l or -8?
-8
Suppose 16*q - 227 - 29 = 0. Let w be 0/2 - (16 - q). Is w at most as big as 4?
True
Suppose -2*j + 7 = 1. Suppose -5*w + 6 = -j*w. Which is smaller: w or 7/4?
7/4
Let q = 0.01 + 0.69. Let d = q - 0.6. Is 0.16 greater than or equal to d?
True
Let k be 40/(-12)*2/10. Is -0.0029 at most k?
False
Suppose 0*x - 2*x - 3*o + 12 = 0, 2*o = -5*x + 8. Let b be (x + -7)/(3 + -2 + -2). Is b less than 2?
False
Let t be 10 -