). Let z be c/22*30*(-4)/(-10). Suppose -5*a - 5*l = 60, -2*l = a - 3*a - 4. Is z at most a?
False
Suppose 2*v = -t + 7, -3 = t + 46*v - 49*v. Which is greater: t or -1406?
t
Let f = -805 + 797. Suppose -3*t = 2*t - 10. Let d be -2 + t + (-4)/(-36). Which is bigger: d or f?
d
Let u = -1139 + 1141. Which is greater: -1.309 or u?
u
Let u = 436 + -495.5. Let h = u + 57.9. Is -2 not equal to h?
True
Let k = 707 + -697. Suppose -8*g + 12*g = 4*f - 2012, 0 = 2*f + k. Which is smaller: -507 or g?
g
Let k be 2/(-13) + ((-4)/10 - 1625008/455). Is -3572 >= k?
True
Let p = 4480 + -4471. Which is smaller: -14 or p?
-14
Let y be (126/318)/3*(-64)/(-112). Let r = -1 + 1. Is r <= y?
True
Let n = -1901 - -2748. Which is greater: n or 850?
850
Let c(g) = 4*g**3 + 2*g - 4. Let h be c(-4). Let s = -5309 - -5041. Is s greater than or equal to h?
True
Suppose -2*n = -2*p - 0*n + 44, -p + 26 = -2*n. Let x = 14 + -3. Let v = -10 + x. Which is bigger: p or v?
p
Suppose 833 = 2*j + 3*j - o, -3*j + 5*o = -535. Let z be ((-332)/(-10))/((-2)/(-10)). Is z smaller than j?
False
Let t(u) = 2*u**2 - u + 2. Let c be t(3). Suppose 78 = -2*q - 2*d, -3*d + 64 = -4*q - 71. Let n be 280/(-80)*q/7. Which is greater: n or c?
n
Suppose -172*i = -186*i + 98069 - 319185. Is -15793 <= i?
False
Let c = -21879 - -21848. Does c = -0.84?
False
Let u be 0 + (-2)/(-1) + -2. Let f(i) = -48*i - 12. Let l be f(12). Let n = 6460/11 + l. Is n less than or equal to u?
True
Let p(f) = 4*f - 24. Let z be p(8). Suppose 0 = 4*h - 20 + z. Suppose 3*o = h*t - 9, 0 = 2*o + t + 15. Is -5 smaller than o?
False
Let i(m) = m**2 - 22*m + 26. Suppose 0 = -16*v + 22*v - 126. Let d be i(v). Let g = 21/167 - -7493/1503. Which is smaller: g or d?
d
Let g = -22477 + 22421. Which is smaller: g or -3/37?
g
Let v be 130/15 + -7 - 1/(-3). Suppose 0 = -v*c + 5*o + 1, 3*c - 4*o - 5 = -0. Which is smaller: c or 38?
c
Suppose -3*a - 208 = -5*d, 0 = 4*d - 5*a - 213 + 57. Let c = 181730 - 181683. Is c at least d?
True
Let w(p) = 13*p + 6. Let j be w(2). Suppose 3*q - 32 = -5*t + j, -3*q = -2*t + 13. Let u = 56 - 48. Which is greater: u or t?
t
Suppose v + 0*d + 3*d - 3 = 0, 2*d - 2 = -4*v. Let c be (-3 - v)/(-9)*-87. Which is smaller: c or -28?
c
Let u = 38.2 + -38.4. Let q be (-6)/30 + 11/5. Suppose -b + 1 = v + q, -2*v = -5*b + 2. Which is bigger: u or v?
u
Suppose 0 = -3*v - 4*o - 451, 7*v + 296 = 5*v + 2*o. Let y = 150 + v. Which is bigger: -2/163 or y?
y
Let b = 2659 + -2663. Is -0.51 at least b?
True
Let s(v) = -2*v**3 + 48*v**2 - v. Let g be s(24). Let n be (31/(-4))/((-3)/g). Is -63 greater than n?
False
Suppose 5*q + 0*g = -g + 17, -2*q = -3*g. Suppose -9*l - b = -12*l - q, -15 = -5*l - 5*b. Does l = 1/111?
False
Let s(y) = 8*y**2 - y - 46. Let z be s(7). Let d = z + -980/3. Is 13 smaller than d?
False
Let k = 17130.1 + -17130. Are -4.93 and k nonequal?
True
Let g be (-88)/182 + 2/(-7). Let u = 1422 - 1423. Which is bigger: g or u?
g
Let u be 50/18*16/20. Let p be (2 - (-19)/(-9))/(7/(-21)). Which is smaller: u or p?
p
Let p = -4628 - -4627.16. Which is smaller: p or -1/12?
p
Let k be 20748/(-95)*(-35)/133. Is 57 < k?
True
Let s be (-26)/143 - (-96510)/(-22). Let h = -21762/5 - s. Which is smaller: h or 36?
h
Let q = -31363 - -27187. Is -4176 equal to q?
True
Let q = 42.91 - 0.91. Let t = 0.041 - 49.041. Let p = q + t. Which is bigger: 0 or p?
0
Let p(q) = 4*q**2 - 7*q + 10. Let b be p(3). Let v be b/(-36)*6*(-4)/(-16). Is 0 equal to v?
False
Suppose 12*i = -2443 + 10471. Let p = i - 666. Which is greater: p or 1/17?
p
Let k = -460 - -465. Let r be -1*144/(-40)*k. Which is smaller: 14 or r?
14
Let i(y) = -4*y - 71. Let l(q) = 8*q - 90. Let a be l(10). Let c be i(a). Which is greater: c or 0?
0
Let i(z) = z**3 - 4*z**2 - 6*z + 4. Suppose 11*r + 108 = 2*r. Let w(m) = m**3 + 11*m**2 - 13*m - 7. Let l be w(r). Let g be i(l). Is g < 5?
True
Suppose 2*h = -4*g - 0*h - 212, -3*h + 192 = -4*g. Let y = 20 + g. Let z be -18 - (-6)/(78/(-169)). Is z greater than y?
False
Suppose -5*b = 4*q - 1439, -275*b = 3*q - 270*b - 1073. Is q > -3/5?
True
Let y be (6/18)/(2/36). Suppose f - y = -f. Let c(r) = 8*r**3 - 165*r**2 - 59*r - 69. Let p be c(21). Which is greater: f or p?
p
Suppose -r = -u + 9, -3*u + 6 = 12. Let v(s) = -s**3 - 11*s**2 - 1. Let m be v(r). Is -1/46 < m?
False
Let g(r) = -3*r + 42. Let a be g(14). Let m(c) = 496*c. Let y be m(3). Let j = 147311/99 - y. Which is smaller: j or a?
j
Let t = 1925 - 1925.02. Which is smaller: 0.61 or t?
t
Suppose j - t = 3*j - 134, 3*t = -12. Let a be (-30)/320*-724 + (-2)/(-16). Which is smaller: j or a?
a
Let n(h) = -20*h + 12. Let o(u) = 19*u - 12. Let i(w) = 2*n(w) + 3*o(w). Let p be i(2). Is p greater than 23?
False
Let m be (-9)/24 + (-6465)/40. Suppose 6 - 20 = 7*p. Let f be p/9*-6*m/(-4). Which is greater: 55 or f?
55
Let o = 775.622 + -0.622. Let w = o - 770.3. Is w less than 3?
False
Let u = -10195 + 9891. Which is bigger: u or -3938/13?
-3938/13
Let u(z) = z**2 - z. Let l be u(0). Let w = 1/772 - -13871/19300. Which is greater: w or l?
w
Suppose -j = -4*j + 18, 7*t = -2*j + 33. Which is bigger: 1 or t?
t
Let l = -40.4 + 27.5. Let q = l - -61.9. Are q and -1 non-equal?
True
Suppose 41*q - 43*q - 39 = x, -2*x = 18. Let k(p) = -17*p - 1. Let b be k(1). Is q not equal to b?
True
Let i(p) = -48*p - 354. Let s be i(-9). Which is smaller: s or 73?
73
Let n = 0.022 + 7.178. Let s = 3.8 + n. Let i = s - 7. Which is smaller: 0 or i?
0
Let c = -5181 - -5180.399. Is 1 <= c?
False
Suppose -2585 = -44*u - 34*u + 67*u. Is u <= 235?
True
Let w = -0.213 + 37.413. Let r = w - 37. Let d = 60 - 60.02. Is d != r?
True
Let a be (0 + 0 - 2) + 621/(-54). Is a at most as big as -14?
False
Let b(y) = -y**3 + 9*y**2 - 12*y + 14. Let s be b(6). Let h be s/(-100)*(0 - 0/1). Which is smaller: -12 or h?
-12
Let d = 1.7 + 257.3. Let c = d + -371. Is c bigger than -1?
False
Let t = 14085.3 - 14086. Which is smaller: -9.34 or t?
-9.34
Let f = 1.32 + 159.18. Let q = -160 + f. Is -4 bigger than q?
False
Suppose 0 = -4*w + 2*n + 6, -3*w + 15 = -2*w + 4*n. Suppose 2*f = -w*y + 12, -4*y + 20 = -4*f + 4. Let c be 4/18 - 25/(-900). Do c and f have the same value?
False
Let h be ((-12578)/6)/((-2)/((-162)/135)). Which is smaller: -1259 or h?
-1259
Suppose 2*m - 4190 = -3*o + 2875, 0 = 4*o + 2*m - 9420. Which is greater: o or 2357?
2357
Let l = -190.3 - -79.5. Let j = 185 - 296. Let m = j - l. Which is smaller: 9/2 or m?
m
Let u(h) = -5*h + 22. Let y be u(2). Suppose -2 = -14*j + y*j. Which is bigger: j or 7/10?
j
Suppose 6*l + 5374 + 102 = 8*l. Is l >= 2738?
True
Let v = 59 + -18. Suppose v = -r + 53. Let j be (2 - 32/r)/2. Is j equal to 0.06?
False
Suppose -3*s + 3*m = 0, 2*m - 15 = -0*s - s. Suppose -6*y = -3*o - 8*y - 3, -2*y = -s*o + 11. Which is bigger: -2/29 or o?
o
Suppose 3*q - 248 = -209. Let i be (-404)/(-3) - q/(-39). Which is greater: 134 or i?
i
Suppose 2*i + 3979 = 5*b, 5*i - 6520 + 16430 = 5*b. Suppose 4*l = h - 10, -5*h - 2*l = -l - 8. Let z be i/27 - h/(-9). Which is greater: -72 or z?
-72
Let z = -1598 - -1599. Are z and -2/69 non-equal?
True
Let c be (-4266178)/184 + 5/(-20). Is c < -23185?
True
Suppose 0 = -c - 723 - 1830. Is c equal to -2553?
True
Let v = -1.9903 + 2.2903. Which is smaller: -5356 or v?
-5356
Suppose 4*f + 46*k - 51*k = 0, 3*f - k = -11. Let l(h) = 11*h**3 + h. Let o be l(-1). Let x be -2*o/8*-2. Which is smaller: x or f?
x
Let g be ((-252)/(-24) - 11)*-90. Let y(h) = h**2 - 7*h + 4. Let v be y(6). Let q be (8/(-28))/(v/(42/g)). Which is bigger: q or -1?
q
Suppose -5*k + 4*w = -2440, -4*w = 32*k - 30*k - 976. Suppose 393*r + k = 385*r. Is -59 at most as big as r?
False
Let h be 48/5*(75/6)/1*1. Is 1084/9 >= h?
True
Let v be ((-6)/3)/(3 - 6 - -2). Suppose -4*n + 3*w + 1322 = -918, 0 = -3*n + v*w + 1680. Let d = n - 6166/11. Do 3 and d have different values?
True
Let u = 3276/11 + -298. Suppose -2*m = 7 + 5. Let x be (4 - (-22)/m) + -1. Is u >= x?
True
Let u(v) = v**3 + 16*v**2 + 16. Let t be u(-16). Let z be 6*(4 + 46/(-12)). Suppose 0 = -5*p - q + 86, -p + z + 9 = 2*q. Is t at most p?
True
Suppose -127*k = -130*k - 15, 3*g - 4*k = 593. Which is bigger: 169 or g?
g
Let l = 5/2467 - -3969393/4934. Is 805 less than or equal to l?
False
Suppose 237 = 2*q - t, -8*t = -3*q - 11*t + 