7. Is -70 < p?
True
Let o be (2 - (-28)/(-28))*(-790)/(-46). Which is greater: 18 or o?
18
Let a = -6227/4070 + 91/110. Is a less than or equal to 2?
True
Suppose 140*b = -83*b + 2676. Is -4.63 smaller than b?
True
Let f(z) = -2*z**2 - 14*z + 1. Let l(k) = -k**2 - 12*k + 38. Let q be l(-15). Let b be f(q). Which is smaller: b or -3/13?
-3/13
Let a = -54671 - -274729/5. Which is greater: a or -2/5?
a
Let x(n) = -n**2 + 15*n - 24. Let g be 10/(-45) + 330/27. Let w = g - -2. Let d be x(w). Which is smaller: d or -9?
d
Suppose l + 3 = 0, -3*r - 2*l = -343 - 593. Let d = 336 - r. Which is bigger: d or 3?
d
Let d = 2809 + -2810. Which is bigger: d or 1/27312?
1/27312
Suppose 194 = 64*j + 33*j. Which is bigger: 96/53 or j?
j
Let i(m) = -m**3 - 8*m**2 - 55*m - 335. Let x be i(-7). Which is smaller: -44/241 or x?
-44/241
Suppose 12*l + 12047 = 5*w, 5*w - 9*l - 12087 = -7*l. Which is greater: w or 7261/3?
7261/3
Let b(a) = a**3 - 10*a**2 + 5*a - 46. Let p be b(10). Suppose -2*q - m = -5*q + p, -5*m = -2*q - 19. Suppose -4*f = 0, -5*k - f = -2*f - 20. Does q = k?
False
Let r = -408 - -271. Let g = -325 - r. Are -188 and g unequal?
False
Let w = -71 - -73. Suppose -t + w*a = t - 114, 54 = t + 2*a. Let n be (-48)/t - (-3)/(-21). Which is greater: -2/65 or n?
-2/65
Suppose -u + 157 - 143 = 0. Suppose 2*o = u*o + 336. Is -28 at least o?
True
Suppose -5*a + 2826 = -2379. Let q = 9385/9 - a. Do q and 3 have different values?
True
Let h = -55.8 + 2.8. Let b = 1960.1 - 1960. Are h and b equal?
False
Let n(w) = w**2 - 9*w + 11. Let l be n(8). Suppose -2*b + 2*y = -l*y + 13, -4*b - 2*y - 38 = 0. Let c be 2/((-1)/(1*(-111)/b)). Which is smaller: c or -25?
-25
Let t = -16894 - -16921. Does t = 25?
False
Suppose -3*m + 7*m = 0. Let n(v) = -v**2 - 2*v + 77. Let b be n(8). Let j be ((-1)/20)/((-4)/(-30)*b). Which is smaller: j or m?
m
Let a = 235 - -30. Let i = 307 - a. Is 1 > i?
False
Let u = -378.4 - -379.4. Which is smaller: u or -749?
-749
Suppose -3*a - 147 = -10*a. Suppose -5*t = -5, 3*t + 20 = j + 1. Is j at most a?
False
Let k = 18/3631 - 8086309/14524. Which is bigger: k or -558?
k
Suppose -5*p - 4 = -5*s - 19, 0 = -4*s + p - 6. Let c be (s - -9)/(-13 - -8). Is 0.2 at least as big as c?
True
Let r be (-303)/1116 - (-1)/4. Let y = 1781 - 1783. Is r at most as big as y?
False
Let w = 3 + 3. Let t be w/((-1 + 0)*-2). Suppose -4*n - 3*g + 18 = 0, 0 = -5*n + 6*n + 4*g - 11. Is n bigger than t?
False
Suppose 3*g + w - 1 = 0, -3 - 2 = 3*g - 5*w. Suppose g = 8*p - 2*p - 36. Let b be p + -3 - (-1 - 0). Do 4 and b have the same value?
True
Let t = 7565 - 8598. Is -1033 less than t?
False
Let n = 176085 - 3170058256/18003. Which is smaller: n or 1?
n
Let n be 3*(-3 - (-20)/6). Let l be 3 + (n - 2) + -10. Let h be (-3)/(1*-18) + (-651)/126. Which is greater: l or h?
h
Let c be ((-148)/(-296))/((-1)/(-1286)). Is c greater than 2571/4?
True
Let d = 20.10286 + -0.10286. Is d != 4/13?
True
Let c = 16662 - 2899177/174. Which is smaller: c or -3?
-3
Suppose 346 = 9*k + 121. Let d be (10/k)/(7/70). Which is bigger: d or -7?
d
Let c be (-832)/3120 - (-25534)/95775. Is c != -1?
True
Let z = -6557 + 6558. Let m be (-30)/123*(-2)/(-4). Is z >= m?
True
Suppose -23*p + 644 = 644. Which is smaller: 9/118 or p?
p
Let d be 7/(-35) + 9/(-5). Let s(n) = -9*n + 3. Let l be s(d). Let m be (l/24)/(2/(-4)). Which is bigger: m or 1?
1
Let r = -33.6 + -142.4. Let t = 157 + r. Let z be (-3)/(-18) - 2/6. Is t greater than z?
False
Let j = 19662 - 19851. Is j not equal to 1?
True
Let u = 171823 - 7217089/42. Which is smaller: -12 or u?
u
Let z(d) = -3*d**2 - 263*d + 1782. Let j be z(7). Which is greater: -175 or j?
-175
Let s = -3 + 4. Let j = 3/1027 + 5042/31837. Which is smaller: s or j?
j
Let f(w) = 18*w**2 + 3*w - 3. Let u be f(1). Suppose -3 = -21*z + u*z. Let o = 95/957 + -2/29. Is z equal to o?
False
Suppose -1420 = 206*c - 1008. Which is greater: -219/107 or c?
c
Suppose -19*g + 49690 + 52189 = 15543. Which is greater: 4543 or g?
g
Let q = 660.3 - 754. Let z = 93 + q. Do z and 0.2 have different values?
True
Let j = 313 - 1016. Let u = -15463/22 - j. Let w(r) = -r**2 - 3*r - 1. Let x be w(-2). Which is greater: x or u?
x
Suppose 4 = -120*h + 119*h, c - h - 103 = 0. Which is smaller: 102 or c?
c
Let j = -5 - -15. Let a be j/21*(2 - 1). Let g = -4761 - -4762. Which is smaller: g or a?
a
Let h be (1/(-4))/(1300/(-208) + (6 - 0)). Which is greater: -1/47075 or h?
h
Let q be 1 + 7 + 185900/175. Which is bigger: q or 1071?
1071
Suppose -5*q + 391 = 1826. Suppose 0 = 13*c + 594 + 3137. Is c at most as big as q?
True
Let n be -246*1/6*-2. Which is smaller: n or 75?
75
Let p = 281 - 269. Let v(r) = r**2 - 18*r + 77. Let i be v(p). Which is bigger: i or 6?
6
Let j = -3 + 9. Let t = j - 8. Is t > 17?
False
Let c = -418 - -422. Suppose 4*g = -c*k + 187 + 29, 3*k - 268 = -5*g. Which is greater: -1 or g?
g
Let l = -1190.027 + 1190. Are l and 3.2 nonequal?
True
Let k = 1497/104195 - 24/1145. Are k and 0 unequal?
True
Let i = 401 + -120. Suppose -i + 281 = 5*x. Is x less than or equal to -212?
False
Let t = -1/119 + 267/3451. Let w = -50 - -34. Let j(s) = -s**3 - 15*s**2 + 15*s - 15. Let q be j(w). Which is bigger: q or t?
q
Let o = -1010 - -1193. Which is smaller: 186 or o?
o
Let r = -5 + -7. Let k(m) = -34*m - 391. Let u be k(-11). Is r >= u?
True
Suppose -6*q + 313 = -215. Let i = 128 - q. Is i <= 39?
False
Let z be 14 - (120/(-4))/(-5). Let v be 36/5*20*z/(-32). Which is smaller: -35 or v?
v
Let r = 1182.488 - 6.488. Are -4 and r nonequal?
True
Suppose 3*z + 7 + 0 = -5*a, -3*a + 15 = -3*z. Let s be (-2 - -3) + (-390)/(-338). Is a != s?
True
Let f be 3699/216 - -1*1*-1. Let t(x) = -x**2 - 7*x + 15. Let a be t(-7). Which is greater: f or a?
f
Let p(s) = 150*s + 1193. Let h be p(-11). Does h = -449?
False
Let a be 340575/(-120) + 21 + 1/8. Is -2817 bigger than a?
False
Let c be (-406)/12 + (-1770)/(-2124). Let x = -67 + 33. Which is greater: x or c?
c
Let f(w) = -3*w**3 - 34*w**2 - 11*w + 2. Let d be f(-11). Suppose -8*x + 274 = -3*x - 2*a, -d*x + 100 = 4*a. Are 219/4 and x nonequal?
True
Let k = 161727/112 - 1444. Let z = 443/560 - k. Is z greater than -17?
True
Let w = 9.60275 - 1.60275. Let a = -733/21 + 89/21. Let q = a - -31. Which is smaller: q or w?
q
Suppose 21 = -2*r + 5*y, -4*y + y + 17 = r. Let q(s) = -7*s**r + 4*s**3 - 3*s + 4*s**3 - 8*s + 4 - 7*s**3. Let l be q(8). Which is greater: l or -18?
-18
Let v be 185/25 + 4/(-10). Let i(g) = 2*g**2 - 15*g. Let r be i(v). Let z be (6 + -5)/((1/6)/(-1)). Are z and r unequal?
True
Let w = 2708 - 2604. Is 111 greater than w?
True
Let b = -2.484 - -102.004. Let u = b + -100. Is -3 at most u?
True
Suppose -233*m = -229*m - 2068. Suppose 0 = -19*j - 243 - m. Is j less than -37?
True
Let s = -298 + 242. Let g = s - -57. Let j be 3/(-6) + 22/36. Which is greater: j or g?
g
Let r be -876 - (-9 + 17 + -5). Let y = -805 - r. Suppose 231 = 2*j + 81. Which is smaller: y or j?
y
Let p be -69*(3 - (-22)/(-6)). Suppose 5*s + 9 = -16, f - 4*s - 67 = 0. Do f and p have the same value?
False
Suppose 0 = w - 2*h + 1789, 10*w - 14*w - 4*h = 7120. Is -1783 less than or equal to w?
True
Suppose 153*h + 160 = 7. Which is smaller: h or -90/131?
h
Suppose -386*x = -369*x + 68. Let c be 7/(-14)*(3 + x + 2). Which is bigger: -310 or c?
c
Let w = 117.29 - 117.1865. Which is smaller: -8 or w?
-8
Let n be (-88)/1100 - 8054/(-50). Which is greater: 0.06 or n?
n
Let l be (-102)/(-1785)*45/2. Which is smaller: 0.7 or l?
0.7
Let y(v) = 101*v + 7. Let r be y(2). Suppose -3*p - 2*n - r = 0, -212 = 3*p - 5*n - 10. Let k = -69 - p. Which is smaller: -18 or k?
-18
Suppose -63 = -19*k - 6. Suppose x + 250 + 110 = 4*q, -3*x = k*q + 1020. Is -345 != x?
True
Suppose -18*f = -17*f + 3, 2*f + 8 = -2*p. Which is greater: p or 1/4490?
1/4490
Suppose -27 + 6 = -7*r. Let v be 0 - -3*((-17)/r - -5). Is -21/17 smaller than v?
False
Suppose -78 = -4*i + 2*x, -5*x - 60 = i - 52. Let h be (-88)/(-6) + 5/15. Is h at most as big as i?
True
Let u = 366 - 518. Let j = u - -151.8. Is j smaller than 55?
True
Suppose -5*n = 4*c - 28, -12 = -2*c - 3*n + n. Let u be c*5/150*111. Is -1 less than u?
True
Let c(x) = 377*x**2 - 415*x - 14. Let y be c(4). Is y less than 4353?
False
Let h = 126125/49 + -2574. Are h