3*p + 4. Is p > k?
False
Let x be 4 + (-7 - 0) + 3. Suppose 3*l + x - 21 = 0. Let y = l - 6. Is 5/4 greater than y?
True
Let r(k) = -22*k - 210. Let v be r(-10). Suppose -v*x = -14*x. Is x at most as big as -1/12?
False
Let p(c) = c**3 - 84*c**2 + 246*c - 249. Let k be p(81). Let r(l) = -3*l - 9. Let t be r(-9). Suppose -3*n = 6 + t. Is k < n?
False
Let z(s) = -s**2 + 26*s - 166. Let l be z(5). Suppose 0*a - 227 = -4*a - 3*r, 0 = -3*a + 5*r + 134. Let w = a + l. Which is smaller: -34/5 or w?
w
Let x be (-3)/7 + 7030/(-665). Let v = 0.8 - 1. Is x at most as big as v?
True
Suppose 570*h - 27970 - 47270 = 0. Let r(x) = -x - 2. Let k be r(-2). Are h and k equal?
False
Let z = 6123426 - 1132842539/185. Let m = z + 237/5. Which is smaller: m or 0?
0
Let v(l) = -l**2 + 8*l - 13. Suppose 2*k = 23 - 95. Let n = -33 - k. Let d be v(n). Which is smaller: d or 0?
0
Let t(h) be the second derivative of -h**4/12 - 4*h**3/3 + 29*h**2 - h - 46. Let i be t(-16). Are -69 and i equal?
False
Let v be 4/2 + (0/(-2) - 21). Which is greater: -430/23 or v?
-430/23
Suppose 7*y = 12*y + 1225. Let f = y + 67. Is f not equal to -178?
False
Let q = -204 + 65. Let a = q - -555/4. Let b = 1.4 + -1. Is b at least a?
True
Let p = 684 - 677. Let o be -1 + 1 - (-1 + 4). Let y be o + (13 - 3 - -1). Which is smaller: y or p?
p
Let s(l) = -l**3 + 12*l**2 - 9*l + 10. Let r be s(11). Let k = r - 28. Let g be 6 + 0 + -3 + k. Which is smaller: g or 6?
6
Let x = 91 + 1450. Let z be -7*(-2 + 7988/36). Let b = z + x. Do 3 and b have the same value?
False
Let h = -77279 - -1235249/16. Which is greater: h or -76?
h
Let l = 168.12 - 1.12. Let i = 174 - l. Is -2/7 < i?
True
Suppose 0 = -17*l + 2*l - 450. Suppose 53 = -4*y - 35. Let f = y - l. Which is smaller: f or 4?
4
Let c(y) = -y**2 + 2*y. Let r be c(2). Suppose 2*p + 30 = -2*g + 8, 4*p + 35 = 5*g. Let w be p + 12 - (-2 + (-706)/(-177)). Is w < r?
False
Let d = -1/489 - 3907/2445. Let b = 259/201 + 3/67. Which is smaller: d or b?
d
Let x = 447 + -384.1. Let i = 63 - x. Which is bigger: i or -54?
i
Let g = -13027 + 11164137/857. Suppose -27 + 92 = 392*s - 327. Is s not equal to g?
True
Let a be 6/12 + (-3)/(-18). Let u = 109 + -108.903. Which is bigger: a or u?
a
Let a = 302 + -303. Let q be (36/(-6) + 7)*a. Let y be (-2)/2 + 2 + -7. Which is greater: y or q?
q
Let h = 1057 - 1547. Which is smaller: h or -486?
h
Let h(d) = -12*d + 123. Let n be h(10). Let q be 21/n*27*4/21. Is -0.2 greater than q?
False
Let u = 1229 + -1657. Which is smaller: u or -2/3?
u
Suppose 5*i + 5 + 6 = -3*s, 4*s - 4*i - 28 = 0. Let v be ((3 - 4) + s)/(-5). Let o be 6/(-9)*6 - 4. Which is greater: v or o?
v
Let f be 38/(-114) - (-5)/120*-4579. Is f bigger than -190?
False
Suppose -t + 137 = 2*n, -991 + 315 = -5*t - n. Suppose -9*b - 126 + t = 0. Are -4/349 and b non-equal?
True
Let n(h) = h**3 - 14*h**2 - 53*h + 37. Let y be n(29). Which is greater: 11117 or y?
11117
Let n be 52/(-56) - 5/70. Let u = 82763/114 + -726. Are n and u equal?
False
Let y = 25 - 24. Let w = 2230/3 + -35689/48. Which is greater: w or y?
y
Let z be (-46)/(((-13)/26)/((-1)/(-1))). Suppose -10*d - 492 = -z. Which is bigger: d or -0.4?
-0.4
Suppose 5*a - 14*y + 17*y + 1 = 0, -4*y = -5*a + 13. Is -11/81 != a?
True
Let g = 5075 - -1844. Suppose 54*m = 17*m - g. Which is smaller: -189 or m?
-189
Suppose 1719 = 5*f - t, 0 = 4*f - 3*t - 1233 - 151. Let s = f + -840. Is s > -498?
True
Let r = 746 + -620. Let x = r + 33. Is x > -0.1?
True
Let i = -32760 - -32763. Which is smaller: 7395 or i?
i
Let o be (-2 - (-12)/7) + (-8148)/(-29547). Let q = o + 473/402. Do q and -2/5 have the same value?
False
Let y = -388 - -16297/42. Let h = -1133/21 - -161/3. Is y at least h?
True
Suppose 0*u = -41*u + 26773. Let k = -634 + u. Is k at most -2?
False
Let q be ((-12)/40)/((-4)/(-415)). Let v(z) = z**2 + 275*z + 14045. Let h be v(-207). Which is smaller: h or q?
q
Let l = -0.147 - -87.147. Let n = l + -54. Let r = n + -35. Are -0.4 and r non-equal?
True
Let p be -1 - 6/(-1881)*-6738. Let b = p + -3/418. Let t = -49 - -26. Are b and t nonequal?
True
Let i = -4/2889 - 4918/621135. Let j(x) = -x**2 - 7*x + 21. Let l be j(-9). Suppose 0 = 5*t - 4*d - 11, 0*t + 9 = 3*t - l*d. Is t smaller than i?
True
Let t be (-352)/(-77) + (36/(-21))/3. Suppose -4*a + 172 = -5*q, a - 131 = -0*q + t*q. Which is greater: -38 or q?
q
Let p(z) = -z**2 - 9*z + 22. Suppose -6*i - 3*i - 99 = 0. Let j be p(i). Let r = 327/5 - 65. Is r at least as big as j?
True
Let v be -10 + -15 + (-27)/(-3). Let p be (-6)/v - (-1820)/(-4800). Is p bigger than -1/3?
True
Suppose -4 - 156 = -4*s. Let d = -58 + s. Let x be d/(-12)*4/(-6). Which is greater: -3/13 or x?
-3/13
Let t = -0.0956 - -3.0956. Which is smaller: t or 0.034?
0.034
Suppose 0 = -8*d - 0*d + 3*d. Let l be ((-10)/(-4))/(d + (-15)/(-12)). Suppose -x - 6 = -2*x + r, -l*r - 4 = 0. Which is smaller: 6 or x?
x
Suppose 0 = 5*i + 5*d - 3460, 0 = -5*i + 12*d - 8*d + 3496. Which is smaller: i or 1391/2?
1391/2
Let k(q) = -128*q - 486. Let w be k(-4). Let t be (-375)/20*(0 + -4). Suppose -t = -3*c - 0*c. Is c at most as big as w?
True
Let l be 0 - 16*14/1344. Is -4825 > l?
False
Let v = 224 - 147. Let x = v + -88. Let b(d) = -d**2 + 5*d - 3. Let t be b(6). Which is smaller: t or x?
x
Let f be -7 - ((-4652)/620)/1. Is f equal to 0?
False
Suppose -41 - 49 = -5*k. Suppose k*j + 192 = 42*j. Which is smaller: 5 or j?
5
Let w = 88 - 165. Let k = w + -18. Let y be 20/(-60) + k/3. Which is smaller: -31 or y?
y
Suppose 0*h + 48 = 3*h. Let f be 10/4 - 175/2. Let l = f - -103. Which is smaller: h or l?
h
Let f = 29815 + -863573/29. Which is greater: f or 37?
37
Suppose -24 = -3*y + 888. Suppose -4*f + y = 4*m, -2*m + 6*m - 2*f - 298 = 0. Let g be (-2340)/m - (-2)/10. Is g smaller than -32?
False
Let t = 5/253 - -139393/506. Which is smaller: 277 or t?
t
Suppose -1052 = 15*x + 1258. Which is bigger: -151 or x?
-151
Let l be (-6)/10 - (-3)/5. Let i be (-7367)/(-42) - 6/(-36). Let u = i + -176. Which is greater: l or u?
l
Suppose c + 4 - 5 = 0. Let y be 334/190 + 14 + -16 - (-116)/290. Which is bigger: c or y?
c
Suppose -3*n - 129 + 138 = 0. Suppose -n*w + 5 = a, -4*w - 3*a + 3 + 2 = 0. Is w greater than or equal to -0.66?
True
Let t = -2292401/6580 + 12132/35. Let z = t - -1/94. Which is greater: z or -1?
-1
Let k = 47 + -43.3. Let f = -340089/17966 + 9/1382. Let t = f - -1748/91. Is k less than or equal to t?
False
Suppose -59 = 3*h - 65. Suppose -11 = 3*z + 5*i, 2*z - 4 = -2*z - h*i. Suppose w + z*w + 10 = f, 0 = 4*f + 4*w + 20. Which is bigger: f or -4?
f
Suppose -4131 = 309*d + 504. Let w(p) = -p + 6. Let r be w(9). Is d < r?
True
Let t be (13 - 1568/70)*25/(-105)*3. Suppose 0 = 2*q - 4*i + 3*i - 14, 2*q = -i + 18. Is t >= q?
False
Let s = 10306 + -10310. Is 910 smaller than s?
False
Let k = -121120 + 124157.916. Let u = 3033 - k. Let y = u + -0.084. Are -2 and y nonequal?
True
Suppose 3*g - 184 - 8 = 0. Let k = -971 + 915. Let w = g + k. Which is greater: 3 or w?
w
Let m = 148529 - 148587. Let z = -34 + -27. Is z greater than or equal to m?
False
Suppose 0 = k - 7 + 3. Let p(v) = 2*v + 8. Let c be p(k). Let o = 10 + c. Is 25 bigger than o?
False
Let z = 83 - 118. Let g be 12/24 + 10/4. Suppose -g*i = -9*i - 216. Which is greater: i or z?
z
Let m = -21 + 151. Suppose 47*c = 21*c - m. Which is smaller: c or 8?
c
Suppose -2270*m + 2287*m + 229976 = 0. Which is bigger: m or -13527?
-13527
Let v = 3 + -18. Let i be (-6*4/16)/((-30)/40). Let o be ((-13)/(-4) - 4)*(23 - i). Which is smaller: v or o?
o
Let w be ((-5)/(-1))/((65/(-2))/(-13)). Suppose -5*c + 19 = -w*g + 61, -g - 1 = 3*c. Which is smaller: g or 3?
3
Let s be 1375 + (1 + -9 - (11 - 8) - -8). Is 1372 bigger than s?
False
Let r be ((-9)/234)/(6/(-24)). Which is smaller: r or 0.54?
r
Suppose -5*m - 5*s = 0, 0*s - 2*s = 6. Let p be (9 - -1)*15*m/6. Let k be 30/(-9)*18*30/(-24). Is p < k?
False
Let v = -3 + 5. Suppose -v*h + 3*h = 1. Let n = 31658 + -221590/7. Which is smaller: h or n?
h
Let s(a) = a**3 + 5*a**2 - 12*a - 43. Let v be s(-3). Suppose v*u - 8*u = 132. Which is bigger: 43 or u?
u
Let h(k) = -5*k + 26. Let j be h(5). Let s be (2/21)/((-36)/(-336)). Is s less than or equal to j?
True
Let g be (4/5192)/((-5)/(-4)*(-7)/70). Is 0 != g?
True
Let 