
Let k = 111 + -110.986. Let p = k + 6.386. Do 0.3 and p have the same value?
False
Let v = -710972151/9835 - -72290. Is -1 at most as big as v?
True
Let k = 0.08 - 4.08. Let y = -347 + 162. Let b = 184.9 + y. Which is smaller: k or b?
k
Let u = -89 + 109.2. Let v = u + -20. Let a be (-16 - -18) + (0 - 7/3). Do v and a have the same value?
False
Let z = 1.16 + -1.16. Suppose m = 2*s - 22, 9 = 3*s - 6. Let v be (1/(-28))/(m/(-16)). Which is bigger: v or z?
z
Let b = 266053/24 - 11081. Let k = 29819/4328 + -8/541. Let o = k - b. Which is greater: 0.2 or o?
o
Let p = -7408 + 7409. Is 1289.1 < p?
False
Let l be (1/(-7))/((-4)/(-16)*-1). Let z = -2.956 - 0.044. Which is bigger: z or l?
l
Let o = 614/9 + -68. Let d = -14 + 9.1. Let n = -4.7 - d. Is n <= o?
True
Let c = -79 - -99. Let s(o) = 2*o**2 - 43*o - 7. Let p be s(c). Which is greater: -68 or p?
p
Let m be 5/(-5) + 47 + 2 + -3. Let x = m + -39. Suppose 3*u - 4 = -4*y, 0 = -7*u + 3*u. Is x bigger than y?
True
Let x = -0.0047 - 0.0953. Is 552 > x?
True
Suppose 15 = 5*a + 3*d, 3*d + 2*d + 31 = a. Suppose -a + 46 = 4*l. Let o be ((-4)/150)/(52/(-260)) - (-148)/15. Is o bigger than l?
False
Suppose 392*b + 264758 = 44*b - 94*b. Which is smaller: -594 or b?
b
Let a = 7557 + -7671. Is -135 less than a?
True
Suppose -3*s + 3415 = -2*w, -s + 1145 = -12*w + 8*w. Is 1138 less than s?
False
Suppose -3*l + 2*l - 125 = 2*p, -150 = 2*p - 4*l. Let z be (-6 - -11)*p/(-25). Is 1 > z?
False
Suppose 5*u = -2*u + 301. Let m = -36 + u. Let x be (-130)/(-63) - (2/m + 0). Which is bigger: 1 or x?
x
Let v = -3778206 - -2677652. Let d be 9/(-6) + 1 + v/660. Let y = d + 1668. Is y smaller than 0?
True
Let h(n) = -20 - 6*n + 8 + 8*n. Let u be h(5). Let i be u/2*4/(-4). Do i and -8 have different values?
True
Let k(o) = o**3 + 16*o**2 + 26*o - 26. Let u be k(-14). Let h be (-5 - -1) + (-784)/u. Let g be 4/(-7) + h/(-154). Does g = 63?
False
Let q = 7950 - 8057. Which is smaller: q or -108?
-108
Let s be -4 + 276/66 - (-6800)/(-11). Does s = -618?
True
Let o be 1126853/66248 - 34/2. Let u(l) = 1 - 1 - l. Let m be u(-1). Is o smaller than m?
True
Let n = 2257 - 20311/9. Which is smaller: n or -0.1389?
-0.1389
Suppose 0 = 3806*l - 3825*l - 1197. Suppose -2*q = -7*q - 305. Is l equal to q?
False
Let i = 23101/21882 + 33/521. Is 0 equal to i?
False
Suppose 9400 + 12992 = -72*l. Is l at least as big as -309?
False
Suppose -36*w - 33946 = 33*w + 28016. Which is bigger: -899 or w?
w
Suppose 0*l - 18 = -3*l - 3*d, 1 = -d. Suppose 4*b + 27 = l*b - 2*c, -5*b = -3*c - 44. Is b greater than 44/7?
True
Let a = -0.343 + 0.068. Let j = -2.725 + a. Is j at most 1?
True
Suppose 1155 - 384 = 5*f - q, -152 = -f - 2*q. Let v = 164 - f. Is 12 >= v?
True
Let c = -3851 - -3656. Which is bigger: -199 or c?
c
Let g be ((-3198)/(-984))/(1/(-140)). Is g bigger than -455?
False
Let t = -4964 + 6787. Which is smaller: t or 1827?
t
Let s = 0.183 + -0.063. Let a = 2.12 - s. Is a at least 85/6?
False
Let w = 879 - 879. Let s = 691/37296 + -3/259. Which is greater: s or w?
s
Suppose -k = -4*z + 3, -z + 2*k = -k + 24. Let f = -24 - -43. Let w = 115/6 - f. Is w less than or equal to z?
True
Let d be (-110)/(-5) - (-4)/(8/4). Suppose -d*m + 2 = 242. Is -8 greater than m?
True
Let c be (-1 - -1 - 1)*0/(-2). Let p = -1585789087639/2079 + 762765294. Let v = -219/11 - p. Is c > v?
False
Let q = -63602/3 + 20528. Let d = q - -672. Let g = -2 - -10. Which is smaller: d or g?
d
Let l = -1242 + 748. Let o = 497 + l. Which is smaller: o or 35?
o
Let s = -5 - -8. Suppose -3*p - 5*u = -s, 4*u - 4 = 2*p + 16. Suppose 28*b + 55*b = b - 328. Are p and b unequal?
False
Let x(o) = -o**3 - o**2 - o - 34. Let s be x(-6). Are 611/4 and s nonequal?
True
Let p = 129.1 - 129.5. Let z = -0.157 - -0.167. Is z bigger than p?
True
Let k(b) be the first derivative of b**3/3 - 3*b**2/2 + 8*b - 28. Let p be k(-4). Which is bigger: 35 or p?
p
Let c be (104/56 - 2) + 104/(-7). Let u be (1*12/c)/(3/20). Let p(t) = t. Let f be p(-5). Is f <= u?
False
Let n = -2144 + 2238. Which is smaller: 97 or n?
n
Suppose -5*i = 4*m - 25, m + 5*i + 13 = 38. Let n = -498/17 + 47361/1615. Let t = n - 53/475. Is t equal to m?
False
Let m = 61 - 60. Let i(w) = -41*w - 4. Let v be i(m). Which is smaller: -47 or v?
-47
Suppose 13 + 8 = 3*b. Suppose -b*t = -16 - 54. Let u be (-8)/10*(-6)/348*t. Is 0 at most as big as u?
True
Let y be 4 + ((-2528)/6 - (-19)/(570/(-20))). Which is bigger: -416 or y?
-416
Let w be (-15)/8793*128/320. Is 0.1 >= w?
True
Suppose 0 = -5*f - 4*z + 10779 - 719, -5*f + z + 10085 = 0. Is 2014 equal to f?
False
Suppose 0 = -2*f + 3 + 1. Let q = -15306 + 15311. Suppose -f*s - 6*s = q*s. Which is bigger: s or -1/72?
s
Suppose 1091 = -43*s + 1435. Which is smaller: s or 93/10?
s
Let p(x) = 1 - 196*x + 111 + 193*x. Let d be p(37). Is -3/128 less than or equal to d?
True
Let x = 32 + -27. Suppose 3*r - x*r - 504 = -4*v, 2*r + 486 = -2*v. Which is bigger: -245 or r?
-245
Let i = 45.3519 + -0.0519. Let d = i + -42.4. Which is smaller: d or 3?
d
Let o = 543/4 - 461/4. Which is smaller: o or 1/2?
1/2
Let a be ((-944)/170805)/(24/20). Does a = -1?
False
Suppose 294 = g - 8*g. Let c be (g/49)/((-1)/154). Let m = c + -133. Is -0.1 greater than m?
True
Suppose -14*t + 10436 + 1254 = 0. Is 835 smaller than t?
False
Let h = -1 - -16. Let u be (-18)/(-2) - (3 - h)/4. Suppose -12*i = -6*i + u. Which is smaller: i or -0.22?
i
Let y = 10.3655 - 10.372. Is y greater than -1?
True
Let f = -2453.0215 + 0.0215. Which is greater: 2/3 or f?
2/3
Let x be 208780/275 - (6/(-33) + 46/11). Is 754 at least as big as x?
False
Suppose 0 = -2*v - 8, 3*v + 7 = p + 1. Let i be 10/15 - 0 - (-10)/p. Is i > -7/22?
False
Let l be (-2)/3*(-1335)/(-30) - -5. Is -0.5 smaller than l?
False
Let w be 32/(-6) - 4/6. Let b = -21531769628592869/63966 + 336612725950. Let o = b - 1/9138. Is w >= o?
True
Suppose -b + 3 = 2. Let m = -662/329 - 1126123/3619. Let j = 314 + m. Which is smaller: b or j?
j
Let c be ((-2)/(-10))/(363348/(-8460) + 43). Which is smaller: 4 or c?
c
Let j be (-25 - 833/(-21)) + 1. Let i be -6*3/((-27)/30). Suppose -3*z = n - 2*n, z = -n + i. Is n at least as big as j?
False
Suppose p + 1 = -0*p. Let d be (-312)/(-6206) - (630/261)/35. Which is bigger: d or p?
d
Let v(h) = -2*h**2 + 8*h + 3. Let j be v(6). Let b be (-15)/2*(j/(-15) + -3). Suppose x + 2*x - b = 0, 174 = -5*d + x. Is -33 at least d?
True
Let w be (-684)/((5/10)/((-6)/(-9))). Let b be (-8)/(w/1098) - 9. Suppose -2*t = -5*k - t + 11, 4*t = k - 6. Is b less than or equal to k?
True
Let x = 1658738/197 + -8420. Suppose -3*g - 2*g - 45 = 0. Let r be 2/8 + g/(-12). Which is smaller: r or x?
x
Suppose -274 = 18*q - 310. Let j be (39/(-78))/(q/(-600)). Is 0 < j?
True
Let r(q) = -q**2 + 54*q + 1363. Let y be r(72). Are y and 671/10 equal?
False
Suppose -3*c + 10 + 11 = 0. Suppose -10*q + 12*q = -5*g + 20, 3*g = 3*q + 12. Suppose 7*b + b - 24 = q. Is c not equal to b?
True
Let i = -5084 + 2621. Which is greater: -2462 or i?
-2462
Let q = 32734 - 32728. Let o be 3 + (-5)/((-105)/(-72)). Which is smaller: q or o?
o
Let v = -82 + 84.02. Let o = 0.02 - v. Let s(h) = -h**2 - 191*h - 6577. Let p be s(-45). Which is greater: p or o?
o
Let n = 17 - 30. Suppose 702 = -51*t + 60*t. Suppose 0 = 27*c + 273 + t. Is n smaller than c?
False
Let o = -78.932 - -2.932. Which is smaller: o or -6?
o
Let b be (66451/(-462))/((-1)/6). Let j = 861 - b. Do j and 95 have the same value?
False
Let f = 507 + -348. Let m = 159 - f. Which is smaller: 5/66 or m?
m
Suppose 2*r - 70 = 8. Suppose 0 = 93*o - 80*o + r. Is o bigger than 2?
False
Suppose 0 = 18*o - 27*o - 63. Let a be 2/7 - (-2)/o. Is a not equal to 1/17?
True
Suppose -3*w - 5*v + 69 = -w, 2*v + 10 = 0. Let y(h) = h**3 + 6*h**2 - 4*h + 3. Let s be y(-6). Let b = s - w. Is -22 <= b?
True
Suppose 3*n - 6*j + 141 = 0, -2*n + 2*j + 15 = 105. Are n and -55 unequal?
True
Let p = 52 - 51.941. Let i(w) = 3971*w - 3965. Let v be i(1). Is p greater than v?
False
Let h = -272 + 216.7. Let s = 10.3 + h. Let u = s - -45. Is u bigger than 9?
False
Let m be (-6930)/99 + 2 + -3 + 1. Let w = 1910 - 7921/4. Which is smaller: m or w?
w
Let x(i) be the second derivative of i**4/12 + 9*i**3/2 - 29*i**2/2 + 3*i + 37. Let q be x(-28). Which is greater