uppose -4*c = -p + w, -p - 2*c + 0*c = 8. Let d = -19/78 + 1/6. Is p equal to d?
False
Let t = 43/5 + -7563/880. Let m = 9 + -8. Is t less than or equal to m?
True
Let n be (-141173)/(-36) - 1 - (-4)/(-16). Let i = -3915 + n. Which is greater: 6 or i?
6
Let m be 3/9*(-408)/(-1). Suppose 4*u - 4*j = 3*u - 16, 6*u - 4*j + m = 0. Which is smaller: -124/5 or u?
-124/5
Let n = 4787 - 4787. Is -6/2207 not equal to n?
True
Let b = -283/56 + 166233/32872. Is 2 at least as big as b?
True
Suppose 294 = -5*m + 304. Suppose 4*w + 2*g = 58, 2*w = -w + 3*g + 21. Let n be 3/w*m + -1. Which is smaller: n or -23?
-23
Suppose 0*z = -21*z + 84. Let m be -45 - ((-44)/z - -3). Let p = 3 + -3.2. Which is greater: p or m?
p
Let a(z) = -z**3 - 27*z**2 - 25*z + 26. Let m be a(-26). Which is bigger: -3/1598 or m?
m
Let o = -6.68 - -6.6462. Which is smaller: -3 or o?
-3
Suppose 3*c + 3 = -0*c. Let f be 8*(-1)/(6/(-3)) - 116. Let a be ((-60)/f)/(((-14)/(-4))/(-7)). Is c at least a?
True
Suppose 23*l = -37*l + 11640. Let r = 194 - l. Is -2/61 not equal to r?
True
Let a(t) = 25*t + 50. Suppose 9*m = -24 + 6. Let y be a(m). Let q be (-36)/(-23)*6/(-9). Which is bigger: y or q?
y
Let z(l) = -l**2 + 12*l - 23. Let y be z(10). Let k be (87/27 + y)/(1 + 1). Let b = 38/3 - 13. Which is bigger: k or b?
k
Let l(n) = -34*n**2 + 18*n - 16. Let p be l(1). Suppose -20 = w + 11. Let f = w - p. Is 2 greater than f?
True
Suppose 20505 = -167*p + 76784. Is 337 at least p?
True
Let q = -696394 - -696407. Let u = -10066 - -90721/9. Which is smaller: q or u?
q
Let q(a) = 2*a + 14. Let z be q(-6). Suppose -p + z*k - 2 + 5 = 0, -2 = k. Let r be p/(-4) + 2/(-8). Is -6/19 greater than or equal to r?
False
Suppose 8 - 2 = 3*t. Suppose 3*n - 4*y + 8 = 0, 12 = -t*n + 5*y - y. Suppose 0 = -2*m + 4, 0 = -4*c + n*m - 8 - 0. Is 4/19 != c?
True
Let n be 14*(-3)/(-12)*2*-4. Let t be 2/n + (-1500)/168. Is t at most 7?
True
Let p(n) = -66*n - 995. Let c be p(-15). Is c bigger than -59/16?
False
Let n be (-6*8/99568)/(6/63). Which is smaller: 0 or n?
n
Let h be 179 - ((-8)/2 - -3). Let w = h + -124. Suppose 0 = 5*b + 4*i - 118, 3*i + 2*i = 3*b - w. Is b not equal to 23?
True
Let l = -20.9 + 184.9. Let w = 164 - l. Is w >= 1/83?
False
Suppose -3*j = -o - 4774, 13*j = 10*j - 2*o + 4762. Which is greater: j or 1592?
1592
Suppose 343*u = 319*u + 288. Is -16 at most as big as u?
True
Let r be (0 - 1)*(40/(-10) - -3). Let b = 650 + -14307/22. Which is smaller: r or b?
b
Let n = -29306 - -28906.5. Which is greater: n or -2?
-2
Suppose -3*s = -2*s + 28. Suppose 65 = 86*x - 88*x + 3*h, -5*x = -6*h + 155. Is x greater than s?
True
Suppose 0 = -5*m - 3*u + 20, 5*m - 3*m - 8 = 5*u. Let h be m + 0 + 68/76 + -5. Is 2 > h?
True
Let i = 6497 + -6333. Is i > 2772/17?
True
Let l = -944.4243 + 1.4243. Is l greater than 5?
False
Let y = 160 - 168. Let p(z) = -z**2 - 5*z + 25. Let h be p(y). Is h smaller than -3/110?
False
Let q be (715/(-70))/(-11) - 9/21. Let z = -79 - -46. Is z less than q?
True
Suppose 7*s = 12*s - 25. Suppose -3*u - 5*d = -19, -s*u + d = 2*d - 39. Which is smaller: 2 or u?
2
Suppose -4*m = -24*n + 22*n + 10270, n = -3*m - 7700. Is -2566 >= m?
True
Suppose -1339 = 4*m + n - 473, 2*m + 438 = 2*n. Let z = -222 - m. Which is smaller: -50/9 or z?
-50/9
Let d = -23168 + 21653. Which is smaller: -1511 or d?
d
Let x(n) = 2*n**3 + 61*n**2 - 33*n - 59. Let y be x(-31). Suppose -b = h + 17 - 2, -2*b + 30 = -y*h. Is h > -5?
False
Let w be 16/(-6) - -2 - 4/(-6). Let s be (-3)/5*-5 - (w - 0). Suppose 4*k + v = s*v + 48, 4*k + 5*v = 48. Which is bigger: 15 or k?
15
Suppose -114810 = 304*m + 67590. Is -14 equal to m?
False
Let a be (2 - 2 - -1)/((-126)/1227). Let r = a - -46/7. Which is greater: 1/2 or r?
1/2
Let c(x) = -x**3 - 11*x**2 - 2*x - 12. Let r be c(-9). Suppose 0 = 53*p - 86*p - 5115. Is r less than or equal to p?
True
Suppose 5*z - 3862 = -v + 1735, 1115 = z - 2*v. Is z less than 1120?
True
Let t = 569 + 11. Let b = t - 730. Which is smaller: b or 0.1?
b
Let o = 494.1 - 490. Let r = o + -4. Is r at most -2/759?
False
Let g = -176/2755 + -6/145. Let b(w) = -w**2 + 8*w + 8. Let p be b(9). Let a be 2 + p - (-2 - -2). Is g > a?
False
Suppose 6*i + 2*i = 240. Suppose -5*q + 0*q = z + 6, -z = -4*q - i. Suppose 0 = -z*r - 52 - 18. Is r at most 0.5?
True
Let g be (-19)/(9 + 8 + 576/(-34)). Is -315 less than g?
False
Suppose 4*k + 3*q + 10 = -13, 5*k - q + 5 = 0. Suppose c + 3 = 7. Suppose -5*g - 3*a = -0 - 23, c*a = 4*g - 12. Which is smaller: k or g?
k
Let a(l) = 331*l + 2993. Let m be a(-12). Is -979 > m?
False
Suppose 47*z = -1458 - 5482 - 4199. Which is smaller: -210 or z?
z
Suppose 0 = -p - 3*r + 393, -82*r + 87*r = -10. Which is bigger: p or 14?
p
Let q be (-7)/(1085/350424) + (-18)/(-10). Is q at most as big as -2259?
True
Let g(f) = 9*f**3 + 270 - 271 - 3*f**3 - 2*f + 29*f**2. Let w be g(-4). Is 87 bigger than w?
False
Let h(l) = -l**3 + 15*l**2 + 23*l - 8. Let w be h(16). Let n = w + -103. Let r = 300 + -8698/29. Which is bigger: r or n?
n
Let v = 271.35 - 273. Let q = 2.65 + v. Let x = 8 - -6. Is q equal to x?
False
Suppose -3*h - 15 = -8*h. Suppose 0 = -28*z + 32*z - 12. Suppose -t - 15 + 5 = -z*s, -s + h = 0. Is -5/4 greater than or equal to t?
False
Let f = -34785 + 34786. Which is greater: f or 13104?
13104
Suppose 2 - 92 = -9*j. Let x(i) = i**2 - 3*i - 30. Let a be x(-5). Are j and a non-equal?
False
Let d be (-5 + 6)*(-1 - -16). Suppose 0 = -6*a + 9*a + d. Let u be 80/1150 + 1/a. Which is bigger: -1 or u?
u
Let q = 4/267 + 10273/9345. Let h = q + -7/5. Which is smaller: h or 0?
h
Suppose 208*q - 14*q + 180928 = 18*q. Which is greater: q or -1030?
q
Let z(k) = 618*k - 4422. Let d be z(-7). Is d <= -8750?
False
Let n(s) = -48*s + 480. Let o be n(10). Do -69.3 and o have different values?
True
Let o be -10*8*(-78)/(-96). Is o greater than or equal to -38?
False
Suppose -89 - 231 = -56*s + 128. Let g = 10 + -5. Suppose -29 = -g*d + 2*b + 7, -d = -b - 6. Is d at least s?
True
Suppose s - c + 32 = 2*s, -3*s = 2*c - 92. Let k = s - 55/2. Suppose 0 = 2*a - z + 4, 12 = 3*z - 0*z. Is a less than k?
True
Let o = -15 - -21. Let n be o/(-32)*-4*4. Suppose 0 = -n*a + 5*f, -25 = 5*a - f - 3. Is a <= -4?
True
Suppose -2*w - 196 = 143 - 119. Do w and -112 have different values?
True
Suppose 13 = l - 46. Let j = 86 + l. Is 145 smaller than j?
False
Let a be 45 + (14 - 15 - -3). Let r = -53 - -100. Is r not equal to a?
False
Let i = -127.9 - -130.9. Which is smaller: i or 0.369?
0.369
Let v = 27877.1593 - 27989.92. Let r = v + 1.6507. Let g = r + 111. Is 0.5 at least g?
True
Let r be 15/(-6) - (-12)/(-8). Let x be ((-3)/12)/(r/16). Let f be (-4)/10 + (-176)/(-415). Does x = f?
False
Let y be (0 - 1/(-2)) + 245/(-70). Let u = y - 3. Let b = 1841/3 + -619. Is b not equal to u?
True
Suppose -4*m + 4*o = 40, -396 = 5*m + 3*o - 458. Let f = -10030 + 170570/17. Which is smaller: f or m?
f
Let c = 11921 - 11953.3. Let x = 1.9 + -2. Which is greater: c or x?
x
Let s be -810 + (-1 - -5) + (-1 - 0). Let h be ((-12)/s)/((-42)/63). Which is smaller: h or 1?
h
Let x(k) = -20*k - 16. Let q be x(-1). Suppose 0 = -3*b + 5*o + 8, q = b + 2*b - o. Which is smaller: -3/101 or b?
-3/101
Let s(n) = n**3 - 5*n**2 + 9*n - 10. Let f be s(3). Let t = -160.2 + 31.2. Which is smaller: t or f?
t
Let o be (-105)/42*(54/15 + -2). Let g be (134/(-201))/(o/(-6)). Which is greater: 2/2065 or g?
2/2065
Let i be -2 + 3 - (-1)/(1/1). Let j be i*86/(-120) + (-1)/(-3). Let z = 272 - 273. Which is bigger: z or j?
z
Let f = 43908.3499 - 43908. Is -1 at least f?
False
Suppose 5*a = -3*o + 34, 14*o = 9*o + 15. Suppose a*s - 7 = -i - 2, -2*s + 29 = -5*i. Which is bigger: -18 or s?
s
Let h(t) = -8*t - 27. Let g be h(-3). Let d = 22 + g. Which is smaller: 18 or d?
18
Suppose -5*r = -t + 87, -8*t + 465 = -3*t + 5*r. Suppose 4*n - 65 = -h, -5*n + t = 3*h - 110. Which is bigger: h or 67?
h
Let r = -27 + -32. Let x = 117 + r. Let d = 62 - x. Is 3/7 != d?
True
Let g be 262/82*-1381 - (53 + -57). Let s = 4409 + g. Is 2 != s?
True
Suppose -167*u = -171*u + 5*t - 14, -t + 2 = -u. Which is greater: u or 107/24?
107/24
Let n = 187 - 2457. Which is smaller: -2272 or n?
-2272
Suppose 304*u - 2104034 = 1730926. Is 12614 at most u?
True
Suppose 1 + 7 = -4*j. Let s = 34301 - 