*p. Which is smaller: p or 15?
15
Let f be (45/(-20))/(3/(-8)). Let z(r) = -r**3 + 5*r**2 + 12*r - 21. Let p be z(f). Is 13 greater than or equal to p?
False
Suppose 0 = -3*u - u - w + 5, u - 3 = -2*w. Let d(o) = 24*o - 171. Let t be d(7). Let b be t/(-8)*44/33. Which is smaller: b or u?
b
Let s = -4.45 + 5.45. Which is bigger: 13.12 or s?
13.12
Let z = -29 - -26. Let f be z + (11 - 393)/(14/3). Let q = -21936/259 - f. Which is smaller: q or -1?
-1
Let d be 2*1*2/30. Let l = 691.849 + -695. Let o = l - -0.151. Are d and o equal?
False
Let p = 3.2 + -3. Suppose 3*c - 12 = -3*q, 0*c + 3*q = c + 4. Suppose -27*t - 38 = -26*t - c*y, 5*y = -3*t - 81. Is p smaller than t?
False
Let n be 8/4*9/2. Suppose 0 = 3*b + 4*q - 9, -q + n = 3*b - 0*q. Let h = 167/2 - 82. Is b at least as big as h?
True
Let d(v) = 7*v**2 - 108*v + 1321. Let c be d(11). Which is smaller: 981 or c?
c
Let y = 250 - 186. Let g = -236 - y. Which is greater: g or -299?
-299
Let d be 52032/27720 + 8/(-84). Which is smaller: 2 or d?
d
Let r = -353 + 360. Let b be (-5)/((-10)/6) - -198. Let v = b - 2815/14. Is r <= v?
False
Let y(p) = 5*p**3 + 49*p**2 - 7*p + 67. Let t be y(-10). Is t at least 34?
True
Let w(l) = 44*l - 306. Let k be w(7). Is k > 183?
False
Let i be 1 + (145047/35224 - 5). Let z = -5/136 + i. Suppose -8*c = -3*c. Is z bigger than c?
True
Let c = 3295 + -1805. Let z = 52154/35 - c. Let g = -2/7 - z. Is g equal to 0?
False
Let v = 419 + -262. Let b = v - 161. Which is smaller: -1 or b?
b
Suppose 2*l + 8 = -b, 5*b - 2*l - 18 = -10. Which is smaller: -2/4501 or b?
-2/4501
Let r be 550/(-55)*12/10. Suppose -4*u = -12, -3*l - 180 = -0*u - 2*u. Let b be (r - -11)*4/l. Is b less than or equal to 0?
False
Let i = -1.6766 + 1.5766. Is i bigger than 371.4?
False
Suppose 52 = -i + 4*w + 158, -2*i + 3*w + 187 = 0. Which is smaller: i or 260/3?
i
Let z = -116 + 194. Let n = -3213 + 3112. Let l = n + z. Is 2/5 not equal to l?
True
Let x = 7.8 - 54.85. Let q = -79 - -32. Let b = x - q. Is -1/5 greater than or equal to b?
False
Let z be (1/(-2))/((-207)/144486). Which is greater: z or 8?
z
Let v(m) = -m + 29. Let f be v(19). Suppose 5*j = -f*j - 1515. Let b = j + 93. Is b smaller than -9?
False
Let x = 43 + -5. Let b = x + -56. Suppose 6 = 3*v, 5*m + 727 - 638 = 2*v. Is m greater than b?
True
Let q = -10/2779 - 115348/380723. Is q at most 0?
True
Suppose -2*y - 10*y = 10512. Let i = 2656/3 + y. Suppose -m + 2*d - 1 = -2*m, d - 41 = -5*m. Is i <= m?
False
Let l be 4/72 + (-239694)/4321296. Is 1 > l?
True
Suppose 0 = 147*n - 146*n. Suppose -26*h + 28*h + 2 = n. Is h at least 2/15?
False
Let w be ((-2)/18*-303)/((-2)/12). Let o = 3534 - 3735. Is o bigger than w?
True
Let f(a) = -27*a - 54. Let v be f(-2). Which is smaller: -15/751 or v?
-15/751
Suppose -120*o + 606 = 246. Which is bigger: 24 or o?
24
Suppose -6*o - 7*o = 26. Let c be (o*1/44)/((-1)/(-2)). Is c smaller than 3/7?
True
Let l(w) be the first derivative of -w**4/2 - 14*w**3/3 + 11*w**2/2 + 23*w + 14. Let h be l(-7). Let x be 3267/h - 6/4. Which is smaller: x or -61?
x
Suppose q - 2*s + 7*s = 79, 5*q = -2*s + 303. Suppose 0 = 5*f + 6*d + 11 - 320, 0 = 4*f - 3*d - 216. Which is smaller: q or f?
f
Suppose -137*c - 331 = 217. Let q be (1 - (-6)/3) + -6. Is c less than q?
True
Suppose 0 = -j - 4*h - 11, -5*j + 3*j + 4*h + 14 = 0. Let k be 783/31320*(3 + 28/(-20)). Are k and j nonequal?
True
Suppose 0 = 4*t, -2*r - 3*t + 9 - 3 = 0. Suppose r*x = -3*v - 6 + 69, 0 = x - 5*v - 21. Is 22 at most as big as x?
False
Let r = -2.31 - -2.26. Let y = -0.21 + 0.054. Let h = y - -0.056. Which is greater: r or h?
r
Let c(k) be the second derivative of k**5/20 + 3*k**4/4 + 11*k**3/6 + 5*k**2/2 - 62*k. Let l be c(-5). Is l <= 50?
True
Let b be 44/(-99) - ((-42321)/27 - 6). Which is greater: b or 1579?
1579
Let t(k) = -k**3 - 13*k**2 - 6*k + 22. Let p be t(-14). Suppose 7*u + p = -636. Which is greater: -133 or u?
-133
Let l be (2090/(-380))/((-220)/184). Let f = 0 + 4. Which is smaller: l or f?
f
Let a = -2147 - -2175. Is 462/17 equal to a?
False
Let c be (1360/(-56) - -25 - 4/(-14))*8. Is c not equal to -454?
True
Let s be (23762948/(-21))/4 - 8/(-28). Let z = -282828 - s. Let x = z + -64. Which is smaller: 0 or x?
x
Let r be (6243/(-81702))/((-147)/(-2)). Let p = -5/10591 + r. Is -1 at most p?
True
Let j = 12.1 + -63.1. Let h = 105 - 154. Let l = h - j. Is -9/2 <= l?
True
Let d(y) = 9*y - 10. Let a be d(7). Let l = 57 - a. Suppose l = -11*x + 70. Which is smaller: -2/9 or x?
-2/9
Let v = 7570 - 2399703/317. Which is smaller: 1 or v?
v
Let w = -176 - -112. Let q = -62 - w. Let b be ((-10)/15)/((-2)/18). Which is smaller: q or b?
q
Let q(l) = -l**3 - 4*l**2 + 2*l + 7. Let s be q(-3). Let y be (2 - (-20)/s)*-8. Let p be (-6)/y*(-12)/(-42). Is 0.07 at most p?
False
Let g(l) = 422*l + 1338. Let h be g(-2). Is -1 at least h?
False
Let k = 176 - 118. Let g = k - 2. Let l(u) = u**2 - 41*u - 335. Let z be l(48). Which is bigger: g or z?
g
Let l = 1679 - 1614. Suppose -5*k = -5*x + x - 356, -116 = -2*k - 5*x. Which is smaller: l or k?
l
Let d = -0.45 + -0.01. Let v = d - -0.06. Let b = -30/17 + 56/51. Which is bigger: v or b?
v
Suppose 3*y - 2*o - 57 = 0, -5*o + 99 = 6*y - 2*y. Suppose 101 = 39*j - 55. Suppose j*h = 5*h + y. Is -21 > h?
False
Let i = -152 + 147. Let j be (-10 - (-2 - -1)) + -2. Is i less than or equal to j?
False
Let a = -218.8 + 223. Let h = a - 0.2. Which is greater: h or 3/11?
h
Let a = -96.7475 + -0.1525. Let h = 97 + a. Which is smaller: h or 1/2?
h
Let d = 2589.5 - 2589.53. Is d equal to 0.078?
False
Suppose 46*q - 33*q = -13. Let b be q*(-6)/(-7 - -1). Is -6/337 at least as big as b?
True
Let p = -6322 + 7189. Which is smaller: 860 or p?
860
Let s(f) = f**3 - f**2 + f - 1. Let m(o) = 7*o**3 + 25*o**2 - 24*o + 57. Let x(h) = -m(h) + 6*s(h). Let p be x(-32). Which is smaller: p or -15/31?
-15/31
Let i = -11438457613/31005 + 368923. Is -1 >= i?
False
Suppose 4*o - 3*z = -140, -3*o - z + 4*z - 105 = 0. Let s = o - -300. Let k be 115/s*-7 + (-6)/(-2). Is k at most as big as -1?
False
Let q = -3563/135 + 745/27. Suppose -y + k - 23 = 6*k, -2*k = 2*y + 6. Is q bigger than y?
False
Suppose -7*l - 31 = -157. Suppose 5*a - 243 + l = 0. Suppose 0 = v + k + 10, 0 = 4*v - 0*v + 5*k + a. Is -5 < v?
False
Let a(k) = k**3 + 20*k**2 + 19*k + 1. Suppose 8*j = -j - 684. Let w = -95 - j. Let g be a(w). Are g and 0 unequal?
True
Let h be (-3 + 341/(-10))*8/(-14). Let v = -2099/9 - -233. Is v less than h?
True
Suppose -2952 = 3*x + i, -i = -3*x - 2189 - 763. Is x at most -985?
False
Let n = -480.0587 - -478.03. Let m = -0.0287 - n. Is m at least -2/17?
True
Let a be (13 - (15 - 1))/((-299)/(-5)*-1). Which is smaller: -1 or a?
-1
Suppose 15*n - 1161 = 279. Is n not equal to 78?
True
Let r = 3/67 - 43/3953. Let c(t) = t**2 - 10*t - 230. Let q be c(-11). Is q greater than r?
True
Let l be (3257/(-3))/((-42)/30). Let o = 775 - l. Are o and 1 equal?
False
Suppose 0 = 374*l - 1516049 + 10838747. Is -24927 at most as big as l?
True
Let h = 815/119 - 148/17. Suppose 6 = 3*p, y - 5*p = -36 + 25. Is h smaller than y?
True
Suppose 0 = -12*l + 10*l + 140. Let b be 20/l + 7712/(-26796). Which is smaller: 1 or b?
b
Let m = -44199 - -42663. Which is bigger: -1529 or m?
-1529
Let v = 185 + -184. Let t be 2*((-3)/2)/v. Are 0 and t unequal?
True
Let q be (430/(-20))/(4/(-7728)*1). Let t be 6/57*1 + q/(-399). Are -313/3 and t unequal?
True
Let a = 1/1558 - -45959/3116. Let o = -14 - -22. Suppose -q + o = -6. Which is greater: q or a?
a
Let n(x) = 13*x - 126. Let d be n(15). Is d at least as big as 44?
True
Let p = 0.147 + -0.232. Let r = 0.113 + p. Which is smaller: r or 0?
0
Suppose 355 + 37 = 2*v. Let l = v + -247. Which is smaller: -54 or l?
-54
Let c be 2/5 + (-396)/(-110). Suppose 4*r = 2*o - 8, c*o - 6*r - 16 = -2*r. Let y be (-8)/(-12) - (4/(-3))/o. Which is bigger: 3/4 or y?
y
Let p = 0.62 + -46.62. Let u = -46.048 - p. Let r = u - 0.052. Which is greater: r or -2/39?
-2/39
Suppose -24*p - 26*p = -69*p + 19. Is p at most as big as -18/49?
False
Let p be 3/((-60)/(-128)) + 4 + -1. Suppose 33*g - 100 = 164. Are g and p unequal?
True
Let a = -0.8702 + 32.0212. Let n = a - 0.151. Let g(c) = c + 2. Let s be g(-4). Are n and s non-equal?
True
Suppose -41*a + 8796 =