 4*t. Let s = -1648/2047 - -18/23. Does g = s?
False
Let t = -1774 + 8584. Do 6809 and t have the same value?
False
Let h = -107 + -107. Let f = h + 1067/5. Is -1.3 less than or equal to f?
True
Suppose -498*k + 9366905 = 319*k. Are 11465 and k nonequal?
False
Let o be 10/(-10) + 2/(-1) - 821. Are -822 and o nonequal?
True
Let l = 2474539052026 + -44016298906785661445/17787676. Let k = l + -1/15508. Is 1 at least as big as k?
True
Suppose 5*y + 0*y - 25 = -5*d, -d = 5*y - 25. Suppose 4*z + 16 = -4*o, y*z = -5*o + 2*o - 20. Let p be 4/(-6)*6/14. Which is smaller: p or o?
p
Let p = 430/1383 + -6480158/20859789. Is p less than or equal to -1?
False
Suppose -2*a + 5*g - 14 = -0, 0 = -2*a + 4*g - 10. Suppose 3*v = a + 6. Is v at least as big as -9?
True
Let r = 24951/5 - 5015. Suppose 0 = -3*k - 3*o - 60, 5*k + 706 = 5*o + 546. Is r > k?
True
Let r = 6539 + -6528. Is -327 bigger than r?
False
Let w be (-6 - -4) + (0 - -2). Suppose 9*r - 4*r = -m + 5, -4*r = w. Let l be -3 + -5*(m - 6). Which is smaller: -5 or l?
-5
Suppose -5*i = g - 9618 + 1759, 2*g - 15670 = -4*i. Which is smaller: g or 7817?
7817
Let f = 8108.6 - 8109. Which is bigger: -195 or f?
f
Suppose -4*q + 4*i + 12 = 0, -6*i = 2*q - 2*i + 6. Let t = -16 - 58. Let c be 1 - -3 - (-288)/t. Is c not equal to q?
True
Suppose 42 + 3 = -3*y - 3*j, -27 = 2*y + 5*j. Suppose -4*c = -16, -51 = -k + c + 29. Let v = 68 - k. Is y != v?
False
Let k be (-45562)/88 - (13 - 3 - 15/5). Is k bigger than -526?
True
Suppose -30*m + 35*m - 22 = -8*z, m = z + 7. Which is smaller: 59 or m?
m
Let j = -0.2198 - -0.2198. Do 1038/5 and j have the same value?
False
Suppose 3*j = -0*j + j. Let m(x) = -x + 9. Let o be m(6). Let y be o + 42/7 + (j - 1). Which is bigger: 6 or y?
y
Let z = -106 + 118. Suppose -z*p - 5*p = 0. Let w = 3 - 1. Is p greater than w?
False
Let t be (-270)/(-72)*8/(-6). Let o be (-12)/6 + ((-206)/70 - t). Which is greater: o or 1?
1
Let p be (-1)/(-2) + 1265/(-10). Let v = p - -129. Let z be 60/(-21) + 4*v/84. Which is smaller: -4 or z?
-4
Let c = 0.649 - 1.009. Which is bigger: -6/11 or c?
c
Let y = -3.11 + -287.89. Let s = y + 290.9. Is -2/681 smaller than s?
False
Let w = -546 - -389. Let j = -156.038 - w. Let d = -0.062 + j. Is 1/2 >= d?
False
Let m = -335 + 331. Let n be m/22 - (10625/11385)/(-5). Which is bigger: 0 or n?
n
Let n = 265235/11888 + -357/16. Let o = -5637/53813 - -822334318/6997035325. Let c = o + n. Which is bigger: c or 1?
1
Suppose 0 = 5*k - 7*b + 3*b - 28, 14 = 2*k - 3*b. Suppose 11 = h + k*a, 0 = -h - 2*a - 1 + 6. Let f = 155 + -623/4. Which is smaller: f or h?
h
Let n = -2.18 - -0.18. Let u be 33/(-164) + (-121)/(-484). Which is bigger: n or u?
u
Let r be 2/3*21/2. Let c(z) = z + 23. Let u(w) = -w**3 + w**2 + 2*w - 3. Let l be u(3). Let x be c(l). Which is smaller: r or x?
r
Let y(n) = -n**3 + n**2 + 2*n + 1. Let k be y(-1). Let w(h) = 29 + 19*h - 38*h + 23*h. Let f be w(-6). Which is bigger: f or k?
f
Suppose 160*k = 16664 + 9736. Which is bigger: 7 or k?
k
Let s be (6/9)/((-8)/(-2676)). Let x = s + -123. Let v be (-6)/8 - x/(-112). Which is smaller: v or -0.1?
-0.1
Let i = -266 - -277. Suppose 15*h + 26 = i. Which is smaller: -1/264 or h?
h
Let s = -80 + -15. Let u = -527191/5480 + 3/1096. Is u at least as big as s?
False
Let f = 3932 - 3935. Which is smaller: f or 3/80?
f
Let f = -247.5 - -7.5. Let b = f - -240.1. Which is bigger: 8/3 or b?
8/3
Let a be (4/(-1))/(-3 + 57/21). Suppose 5*k + 5*j = 1320, 1341 = -9*k + a*k - 2*j. Is k less than 267?
False
Let b(l) = -9*l**2 - 3*l + 25. Let h(z) = -4*z**2 - z + 12. Let q(u) = 3*b(u) - 7*h(u). Let o be q(-3). Suppose o*d - 1 = 5. Is d smaller than 1?
False
Let m = -1974 + 1975. Is -2/6057 at most as big as m?
True
Suppose 0 = -4*o - o - 3*l + 121, 4*o - 3*l = 86. Let h be (1*(-15)/(-25))/((-3)/(-30)). Let c be (-3)/(h/88)*(-3)/6. Is o greater than c?
True
Let b = -190 - -103. Are -2/5 and b nonequal?
True
Let v(k) = k**2 + 12*k + 12. Let j be v(-11). Let r be j/(2/10*-1). Suppose 2*o - 6 = 4*u, 2*o - 3*o = 5*u + 25. Is r greater than o?
False
Let i be 16 - (-1 + (-24)/6). Suppose i*j = 5*j + 4576. Is j greater than or equal to 287?
False
Suppose 0 = 2*f + u, -2*u - 3*u = -5*f. Suppose 0 = -11*r - f*r + 44. Let h be (-3)/160*(r - (-14)/(-3)). Which is smaller: -1 or h?
-1
Suppose 0 - 2 = 18*s - 2. Is s bigger than -40/47?
True
Let y = 3505 - 5105. Is y at most as big as -1601?
False
Suppose -5*t = -2*k + 47 + 80, 0 = 5*k + 20. Let p = -43 - t. Let q be 125/(-210) - p/(-28). Is q greater than or equal to -2?
True
Let n = 648/299 - 18/23. Let l = 14 - 25/2. Let p = 11/10 - l. Are n and p equal?
False
Suppose -u - 2*f + 4 = 222, -2*u - 3*f - 440 = 0. Are -2478/11 and u nonequal?
True
Let m be (3/(-492))/((-6)/4). Let j = -383278 + 383277. Which is smaller: j or m?
j
Let g(x) = 3*x**2 + 5*x + 2. Let y be g(5). Suppose y = -42*n + 36*n. Which is greater: -22 or n?
n
Let a = 7520 - 7519. Let u be (1 + -10)*(-2)/3. Suppose 8*f - 20 = u*f. Is f less than or equal to a?
False
Suppose 0 = 6*i - 37 + 13. Let c = i + -5. Let b be ((-30)/34 - c)*(11 + -10). Which is smaller: b or -6?
-6
Suppose 29*h - 559 - 1094 = 0. Is h < 70?
True
Let p(m) = m**2 - 46*m - 93. Let y be p(48). Let d be 175/105*(-12)/(-10). Which is greater: d or y?
y
Let h = -6/178623035 + 26529271782363/33581130580. Let t = -790 + h. Is -1 > t?
False
Suppose 0 = 70*c + 15*c + 16223 + 10212. Which is smaller: c or -314?
-314
Suppose -y - 5 = 0, -q + 5*y = -7 - 12. Let v be (100/15 + q)/(4/6). Are -25/7 and v equal?
False
Suppose -11*y - 3585 = 8119. Which is bigger: -1065 or y?
y
Let y(v) = -v**3 - 18*v**2 + 39*v - 21. Suppose -3*a = -7*a - 3*h - 86, a = 4*h - 12. Let c be y(a). Is c greater than 1/58?
False
Let b = 14473 - 14473.75. Is b < -3/22?
True
Suppose w = -3*w - 4*f, 3*w + 5*f = 0. Suppose 12*c - 17*c + 775 = w. Let n = -321/2 + c. Which is smaller: -5 or n?
n
Let o = -158.47 + 1327.47. Are 6 and o non-equal?
True
Suppose 4*s - 223 = 3*a, -7*s + 11*s - 4*a = 228. Let x be 0 - 78/s*1/(-6). Are -26 and x unequal?
True
Let u = 2.05 + -0.05. Suppose 4*n - p - 95 = 0, -2*n - n - 2*p = -74. Let t be (-308)/n - (-4 + (-75)/(-18)). Is u less than t?
False
Let t = 33 - 50. Let g be 6/(-196)*21/12*t. Let a = g + -5/8. Which is greater: 10/9 or a?
10/9
Let y be (-17)/159 + (-4)/(-12). Let h be ((-1)/(53/2))/(945/(-10440)). Let j = h - y. Are -1 and j nonequal?
True
Let d(u) = -4*u**2 + 3*u - 2. Let m be (-938)/(-13) + (-34)/221. Suppose -m + 66 = -2*q. Let k be d(q). Which is greater: k or -30?
k
Let b(g) = -2*g**3 - g**2 + 22*g + 9. Let v be b(-4). Suppose 0 = -23*h + v*h - 30. Which is greater: h or 68?
68
Let h = -462.53 + 465. Let b = -2.6 + h. Let m = b + 0.23. Is m != 9?
True
Suppose -4*o + 6 = 5*q + 4, 5*o + 14 = 2*q. Suppose 4*l + 172 = y - 6*y, 5*l - q*y = -215. Let u = 19 - l. Which is bigger: u or 61?
u
Let s be (32/4*9/24)/(-3). Is s at most -1/31757?
True
Let y = 5077 - 5076. Let w = 82 + 4. Suppose i + c = -21, -5*i - 2*c - w = -i. Which is smaller: y or i?
i
Let d be 1*28 + (4 + 0)/4. Let t = -1.049 + 0.049. Is d smaller than t?
False
Suppose 5*w - k + 656 = 0, 2*w - 5*w + 4*k = 380. Which is smaller: w or -51?
w
Let i = 1 - 1. Suppose -u = -3*j - 3*u - 126, i = -5*u - 15. Suppose 138*w + 1763 = 95*w. Which is smaller: j or w?
w
Suppose q + 26*w - 20 = 31*w, 5*q = -5*w - 80. Which is bigger: q or -195/17?
q
Suppose 32*v - 27*v = -70. Let o be ((-63)/v)/(6/8). Suppose 0*r = -3*r - 5*j - 13, -j - o = 4*r. Which is smaller: r or 5/21?
r
Suppose -10*p - 497 = 203. Let r be p/(-10) - -6*1. Is r at most as big as 13?
True
Suppose 2*c - 3*a = -0*c - 9, 0 = 3*c + 2*a - 19. Let q be 1/c + ((-21)/(-27))/(-7). Which is smaller: 3 or q?
q
Let d(f) = f**3 - 3*f**2 - 32*f + 28. Let r be d(7). Is r less than 4/1923?
True
Let b be -2 - (-5 - (-5 - -5)). Suppose b*p + 3 = -117. Is -41 bigger than p?
False
Let p = -1.26 - -0.96. Let t = 0.3 + p. Let q = 0.2 + -9.2. Are q and t equal?
False
Suppose 3*d + 17 = -19. Suppose -10 = 5*m + 5*l, -l + 6 = 3*m + 4. Suppose -2*v - 2*h = 28, -12*v = -9*v - m*h + 37. Is d <= v?
False
Let h = -138 - 48. Let r = h + 331. Suppose 5*b = -25, -3*d + 4*b - 42 - r = 0. Is -69 < d?
False
Let c = -771/8 + 96. Let v(z) = 10*z + 4 + 3 - 4 - 9*z. 