ose -2*u + 4*z + 20 = 0, 0 = -5*u + 2*u - 2*z + 30. Suppose -u*i - 8 = -18*i. Suppose 2*o + 2*o = -4. Which is smaller: o or i?
o
Let m = -1069 - -914. Is -185 greater than or equal to m?
False
Let d = -2027051/55 + 36854. Are -1 and d equal?
False
Suppose 5 = 5*d - 10*d. Let k be d/(-2) - (-11)/2. Let u(c) = -c**2 - 3*c + 13. Let i be u(k). Which is bigger: -42 or i?
i
Let h = 134 + -113. Suppose 0 = -28*i + h*i - 672. Which is greater: i or -95?
-95
Let c be 4*(25 + (-1212)/48). Are c and -2/15665 unequal?
True
Suppose 3*y = 2*p + p - 9, -p - y = -5. Suppose 5*d + 0*d = p*j + 28, 5*d + 2*j = 16. Suppose o - 3*k = -3*o + 57, d*o - 2*k - 54 = 0. Which is bigger: o or 6?
o
Let y be (-126)/(-432)*((-3 - -481) + -1). Which is bigger: y or 140?
140
Let y(i) = 6*i**2 + 47*i - 269. Let n be y(5). Let h = 73 + 44. Is h greater than n?
True
Suppose d + d = 4*d. Suppose 2*o - 52 = -2. Let s be -2 + o/12 + 4/6. Is s less than or equal to d?
False
Suppose 8*n + 10 = 3*n, 0 = q - 5*n + 7824. Let u = -2036843/260 - q. Which is smaller: 1 or u?
u
Let o be (372 + (-2 - 2))*1602/5512. Let w = 1386/13 - o. Is w at least as big as 0?
False
Let a = -12.832 + 12.722. Which is bigger: -1/185 or a?
-1/185
Let k be (22/4)/((-1)/2). Let q(s) = -4*s**3 - 4*s**2 - 6*s - 3. Let u be q(4). Let b be 15/((-1155)/(-14)) + u/33. Is b smaller than k?
False
Let f be ((-7)/(14/(-1)))/((-1)/6). Let v be (-4)/(-16) + 332/16*f. Let p = -1115/18 - v. Which is greater: -1 or p?
p
Let a = -18039.761 - -18043. Which is bigger: a or 0.3?
a
Let y = 48 - 40. Let a(v) = -v**3 + 7*v**2 - 4*v - 3. Let r be a(7). Let j be -3 + r/(-3) + 2/(-6). Is j <= y?
True
Let f(p) = -66*p + 4049. Let l be f(53). Let u(q) = 60*q**2 + 4*q - 2. Let a be u(3). Do a and l have the same value?
False
Suppose 3*x + 3*t + 9 = 0, -5*t + 1 = x + 4. Suppose -5*o + 7*o + 8 = 0, -29 = 3*f + 5*o. Let j be f/7 + 4*x/12. Which is smaller: j or -2?
-2
Suppose 0 = 30*t - 41*t + 1 - 1. Which is bigger: t or -4/1123?
t
Let u = 7744 + -7726.9. Let c be 8/12 + 5/(-3). Is c greater than or equal to u?
False
Let z(b) = -b**2 + 4*b + 2. Let l be z(2). Let g be -18*(-6)/(-9) + l/3. Which is smaller: g or -65/6?
-65/6
Let s = -66 + 93. Let j(x) = 4*x**2 + 36*x + 101. Let y be j(-6). Is y != s?
True
Let j = 5 + -3. Let b(t) = 36*t - 19. Let q be b(-22). Let d = q + 8929/11. Which is smaller: d or j?
d
Let i = -57 - -93. Let z be 6*((-28)/i*-3 + -2). Suppose -z*f + 3 = 1. Is f > 2/125?
True
Let x(u) = -u**3 - 9*u**2 - 8*u - 12. Let o be (-1 - 63/(-14))*-2. Let c be x(o). Does -1 = c?
False
Suppose -26*m + 8 = -30*m + 8*x, m - 3 = -3*x. Is -1/1601 <= m?
True
Let u(t) = -t**3 + 15*t**2 + 89*t + 224. Let c be u(20). Is c equal to 1074?
False
Let w = 0.18985 + -0.08985. Does w = 7709?
False
Suppose -23*k = -16*k - 203. Let c = k - 31. Which is smaller: -90 or c?
-90
Let s(a) = 5*a - 7. Let q(l) = 10*l - 15. Let n(f) = -6*q(f) + 13*s(f). Let o be n(-1). Let g be -12*(4/6)/(4/o). Which is smaller: g or 14?
g
Let o = -5797053014/10411 + 556820. Let v = o + -7974868/72877. Is -110 less than or equal to v?
True
Suppose 2*g = r + 32 - 25, -r = -3. Let t be 6/5*g*46/4. Is 67 at most t?
True
Let w be (-4)/18*63/(-28). Let z = -54 - 2. Let d = -74 - z. Is d < w?
True
Suppose -3*y + 14 = 2*t, -5*t - 419 = 2*y - 410. Suppose 2*q + 0*q + 28 = 0. Which is smaller: t or q?
q
Let w = -230 - -376. Let c be (0 + 8 - 9)*w/(-288). Let z = -1/144 + c. Which is greater: z or -2?
z
Let j = -4 - -4. Let o = -16/365 - -1558/52195. Which is bigger: j or o?
j
Let k = -51836.14 - -52497. Let b = 661 - k. Suppose -u + 4*u = 0. Is u != b?
True
Suppose -264*t + 66 = -242*t. Is 7/4 at most as big as t?
True
Let v = -17806 - -267374/15. Let h be ((-133)/690)/(-19)*-1868. Let g = v + h. Is -1/3 != g?
True
Suppose -4*h - 30 = -4*i + 26, -3*h = -3. Suppose w = 4*j - 15, 3*w + 8 = -j + i. Suppose -y + 7 = w. Which is greater: y or 17/3?
y
Let g = -418 + 471. Suppose 0 = 54*t - g*t, -3*t = 4*x - 880. Is x < 220?
False
Let m = 6572161/2934 - 2240. Are 0 and m unequal?
True
Suppose 5*y - s + 574 - 489 = 0, -s - 51 = 3*y. Which is smaller: -228/13 or y?
-228/13
Suppose 8 = 3*z + 20, 0 = -6*g + 3*z + 3492. Is 580 greater than g?
False
Let i(t) = t**2 - 1. Let f = -39 - -42. Suppose 0 = -f*h - 6 - 3. Let k be i(h). Is k at most 7?
False
Suppose 5 = 8*j - 3*j. Let q be j/(5/40*2). Suppose -3*w = -5*g - w + q, 0 = -g - 5*w - 10. Which is bigger: g or 1/25?
1/25
Let d(r) = -r**2 + 15*r - 12. Let x be d(14). Suppose 63 = x*n + n. Suppose k = -4*m - n, 4*k - 4*m + m = -8. Which is bigger: -8 or k?
k
Suppose 58*r - 88 = 60*r. Let t = -44 - r. Which is smaller: 1/24 or t?
t
Suppose 396 = 4*s + 4*z, 3*s + 0*z = 3*z + 285. Let u be (-84)/196 + (-605)/(-7) - -11. Are u and s equal?
True
Let d be -25 + 26 + (-2 - -1). Which is smaller: 4/16927 or d?
d
Let v(f) = -4*f**3 + 4*f**2 - f - 15. Let g be v(-3). Let b = g + -25. Let m = 123 - b. Which is smaller: m or 20?
m
Let m(w) = -596*w - 897. Let n be m(-3). Is n < 891?
False
Let y = 544 - 541.83. Let h = -2.17 + y. Is h less than or equal to 57?
True
Let x(l) = -73*l**2 + 151*l - 25. Let a be x(15). Is a <= -14185?
True
Let s(n) = 2*n**2 - 26*n + 27. Let v be s(12). Suppose v*g = -9*j + 8*j - 7, 0 = -3*g - 9. Is j smaller than 30/47?
False
Let a be 576/(-672) - (-352190)/(-1218). Let h = 290 + a. Which is bigger: 1 or h?
1
Suppose 4*f = 5*s + 6, 6*s - 11 = 10*s + 3*f. Let g = -142 - -709/5. Which is smaller: g or s?
s
Let t = -9533 - -9535. Are t and 708 nonequal?
True
Suppose 18 = 3*y + 30*s - 33*s, -y - 2*s = 6. Is 2.687 greater than y?
True
Let z(v) = 3*v - 2. Let s be z(5). Suppose 3*b = 3*m - 99, -2*m + 26 = -4*b - 32. Let p = -24 + m. Is p greater than or equal to s?
True
Suppose 5*u + 144 = 9*u. Let c be ((-9)/90)/(1/u). Suppose -y = y - v + 6, 5*y + 29 = -v. Which is smaller: c or y?
y
Suppose -r = -0*x + 4*x - 20, 3*r - 5*x = -25. Is 23/118 bigger than r?
True
Let i = 0.40202 + -0.33502. Which is bigger: 107 or i?
107
Suppose 17*a - 4*a = 1508. Suppose 2*j = 3*i - 215, 2*j + 30 = 2*i - a. Which is greater: 71 or i?
71
Let g(o) = 6*o**2 - 5*o + 1. Let c(f) = 2*f**2 + 34*f + 37. Let t be c(-16). Let u be g(t). Let y = -97 + u. Does y = 30?
False
Let k = 8250 - 9980. Which is smaller: k or -1729?
k
Let n = -32958 + 34098. Which is bigger: n or 4/13?
n
Let a = 83733 - 1925863/23. Suppose -2*k + 1 = 9. Let f be 1/4 - (-5)/k. Which is smaller: f or a?
f
Let y = -2443 + 2406. Which is greater: y or -400/11?
-400/11
Let w = -0.0336 + 8.0336. Let a = 23 + -12. Let t = a - w. Is 3 at most t?
True
Let u(t) = -t**2 - t - 1. Let j(f) = -f**2 + 21*f + 55. Let q(d) = -j(d) + 2*u(d). Let z be q(-20). Let v = 38 + -35. Does v = z?
True
Suppose 0 = x + 4*w + 1093, 4*w + 778 = -3*x - 2461. Are -1077 and x unequal?
True
Suppose -84*c = -218*c - 134. Let u be (-260)/102 - 8/(-12). Which is smaller: c or u?
u
Let l = -1743 + 1516. Is -229 greater than l?
False
Let j = -19689/7 + 2822. Which is greater: 9 or j?
j
Let o = 13/2840 - -591/88040. Which is smaller: o or -1?
-1
Let a(g) = g**2 + g**2 + 1 + 5*g - 3 - 3*g**2. Let b be a(5). Let y be b/6 + (10/(-6))/(-5). Which is greater: y or -9?
y
Let d be 13600/(-476) + 1/7*4. Which is greater: -0.42 or d?
-0.42
Let y = 63125 + -2146087/34. Which is bigger: y or -2/3?
y
Suppose -24*o - 53 - 499 = 0. Let r(z) = 11*z - 10. Let t be r(-5). Let i = t - -41. Is o bigger than i?
True
Let j = -55 - -53. Let b be (j/6)/(4/12). Let g be (-85)/(-100) + b/4. Is g less than or equal to 1?
True
Suppose -656*h + 1320*h - 653*h - 110 = 0. Is h at most as big as 10?
True
Let j be (-6)/(-4) + (-7 - 138989/46). Which is smaller: -3026 or j?
j
Suppose 61*d + 4448 + 10924 = 0. Which is greater: d or -255?
d
Suppose k = -3*t - 302, -k - 19*t - 309 = -23*t. Are k and -306 equal?
False
Let n = 19028 + -19030. Does 5526 = n?
False
Let k = 467 - 466.9. Which is smaller: k or -7253?
-7253
Let z be -3 + 3 + 6/2. Suppose 2*m = 5*x + 302, -x - 5*m - 58 = -z*m. Suppose 84 + 191 = -4*s - 5*g, -g - 307 = 5*s. Is s not equal to x?
False
Let a = 310 - 306. Let b be (9 - 2 - a) + (-868)/14. Suppose -3*r - 62 = 118. Is b <= r?
False
Suppose 0 = -3*c + 2*z + 1, -z + 7 = -4*c - 0*z. Let l = -1442 - -18719/13. Is c at least as big as l?
False