1368/9061. Do p and j have the same value?
False
Suppose 1611 = -143*o + 134*o. Which is bigger: -174 or o?
-174
Let m(x) = 6*x**2 + 2*x - 23. Let o be m(-7). Let q = 3343/13 - o. Which is bigger: 8 or q?
8
Let r = -15.2 + 15. Are r and 23 equal?
False
Let c = -2.1 + 2.3. Let b = c + -1.3. Which is bigger: b or 0?
0
Let p be 1 + (-5 - (-8 + -2 + 7)). Does -1/646 = p?
False
Let v = 183/43 - 3801/1075. Does v = 2?
False
Let v = -92 - -129. Let b = v - 38. Let x(y) = -y**2 + y + 1. Let c be x(2). Are c and b non-equal?
False
Suppose 3*g + 4 = -8. Let f = g + 20. Does f = 16?
True
Let t = -1 - -1. Let p = -120 - -122. Let m = t - p. Is m <= -2?
True
Let x be 48/(-27)*282/(-752). Let p = 105 - 104.57. Is p smaller than x?
True
Let q = -1676 + 1686.7. Which is smaller: -1 or q?
-1
Let q = -14 - -8. Let p(m) = m**3 - 14*m**2 - 16*m + 9. Suppose -5*w + w = -2*u + 22, 5*u - 4*w = 67. Let o be p(u). Is o >= q?
True
Let n be -1 + (1 - 2) + 0. Suppose 3*s = l - 14, 0*s + 8 = -2*l - 3*s. Suppose -k - 2 = 3*a + 2, 0 = -l*a + 5*k - 31. Are n and a equal?
False
Let h be 104/2*(-65)/52. Does -66 = h?
False
Let d = 576.05 - 576. Are 0.55 and d non-equal?
True
Let n = -7 - -4. Let f be 6 - ((18 - 2) + -6). Is n < f?
False
Let q be -1*(-1)/7 - (-2)/(-63). Let y = -6.2 - -0.3. Let m = y + 6. Which is bigger: m or q?
q
Suppose 0 = -5*h - 4*u + 381, 3*h - 295 + 96 = 5*u. Which is greater: h or 74?
74
Let b(a) = -a**3 - 10*a**2 + 12*a + 5. Suppose 0 = -0*h - 3*h - 4*o - 49, -4*o - 16 = 0. Let r be b(h). Do -6 and r have the same value?
True
Let m = 925 + -926. Is -46/47 at most m?
False
Suppose -3*b = 89 + 10. Let k be -5 + 1 - 121/b. Which is greater: -0.1 or k?
-0.1
Let p(c) = -c**3 + 5*c**2 + c - 3. Let q be p(5). Suppose -3*s + q*s = 0. Let y be 0*(s - 1/(-2)). Does y = -4/11?
False
Let c = -13 + 15. Let l be 2/(-4)*-3*c. Suppose 4 = 2*x + m - 3*m, l*m = -x + 14. Are 5 and x equal?
True
Let m(l) = l + 5. Let p be m(-5). Suppose 2*c = c + 4*k + 2, 3*k + 3 = p. Let t be -1*c*(-2)/16. Is 0 smaller than t?
False
Let q = -2571 - -25743/10. Which is smaller: q or 2?
2
Let f = 38 + -26. Suppose 2*c = -2*c + f. Let q(k) = -k**2 + 3*k - 2. Let y be q(c). Which is bigger: 1 or y?
1
Let g be (-3)/(-4)*(-7 + 76/12). Which is smaller: -2/31 or g?
g
Let p be 3/(2*6/(-8)). Let h(m) = m**2 + 2*m. Let w be h(p). Suppose w = -f - 3*f + 20. Do 7/2 and f have different values?
True
Let x = -17.029 + -0.171. Let o = x - -14. Let n = -3 - o. Are 1/4 and n nonequal?
True
Let x(t) = -195*t + 605. Let d be x(4). Is -175 equal to d?
True
Let u be (-33)/(-9) + (-2)/(-6). Suppose -u*j - 96 = 3*k, -6*k + 3*k = -3*j - 51. Suppose 62*b - 58*b + 64 = -2*o, 0 = 5*o - 5*b + 70. Is j less than o?
True
Let w(r) = 5*r**2 - 12*r - 14. Let l(a) = -9*a**2 + 23*a + 27. Let x(q) = -6*l(q) - 11*w(q). Let g be x(-5). Which is smaller: g or -2?
g
Let m(t) = -21*t**2 - 3*t + 2 + 0 + 22*t**2. Let c be m(2). Is 1/21 <= c?
False
Let w be (-2)/4*(-51 + 51). Which is greater: -6/175 or w?
w
Let t(d) = -d**3 + 17*d**2 + 38*d + 11. Let v be t(19). Which is bigger: 14 or v?
14
Let b be (-9 - -17) + 4/(-2). Suppose -15 = -b*g + 3. Does g = 2?
False
Suppose 2*c = o + 24, 3*o - o + 4*c = -64. Let l = 1349 - 1377. Is l bigger than o?
False
Let j(k) = 4*k - 3 - 1 + k**2 - 5*k + 2*k. Let d be j(-3). Is 3 smaller than d?
False
Let a = -101.156 + 0.156. Is a at most -0.2?
True
Let t = 0.5 + -0.3. Let k = t - 1.2. Let v = 18.29 + -18.79. Is k at most as big as v?
True
Let o be 3/256*6/(-36). Is o at least 1?
False
Let j(o) = 7*o. Let r(h) = -14*h - 1. Let b(t) = 5*j(t) + 2*r(t). Let s be b(1). Suppose 5*v = -4*w - s, -v = w - 1 + 3. Is w at most -3?
True
Let p = 73 - 73. Suppose x - k - 15 = p, 5*x + 4*k - 16 = 50. Which is smaller: 0 or x?
0
Let t = -7/81 - -535/7128. Is 1 != t?
True
Let c = 162 + -161. Which is smaller: c or 2/1533?
2/1533
Let i = -90 - -717/8. Let z = 25 + -22. Let k be 0/z + -1 + 1. Which is bigger: i or k?
k
Let j = -0.9 - -0.6. Let m = -0.339 + -0.071. Let h = 2.59 - m. Is j > h?
False
Let t = 77 + -1468/19. Let i(z) = z**2 + 8*z - 34. Let h be i(3). Which is bigger: h or t?
t
Let k = 0.58 - 0.35. Let l = -0.43 + k. Which is bigger: -8 or l?
l
Let v(x) = x + 1. Let b be v(-1). Let h be ((-198)/(-176))/((-39)/10). Let z = h - -151/884. Is z bigger than b?
False
Let m = -112.56 - -112.5. Are 0.043 and m non-equal?
True
Suppose 2*g + n = 4*n + 1, 3*g + 5*n = -27. Let s(t) = t**3 + 3*t**2 - 2*t + 5. Let j be s(g). Is j smaller than 0.6?
True
Suppose 5 = 2*k + 3*y, 9*y = -k + 4*y + 6. Let b = 50/11 - 1572/341. Is k at most as big as b?
False
Suppose o - 2*o = -2. Suppose o*b - b = -8. Is -7 at least b?
True
Let i be (-10)/(-25) + (-57)/80. Suppose 20*p - 36 = -56. Is i at most p?
False
Let g(z) = 13*z**2 + 11*z + 29. Let i(r) = 3*r**2 + 3*r + 7. Let u(q) = 2*g(q) - 9*i(q). Let s be u(-4). Which is greater: s or -1/3?
-1/3
Let q = -3 + 2. Let x = 6130 + -643648/105. Is x less than q?
False
Let v be 632/28*(1 + -3). Let s = -45 - v. Let l = -33/14 - s. Does -4 = l?
False
Let t(d) = 4*d**3 - d**2 - d + 4. Let w be t(-7). Let i be 6/(-10) - 906/w. Is i equal to 1?
False
Suppose 0 = -15*k + 30*k + 1875. Are k and -126 equal?
False
Let y be 4/(-6) - 73/(-123). Let d(f) = 11*f**2 + 493*f - 89. Let s be d(-45). Do s and y have different values?
True
Let u(d) = -d**3 - 7*d**2 - d + 2. Let l(i) = 2*i + 3*i**2 + 3 - 5*i**2 - i**3 + 7*i**2 - 4*i. Let r be l(5). Let j be u(r). Is 9 < j?
False
Let m = 17 - 17. Suppose -p - 2*r - 2*r - 3 = 0, 4*r + 18 = 2*p. Suppose p*a + 5*x - 15 = 0, 3*a + 0*x + 5*x = 7. Is a less than m?
False
Let n = 289 + -382. Is -3 >= n?
True
Suppose 14*n = -4682 + 146. Is -324 equal to n?
True
Let i = -12359875/168 + 73571. Let l = i + 1/56. Which is smaller: l or -1?
-1
Let g(a) = -63*a + 54. Let x be g(-4). Is x smaller than 308?
True
Let p(j) = 14*j - 68. Let m be p(-8). Which is bigger: -176 or m?
-176
Let k(y) = -y**3 + 15*y**2 - 53*y + 4. Let b be k(8). Suppose 0 = 5*u - 169 + 39. Which is greater: b or u?
b
Let k = 24.8 + -31. Let l = 6 + k. Which is greater: l or 0.1?
0.1
Let y be 7/((-3528)/1984) + (-8)/28. Is y >= -3?
False
Let o = -1567/12190 - 1/530. Is 2/9 at most o?
False
Let u(n) = -n + 9. Let c be 3*16/6 - 2. Let i be u(c). Suppose -i*l + 5*l = 0. Is -2 > l?
False
Suppose -15*o - 144 = -18*o. Suppose -5*k = -k + o. Which is smaller: k or -11?
k
Suppose -8 = -3*o - k, 9*o - 16 = 4*o + k. Let n be ((-76)/(-26) - o)*-2. Is -1 less than or equal to n?
True
Let b = -0.423 - -0.323. Which is smaller: b or 266?
b
Let o(r) = -2*r**2 + r + 6. Let a be o(3). Which is smaller: -8 or a?
a
Let r be (-29 + 28)*1/104. Which is bigger: 0 or r?
0
Let x be ((-3)/2)/(48/(-256)). Which is smaller: -2 or x?
-2
Let f = -4403/12408 - -33/94. Is f greater than or equal to 0?
False
Let a(v) be the second derivative of 1/6*v**3 + 0 + 4*v + 3*v**2. Let z be a(-5). Is z at most -2/13?
False
Let r = 84 - 81. Let u = -9 + 0. Let j = r - u. Is 12 > j?
False
Let g = -2 - -58. Suppose -5*z = -4*o + 96, 5*z - z + 2*o + g = 0. Is 0 smaller than z?
False
Let a = -4607/2 - -14258663/6190. Is a bigger than 1?
False
Suppose -5*a - 9 = -6*a. Let x = 636 - 629. Is a smaller than x?
False
Let s be (-1 + 0)/((-272)/3184) - 2. Is s < 10?
True
Let f = 28 - 23. Suppose -107 = -f*c - 2. Let l = 22 - c. Are -2/93 and l nonequal?
True
Let x be 17 + 24/2*15/(-45). Which is greater: 55/4 or x?
55/4
Let k = -0.013 + 0.003. Do k and -17/2 have the same value?
False
Let f = 25.6 + 5.4. Let v = f - 31.6. Let c = 2/131 - 272/655. Which is bigger: v or c?
c
Let c = -12 - -10. Let r = -44/9 + 131/36. Which is greater: r or c?
r
Let m(l) = -3*l**3 - 7*l**2 + 12*l + 17. Let g be m(-7). Let i = g + -20429/33. Does i = -1?
False
Let v = 13 - 17. Let k be ((-2 + 9)*(-2)/(-7))/(-10). Are v and k non-equal?
True
Suppose 6*h = 2*h - 4. Let b = -22 + 16. Let c be 28/(-21)*b/52. Is h greater than c?
False
Let a = -1 - -1. Let c(s) = s - 13. Let k be c(19). Suppose -3*n + a = k. Which is smaller: n or 3?
n
Suppose 23 = 4*s + 3. Suppose g + 16 = s*g. Let m be (g/(-3))/(60/(-45)). Which is smaller: -6/17 or m?
-6/17
Let s = -0.16 - -0.21. Suppose -a - 2*f - 3 = 0, 0*f - 33 = 5*a + f. Let u(q) = q**2 + 7*q - 2. Let z be u(a). Which is greater: s o