 Let t be n(0). Which is smaller: u or t?
t
Suppose 235531 - 2550021 = 8*w + 107*w. Is -20125 not equal to w?
True
Let z(m) = m**3 - 1 + 0*m - 1 - 3*m + m**2. Suppose 13*u = -40*u - 106. Let d be z(u). Which is bigger: d or 12/11?
12/11
Let o = -86.41 - -102.41. Do o and 0.041 have different values?
True
Let v(u) = 31*u**2 + 61*u + 721. Let p be v(-12). Which is smaller: p or -2?
-2
Let q be 3444/(2 + -1 + 45 + -44). Are 1720 and q nonequal?
True
Suppose -10*r = 3*m - 8*r + 48, -2*r = -6. Let k be 6 + (6 - 4)*m/4. Suppose 3*a + 0*a + d + 5 = 0, d = -2*a - 5. Which is bigger: k or a?
a
Let m(l) = -2*l**2 - 3*l + 1. Let q be m(-2). Let c be q*7*46/(-322). Let p = -897 + 52921/59. Is c >= p?
True
Let h be (-12)/60 + 307*3/(-45). Let k(m) = -m**3 - 21*m**2 - 3*m + 23. Let r be k(-21). Suppose 2*j + 5*x + 19 = 0, 2*j + 4*x = 5*j + r. Is j < h?
True
Let g = -21620 + 151321/7. Let h(w) = w + 12. Let p be h(-10). Let q be (0 - p/2)*3. Is q not equal to g?
True
Let j be (2724/14)/((-5)/(70/3)). Are -1.8 and j unequal?
True
Let o = -16525 - -65569/4. Let q = o + 133. Let i = 2.5 + 17.5. Which is greater: q or i?
i
Let i(n) = -n**2 + 9*n + 3. Let h be i(0). Let b = -73 - -33. Let c = b - h. Is -43 at least as big as c?
True
Let c(p) = -4*p + 167. Suppose -2*h - 6 = 0, x + 5*h = -33 + 43. Let o be c(x). Is 64 >= o?
False
Let o be ((-28)/136)/((-1)/(-4)). Suppose -w - 4 = 4*y, 62 - 42 = 4*y - 5*w. Which is greater: y or o?
y
Let f(m) = -3*m - 59. Let z be f(-23). Suppose -152 = -9*q + z. Which is bigger: q or 0?
q
Let g be 9/(-72)*28*100/(-2). Suppose -5*a = -12*a - g. Let r = -0.1 - 0. Are a and r equal?
False
Let c = 165437/49 + -3378. Which is smaller: c or -2?
-2
Suppose -b + 4*j - 3 = 2*b, -5*j = -3*b - 3. Let n(c) = -35*c + 12. Let d be n(b). Is 47 < d?
False
Let g = -221/4727 - -2/163. Let n(d) be the first derivative of -d**2/2 + 10*d - 1. Let q be n(9). Which is smaller: g or q?
g
Let w be 56/(-852)*(-36)/70. Is w equal to -1?
False
Let j = -31 - -51. Let i = -150.916 - 0.084. Let f = 150.8 + i. Is j at least as big as f?
True
Let s be (34/204)/((-162)/(-8)). Is s less than 0?
False
Let c be 21 + -7342*(-2)/(-680). Which is greater: -2 or c?
c
Let o be (13/(-624)*-12)/((-8071)/(-588)). Is o <= 1?
True
Let f = 10877/25 + -435. Let c be -14*((-4)/(-10))/(77/(-55)). Let b = 5 - c. Which is smaller: f or b?
f
Let s = -1119.7 + 1120.7. Which is smaller: s or 6976?
s
Let n = 7.278 - -0.022. Let q = -1.1 + n. Let c = -4.2 + q. Is -1/18 less than c?
True
Let i(k) = -k - 9. Let x be i(-11). Let d be 3/(-2)*x + (1 - -1). Let n be 0*((3 - 0) + -4). Which is smaller: d or n?
d
Let v = 90.09 - 90.03. Is 14 not equal to v?
True
Let f be 28/(-63) + 5200/(-126). Let q = f + 87/2. Let b = -16/7 + q. Which is bigger: 2.9 or b?
2.9
Let a be (-48)/(-5) + 62/155. Suppose -3328 - 1562 = -a*z. Which is smaller: 490 or z?
z
Let d be 2/104*(-16 - -3 - (-34 + 23)). Let b(o) = -o + 8. Let m be b(7). Is m smaller than d?
False
Let s = -161 - -166. Let k(v) = -v**2 + 9*v - 20. Let c be k(s). Which is greater: 124 or c?
124
Let p = -6/647 + -629/1941. Is p at least -2004?
True
Let f = 24.48 - 30. Let c = 5.52 + f. Let d be 5/(-2)*8/50. Which is smaller: d or c?
d
Let q = 291 - 299. Let x(u) = 2*u**2 - 4*u + 3. Let a be x(2). Let n = a + q. Is n less than -8?
False
Let l be 889 - ((-93)/19 - (-86)/(-817)). Let z = l + -1899/2. Are -56 and z unequal?
True
Let y(q) = -3*q**3 + q**2 + 3*q - 2. Let i be y(2). Suppose 5*h - 3301 = -1061. Let g = h - 465. Is g smaller than i?
True
Let n(s) = s**2 - 15*s - 68. Let g(c) = -2*c**2 + 14*c + 8. Let z be g(8). Let d be n(z). Is 116 at least as big as d?
True
Let h = 1279 + -8247/7. Which is smaller: h or 101?
h
Suppose -16*b + 44*b = -28. Let g be -1 + 732/9*1. Let v = g + -81. Which is greater: b or v?
v
Let h = 1370 - 2270. Let k be (-420)/h + 22/10 + -2. Is k greater than or equal to 74?
False
Let m be ((-8)/14)/(10/56920). Is m equal to -3253?
False
Suppose 5*b = -5*s - 103 + 53, -4*s = -5*b - 41. Which is smaller: b or -230/29?
b
Let h(z) = -z**3 + 46*z**2 - 10*z - 1575. Let r be h(45). Is r smaller than 41/69?
True
Let l = 2181 + -15263/7. Let k = 66 - 63.91. Let y = k - 2. Is y at most l?
True
Suppose -6*a - 4 = -7*a, -v = -a + 4. Suppose -11*r + 3*r - 1320 = v. Is r greater than or equal to -165?
True
Let m(q) = q**3 + 6*q**2 + 3*q + 1. Let g be m(-5). Let k(l) = 22*l - 246. Let f be k(g). Which is smaller: f or 20?
f
Suppose 490 + 22 = 196*s + 120. Which is bigger: 140/149 or s?
s
Let a(c) = 88*c**2 + 17*c + 6. Let x be a(6). Let t = x + -448815/137. Is 0 at most t?
False
Let k = -41.4 + 32.4. Let j = -1 - -0.9. Is k >= j?
False
Suppose -4*v = -3*v - 119. Let k = -119 + v. Which is smaller: k or -3?
-3
Let u = -59 - -58.601. Which is bigger: -1/2 or u?
u
Suppose m = 273*a - 278*a + 41, 4*m - 20 = -2*a. Let z = 9/8 + -697/648. Is z at most m?
True
Suppose -3 = 4*v + 1, -3*b - 20 = 5*v. Suppose -d = -r - 2, 4*d + 11*r - 8*r - 8 = 0. Suppose d*i + 369 = -39*i. Which is smaller: b or i?
i
Let b(q) = 3*q + 123. Let x be b(-49). Let a be 3 - (-7 + (-135)/x). Which is smaller: 1 or a?
1
Suppose -4*p = -p - 183. Suppose -w + 20 = 4*k, 7*k + 2*w - 20 = 4*k. Suppose -2*x + 5*x = -g + 175, -5*x - k*g + 280 = 0. Which is bigger: p or x?
p
Let h be 10/(-2) + (-161154)/198 + 2/(-22). Which is greater: -814 or h?
-814
Let m be 4*1*(-3577)/(-292). Let f(s) = 6*s + 3. Let u be f(8). Which is bigger: m or u?
u
Suppose -2*t + 41 + 33 = 0. Suppose -2*d + 22 + t = 3*h, d - 27 = -h. Let n be 40/180 - 1/(-9)*d. Which is greater: -0.1 or n?
n
Let y(h) = h**2 + 34*h - 42. Let t be y(-16). Let c = -301 - t. Is c greater than 31?
False
Let o be ((-2)/145)/(6/10). Let f(z) = -2*z**2 - 2*z - 55. Let t be f(-9). Let p = t + 200. Is o bigger than p?
False
Let c be (-3)/(27/(-66708)) + -6 + -7. Is 7399 less than c?
False
Let h = 95 - 92. Suppose 17*f + 220 = -u + 18*f, -442 = 2*u - h*f. Which is smaller: -216 or u?
u
Let n be ((-48)/112 + 11/(-7))/34. Which is smaller: n or 4/31?
n
Let r = -4/9451 - 9435/37804. Is r at least as big as -2011?
True
Let x = -3068 - -3067. Are -37/36 and x equal?
False
Let n = -1133 - -1180. Which is smaller: n or 1/34?
1/34
Let z = -8.8 - -63.8. Let v = -1.24 - -1.14. Is z less than or equal to v?
False
Let o be ((-3)/25)/(((-36)/(-45) - -8) + -9). Do 159 and o have the same value?
False
Let i be 6/(-8) - 51/(-4). Let f(u) = 1 - 4 + 2*u + u - 8. Let q be f(8). Which is smaller: q or i?
i
Let k = 2/19817 + 5826188/99085. Let g = -1 + 61. Is k < g?
True
Suppose 0 = -5*n - 3*f - 5, -n = 2*f + 12 - 4. Let g be 5 - n - 10/(-5). Is g > 52/11?
True
Let c = -16.453 + 12.853. Is c greater than or equal to 102?
False
Let y = 0.468 + -0.47. Let m = -1.002 - y. Let g = m - -43. Which is greater: -0.1 or g?
g
Let x = -128.47 - -130.27. Is x bigger than -41?
True
Suppose 7208 = 15*g + 8318. Which is smaller: -70 or g?
g
Let a be (-268)/8690 + (-18)/99. Let d = -15011/79 + 190. Let t = d - a. Is t >= -3?
True
Let v = 1113 + -1116. Is 18/31 greater than v?
True
Let s(v) = -11*v**2 + 4 - 13*v - 162*v**3 + 164*v**3 + v. Let c be s(6). Suppose -5*y - 58 = -3*y + w, -4*w + 8 = 0. Which is greater: y or c?
y
Let i(z) = 81*z + 826. Let b be i(-13). Which is greater: -232 or b?
b
Suppose 0 = -535*v + 550*v - 390. Suppose -v*k - 738 = 328. Is -46 not equal to k?
True
Let a = -31222 - -623813/20. Does -32 = a?
False
Let k = -462 - -282. Let p = 177 + k. Which is greater: 6.9 or p?
6.9
Let o = -45/422 - 15441/45154. Which is smaller: o or 0?
o
Let r be 10 - (-4164)/(-60)*-5. Which is smaller: 360 or r?
r
Suppose -37*y = -155 + 79 + 39. Is y at least as big as 4/379?
True
Let t = -8204722/173 + 47426. Is 0 equal to t?
False
Suppose -5*d - 6 = -51. Suppose -111 - 105 = -d*p. Suppose -a + 3*a + 4*z - 36 = 0, 0 = 5*a - 2*z - 114. Which is bigger: p or a?
p
Suppose -2*h = -2*y + 406, -2*y = 3*y - 5. Let s = -1154 + 1155. Is s > h?
True
Let x(c) = -c**3 - 7*c**2 + 11*c + 21. Let k be x(-8). Let g be (-3228)/(-24) + (-2 - k)/2. Let u = g - 143. Is -0.04 <= u?
False
Let l be 17 + -24 - (0 - 1)*-1112. Which is smaller: -1118 or l?
l
Let k(r) = -2*r**2 - 15*r - 9. Let u be k(-7). Let p(g) = g**3 + g**2. Let a be p(u). Let w be 6/((-12)/a) - 3. Which is smaller: 