7 - p. Which is bigger: 6 or d?
6
Suppose -7 = 2*o - 11. Suppose -4*q + o*w = 92, 5*q - 3*w = 2*w - 105. Is q greater than -25?
False
Suppose 0 = -8*d - 2582 + 2574. Do d and -0.232 have different values?
True
Let o = 66 - 93. Let t = o + 35. Let m be (-2 + 4)*(-4)/t. Which is bigger: m or -1/10?
-1/10
Let q = 26978 - 26984. Is 65 at least as big as q?
True
Let p = -5.13 + 5.4. Let u be (3 + 2 - 5)/(-1 + 2). Is u less than p?
True
Let i = -0.97 + 41.97. Let x = 0.9069 + 40.3931. Let v = i - x. Do v and 4/7 have different values?
True
Suppose 5*a + 4*w - 44 = 0, -2 = -w - 6. Let p be ((-138)/44 + 3)/(a/16). Which is greater: -0.5 or p?
p
Let t be (150/12)/(42/1092). Is t smaller than -1/2?
False
Let p(r) be the second derivative of -7*r**3/6 - 14*r**2 - 2*r - 51. Let h be p(-4). Is 2/295 > h?
True
Suppose 0 = -4*p - p - g + 14, 9 = 2*p - 3*g. Suppose 36 = -3*l - p*l. Let r be (-8)/(-11)*58 - l/(-33). Is 42 <= r?
True
Let t = 11 - 11. Suppose c - 1 - 5 = t. Suppose -z = -c*z - 25. Which is smaller: -7 or z?
-7
Let k = -3348 - -3438. Is 10 != k?
True
Suppose 2*t = 4 - 10. Let p be (-43)/(172/(-48)) + -19. Are t and p non-equal?
True
Let q be ((-65)/(-78))/(20/45). Let j be (-1)/(1/9)*1. Let u = j - -11. Which is smaller: u or q?
q
Let h = 1.351 - 1.4. Let b = 33.049 + h. Let q = b + -23. Is 1 >= q?
False
Let g(j) = -1052*j + 6804. Let b be g(9). Do b and 0.2 have the same value?
False
Let g(s) = 66*s - 336. Let v be g(4). Is -72 equal to v?
True
Let p be 4/5*(-30)/(7 + -5). Let u = 15 + p. Suppose -6 + 105 = -u*v. Which is smaller: v or -32?
v
Let b be (-3)/1*-1 + -200*130/8632. Suppose -2*o = 4*d, 2*d + 3 = -3*d - o. Which is smaller: b or d?
d
Suppose 4*n - 11 = z, 0*n + 17 = 4*n - 3*z. Suppose -w = 3*u - 23, 3*u + n*w + 3*w = 19. Let b = -29 - -38. Is b > u?
True
Suppose -5*r - 19*r = -7*r. Which is smaller: r or 2/2103?
r
Suppose -53454 = -65*o - 112*o. Which is smaller: o or -0.05?
-0.05
Let i = -325.4 + 430.4. Which is smaller: i or 6?
6
Let c = 464 + -418. Which is smaller: c or 1?
1
Let a be 92/(-28) + 3 + (-86)/(-7). Let s(k) = k + 1. Let v be s(a). Which is bigger: v or 12?
v
Let d be -138 + 133 + 62/(4/(-2)). Let i be (9/(-2))/((-6)/d). Does i = -2?
False
Let q = -16.83 - 142.97. Let p = q - -157. Is p bigger than -5?
True
Suppose -21 = 5*m + 19. Let p be (1/(-22))/(4/m). Let a = 276 - 276. Is p at most as big as a?
False
Let f(w) = 6*w - 29. Let b be 27*1/4 + 227/908. Let g be f(b). Which is smaller: 12 or g?
12
Let w = 488 + -490.051. Let l = 2.14 + w. Let n = -63.911 - l. Are -0.1 and n nonequal?
True
Suppose 0 = -34*h - 4*h - 38. Let x = 4044 - 4221935/1044. Is x >= h?
True
Let y = 115 + -107. Let m(h) = -54*h + 183. Let p be m(y). Which is smaller: p or -248?
p
Suppose 2 + 0 = 2*u. Let q be (u/(-7))/((-840)/49). Do -1 and q have the same value?
False
Let i = -107784 - -210179/2. Which is greater: -2696 or i?
i
Let z(t) = -3 + 0*t + 24 - 9 - 3*t. Let o be z(-2). Let g(h) = h + 1. Let q be g(5). Is o < q?
False
Suppose -12*q + 150 = -450. Which is smaller: q or 52?
q
Let x = -648722/17 - -38160. Which is greater: -0.0725 or x?
-0.0725
Suppose 2*h - 5*h = 2*l - 2, -2*h + 5*l - 24 = 0. Let t be ((1 + 1)*(-4 - -3))/h. Which is bigger: t or -49?
t
Suppose -22080 = 27*n - 43*n. Suppose 0 = -3*r - 18 - n. Is r bigger than -465?
False
Let j = -290.1 + 293.1. Which is bigger: 4.64 or j?
4.64
Let r = 1118 + -797. Let i = r - 320. Let s be 3/(1*(-8)/1). Which is smaller: s or i?
s
Let x = -2 - -2. Let h = 14157 + -42475/3. Which is smaller: h or x?
h
Let j = 753 - -10. Let v = j - 246. Which is greater: -1 or v?
v
Let s = 37 - 55. Suppose 2*n = 2*z - 44, 3*z + 3 + 50 = -4*n. Is n greater than s?
True
Let j be (24/(-120))/(6/567). Which is smaller: -18 or j?
j
Let r be (-3)/9 + 1041/(-9). Let v = r + 164. Suppose b = 5*u + v, 4*b + 27 - 69 = 5*u. Which is smaller: -13 or u?
-13
Suppose 0 = 11*s - 5*s - 6. Let j = -563 + 3377/6. Is s equal to j?
False
Let x = 24668 + -40776203/1653. Is x bigger than -1?
True
Suppose 7 = 5*w - 4*v, v - 3 = 4*w - 13. Suppose -w*z + 4 = 2*y, y - 22*z = -24*z + 2. Let o(s) = s + 8. Let d be o(-6). Is d at least y?
True
Let l be (-4 - -7)/((-978)/4). Let b = -139 + 140. Is b <= l?
False
Let b = 2188 - 838. Let p be 1*((-2)/(-5) + (-640)/b). Which is smaller: 1 or p?
p
Let f = 16218 - 16216. Which is greater: f or -1/1433?
f
Let x(c) = 2*c + 10. Let h be x(4). Suppose 7*q - q = -h. Is -3/2 not equal to q?
True
Let s(a) = 22*a**2 - 2*a + 1. Let c(l) = l**2 - 6*l - 8. Let n be c(7). Let m be s(n). Suppose j + 4*z = 5*j - 24, 5*j - m = 4*z. Which is smaller: j or 2/53?
2/53
Suppose -55*y + 50*y = 5*r + 10, 4*y + r = -20. Which is greater: 14 or y?
14
Suppose 12*b + 1268 - 4052 = 0. Let g = 21 + b. Which is smaller: g or 255?
g
Let p = -14/85 + -539/340. Let w = p + 5/4. Is -67 != w?
True
Suppose b + 10 = -2*m, 7*m + 4*b + 15 = 4*m. Which is bigger: m or -30?
m
Let a = 9557 + -5103. Does 4454 = a?
True
Let w = 6 + 2. Let a be (1632/(-15))/(7/(-56)). Let r = 878 - a. Are w and r nonequal?
True
Let p be 3/(-1)*(42/(-7) - 17). Is 69 at least as big as p?
True
Let v = -392 + 481. Suppose 5*k + 0*k = 445. Is k at least v?
True
Let h = 763741/15516 - 443/9. Which is greater: 0 or h?
h
Let w = 546 - 575. Which is smaller: 0.7 or w?
w
Let y = 15 + -13. Suppose 5*s = -3*p + 2, y*p = 2*s - 13 + 9. Is p less than or equal to 2/91?
True
Suppose 247 = 8*y - 193. Which is greater: y or 93?
93
Let l = 2725/6 - 456. Suppose 0 = 23*x - 10*x - 78. Let g be x/(-4)*30/45. Are l and g unequal?
True
Let a = 354 - 408. Let g = 120 - 173. Is a bigger than g?
False
Let k be 54/15*40/(-12). Let i be (-1342)/10 + k/15. Is -136 bigger than i?
False
Suppose 9*z - 10 + 1 = -0*z. Are 0.3058 and z unequal?
True
Let v(h) = -h**3 - 4*h**2 + 2*h - 1. Suppose 2*p - 10 = i - 2, 5 = 3*p - 5*i. Suppose 2*d - 2 + 0 = p*a, 26 = -4*d - 5*a. Let c be v(d). Is -9 < c?
False
Suppose 18*q - 1254 = 18225 + 16521. Is 2000 > q?
False
Let f be (-3 - 2)/((-5)/2). Suppose 2*l + 4 + 13 = m, 0 = l - f*m + 13. Is l at least as big as -4?
False
Let z = 753/4 + -190. Let g = 27.3 + -41.6. Let r = 13.3 + g. Is z smaller than r?
True
Let k(l) = -l**2 + 9*l. Let g be k(9). Suppose h - 3*j = -2*j - 49, g = -h - 2*j - 49. Are h and -51 equal?
False
Let k(b) = 3*b**2 + 60*b - 206. Let v be k(-23). Let g = 196/19 + -149510/14497. Which is smaller: g or v?
g
Let w = -50083355/1669 + 30008. Is 0 greater than w?
True
Let p(q) = 154*q - 142. Let c be p(2). Suppose -3*f = -2*d - 370, 199 = 3*f - d - c. Is 2 >= f?
False
Let n be (1 - -8 - 2/(-2)) + -1. Let k = -6 + n. Let q be (30/9 - 3)/((-11)/k). Which is bigger: 1 or q?
1
Let m = 2685 + -2381. Which is greater: 306 or m?
306
Suppose -x + 2*y + 0*y - 12 = 0, -3 = -x - y. Let j(c) be the first derivative of c**3/3 - c**2/2 - 3*c - 1. Let p be j(x). Which is smaller: 12 or p?
p
Let j be -3 + 126 + 14/(-7). Let b = 123 - j. Let c = b - -28. Which is greater: c or 29?
c
Let q = 704.2 - 697. Let p = 6.9 - q. Let a = 21 + -36. Which is smaller: p or a?
a
Suppose 0 = -x + 2*o + 937 + 814, 4*o + 5263 = 3*x. Which is bigger: 3519/2 or x?
x
Suppose -12*u = 193 - 61. Let o = 35 - u. Let v be 2 - 2 - (-43 - 4). Which is smaller: o or v?
o
Suppose -55*b + 43*b - 938 = -146*b. Is b not equal to 61/9?
True
Let h = 33 + -36. Let s = h - 7. Let i be 2/6 + (-545)/60. Which is greater: s or i?
i
Let c = 0.17393 - 0.15633. Do c and -0.09 have the same value?
False
Let g = -451508/39 + 11574. Which is smaller: g or -3?
g
Let l = 422427/305 - 1385. Let j be -3 - (-1215)/(-486)*(-2 + 12/10)*2. Is j greater than l?
True
Let j = -18 + 34. Suppose 0 = -6*o + 2 + j. Suppose -5*y + 0 = l - 2, -5*l + 32 = o*y. Which is smaller: 2 or l?
2
Let o(z) = 65*z + 890. Let u be o(-24). Is -676 bigger than u?
False
Let x = 149 + -268. Let z = 54 + x. Which is smaller: -2/3 or z?
z
Let m = -11038 - -11043. Which is bigger: m or -192?
m
Let c = 4093 + -3982. Which is smaller: c or -1/8?
-1/8
Suppose -4*u - 12*s + 8*s = -992, u - 4*s = 248. Suppose -64*x + 72*x - u = 0. Let f = -43 - -75. Do x and f have the same value?
False
Let z be 1 - 0 - (-16)/(-22). Suppose 4*m - 5 = -5*q - 15, -4*q - 8 = 0. Is m greater than z?
False
Let b = -11/90 + -1/10. Let u(q) = q**3 - 11*q**2 