9)/(-4). Is -109 less than or equal to v?
True
Let q be ((-3328566)/(-28209))/((-48)/(-3)). Let l = -2/9403 - q. Does -8 = l?
False
Let w = -362833 - -362855. Let x(i) = 20*i**3 - 29*i**2 - 7*i - 9. Let y(p) = -7*p**3 + 10*p**2 + 2*p + 3. Let b(t) = 6*x(t) + 17*y(t). Let s be b(6). Is s < w?
True
Suppose -3*b + 5 = -8*b. Let q = -51530/13 + 3964. Is q >= b?
True
Let s = 0 - 3. Let c = 98912 + -1483678/15. Are s and c nonequal?
True
Let l = 1 - 1. Let c = 198505/44 + -4510. Let y = 7/4 - c. Which is bigger: y or l?
y
Suppose -2*g = -a - 10, a - 3*a = -3*g + 21. Let i be 8/a*27/(-6). Suppose i*v + 12 = 0, -5 = 3*h + 2*v - 0. Are 4/13 and h equal?
False
Let b = -4270 + 4053. Which is bigger: b or -221?
b
Let o = 168 + -238. Let d be (-22)/o + 66/165. Let t be -2 - (2 - (-8)/(-2)). Which is smaller: d or t?
t
Suppose 9*s - 3*s - 24 = 0. Let y be 4/246*(-4 + (5 - s)). Which is bigger: y or 1?
1
Let k = 6 + -35. Let x(s) = 4*s + 142. Let t(h) = -h - 47. Let b(c) = 7*t(c) + 2*x(c). Let v be b(15). Is v != k?
True
Let z = 22471 + -22474. Which is bigger: z or -6237?
z
Let q = -605 - -605.14. Is q != -1/16?
True
Let k = 1.343 + 0.147. Let t = k - 1.49. Are t and 0.05 unequal?
True
Let q = -3.76 - 29.24. Let k = 32.9 + q. Which is greater: 77/3 or k?
77/3
Let q = 3262 + -368604/113. Suppose 0 = 2*a + 10 + 6. Let z = a + 8. Do q and z have the same value?
False
Let u be (-442689)/8073*-2*1. Let s = u + -329/3. Which is bigger: 1 or s?
1
Let w = -0.0696 - 63.7304. Let n = -64.1 - w. Is 0.61 smaller than n?
False
Let a(o) = o + 4. Let i be a(-2). Suppose 3*g - i*h = 2, 0*g + 5*h = 5*g. Let f be ((-2)/((-132)/g))/(-1). Which is greater: 2 or f?
2
Let u = -14695.9589 - -14696. Are u and 1/6 non-equal?
True
Suppose -2*x = 58 - 10. Let g = x + 33. Let t = 1259.5 - 1260. Which is smaller: g or t?
t
Let t(z) = -z + 19. Let w be t(10). Let g(u) = 17*u - 141. Let l be g(w). Do 7 and l have the same value?
False
Let i = -61848 - -21560. Let w be i/12*8/(-12). Let h = w - 2232. Does 5 = h?
False
Let v = -19 + 24. Suppose 2*d + 11 = -0*m - v*m, -15 = 3*m - 3*d. Is m equal to -11/6?
False
Let k = -24/107 + 20/107. Let s = 661031951/759182334 - -1/1182527. Let f = s + k. Which is bigger: f or 0?
f
Let y(r) be the third derivative of -r**5/60 + r**4/2 - 55*r**3/3 - 282*r**2. Let f be y(12). Do f and -111 have the same value?
False
Let g = 275.6 - -111. Let x = g - 392. Which is smaller: -2/7 or x?
x
Let h be ((-30)/(-56))/(3/8). Let q(d) = -d**2 + 13*d + 2. Suppose 4*j + 15 - 67 = 0. Let g be q(j). Is h greater than or equal to g?
False
Let f = 364 + -391. Let c(k) = k - 34. Let h be c(10). Is h < f?
False
Let g = -0.2818 - 34.7182. Let o = 35.7 + -36. Which is smaller: o or g?
g
Let q = -5.24 + 5.7. Let u = q - 0.08. Let w = 27.62 + u. Which is smaller: -0.2 or w?
-0.2
Suppose 207 = -u - 2*u. Let f = -61 - u. Let c be (-3)/(-4)*f/15. Is c at most as big as 0.047?
False
Let d be (-4134)/(-53)*2/2. Let y(r) = -14*r + 2. Let f be y(4). Let v = d + f. Is 25 != v?
True
Suppose -423*h = -156*h + 1201233. Which is smaller: h or -4497?
h
Let a(r) = r**3 - 12*r**2 + r - 8. Let c be a(12). Let u be (-1 + 64/70)/((-6)/c). Which is smaller: u or 1?
u
Suppose -24*v + 59*v - 38325 = 0. Are v and 1090 non-equal?
True
Suppose 0 = 1004*g - 1024*g + 12220. Which is smaller: g or 613?
g
Let u be (2 - (-1112)/10)/((-7)/70). Let k = -11319/10 - u. Let w = -767/7 + 110. Which is smaller: k or w?
k
Let z = 321 + -326. Let q be 2/(-18) + z/(-90)*2. Is q equal to 1/437?
False
Let v(y) = 93*y - 14. Let m be v(6). Let q be m/(-78) + 4 + 4. Let i = 22/13 - q. Which is smaller: i or 1/6?
1/6
Suppose 2*c - g = -1 - 1, -2*c - 3*g = -14. Let x be 27939/(-19) - -1 - (-310 + 305). Let i = x + 1465. Which is bigger: c or i?
c
Let y be -10*(6/(-2) - 15/(-6)). Suppose y*n = 10, -2*n = g - 2*g - 8. Let q be g/6*(-18)/(-12). Are q and 1/24 non-equal?
True
Let o = -2529 - -2836. Is o greater than -4?
True
Let d = 873238/10955 + -3612/313. Let z = d + -417/7. Is 8 smaller than z?
True
Let s(g) = -g**2 - 21*g - 5. Let z be s(-18). Let r be -4 + z/14 + (-9)/(-6). Which is greater: -0.097 or r?
r
Suppose 5*u = 2*u + 6. Let q be -3*111/(-171) - u. Let j be -1*((-3)/12)/(11/(-44)). Is j less than q?
True
Let b = 2286 - 4252. Is b greater than -1?
False
Let p = 14 - 4. Let d(k) = -k**3 + 10*k**2 - 2*k + 5. Let r be d(p). Let n(i) = -19*i - 71. Let w be n(-3). Which is bigger: w or r?
w
Let w(a) = 6*a**3 - 2*a - 1. Let x be w(-1). Let p = 4 + x. Let i be (0/(-1))/(2/p). Which is bigger: 56 or i?
56
Let k be (-6 - 77/(-14))/((-22)/32). Let w = 3.22 - 0.22. Which is smaller: w or k?
k
Let u = -2/17 + -13/34. Let f(w) = -63 - 70 + 2*w + 131. Let x be f(0). Is x smaller than u?
True
Let s = 0.7 - -0.3. Let b = 3.216 + -2.66. Let a = b + -0.176. Is s greater than or equal to a?
True
Let j = 7101 - 7170. Is -69 at least as big as j?
True
Suppose -28*b + 11*b = -1360. Suppose -3*x + 3*k - 43 - b = 0, 5*x + 200 = 4*k. Which is smaller: -37 or x?
-37
Suppose -54*m = 107*m + 93702. Are -590 and m equal?
False
Let r(g) = 10*g**3 - 8*g**2 + 46*g - 214. Let q be r(4). Is q smaller than 493?
True
Let h(f) = 3*f**2 + 8*f + 10. Let k be h(-2). Let b(u) = 2*u + 3. Let t be b(k). Is 15 at least t?
True
Let n = -0.312 + 0.123. Let t = -62.811 + n. Is t smaller than 0?
True
Let z = -36.3 + 83.57. Let j = z - 8.27. Is j at least 0.04?
True
Let m = 578/13 - 183895/4134. Is m less than 0?
True
Let n = 188 + -180. Let x = n + -14. Is -6 > x?
False
Let i = 4.06931 + -0.06931. Is i < 0.0426?
False
Let s = 0.4619 - -0.3881. Which is smaller: s or 16?
s
Let f be (-16)/44 + (-760)/88 - 7. Let q(i) = -i**2 + 6*i - 6. Let c be q(7). Are c and f nonequal?
True
Let k(p) = -p**2 - 48*p + 799. Let b be k(-61). Let j = 8 + 22. Is b at most as big as j?
True
Suppose -3*t = 4*v - 47, -2*v - 4*t + 48 = 2*v. Suppose -v*w = 222 + 163. Is -37 less than or equal to w?
True
Let d(b) = -b**2 - 33*b + 11. Let v be d(-38). Let x = 110 - 288. Which is smaller: v or x?
v
Suppose 10*y = 3*z - 11 - 24, -y - 17 = -3*z. Let o = 31 + -17. Is o at most y?
False
Let y(p) = -2*p**3 - 4*p**2 + 9*p + 13. Suppose -8*m = 77 - 29. Let l be y(m). Which is bigger: 246 or l?
l
Let n be (-2967 - 1)*(-1064)/(-304). Which is bigger: -20775/2 or n?
-20775/2
Let j(x) = 2*x**2 + 27*x + 2. Let w = -25 + 11. Let o be j(w). Suppose 3*h - o = -1. Which is greater: h or 14/3?
h
Let a = 18614 + -17825. Is 10260/13 > a?
True
Let d = -3066670/43281 - 14/6183. Is -71 less than d?
True
Let h = -7588 + 7587. Is h at least as big as 34?
False
Let f = -67 - -24. Let r = f + -17. Let t = r + 43. Which is greater: -16 or t?
-16
Suppose 34*i - 4 = 32*i. Suppose i*x - 3 = 3. Is -1 less than or equal to x?
True
Let w = 12 + 20. Let t = -57 + w. Let u = -25.07 - t. Which is greater: -0.2 or u?
u
Let a = -207 + 223. Suppose 22 = 2*m + 5*q, -4*q - a = -2*m - 6*q. Which is greater: m or 16/3?
m
Let u = -61 - -68. Suppose -19 = 2*z - l, 4*l = z + z + 4. Let g = u - z. Which is smaller: g or 20?
g
Let n be -298 - (-3 - -2 - 3). Let v = -302 - n. Is 0.1 at least v?
True
Let u be 4/10 - (-152)/(-5). Let x be 138/4899 + (-4122)/142. Which is smaller: x or u?
u
Let h = 0.04786 - 1.04786. Are -11/117 and h nonequal?
True
Suppose 5*k - n = -6921, 0 = 3*n - 23 + 35. Is k at least as big as -1385?
True
Let r(b) = 10*b + 1145. Let s be r(-64). Do s and 4 have the same value?
False
Suppose 0 = -73*l + 71*l - 2. Let y be (-24)/(-28) + (-6680)/7630. Is y >= l?
True
Let c = -1863489 + 39133269041/21000. Let x = -1/250 - c. Is x equal to 0?
False
Let d be (-2916)/(-270)*(30/20 + (-151)/102). Let u(g) = g + 4. Let a be u(-5). Is a > d?
False
Let d = -1990 - -1957. Which is smaller: d or -7/5?
d
Let x(p) = p**2 - p - 26. Suppose 0 = 17*d - 13*d. Let w be x(d). Let n = w + 20. Which is smaller: n or -3?
n
Let c = 1037/492 + -25/12. Suppose 13*k - 6 = 10*k. Suppose 3 = -3*a, 4*x = a + k - 1. Which is smaller: x or c?
x
Let n = -508/9 + 2041/36. Which is smaller: n or -3/184?
-3/184
Let s be (8/3)/(7/(-21)). Let b be s*3/36*2. Let m = 2.711 + -2.711. Is m != b?
True
Let q = -4223 + 4202. Which is smaller: q or 7.4?
q
Let o be 6/9 - 7/(-3). Suppose -b = o*b + 28. Let a be -1 - (-22)/77*-21. Is b less than a?
False
Suppose 2