 + l. Is d not equal to 1/116?
True
Let c(z) = -z**3 + 10*z**2 + 4*z - 42. Let u be c(10). Let i be (u/(-4) - (-133)/646)/(-2). Which is smaller: i or 1?
i
Let t be -7*(-48032)/1008 + 12. Which is bigger: 346 or t?
346
Let y be ((-4)/(-3))/((-51)/9). Let k(j) = j**2 + 56*j + 209. Let a be k(-4). Is y >= a?
False
Let f = -70.5 - 18.5. Let t = -49 - f. Let g = t + -40. Do g and -5/12 have the same value?
False
Suppose -51*o = -886*o - 203*o + 52938. Let l(s) = -s**3 - 2*s**2 - 2*s + 4. Let p be l(-4). Which is smaller: p or o?
p
Let g(y) = -2*y**2 - 106*y + 1584. Let u be g(12). Does -112 = u?
False
Suppose 4*j = 114*m - 119*m + 3220, 5*j + 2*m - 4008 = 0. Is 797 > j?
False
Suppose -v = -l - 1, -5*l + 0*l = 5*v + 45. Let j = -439 + 477. Let r be ((-6)/8)/(j/247). Is v bigger than r?
True
Suppose -75*f = -115*f - 174120. Is -4355 less than or equal to f?
True
Let a = -106.3 - -112. Let y = a + -5.663. Let b = y + 39.963. Are b and -0.1 equal?
False
Let a be (1275/10)/(-1) + 3/2. Let h = a + 125. Let o = -4755/5416 - -2/677. Which is bigger: o or h?
o
Let d = 62561371/6230 + -5553/890. Let l = d - 10058. Is l smaller than -22?
True
Suppose 2*w - 26 = 4*m, 4*w = 5*m + 740 - 709. Let t = -496 + 46126/93. Is w at least as big as t?
False
Let l(h) = 7*h + 43. Let y be l(-5). Let j be ((-81)/30 - -3)/(6/y). Which is smaller: j or -49?
-49
Suppose 11*z - 598 = 2*v + 9*z, 600 = -2*v + z. Are -298 and v nonequal?
True
Let g = -115.813 + 116. Let f = 0.113 + g. Is 0 smaller than f?
True
Let g(x) = x**3 - 41*x**2 - 18*x - 360. Let p be g(25). Which is bigger: -10811 or p?
p
Let u(c) = -c + 140. Let p be u(-16). Suppose -4*g = -5*r + 99 + p, 210 = 5*r + 5*g. Which is bigger: r or 49?
49
Let r = -474 + 6205/13. Let w = -4786/1443 + r. Let o = w - 2107/222. Is -10 at most o?
True
Let f(q) = q**2 + 105*q + 2732. Let n be f(-47). Let y be 2/((-4)/2) + -5. Is y less than n?
True
Suppose -6*b + 4*b + 70 = -4*p, 4 = 4*b. Let l = -90 - p. Is -72 not equal to l?
True
Suppose -2*k + 5 = -3. Suppose -71 = -4*b - 5*i, -i - 13 = 3*b - 58. Suppose -b*m + 42 = 14. Which is smaller: k or m?
m
Let m = 2/4833 + 14005/1193751. Does 0 = m?
False
Let b = 1468822.18 + -1468822. Let g = -0.1 - -4.1. Let n = g - 6. Is b at most n?
False
Let d = -0.258 - 5.842. Let g = -7 + 0.4. Let u = g - d. Which is smaller: 0.1 or u?
u
Let v = 1 - 2. Suppose -30*p + 19*p + 3003 = 0. Let k = p + -3563/13. Is k greater than or equal to v?
False
Let z be ((-44)/33)/((-6)/(-9) - 1). Let r be ((-28)/14)/(2/z) - 12. Is -19 less than or equal to r?
True
Let r be (-8 - (-63)/6)/(((-3)/(-1266))/1). Is 1057 less than or equal to r?
False
Let p = 70483 + -70500. Suppose 4*k - 24 + 4 = 0, -55 = 5*b + 5*k. Which is bigger: p or b?
b
Let g = 1291/15 + -45137/525. Which is smaller: -1 or g?
-1
Let q = 67 + -67. Suppose -u + 0*r + 57 = -2*r, q = r. Which is smaller: u or 58?
u
Let w = -973098/1045 + 4656/5. Which is greater: 0 or w?
w
Suppose -72*n = -2*n. Let t be (-27412)/(-3465) - (8 + n). Is -1 at least t?
False
Suppose 0 = -2*z + 8, -p - 5*z = -4*p - 26. Is 2631 greater than p?
True
Let r be 21/((-184)/32 - -5). Let j = 13533790/44913 - 2/14971. Let n = j + -329. Which is smaller: n or r?
r
Let z(x) = x**2 - 3*x - 87. Let k be 12/(-9)*((-21)/3 + -2). Let j be z(k). Which is smaller: j or 1?
1
Let d be 1 - 0 - (-15)/87. Suppose o + 3 = k, 5*o + 7 = -2*k + 6. Which is smaller: k or d?
d
Suppose -g + 2*r + 8 = 6*r, g - 5*r - 8 = 0. Suppose -2*j - 3*s = -18, 3*s - 8 = -3*j + g*s. Let d be 42/4*(-4)/j. Is -6 at most as big as d?
False
Suppose 0*j = -6*j - 216. Let s be (-20)/8*j/5. Let f = -17 + s. Which is smaller: f or -2/161?
-2/161
Let q(z) = 4*z**2 - z. Let r be q(1). Let c be (r + -1)/10 - 1. Let b = 1725 + -1726. Which is bigger: c or b?
c
Let b(a) = 5*a - 64. Let v be (-60)/9*(-6)/5. Let d be b(v). Which is greater: d or -25?
d
Let p = -22209/5 + 4476. Which is bigger: p or 34?
p
Let h = -206.49 + -36.51. Is 0.11 bigger than h?
True
Suppose -21*o = -546 + 2247. Let x be (18/o - (-1473)/(-297)) + 5. Which is smaller: x or 52?
x
Let l be (-24)/(-9)*1 - (-2)/(-3). Suppose -2*t + l*d = -34, 2*d = -0*t - 5*t + 71. Which is smaller: t or 30?
t
Let s = 132073 - 132074. Suppose j - 129 = 2*b, b + 1 = 3. Let m = j + -803/6. Which is smaller: s or m?
s
Suppose -4742 = -7*m - 1060. Let x = 549 - m. Which is bigger: 13 or x?
x
Suppose 0 = n - p - 97, 0*n - p = 2*n - 185. Suppose 14*v - n = 12*v. Are 48 and v equal?
False
Let n be ((-36)/108)/(5/3 + -2). Are n and -9/28 nonequal?
True
Let r(l) be the second derivative of l**3/6 - 5*l**2/2 + 5*l. Let m be r(4). Let t(u) = -u**2 - 35*u - 69. Let g be t(-33). Which is greater: g or m?
m
Let m be (3 - 1) + (-8385)/224. Let i = m + 248/7. Let b = i - -563/672. Are b and 0 unequal?
True
Let x = -6853646/101481 - 220839970501261/10756986. Let j = x - -20530943. Let i = j - 964. Which is smaller: i or 1?
i
Let j = 9238 + -2743678/297. Let l = j - -115/28809. Is 0 >= l?
False
Let n = -0.013 + -0.044. Let w = n - 43.943. Let g = -42 - w. Is 0 at most g?
True
Let m = 57.4 + -57.5. Suppose -4*a = 4*i + 556, i = -2*i + 4*a - 410. Which is bigger: i or m?
m
Let o be -4 + 9/((-225)/(-110)) - (-15922)/3420. Let r = -32011/9 + 3561. Let z = o - r. Which is greater: 0 or z?
z
Let x = 448.1 - 394.1. Which is greater: -3/17 or x?
x
Suppose -5*m - 5*z + 623 = -7*m, 0 = m - 3*z + 312. Let k = m - -305. Is k >= -2?
False
Suppose -25*z + 52 - 21 = -19. Let q = -2.6 + 2. Let k = -0.8 - q. Is z less than or equal to k?
False
Let i(s) = -60*s - 663. Let h be i(-11). Which is greater: -0.031 or h?
-0.031
Let y(u) = 9*u - u**3 - 2*u - 13*u - 45 + 24*u + 13*u**2. Let r be y(14). Does r = 4?
False
Let q be (-192)/(-352) - (-378)/33. Let a = 22 - 15. Is a != q?
True
Let s = -17182 - -14072. Is s bigger than -3109?
False
Let j be (-2)/10 - (-1524)/6720. Let p be (7/7 - 1)/(-1). Which is smaller: p or j?
p
Suppose 5*z + 0 + 3 = c, 5*c = -4*z + 15. Let v = 575747/735 + -2350/3. Is v < z?
True
Let i be (-1738)/(-143) - (19 + -7). Which is bigger: i or -137?
i
Let k = -290586/4637 + 2/13911. Let x = 62 + k. Suppose 7*r = 46 + 10. Is x > r?
False
Suppose 0 = 7*v - 28 - 7. Let t be (-30)/(-25)*v + 18. Which is smaller: t or 20?
20
Let u(v) = -446*v**2 - 118*v + 512. Let g be u(5). Which is smaller: g or -2/7?
g
Let l = 1.3 - 1.2818. Let z = l + 0.0018. Which is greater: 3 or z?
3
Let o = -0.0206 + 165.0206. Let a = o - 155. Let i = -0.2 - -0.3. Which is greater: i or a?
a
Suppose -5*v + 25 = b - 1, -58 = -4*b + 3*v. Let r(z) = -z**3 + 5*z**2 + 10*z - 9. Let a be 1/(10/(-12) + 1). Let l be r(a). Is b less than or equal to l?
False
Let y(m) = -17*m - 89. Let q = -741 + 738. Let k be y(q). Is -155/4 at least as big as k?
False
Let c be ((-5)/(-15))/(2/(-6)). Let p(t) = 132*t - 140. Let f be p(15). Let k be (-12832)/f - (-7 + 0). Is c greater than k?
False
Suppose 59*h - 2928 = 71*h. Is h >= -244?
True
Let f be 2 - 5 - ((-1350)/2 - -7). Suppose f = 10*a - 29*a. Which is smaller: -34 or a?
a
Let x be ((-56)/10)/((-2)/10). Let p = 201 - 197. Suppose -5*y - 140 = -7*k + 2*k, -112 = -p*k - 5*y. Is k smaller than x?
False
Let l(x) = x**2 + 8*x + 1. Let v be l(-8). Let t be 254887*5*((-22662)/(-4530) + -5). Let s = t + -3376. Which is greater: s or v?
v
Let x be 579 + -584 + 2/70794*176983. Is x bigger than 0?
False
Suppose 37 = -4*z + 53. Suppose 5*v = -z*g - 1006, -8*v + 6*v - 403 = g. Is v >= -201?
False
Let c = -280 + 280. Do c and 21/139 have the same value?
False
Let p = -3476 - -2849. Is p >= -3142/5?
True
Let j be 106 + 17 - (0 + 0) - 4. Suppose -5*q + 131 = -j. Is 50 greater than or equal to q?
True
Let z(y) = 6*y**3 + 19*y**2 + 6*y - 3. Let s(w) = 5*w**3 + 20*w**2 + 5*w - 3. Let n(c) = -3*s(c) + 2*z(c). Let u be n(-7). Is -25 < u?
False
Let z(f) = -2*f**3 + 2*f**2 + 6*f - 2. Let j be z(6). Let m be 8/336*-8*482/j. Let k = m + 2/489. Is 0.08 smaller than k?
True
Let f = 0 + -1.4. Let t = f - 4.6. Let y = -1.5187 - -1.7187. Which is greater: y or t?
y
Let u(n) = -9*n - 6. Let h be u(0). Let x be ((-90)/(-75))/(h/100). Is x >= -21?
True
Suppose -5*k - 9438 = -7*k. Suppose 4*m + 2*g + 0*g - 6294 = 0, 2*g = -3*m + k. Let x be 2/3 - 28/m*39. Are x and 0 nonequal?
True
Let r = -1051128/8729 - -3490/29. Let