 = -6*r - 7. Let w be m(-7). Which is smaller: w or t?
t
Suppose -71390 = -82*i + 104*i. Is i not equal to -3246?
True
Suppose -5*o = 0, -3*o = 3*z - 2*o - 363. Suppose 3*j + z - 43 = 0. Are 2/5 and j equal?
False
Let k(v) = 4*v**2 - 17*v - 15. Let p be k(5). Is p not equal to 44/159?
True
Let x = 12327.8 - 12328. Are x and 763 unequal?
True
Let x(s) = -s**3 - 6*s**2 + 5*s + 39. Let o be x(-6). Suppose -28*n = -o - 19. Let i = -35068/89 + 394. Which is smaller: n or i?
i
Suppose -c + 12 = -9. Suppose 0 = -2*w + 19 + c. Let t = 26 - w. Is t at most as big as 0?
False
Suppose -9*a + 0 = 9. Let m(b) = -13*b. Let u be m(a). Let r = u - 13. Which is bigger: 13/4 or r?
13/4
Suppose -134*x + 136*x = 0. Let z be ((-6)/(-43))/(20/(-10)). Which is smaller: x or z?
z
Let v(m) = m**3 - 2*m**2 - 3*m - 7. Let k be ((84/(-8))/7)/(1/(-2)). Let u be v(k). Let n be (1 - -2) + 105/(-33). Is u > n?
False
Let b be (-42)/(-4)*36/(-42). Is b >= -34?
True
Let c be (4 + (-2541)/636)/(-5 + 430/85). Is 1 <= c?
False
Let z = 31432 - 3928963/125. Which is bigger: 0 or z?
z
Let b = 6924.9 - 7378. Let h = 453 + b. Is -139 at least as big as h?
False
Let n = -5564 + 2314625/416. Suppose -2*b = 2*w + 10, -7 - 9 = 4*w. Is n <= b?
False
Suppose 9 = -a - 4*k - 6, -3*a - 4*k = 13. Let r = -3771 + 33938/9. Which is smaller: a or r?
r
Let g = 51821/69 - 751. Suppose 5*t - 30*o + 27*o = 15, 2*o = -10. Which is bigger: g or t?
g
Let d = 34.5 - 23.5. Let y = d + 6. Which is bigger: y or 3?
y
Let c = -118 + 313. Let j = c - 182. Which is smaller: j or -0.1?
-0.1
Suppose 15*g - 35*g = -48*g + 2996. Which is smaller: g or 134?
g
Let p = 11 + -6. Suppose -n + 4635 = -6*n - p*h, 4*n - h + 3683 = 0. Let m = n + 61773/67. Is m less than 1?
True
Suppose -2*w = 3*j + 84, 39*j - 35*j + 129 = -3*w. Which is greater: 10 or w?
10
Let k = -3766.0471 + 3766. Is -1 less than or equal to k?
True
Let i(r) = 189*r + 986. Let p be i(98). Does p = 1?
False
Let z be 6/(-21) + 8/7*-5. Let u(h) = -h**2 - 4*h + 5. Let t be u(z). Is -3 > t?
True
Let z be 4/(-24)*4 + 28/42. Is -2/4047 less than z?
True
Let x = 28368096646 + -2808261360526/99. Let y = x + -1820248. Let d = y - 268/9. Which is greater: d or 1?
1
Let c(s) = -s - 14. Let z be c(-13). Let v be 4 - (2 + -1 + z). Let a = 1.202 - 0.802. Is a > v?
False
Let c(r) = 5*r - 32. Let g(z) = -2*z - 25. Let v be g(-16). Let l be c(v). Which is smaller: l or 1?
1
Suppose -316 = -2*n - 4*s, -s + 36 = 3*n - 448. Is 11 smaller than n?
True
Let a = -18163.06 - -18163. Let v = 92 - 66. Which is bigger: a or v?
v
Let r = 54 + -556. Let a be ((-100)/(-75))/((-8)/3018). Is a greater than r?
False
Let t be (1/(-371))/((-650)/91). Is t at most 1?
True
Let i(a) = 12*a - 181. Let r be i(16). Suppose -r*w - 8 = -3*w. Let b = -47 + 33. Which is bigger: b or w?
w
Let m = 18297.999 - 18311. Let t = -0.001 - m. Let b = -13 + t. Is -2/15 bigger than b?
False
Let j be (-76)/646 + (-66432)/34. Let a be 5*(j/(-325) + -6). Are a and -1 equal?
False
Let n = -752 + 1215. Let y = -6943/15 + n. Is y greater than 3/29?
True
Let z = 0.13 - -71.87. Let y = -175 + z. Which is bigger: 1 or y?
1
Let a = -53 + 53.2. Let k be 8/309*(-12)/16. Which is greater: a or k?
a
Let v = -286 - -290. Let g be (-2)/(v - 2 - 1). Is -2 smaller than g?
False
Let z be (-5)/615*-1*(-1971)/806. Let h be ((-4)/(-492))/((-26)/(-12)). Let r = z + h. Which is greater: r or -1?
r
Suppose -47*z + 52*z = -4*x + 7219, -4*z = -x - 5792. Which is smaller: 1443 or z?
1443
Let h = -12 - -17. Let f = 211 + -219. Let t be (-70)/f - (-27)/(-36). Are h and t equal?
False
Suppose 2*g = 2*n + 18, g + 25*n - 30*n + 15 = 0. Are g and 268/17 unequal?
True
Let q(j) = 6*j**2 - 7*j + 7. Let f be q(2). Suppose -f = -g - 85. Which is smaller: -69 or g?
-69
Suppose -15 = 114*z - 117*z. Let y be 6 + ((z - -4)/3 - 2). Let f(a) = a**2 + a + 11. Let r be f(0). Which is smaller: r or y?
y
Let m be ((-1)/3)/((-4)/24). Let r = 68875/3091 + -156/281. Let a = r - 22. Which is smaller: a or m?
a
Let p = -5101 + 5095. Is p greater than or equal to 509?
False
Let m be 8 + 839260/(-209810) + -7 + 4 + -1. Which is smaller: m or 0?
m
Let m be (-60)/10*(-107)/3. Let z = m - 201. Which is bigger: 11 or z?
z
Let n(c) = 38*c**2 + c + 4. Let j be n(3). Suppose 5 = 4*y + 1, j = -5*t - y. Let k be (-1)/(8/571) - 30/(-80). Which is smaller: k or t?
k
Let u(f) = f**3 + 26*f**2 + 113*f + 42. Let g be u(-20). Is 184 equal to g?
False
Let c be (-40)/16 + 2/4 - -3. Let w = 100/10637 + -5117675/6924687. Let y = 16/21 + w. Is c bigger than y?
True
Let o be 36/12 + ((-65)/(-10))/((-53)/138). Does o = -13?
False
Let a be -8 + (-6)/16 + (-38657)/232. Which is smaller: -1912/11 or a?
a
Let c = -2 - -2. Suppose c = -6*u - 0 + 36. Let d be 4/(-6)*(-8)/((-32)/u). Which is greater: 1/164 or d?
1/164
Let i(k) = -24*k**3 - k**2 + 2*k + 8. Let j be i(-2). Suppose x - 4*c + 29 + 40 = 0, 0 = -3*x - 3*c - j. Is x < -65?
False
Let x be 2/(-18)*(-59 - (-3280)/56). Let u(p) be the third derivative of p**6/120 - p**4/24 + p**3/6 - p**2. Let m be u(0). Which is bigger: x or m?
m
Let w(i) = 3*i - 6. Let y be w(5). Suppose -y*z = -6*z + 18. Let r be (-236)/(-814) + z/33. Is 0 > r?
False
Let l(x) = -124*x**2 + 6*x - 4. Let w be l(1). Let s be -1 + -1 - ((w - -6) + 6). Suppose -c + 107 = s. Which is smaller: -2 or c?
-2
Suppose -24*v = -118 - 146. Let d(i) = i**2 - 6*i + 2. Let y be d(7). Suppose 3*m = 2*m + y. Is v less than or equal to m?
False
Let h be 3/(-2) - -1 - (-2160)/96. Let r be (22 - h)/(3 + 0). Is -5/14 at most as big as r?
True
Let n be (-4)/5 + 3/(-15). Let w be -5 + n/(-4*4/(-32)). Let m be (w/3)/(2/(30/(-5))). Which is smaller: m or 5?
5
Let b = -233 - -233. Let n = -2/581 + -2106/63329. Do b and n have the same value?
False
Let z(c) = c**3 - 15*c**2 + 34*c - 166. Let m be z(14). Is m at most 119?
True
Let a = -3597 - -3539. Which is greater: -52 or a?
-52
Let v = 6783.4 - 6783. Which is bigger: v or 12?
12
Let z = -3398.2 + 3375.2. Let l = -13 - 2. Is l < z?
False
Let i = 8037 - 6797. Which is smaller: 1245 or i?
i
Suppose -3*j - 5 = -t, 0*t - j - 9 = -4*t. Let f = 277 - 685. Let i be (f/32 + (-3)/(-4))/(-10). Which is smaller: i or t?
i
Let g = 0.423 - -289.577. Let j = g - 291. Is j smaller than -1/300?
True
Suppose 3*j = 2*j. Let p be 281534/(-475365) - (-4)/((-40)/(-6)). Which is smaller: j or p?
j
Let g be 2/(-7) + 23 + 61467/(-3185). Which is bigger: g or 2?
g
Suppose -4*k + b = 6*b - 18, 0 = 5*b + 10. Let y be (1*76/(-12))/(-8 + k). Are y and 7 nonequal?
True
Let x be 246/230 + 344/(-1720). Do x and 2 have the same value?
False
Let c be ((-2)/4)/((-2)/(-4)). Suppose 5*d - d - 220 = 0. Let w be (-3)/(-5) + (297/d)/(-9). Which is bigger: c or w?
w
Suppose 26 = -25*r - 8 - 16. Is -111/56 at least as big as r?
True
Let w be 2/(-8)*4 + (0 - -11). Let a be (6 - w) + 9 - 5. Which is bigger: 85 or a?
85
Suppose 7*r + 4 - 88 = 0. Let o be 3 + -5 + 20 + (r - 12). Is 12 > o?
False
Let k(c) = -c**3 + 5*c**2 + 17*c - 21. Let r(m) = -2*m**3 + 12*m**2 + 33*m - 41. Let d(q) = -5*k(q) + 3*r(q). Let l be d(12). Is 53/9 < l?
True
Let i = 10727 - 10749. Is i at most as big as -183?
False
Let m(r) = r**2 - 143*r + 1309. Let d be m(126). Which is greater: d or -830?
-830
Let v(l) be the second derivative of 31*l + 2*l**2 + 2/3*l**3 + 0*l**4 - 1/20*l**5 + 0. Let u be v(-4). Which is greater: u or 53?
53
Let r be (-9184)/102 + 390/9945. Is -14 less than r?
False
Let t = 588/11 + -2944/55. Suppose -2*l - 16 = 2*z, 5*l - 3*z - 65 = -49. Is t equal to l?
False
Suppose -2*a - 1666 + 1664 = 0, -d + 5*a - 1245 = 0. Is -4 <= d?
False
Suppose -5 = 2*j - 7*j. Let x = 1/385175 - 47266551/29273300. Let w = -30/19 - x. Which is smaller: j or w?
w
Suppose 4*w - 14 = -2*g, -5*g = -6 + 1. Suppose -5*c + 4*c - 2*n = -9, -5*c - 30 = -5*n. Let m be 362*c/(-910) - w/7. Is m bigger than 0?
False
Let j = 2341 - 2341. Is 3/1165 not equal to j?
True
Suppose 3*c - 12 = c + 4*z, -3*z = 9. Let t be 4/(-138)*-92*(-3)/(-226). Which is smaller: t or c?
c
Let i = -514 - -2055/4. Let c = 8.6 - 3.3. Which is bigger: c or i?
c
Let d be -2 + 3 - 51/33. Let r = -92 + 92. Which is bigger: d or r?
r
Suppose 2*y - 80 = -42. Let b be y/(-76) + 10/16. Which is smaller: 8 or b?
b
Let w = -77 - -4696/61. Let a = -75/854 - w. I