 -82. Is p equal to q?
False
Suppose 13 = -4*y - 7. Let m be 28/70 - (-27)/y. Is m > 1?
False
Let r = 169 + -170. Are r and -26 non-equal?
True
Let y = -1.6 - -1.7. Let a be ((-964)/(-30))/(4/(-39)). Let q = 313 + a. Which is smaller: y or q?
q
Let m = -1 - -1. Let g = 92.04 - 94. Let z = 0.04 - g. Which is bigger: m or z?
z
Let q = 1.5 + -1.7. Which is smaller: q or -2?
-2
Let v = 0.11 + -0.01. Let s = -0.1 - v. Are 0.1 and s equal?
False
Let w be (1413/186)/((-12)/(-70)). Let m = w - 177/4. Is m less than 1?
True
Let h = 3.1 - 1.7. Let o = 1.33 - h. Let n = o + 1.07. Which is smaller: -3 or n?
-3
Let d = 3.46 + -3.56. Let b = -0.1 + 0.2. Is b equal to d?
False
Let u = -313/3 - -105. Which is smaller: 0.06 or u?
0.06
Let f = -5 + 8. Let u be 1*-2*(-1)/(-2). Let n be (3/(-9))/(u/f). Which is smaller: -2 or n?
-2
Let a(j) = j + 1. Let n be a(-2). Let i = 3 + n. Let t = -0.2 + -0.8. Is t < i?
True
Suppose -y = -5*y - 24. Let o be y/((2/(-3))/2). Let u be (12/o)/(4/(-6)). Which is smaller: 2 or u?
u
Suppose -31*u + 27*u - 4 = 0. Let i = -65 + 127/2. Which is smaller: i or u?
i
Suppose -h = -4*d, -5 = -4*d - 1. Suppose 0 = c + c - m - 11, -h*m = -5*c + 26. Is c smaller than 1?
False
Let t(y) = 2*y. Let i be t(7). Let m be i/(-4) + 2/4. Is -3 less than or equal to m?
True
Let n be -2*5/30 - 3. Suppose 10 = -3*c - 2*f - 7, -15 = c + 3*f. Which is greater: n or c?
c
Suppose 0 = -5*r + 3 + 2. Suppose 3*i - r = -5*p - 2, 0 = -i + 5*p - 7. Let t = -5/2 + 11/6. Is t <= i?
False
Let l be ((-3)/9)/((-7)/(-2)). Which is bigger: l or -1?
l
Suppose -5*f + 0*f = 0. Suppose 5*i + 2 = 22. Let x be (-5)/(-5) - 2/i. Is x greater than f?
True
Let z = 92 - 86. Is z less than or equal to 1/3?
False
Let h = -407/76 - -21/4. Is h != -1?
True
Suppose z = -4*z + 115. Suppose -12 = -4*l + 4. Suppose p + z = -l*v - 2*p, -5*v - p = 15. Which is smaller: v or -1/2?
v
Let v = -0.17 - 8.83. Let t = 9 + v. Does t = 1?
False
Let m be ((-1)/7)/(2/(-4)). Which is smaller: 0 or m?
0
Let p = 3 + -2. Let r = p - -2. Let w = r - 2.9. Is w not equal to -0.1?
True
Let s(l) = -l**2 + 5*l. Let h be s(4). Let x be (-78)/(-9) - 4/6. Suppose 7 = 3*z - x. Does z = h?
False
Let m(l) = l**2 - l - 1. Let p be m(-2). Let o be (-2 + 1)*p/(-5). Let h be 2 + -3 + (-14)/(-10). Is h at least o?
False
Let l = 66251/106 + -625. Let g = -107602421/24486 + 92287/21. Let f = g + l. Which is smaller: -1 or f?
-1
Let b be -1*2/(4/(-6)). Let k(c) = -2*c + 5. Let a be k(4). Let z = a + b. Are z and 0 equal?
True
Suppose -3*f = -2*s + 4*s + 15, 2*f + 10 = -s. Are -6 and s equal?
False
Let t(k) = 4*k**2 - 9*k. Let x(w) = w**2 - w - 1. Let c be (9/6)/((-2)/(-4)). Let b(i) = c*x(i) - t(i). Let d be b(5). Does d = 1?
False
Let o be ((-12)/(-10))/((-2)/(-10)). Suppose -o*a = -2*a - 12. Let r = 59/34 + -4/17. Is r smaller than a?
True
Let v = -0.29 + -38.71. Is -2 smaller than v?
False
Let p = 7 - -3. Which is smaller: p or 8?
8
Let d = 0 - 0.2. Which is bigger: 3 or d?
3
Let g = -0.7 - -0.71. Is 1/5 < g?
False
Let r(t) = t**2 - 4*t - 6. Let n be r(5). Suppose 4*f - 44 + 8 = 0. Let u be ((-2)/3)/(6/f). Is u <= n?
True
Let j = 89 + -93. Which is smaller: -5 or j?
-5
Suppose -j = -5*k + 3*k - 5, -3*j + 8 = k. Which is bigger: k or -20/9?
k
Let r = -4 - -7. Suppose -5*u = 7 + r. Let v be 3/u*(-8)/(-30). Is 0 smaller than v?
False
Let q be (-3)/2 + (-20)/(-8). Which is smaller: 2/33 or q?
2/33
Let r = 80 + -170. Let x = 35 + r. Let i be x/70 - 4/(-14). Which is smaller: -1 or i?
-1
Let f = -612/241 + -411571/1446. Let j = 290 + f. Let c = j + -4/3. Is c at most as big as 3?
True
Suppose 3*j - 5*o + o + 12 = 0, -2*j = 5*o + 8. Let u = j - -1. Which is greater: -4 or u?
u
Let u = -1 + 3. Suppose -5*g + g = 0. Suppose 6 = 3*j - g. Do u and j have different values?
False
Let a be ((-44)/(-42))/((-10)/3). Let y = a + 5/7. Is 1 <= y?
False
Let f be (1 - -147)*16/(-32). Is -74 <= f?
True
Let y = -16.87 + 17. Which is bigger: y or 1?
1
Let i = 98 - 99. Which is smaller: i or -16?
-16
Suppose 14 = 2*p + 5*o, -4*p + 50 = -0*p - o. Suppose 0 = 4*r + 8 - p. Is 0 equal to r?
False
Let k(t) = 3*t - 9. Let x be k(8). Let b be (-479)/x + 2/(-5). Let i = -33 - b. Which is greater: i or -2?
i
Let n be (99 + -5)/(-1 - -2). Let s = -1881/20 + n. Which is greater: 1 or s?
1
Let t = -97.1 + 104. Let q = 10 - 3. Let a = q - t. Which is bigger: a or 2/11?
2/11
Let l be 3 + -10 + (-5)/5. Which is greater: l or -11?
l
Let w be (-8)/363*3/(-14). Let k = -2026/70301 + w. Let g = -91/332 - k. Which is smaller: -1 or g?
-1
Suppose -3*v + 34 = -4*w, -4*v = 2*w - 3*v + 22. Let m = w - -39/4. Let q = -0.11 + 2.11. Is q at least as big as m?
True
Suppose 0*c - 4*p = c - 3, 5*c = -p - 4. Let l = -2 - c. Let o be (l/4)/((-7)/(-4)). Do o and 1 have different values?
True
Suppose -4*f + 3*h = -27, -2*f - 8*h + 3*h = 19. Suppose 12 = -f*s + 7*s. Is s < 2?
False
Suppose 4*f - 3*k - 13 = 31, k = -5*f + 74. Which is bigger: -4/9 or f?
f
Let u = 0.1 - 0. Let l = u - 0.4. Let h be 1/((-1 - 0)*1). Which is smaller: l or h?
h
Let a = 0.29 + 4.71. Which is smaller: -0.2 or a?
-0.2
Let w = 0.5 + -0.5. Let x = 1 + w. Which is smaller: x or -2/5?
-2/5
Let t = -7.9 - -7.7. Let q be (-3 - -2)*-1 - 0. Let j be (q - 5)*(-4)/24. Which is smaller: j or t?
t
Let h = -2 - -5. Let x = -0.05 - 1.95. Let p = x + h. Is p at most as big as -0.3?
False
Let k = -30 + 11. Let o = k - -18. Which is bigger: o or 3/8?
3/8
Let g be (-16 - -14)/((-24)/(-3)). Let c = -0.4 + 0.2. Which is smaller: c or g?
g
Let n be (-1)/4 - 198/(-24). Let j be 4 + (-8)/(n/4). Is j at most as big as 3/13?
True
Let x = 21 + -19. Is 2 at most as big as x?
True
Let v(z) = z**3 - 6*z**2 + z - 5. Let a be v(6). Is a greater than -1/10?
True
Suppose -15 = -5*q - 5. Suppose s - 1 = q*s. Which is smaller: s or -2?
-2
Let c = -23 + 47/2. Suppose 18 = -4*r - 0*o + o, -5*r + 5*o - 30 = 0. Which is bigger: r or c?
c
Let b be 20/21 - (-4)/(-14). Let x be 1 - -5*(-5)/25. Is b > x?
True
Suppose 3*g - 60 = -0*g. Is 21 less than or equal to g?
False
Let m(y) = 2*y**3 + 1. Let c be m(1). Suppose 0 = c*p - 4*f - 20, -2*p - 6 = -3*p + f. Suppose 0 = -h - 3*g + 7 - p, 0 = 5*h - 5*g - 15. Is 3 smaller than h?
False
Let f = -87 - -87.053. Let o = f - -2.047. Let l = o + -2. Is l at least -1?
True
Let m be 4 + (4 - (-82)/(-10)). Does -5 = m?
False
Let a(g) = 4*g**3 + 1. Suppose -3*j - 3 = -0*j. Let r be a(j). Let s = 3 - 4. Which is smaller: r or s?
r
Let t(u) = u**3 + 9*u**2 - 6. Let r be t(-9). Let l(q) = q**3 + 5*q**2 - 5*q + 7. Let n be l(r). Is -1 at most n?
True
Let c(a) = 2*a - 36. Let q be c(17). Is 2/13 at least as big as q?
True
Let m = 175/19 + -37659/95. Let q = m + 386. Which is bigger: q or 0?
0
Let t = 0.2 - 0.1. Suppose -w = -2*w. Let a be (3 - w)/((-15)/10). Which is smaller: a or t?
a
Let t = 25 - 29. Which is smaller: -0.1 or t?
t
Let j(w) = w**3 + 11*w**2 - 13*w - 15. Let q(l) = -l - 7. Let t be q(5). Let n be j(t). Is n > -2?
False
Let a(x) = 4*x - 16. Let u be a(4). Which is smaller: u or 1/7?
u
Let x be (4 + 2 - 2) + 90/(-20). Which is bigger: -59 or x?
x
Let h(g) = 2*g - 13. Let s be h(8). Is s smaller than 5?
True
Suppose 6*d + 3*d = 9. Which is smaller: d or 4/25?
4/25
Let p = -670.53 - -674. Let v = 4.5 - p. Let o = v + -0.03. Which is smaller: o or 2?
o
Let p be -3*3*(-48)/27. Let k be ((-6)/24)/((-146)/p). Which is smaller: 1 or k?
k
Let k be -51*-1*8/36. Let d = -4711 - -70486/15. Let b = k + d. Do b and -1 have the same value?
False
Suppose b - 6 = -b + 4*d, 2*d - 6 = -2*b. Suppose 0 = 2*m + 1 + b. Which is bigger: m or 0?
0
Suppose 2*g = -2*g - 20. Let r be (-12)/10 - 1/g. Suppose 6*n = 2*n - 8. Are r and n unequal?
True
Let o = 8 + -11. Let a = -16 + 14. Is a less than o?
False
Suppose j = 45 - 54. Is j less than -5?
True
Let s = -22.1 - -20.08. Let j = -0.02 - s. Which is bigger: j or 2/7?
j
Suppose 0 = -h - h - 3*p + 9, 4*p - 16 = -4*h. Let v = h + -3. Let w = v - 0. Are w and -3 equal?
False
Suppose -4*x + x = 0. Let z be (-3)/(3/(-14) - x). Let m be ((-35)/z)/((-2)/4). Is m bigger than 5?
False
Let n(a) = a**3 - 3*a**2 + 2. Let i be n(2). Suppose -2*b = -25 + 35. Is i > b?
True
Let n = 3 - -5. Let k be n/(-3)*3/1. Which is greater: k or -9?
k
Let f(w) = 4*w**3 - 5*w**2 + 4*w + 2. Let y be f(