). Which is smaller: p or s?
p
Suppose -4*c = -45 + 77. Is c greater than -1?
False
Let a = 39.38 - 40. Let p = a - -0.02. Is p at least 0?
False
Let o be (-18)/342*0 + (2 - -712). Is o at least 717?
False
Let h be (-128)/168*(0 + (-3)/18). Is -1 > h?
False
Let f(q) be the third derivative of q**5/60 - q**4/4 - 3*q**3 + 6*q**2. Let c be f(6). Is -18 less than or equal to c?
True
Let v be (8/6)/((-1)/3). Suppose 16 = -2*u + 2*o, o - 28 = 3*u - 3*o. Are v and u nonequal?
False
Let d = -7/234 + 1699/25506. Which is smaller: 0 or d?
0
Let f = 5756 - 63394/11. Which is smaller: f or -6?
f
Let r = -11.3 - -13. Let y = r + -1.6. Is y at least as big as -8?
True
Let t(s) = 24*s + 4. Let w be t(4). Suppose 0 = -36*j + 37*j - w. Is j greater than 99?
True
Let z be (6 + -15)/(-3) - 86. Do z and -83 have the same value?
True
Suppose a - 5 = -3. Let f be a/(-8) - (3026/72)/(-17). Which is bigger: 2 or f?
f
Let m(v) = -v**3 + 46*v**2 - 5*v + 136. Let s be m(46). Is 2/3 < s?
False
Let g(q) = -q**2 + 13*q - 33. Let p be g(13). Is -44 > p?
False
Let v = 120 + -252. Is v at most as big as -1/4?
True
Suppose -3*v = -5*v - 4. Let a be 4 - v*4 - -4. Let b be (0 + 1)*(18 + -1). Is a greater than b?
False
Let s be (-4)/(-10) + 126/10. Let d be (((-126)/(-30))/(-7))/((-12)/260). Is s > d?
False
Suppose -6*l - 21 = -2*l - 5*d, 3*l + 21 = 2*d. Let v be (8 + l)/(-2*2/(-8)). Is 6 > v?
True
Let l(n) = -2*n**2 - 29*n - 86. Let q be l(-10). Let j be ((-8)/7 + 0)*-4. Is j less than q?
False
Suppose 5*s + 103 = 3*k + 36, -4 = 2*s. Which is smaller: 23 or k?
k
Let x be (-27750)/(-700)*(2 - 28/10). Is -31 <= x?
False
Let u be (19 + -18)*5*1. Let d be ((-2)/(-7))/(u + -7). Suppose 4*o - 6*o = -2. Which is smaller: o or d?
d
Suppose 2*k - 9947 = 3*y, y = -k + 3*y + 4975. Let g = 39505/8 - k. Let h = 31 + g. Is h > -1?
True
Let z be ((-15)/(-10))/(2/4). Let w(r) = -4*r**2 + 2*r - 3. Let x be w(2). Let l be ((-56)/(-14))/(-1 - x). Which is greater: l or z?
z
Let c = 0 - 0. Let i be 5/(-1)*((-432)/60 + 5) + -3. Which is smaller: c or i?
c
Let s be (-112)/21 + 6 - 106/6. Let r = -16 - s. Is r less than 2/321?
False
Suppose 2*q - 13 = 3*x + 2, -4*q + 2*x + 10 = 0. Let j = q + 1. Let l = -5/21 + 41/84. Which is greater: l or j?
j
Suppose 4*q = -3*h - 29, -h = 4*h + 4*q + 35. Let y be (-28 + -10)*1/9. Is y at least h?
False
Let x = 91 + -347/3. Let g = -25 - x. Let q = 17/7 + -167/63. Is g <= q?
True
Suppose 8*g - 21 = g. Suppose -g*k + 7 - 1 = 0. Which is bigger: k or 1.2?
k
Let m = -787 + 770. Which is smaller: m or -8?
m
Let w be 11/(-15) - 2/(-6). Let q = -41 - -41.2. Let b = -7.2 + q. Which is bigger: w or b?
w
Let a = 9278 - 46394/5. Let q = -1 + 1. Which is smaller: q or a?
a
Suppose 0 = -2*k - 2*k. Let d = k - 0. Do -1/6 and d have different values?
True
Suppose 2*n = 4*n + 162. Is n equal to -245/3?
False
Let d(m) = -m**2 + 11*m - 38. Let u be d(7). Let w be (19 - 18)*u*1. Is -10 less than w?
False
Suppose -c = 6*c + 63. Let d(j) = -j**3 - 9*j**2 + 6*j. Let s be d(c). Let f be s/(-40) + 3/(-5). Which is smaller: 0 or f?
0
Suppose 0*d - 3*d = -2*b - 1, 4*b = 16. Let g(m) = m**2 - 6*m - 9. Let u be g(7). Let r be (0 - (-2 - u))/(-2). Are r and d unequal?
True
Let v = 83 + -73. Let z(a) = a**3 - 9*a**2 - 9*a - 32. Let o be z(v). Is o >= -22?
True
Suppose -43*w + 14*w = -10208. Are 353 and w non-equal?
True
Suppose -3*s = -5*t - 38, -3*s - 3*t = -2*s + 6. Suppose -2 = 4*h + s. Let w = -5 - -2. Which is smaller: w or h?
w
Let u = 125 - 77. Let t = -48 + u. Are 0 and t equal?
True
Let u(j) = -j**3 - 12*j**2 + 2*j + 24. Let z be u(-12). Suppose 5*w - n + 5 = z, 6 = -5*w + 4*n + 1. Is 2/67 > w?
True
Let n = 104099/7 - 14912. Let r = 41 + n. Which is smaller: 14/19 or r?
r
Let h be 4 + (-213)/(-45) + (-3)/9. Is 8 less than or equal to h?
True
Let v be ((-78)/(-9))/13 + (-28)/(-3). Do 5 and v have the same value?
False
Let u = -57303/19 + 3015. Let q = 80 + -82. Which is greater: u or q?
u
Let r be (-6 + 360/64)*2*12. Let m(b) = -b**2 - 6*b + 7. Let z be m(-8). Is r at least as big as z?
True
Let g = -32.974 - -33. Let w = g + 3.874. Which is smaller: w or -0.1?
-0.1
Let s = 0.15 - 3.15. Let w = -0.08 - -0.16. Which is bigger: s or w?
w
Let i(v) = v**2 - 10*v + 5. Let z be i(7). Let p = 6 + z. Which is smaller: p or -11?
-11
Let i be (3 + -7)/(1*-46). Suppose 0 = 4*k - 0*k + 16, r - 16 = 4*k. Which is smaller: r or i?
r
Let v = -8/13 - -14/65. Let s = 0.06 + -1.06. Is v equal to s?
False
Let i = -50 - -50.49. Is i less than 1?
True
Let x = -0.01 - -0.01. Suppose 2486 + 646 = 58*q. Is q at least x?
True
Let n(h) = -3*h + 3. Let j be n(0). Suppose 0 = j*x - 2*o + 2 - 3, -2*o - 4 = 0. Is -6/37 at least x?
True
Let h be (6/62)/(10 - 1666/168). Which is bigger: h or 2?
2
Let c = 3.14 - -0.86. Do c and -25 have the same value?
False
Let s = -33 + 38.1. Let h = 5 - s. Are -9 and h nonequal?
True
Let y be (12/(-240))/(2/(-776)). Let r = -19 + y. Which is smaller: -2/45 or r?
-2/45
Let h(g) = -g**3 - 5*g**2 + 5*g - 1. Suppose 0 = -5*n - 0*n - 30. Let u be h(n). Let l be (10 - 9) + 1*u. Is 4 != l?
True
Let q = -2 + 1.9. Let s = 4.9 - q. Let t be (-4 + 5)*(10 + 28/(-3)). Which is smaller: s or t?
t
Let b = -703 - -42179/60. Which is bigger: b or 0?
0
Let y(d) = d + 1. Let t be y(3). Suppose 0 - 4 = -4*h + 5*m, 3*m = 3*h - 6. Let z = t - h. Which is bigger: 2/5 or z?
2/5
Let c = -845.6 - -846. Which is smaller: -7/4 or c?
-7/4
Suppose 6*r - 22*r + 16 = 0. Which is smaller: 1.31 or r?
r
Let u be 15/(-3) - 35988/(-7196). Is 1 at most u?
False
Let g be 10/65 - (-20389)/52. Let o(h) = 15*h**3 - h**2 - 6*h + 1. Let w be o(-3). Let r = g + w. Is r equal to -3?
False
Suppose 4*u - 64 = r, -5*u - r - 19 = -90. Suppose 8*g - 3*g = -u. Suppose -3*l - 1 = 5. Which is smaller: g or l?
g
Let x = 10.1 + -10.207. Let h = 2.893 - x. Which is smaller: h or 4?
h
Let t = -23.7 + 24. Let s be 2/9 + 3/27 + -1. Is s at most t?
True
Let y(k) = -k**3 + 21*k**2 + 16*k - 20. Let u be y(22). Let s be ((-12)/(-10))/(u/(-360)) + -3. Which is bigger: s or 1?
1
Let q = -2 - 0. Let l be -3 - -10 - (-26 - -34). Which is smaller: l or q?
q
Let u = -3.57 + 0.17. Let k = -3.45 - u. Which is smaller: -3 or k?
-3
Suppose -17 = 4*u - 5*u. Is 16 equal to u?
False
Let k = -2144 + 1828. Is -0.1 greater than k?
True
Let y = -1.98 - -2. Let k = 3.98 + y. Let n = 113.6 + -113.8. Which is smaller: n or k?
n
Let c = -10 + 9.62. Let u = -0.04 - 0.04. Let b = c - u. Is 0.2 not equal to b?
True
Let r be (-273)/(-84) - (-2)/(-8). Suppose 2*q + 3*s - 46 = r*q, -4*q - 232 = 4*s. Is q bigger than -57?
True
Suppose 5*j + 0*j = 3*t + 3, 0 = -j + 5*t + 5. Suppose j = 2*c + 2*c. Suppose 0 = 2*d - 0*s - s + 7, 5*d + s = c. Is d smaller than 2/9?
True
Let p(c) = -2*c + 9. Let d be p(4). Let f be ((-15)/(-12) + -2)*-12. Let k be (f/(-24))/(6 - 0). Is d bigger than k?
True
Suppose 2*j - 2*l - 26 = -j, -2*l + 10 = 0. Suppose m + 2 = -4*m - 3*r, j = -3*r. Suppose -7*o + m*o = -3*i - 14, -o = -2*i. Is 3/2 smaller than i?
True
Suppose 0 = 4*d - 4, 2*o + 0*d + 2*d - 4 = 0. Let p(u) = -u - 1. Let s be p(o). Which is smaller: s or -4/7?
s
Let u = 560.03 + -560. Which is smaller: u or -3/8?
-3/8
Suppose -4*y = 3*i - 3, -4*y + 5*i - 39 + 2 = 0. Let d be 4/2 - (9 - -3). Let s be 4/d - 18/5. Which is greater: s or y?
y
Let t = -15 + 27. Let x = 94 + -93.4. Which is smaller: x or t?
x
Let t(j) = j**2 + 20*j + 31. Suppose 85 = -9*u + 4*u. Let o be t(u). Does -20 = o?
True
Suppose 0 = 3*u + 4*y - 20, -u + 15 + 10 = 5*y. Let m be (-3)/(-18)*(-2)/(-3). Is m at least as big as u?
True
Let o be (-38)/323 - 526/(-3604). Let n = 614/159 - o. Does 5 = n?
False
Let q = 79 + -79. Suppose 3*y + 4*v + 0 + 7 = q, 4*y = -3*v - 7. Which is greater: -2/279 or y?
-2/279
Let a(y) = -y**2 + 8*y + 2. Let z be a(8). Suppose -z*w + 1 = -9. Suppose -2*m = -1 - 13. Do w and m have the same value?
False
Let t be ((-10)/100)/((-4)/15 - 0). Is t >= -1?
True
Let w = -125 + 152. Let c be 26 + 3 - (-2 - -1). Suppose -w*h + 3 = -c*h. Which is smaller: -1/3 or h?
h
Let h be (-3)/(-9) - 14/6. Let o be (3 + -2)/(h/14). Suppose 8*f = 3*f + 2*u - 28, 0 = -2*f + 3*u - 9. Are f and o equal?
False
Suppose -27 = -k - 21. Suppose 8*n - 5*n - k = 0. Which is bigger: n or -21?
n
Let b(j) = -j**2 - 8*j + 3. Let