hich is greater: p or c?
p
Let s be (-2)/(-6) + ((-3881)/2)/(420/(-280)). Which is smaller: s or 9068/7?
s
Let h(q) = -q**3 + 13*q**2 - 42*q + 16. Let j be h(8). Which is smaller: -2/1243 or j?
-2/1243
Let h = -8837 + 11487. Is 2651 at most as big as h?
False
Suppose 3*q - 6 = -0. Let k be q/11 + 18/264. Let z(i) = i**2 - 7*i + 9. Let r be z(4). Which is smaller: k or r?
r
Let s be (-1 - 4/20)*-15. Suppose -7 = f - 5*j + s, 0 = -5*f - j - 21. Let b be (-4*1/f)/(14/80). Is b <= 6?
True
Let l = 17185/1673318 + -1/8494. Let j be 1/2 + ((-95326)/28)/11. Let f = j - -310. Which is greater: f or l?
f
Let r be 28 - 4*5/(-10). Suppose -27*c + 32*c = -r. Do -33/5 and c have different values?
True
Suppose 0 = u + 5*p - 52 - 7, 5*u - p - 217 = 0. Suppose 136*b - 137*b + u = 0. Which is greater: 45 or b?
45
Suppose 0 = -8*q + 181 - 101. Suppose -27 = -37*o + q*o. Which is bigger: o or 5/87?
o
Let x = 547.9 - 548. Suppose 0 = -4*z - 0*i - 2*i - 30, 24 = -3*z - 3*i. Do x and z have different values?
True
Let w = -72 + 79. Suppose -8*o + w*o + 7 = 4*c, -5*o + 18 = 3*c. Is c != 1/109?
True
Let p = 737 - 160. Let t = 577 - p. Which is greater: -3/2 or t?
t
Suppose 2 = -5*d - 8. Let f be d/8 + 1980/48. Let h(r) = -12*r - 97. Let u be h(-8). Which is smaller: f or u?
u
Let v = -139 + 144. Suppose v*o + 3*h - 3 = -11, o = 2*h + 1. Is 4/47 > o?
True
Let y = -28.379 + 2.119. Let a = y - 15.82. Let g = a + 42. Which is smaller: g or 0?
g
Let j(x) = 9 - x**2 - 1 + x + 3 + 1. Suppose -4 = 5*b - 34. Let l be j(b). Is -16 less than l?
False
Suppose -29*r - 401 = 1310. Let a(l) = l**2 - 9*l - 59. Let o be a(9). Is o >= r?
True
Suppose -37 = -4*i - 945. Let a = i - -292. Is 62 bigger than a?
False
Let b = 1051 + -1053. Let j be 57/5 - (-4)/(-10). Are j and b non-equal?
True
Let t be 0 - (4/2 + -7). Let y = 76518 - 76498. Is y less than t?
False
Suppose 0 = 2*n - 12*n + 70. Let d be 32/10 - n/((-7)/(-4)). Let s(z) = z + 5. Let c be s(-4). Is c <= d?
False
Suppose -40*j + 100*j - 240 = 0. Suppose -64 = j*r + 60. Which is smaller: -30 or r?
r
Let b(o) be the second derivative of -3*o**3 + 0 - 22*o - 5/4*o**4 + 1/20*o**5 + 31/2*o**2. Let v be b(16). Which is bigger: v or -2/87?
-2/87
Suppose w = -0*w - 1. Let n(i) = 25*i + 3. Let o(s) = 1. Let k(z) = w*n(z) + 5*o(z). Let t be k(1). Are t and -23 unequal?
False
Let t(m) = -3*m**2 + 4*m**2 + 81*m - 3*m**2 - 31 - 102*m. Let g be t(-9). Is g not equal to -43?
True
Let d(k) = -955*k + 7689. Let b be d(6). Which is smaller: b or 1958?
1958
Let j = 6 - 1. Suppose j*c = 4 + 1, -4*d = -3*c + 3. Let q be 1776/222 - ((-513)/(-22))/3. Which is bigger: q or d?
q
Let l be 2*(21 + 3358/(-161)). Is -5478 greater than l?
False
Let o be 272478/56 + (-15)/(-20). Let f = 4846 - o. Let b = f + 22. Which is greater: b or 3?
3
Let u = 6 - 4. Suppose -22 = -4*o + 2*h, -4*o = h - 2*h - 17. Suppose -4*y + o*a - 3 = 0, -u*a + 1 - 13 = 2*y. Which is smaller: y or -2?
y
Let i = 1463 + -1102. Which is greater: i or 1447/4?
1447/4
Suppose 7*r + 4*r - 140 = 13*r. Does 15 = r?
False
Suppose 4*p + 0*p = -104. Let r be 0 + 2 + 34/p. Let f be 0*8/32*4. Is r at least f?
True
Let l(u) = 5*u**2 + 16*u + 1. Let m be l(-7). Suppose -k - 201 = -3*j, -2*j + k + 0*k + m = 0. Let d = j + -65. Which is greater: 10/19 or d?
d
Suppose -5*m = -22 + 12. Let g be (28/m - -1) + -3. Let s(z) = z**2 - 11*z - 10. Let q be s(g). Which is greater: q or 3?
3
Let z = -33 - -75. Let p = z - 31. Let j = -11 + p. Is 1 equal to j?
False
Let c = 435 - 726. Let i = -180 - c. Do 112 and i have different values?
True
Let o = -554/1053 - -7957132/5265. Let b = 1556 - o. Are 46 and b equal?
False
Let s = 2040 + -2040. Let b = 2 + -2.5. Let t = b - -0.44. Are s and t unequal?
True
Suppose -1869*m - 13110 = -1892*m. Is m less than or equal to 570?
True
Suppose -65*s = 76*s + 10413 + 4956. Is -122 at least s?
False
Let a = -14000 + 1498003/107. Let n = 0.1 - 1.1. Which is smaller: n or a?
n
Suppose 3*c + c + 434 = -2*b, -434 = 2*b - 5*c. Let f = -216 - b. Is f > -2/35?
True
Let u = -8369/160914 + 3/4126. Let s(c) = -c - 2. Let d be s(-2). Which is smaller: d or u?
u
Suppose 2*o - 3*f = -3955, f = 3*o + 4928 + 1001. Let m = 13862/7 + o. Which is greater: 5 or m?
5
Let v = -1029.15 + 1028.47. Let r = -0.1 - 0. Is v at most as big as r?
True
Suppose -108 = -4*t - 2*y, -9*t + 14*t = 5*y + 120. Is t > 27?
False
Let i = 539 - 307. Let k = 297042/11 - 26772. Let m = k - i. Which is bigger: m or 1?
1
Let l = -10 - -6. Let x be ((-6)/(-4))/(l/((-32)/3)). Are x and 0 equal?
False
Let v(k) = -3*k**2 + 74*k**3 - k + 78*k**3 + 1 - 153*k**3. Let x be (10 + -16)*2/6. Let i be v(x). Is -1 less than i?
False
Let u = 1 + -13. Let b = 5 + u. Let s = 0.35896 - 0.05896. Is b equal to s?
False
Suppose 10 = -5*g + 3*t, -3*g + t = 6*t - 28. Let r = g - -51. Let m = r + -8. Is 45 less than or equal to m?
False
Let y(b) = -12*b + 14. Let u be y(1). Is 1486 equal to u?
False
Let n be (13 + -9)*(-6)/(-8). Suppose 0 = 9*x + n*x + 60. Which is smaller: x or -6?
-6
Let l be (-25)/20*(-2)/(-5). Let z = 8.07 + -8. Let v = -0.01 - z. Which is smaller: l or v?
l
Suppose 3*r + 2*g = 0, 2*r = -4*g + 11 - 3. Let q be 30/9*3*(-3)/r. Suppose -4*y + 80 = 12. Which is smaller: y or q?
q
Let y = -8287/2 - -4037. Let t(c) = -14*c + 6. Let o be t(8). Which is greater: o or y?
o
Let u be -2 + 2 + 3 - (0 - (4 - -8)). Are 337 and u equal?
False
Suppose -5 = -2*b - 3. Let i be (-2)/(2/(-8)*4). Let k be 4/((-24)/6)*i/18. Which is smaller: k or b?
k
Let c = -3540/7 + 507. Let h be ((-3 - -5) + -9)/(-1). Let v(y) = -y**3 + 7*y**2 - y + 8. Let s be v(h). Is s at most c?
True
Let z = -19 + 22. Suppose -3*j - 69 = -3*n, 0 = -4*j + 5*j - z*n + 27. Let h be (-53)/(-70) + (-3)/j. Which is smaller: h or 0?
0
Suppose -3*z - 32 = -4*q, z - q = -0*q - 10. Let s = -33/4 - z. Let k be ((-33)/27 - -1) + (-40)/(-126). Is s smaller than k?
True
Let a = 4.2 + 0.8. Let u = -4 + a. Let p = 21064 + -21075. Which is smaller: u or p?
p
Let m = -8173 + 8173.3714. Do 1/4 and m have the same value?
False
Let y = 384 + 137. Suppose 82*z - 2088 = 194*z - 116*z. Is z != y?
True
Suppose 6*w = 5*z - 289, 3*z + 183 = 103*w - 106*w. Suppose 5*u = 44 + 226. Suppose -3*o = -4*o - u. Are w and o unequal?
False
Let n = -298.3 - -293.4. Let l be ((-28)/(-42))/((-2)/(-9)). Which is smaller: l or n?
n
Let j be (2 + -2)/((-1)/(-1)). Let i be 10/(-6) - 2/(-3). Let t be 10/(-40) + 1*i. Are t and j equal?
False
Let w = -797 + 801. Suppose -2*d = -w*d - 3*d. Is -5/76 at least d?
False
Let z = 1/7269 - -13375/8453847. Let n = 40291 + -40292. Is z less than n?
False
Let q = -475/11 + 23561/539. Let z = 45/98 - q. Which is smaller: 2/79 or z?
z
Let a be 78/(-65) + 5 + 38/(-10). Is -4/183 at most a?
True
Let x = -14 + 46. Suppose 0 = 11*w - 3*w - x. Suppose -5*n + w*g + 10 = -g, -3*n - 4*g = 8. Which is greater: -6 or n?
n
Let r = 0.176 + 11.924. Let y = -12 + r. Let t = y - 0.2. Which is smaller: t or 0.2?
t
Let q = 263.737 + -264. Let z = q + 0.063. Which is smaller: z or -0.6?
-0.6
Let u = -15311 + 15332. Is -5/2 not equal to u?
True
Let r = 955.5 - 1073. Let d = -117.7 - r. Let b = -1 + -0.6. Do b and d have the same value?
False
Suppose 4*r - 396*a = -397*a + 9838, -5*a - 7367 = -3*r. Which is smaller: r or 2458?
2458
Let u(v) be the first derivative of v**4/12 - 12*v + 20. Let o(z) be the first derivative of u(z). Let f be o(-6). Which is greater: f or 2?
f
Let o be (0 + 0)/(29/(-29)). Let u = 4337321/2 - 2619740557/1208. Let k = 4/151 + u. Is o at least as big as k?
False
Let y(f) = f**3 + 15*f**2 - 3*f - 21. Let t be y(-15). Let g = t + -29. Let p be (g/15)/((-3)/56). Is p at least as big as 7?
False
Let x be ((-3)/142)/(3024/(-192)). Let r = x + 491/4473. Let j = 1 - 1. Which is smaller: j or r?
j
Let k be ((-3)/(-2))/(33/(-4)). Suppose -3*u + 5*s + 35 = 0, -19*s = 3*u - 15*s - 80. Let t be 1*(u/(-12))/(5/(-3)). Which is greater: t or k?
t
Suppose 4*m = -0*n + n - 35, n = -1. Let h be 20/50 - (32/5 - 0). Let s be (h/9 - (-2)/(-6))*5. Do m and s have different values?
True
Let c(q) = -20*q + 19. Let m be c(-4). Let s = -82 + m. Do 13 and s have different values?
True
Let u(k) = 2*k**2 + 12*k - 25. Let h be u(-8). Let d(l) = -l**3 + 8*l**2 - 8*l. Let x be d(h). Let s be -1 + 5/(20/