15. Which is greater: p or t?
t
Let n = 153 + -159. Is n equal to -6?
True
Let o be (-17424)/77 - (-2)/7. Let x be o/28 + 21/14. Is x >= -0.1?
False
Suppose 4*z - 3*z - 2 = 0. Suppose 0 = 5*v - z - 63. Suppose 4*y = -7 - v. Is y greater than -5?
False
Let z(r) = -r**2 + 4*r + 6. Let q be z(5). Let x(m) = 4*m**2 + 4*m + 2. Let g be x(-2). Let u be (2/g)/((-16)/20). Is q equal to u?
False
Let x(c) = -c**3 - 8*c**2 + 4*c + 7. Let m be x(-8). Let a = -124/5 - m. Which is bigger: a or -5?
a
Let l(r) = -r**3 + 53*r**2 + 49*r + 177. Let s be l(54). Which is smaller: -1 or s?
s
Let b be (4 - (-44)/(-12))*-57. Suppose 5*p - 28 = -68. Let t be (-6)/p + (-300)/16. Which is smaller: t or b?
b
Suppose 7*c - 6*c + 4 = 0, a = 5*c + 32. Which is smaller: 26 or a?
a
Suppose -93 - 19 = -14*q. Let r be -2*2/q - 5/20. Which is smaller: r or 0?
r
Let o be -10 - ((-802)/(-8) - -3). Which is greater: -114 or o?
o
Let p(g) = 5*g. Let r be p(3). Let k = 11513 - 11497. Is r <= k?
True
Let l be (-4 + 7)/(3 - 2). Suppose 7*d - 2*d - l*t = 16, 0 = 3*d - 4*t - 3. Suppose 2*o + 6*b = 3*b + 6, d*b = -4*o + 10. Which is smaller: o or 1?
o
Let h be (-1 - 51/(-48))*(-9)/(-6). Which is bigger: h or -1?
h
Let g = -1 - -0.5. Let d = 73.1 - 73.2. Which is bigger: d or g?
d
Let m = 1666 - 1669. Which is smaller: m or 68?
m
Suppose 0 = 5*a - 121 + 31. Suppose 3*m = 2*o - m - a, -4*o + 20 = -4*m. Is o greater than -1.7?
True
Let r(k) = k - 8. Let x be r(6). Let f(d) be the third derivative of 3*d**4/8 - d**3/3 - 120*d**2. Let o be f(x). Are -20 and o nonequal?
False
Suppose 0*w = -2*w - o + 67, -2*w + 4*o = -62. Which is bigger: 24 or w?
w
Let k = 627 - 640. Does 3 = k?
False
Suppose -44 = -3*c - n, -24*c + 2*n = -28*c + 56. Are c and 354/23 unequal?
True
Let p = -162 + 339. Suppose 3*v - v + 4*q = -128, -3*q - p = 3*v. Which is smaller: v or -53?
v
Suppose 4*y + 3*u + 9 = 2*y, -4*u - 12 = y. Let i be (-1)/1 - 0 - y. Which is smaller: -5/6 or i?
i
Let s = -11 + 23. Let g = s - 11.1. Let z = -1 - -2. Which is smaller: g or z?
g
Let a = -273.6 - -156.6. Which is bigger: -2 or a?
-2
Let u be (6/(-5))/(33/770). Let o = -27 - u. Is -6/29 not equal to o?
True
Let d be -2 - 6/(-8) - 1/(-4). Which is smaller: -4 or d?
-4
Suppose -o = 5*t - 96 + 106, -t + 5*o + 24 = 0. Which is smaller: t or -1/1597?
t
Let r = -140.49 + 1.49. Let k = r + 122. Which is bigger: k or 1?
1
Suppose 0 = 2*m - 0 - 6, -3*b + 2*m + 69 = 0. Suppose -23 = -q + t, -4*q = -5*q - 3*t + 27. Is b less than or equal to q?
False
Let x = -2829643/42 + 67362. Let q = -73/7 - x. Is q >= 1?
False
Let v = 322 + -310. Which is smaller: v or 0?
0
Let h be -2 + 7 - 5/((-105)/(-114)). Do h and -225 have different values?
True
Let t = 0.03 - -0.19. Let g be (44/12 + 15/(-9))*-65. Let j = 521/4 + g. Is j < t?
False
Suppose t + 5*i = -21, -2*i + 62 = t - 5*t. Let u be (-1 + 2)/((-4)/t*4). Let y be ((-8)/270)/(2/(-5)). Which is bigger: y or u?
u
Let o = -90 - -89. Let m(k) = -6*k - 5. Let l(s) = 5*s + 4. Let x(z) = 7*l(z) + 6*m(z). Let t be x(o). Is 3/8 bigger than t?
True
Let n be (12/(-8))/((-2)/4). Suppose 5*p + 6 = -n*b, p + 28 = -5*b - 4. Suppose 0 = -x - 5*f - 26, 2 = -3*x + f + 3*f. Which is greater: x or b?
x
Let o = 42 - 49. Let a be (-3)/(-9) + 22/(-3). Is a bigger than o?
False
Let n = -198 - -131. Suppose -710*q - 27336 = -308*q. Which is smaller: n or q?
q
Suppose -5*i - 7 = -5*v - 3*i, 2 = -3*v - 5*i. Let j = 4546/11 - 413. Which is bigger: v or j?
v
Suppose -u - 3*u + 4 = 0. Let h be (-1)/(-1) + ((-120)/46)/3. Do u and h have different values?
True
Let h(w) = -9*w - 52. Let d be h(0). Let y = -49 - d. Is 5/2 at least y?
False
Let b(h) = 12*h - 41. Let y be b(9). Suppose 0 = 5*g + 4*d - 71, -5*g + 0*g - 3*d = -y. Which is smaller: 4 or g?
4
Let n be (22 - 27)/(1*-5). Is -6/23 not equal to n?
True
Let q = -4513 + 175997/39. Let w(p) = 3*p**2 - 68*p - 22. Let l be w(23). Which is bigger: l or q?
l
Suppose -m - 8 = -w, 3*w + 2 = -m + 14. Suppose -2*c + w*c = 0. Is c at most as big as -1/5?
False
Let x = 14 - 11. Let k = -397/5 + 79. Let m = k - 11/10. Is x smaller than m?
False
Let v = -210 + 210.8. Which is greater: 7 or v?
7
Let b(v) = v**3 - 2*v**2 + 2*v - 1. Suppose -3 = -3*l - 0. Let h be (-1 + l + -1)/(-1). Let t be b(h). Which is smaller: -1 or t?
-1
Let h = 15 - 16. Let i be 2 + h/(-2)*8. Which is smaller: 8 or i?
i
Let w = -0.38 - 0.02. Suppose -4*m + 8 = 3*y, 3*y - 7*m - 10 = -12*m. Let q be 1 + y + 72/(-120). Which is smaller: q or w?
w
Let j be 903/(-4) + -2 + (-6)/(-8). Does -226 = j?
False
Let y be -1*(-4 - (-57)/(-3)). Let c(s) = -s**2 - y - 39*s + 1 + 29*s. Let z be c(-7). Is z less than 1/11?
True
Let f = -3634 - -399743/110. Let s = -343/4510 + f. Which is greater: s or 0?
0
Suppose -2*v = -2*z - 30, 0*v = -2*v + 3*z + 28. Which is bigger: v or 14?
v
Let v = -75 + 63. Let g be v/18 - (-41)/3. Is 13 equal to g?
True
Suppose 0 = 3*g + 5*j + 168, 3*j = 4*g + 2*j + 247. Let s = 60 + g. Let t be (-31)/35 - (-2)/7. Which is smaller: t or s?
s
Let b = 909 + -8212/9. Is b greater than or equal to -3?
False
Let h be 184/(-3519)*6/(-8). Is 0 != h?
True
Let r = -21 - -37. Suppose 2 = -q + r. Which is smaller: 13 or q?
13
Let d be (18/42)/((-1)/2). Let f(g) = 5*g - 55. Let m be f(11). Which is smaller: d or m?
d
Let l(z) = -2*z - 8 + 0 - 196*z**2 - z**3 + 186*z**2. Let h be l(-10). Let m be (15/h)/(3/(-15)). Is -7 >= m?
False
Let n(l) = 82*l - 4. Let s be n(-2). Let j be (7/s)/((-3)/6). Which is greater: -1 or j?
j
Let g(r) = -r**2 - r - 20. Let j be g(0). Let l = 19 + j. Which is smaller: l or 1/10?
l
Let v = 55 - 59. Is v equal to 16?
False
Let d be 5 + ((-42)/(-24))/((-9)/24). Is -38 at most d?
True
Let l = 21 + -27. Let w = 4.6 + l. Let b = -1.38 - w. Is -1 less than or equal to b?
True
Let u = -1186 + 1185. Which is smaller: u or 11/179?
u
Let a = 2 + 0.6. Let r = a - -11.4. Let z = r + -9. Are 0.1 and z unequal?
True
Let t = -70.3 - 14.7. Is t not equal to 0.1?
True
Let q be (-54)/(-351) - 12/(-26). Which is smaller: 2 or q?
q
Let a = -9/28 + 197/1484. Which is greater: 0 or a?
0
Let c = 23 - 3. Let g be 18/6*(-4)/48. Is c at most as big as g?
False
Let d = 1696/8241 + -40/123. Is d >= 0?
False
Let t = -38 - -37. Is t equal to -3/133?
False
Let i be (75/(-9) + 7)*6506/12. Let r = i + 724. Are r and 1 unequal?
True
Let q = 390 + -406.7. Let l = q - -17. Which is smaller: l or -2?
-2
Let l = -1178 + 1178. Does 2/397 = l?
False
Let t = -955 + 949. Is t at least as big as 105?
False
Let y be -20*(-2 + (-24)/(-10)). Suppose 0 = -4*q + 12, 2*n + 13 = 5*q - 2. Suppose -12*o + 9*o - 24 = n. Is o less than or equal to y?
True
Let g be (-30)/(-288)*1*3/(-20). Which is greater: -1 or g?
g
Let b = 12 + -11. Let k(f) = -1 - 3 + f - 3*f - 3. Let l be k(0). Which is smaller: b or l?
l
Let r = 53/21 - 20/7. Let a = -1.16 + 10.16. Which is greater: a or r?
a
Let o = -16 + 103. Let z = 88.8 - o. Which is smaller: z or -0.2?
-0.2
Let q be ((-69)/14*4)/(3/21). Let s = 8966/65 + q. Is s < 1?
True
Let h(l) = -l**3 + 24*l**2 - 22*l - 22. Let f be h(23). Is f less than or equal to 7/37?
False
Let t(u) = 36*u - 71. Let w be t(13). Is 398 at most w?
False
Suppose 9*v - 3*v = 0. Suppose 5*b = 3*d + d, -3*b + 5*d - 13 = v. Let h be 7/(-5)*1 - -1. Is b less than h?
False
Let a(o) = -3*o - 124. Let s be a(-39). Is -45/7 smaller than s?
False
Let g = -31 + 52. Let f be ((-334)/g)/((-5)/(-15)). Let t = f + 48. Is t bigger than 0?
True
Let g = 60 + -38. Suppose -16 = -2*h - 5*d, h + 2*d = 3*d + g. Let v be (-28)/h - (-4)/18. Which is greater: -1 or v?
-1
Let p be (-244)/84 + (-6)/14. Let t = p - -184/57. Which is greater: t or -1?
t
Let v be 14/(-77) - (-15234)/(-66). Is -231 greater than or equal to v?
True
Suppose -4*o - 13 = -x, -5*x + 5*o - 3*o = -47. Suppose -5*k + 15 = -3*d - 4, k = -2*d + x. Suppose -v + 11 = q - 2*v, 35 = 5*q + k*v. Which is smaller: 8 or q?
8
Let r(d) = d + 24. Let x be r(-8). Let w be (x/20)/((-1)/5). Which is smaller: w or -3?
w
Suppose -3*u + 32*u = -6670. Is u at least -229?
False
Let d be ((-2)/(-8))/(339/(-12) - -4). Which is smaller: d or 0?
d
Let o = 1/11177 - 413584/391195. Which is smaller: o or -1?
o
Let o(d) = d**3 - 1. Let z be o(1). Let c be 1*3/21 + (-88)/28. Which is smaller: z or c?
c
Let w be (-50)/(-4