/124)/(19/(-16) - -1). Let x be (-1)/((-16)/z - c)*17. Does -3 = x?
False
Let j = -431 - -436. Let d be ((-22)/30)/(-9*j/(-300)). Does d = -6?
False
Let u = -11.461 - -11.361. Is u less than or equal to 47/33?
True
Let a(s) = -28*s**3 + 2*s**2 - 2*s + 1. Let q = -162 + 61. Let x = q + 102. Let l be a(x). Do l and -27 have different values?
False
Let k(h) = -637*h + 1242. Let f be k(4). Is -1310 < f?
True
Suppose -27*j = -2*v - 32*j + 1629, 4038 = 5*v + j. Is 809 at least as big as v?
True
Let t = 114 - -126. Let y = t - 170. Let b = y + -66. Is b at least -11?
True
Let d = 22095 + -1834. Which is smaller: d or 1?
1
Let j(b) = b**3 + 52*b**2 + 391*b - 18. Let s be j(-43). Which is smaller: -191 or s?
-191
Let w = -146 - 109. Let n = -259.26 - w. Let i = 0.26 + n. Is i greater than or equal to 2?
False
Let k = 43 + -291. Which is smaller: k or -258?
-258
Let v = 20358 + -20904.07. Let u = 546 + v. Is u < -23?
False
Let t = 5384 - 3802. Let u = t - 17378/11. Is u < 2/5?
False
Suppose 0*s = -5*d + 4*s, 4*d + 5*s = -d. Which is smaller: d or -2/837?
-2/837
Let w = 662 - -52. Suppose 29*z = 71*z + w. Are -17 and z equal?
True
Let u = 20 + -25. Let f(o) be the first derivative of -o**4/4 - 2*o**3 - 5*o**2/2 + o - 13. Let g be f(u). Is g at least 13?
False
Suppose -33*v = -34*v + 6. Let h = v + 10. Suppose 4*a - 30 = -5*p, -h = -a - p + 4*p. Is a less than or equal to 10?
True
Suppose -4*a - 6 = 2*c, 7*c - 5*c = a + 9. Let u(r) = r**3 + 7*r**2 + 13*r + 3. Let f be u(a). Which is smaller: 2/351 or f?
f
Let i be 6/(-21) + 12/42. Suppose i = 5*l + 5*n + 1005, 0 = 5*l - 4*n + n + 1045. Are l and -205 non-equal?
True
Let t = -4522 + 5454. Which is smaller: 933 or t?
t
Suppose -7*n - 28 = -4*w - 7, -w + 2*n + 6 = 0. Which is bigger: w or 2/861?
2/861
Let d = 6145/2409 - 768/73. Is -8 at least d?
False
Suppose -9 = -5*d - 6*n + 9*n, -4*d = 2*n + 6. Suppose d = -4*j + m + 103, -2*j + 61 = j - 4*m. Is j bigger than 26?
True
Suppose 3*b = -4*d + 21, 1060*b - 4*d + 27 = 1057*b. Do -2/16357 and b have the same value?
False
Let a be 3 + ((-853552)/20324)/14. Is 1 smaller than a?
False
Suppose 0 = -188*n + 62934 - 120899 - 455087. Which is greater: 0 or n?
0
Let j = 79.2 + -120. Let o = j + 41. Is o equal to -20?
False
Let p = 317 + -222. Let o = -98 + p. Let k be -1 + o + 105/107 + 3. Which is smaller: 0 or k?
k
Let w(j) = -j**3 + 13*j**2 + 25*j - 76. Let t be w(14). Let u be -54*12/(-16)*2. Is t smaller than u?
True
Let l be 0/(9/(1 - 4))*-1. Suppose l = 23*n - 3*n - 1040. Let z be (-72)/84*n/6. Which is smaller: z or -8?
-8
Let z(m) = -m**2 + 13*m - 10. Let d be z(12). Suppose 4*x - 5*x - d = 0. Let r be (0/(x + 0))/(6 - 4). Which is smaller: -1/4 or r?
-1/4
Let s(g) = -2*g**3 - 9*g**2 + 4*g + 4. Let y be s(-5). Let t be y/(-80)*672/(-72). Is t not equal to 0?
True
Let y = 5247 - 89201/17. Let p = 560 + -1237/2. Let l = p - -60. Which is smaller: y or l?
y
Let y be (2/(-4))/(1085/570 - 2). Let n be (-72)/(-16) + 1/(-2). Which is smaller: n or y?
n
Let o = 760 - 634. Suppose o = 4*h - 13*h. Are -76/5 and h non-equal?
True
Let d be (-9)/45*((-2 - -2) + -11335). Let t = d + -743575/328. Which is smaller: 0 or t?
0
Let h = 2.36 - 2. Let z = 0.26 - h. Let w be (-2)/(-4)*(5 + -1). Which is bigger: w or z?
w
Let q be -2*(1 + 0) + 1. Let s = -11099 + 1809139/163. Is s less than or equal to q?
False
Let i = -6556 - -6562. Which is smaller: -360 or i?
-360
Let q be (-147797)/118196 - (-135)/108. Are q and 1 equal?
False
Let f be -3 + ((-18)/6)/((-25839)/(-12915) + -2). Is -4308 not equal to f?
False
Suppose 4*h = 654 - 818. Which is bigger: -11 or h?
-11
Suppose -378*o + 59 = -189*o - 130*o. Let x be ((-6)/(-8))/(22/8). Is o equal to x?
False
Let z = 504 + -13. Let m = -491.2 + z. Which is bigger: 14 or m?
14
Suppose 0 = 3*k - 27 + 210. Let x be (-5)/(20/8) + -59. Is k less than x?
False
Let f(l) = 12*l**3 - 7*l**2 - 2*l - 5. Let t be f(7). Let a = 108878/29 - t. Is a at least -1?
True
Let h = 1951638/10285459 + 2/331789. Let g = h - 15/31. Let a = 669 + -670. Are a and g unequal?
True
Let y be 3 + (-8568 - (11 + -5))/(5 + -3). Which is smaller: -4283 or y?
y
Suppose 0 = 28*f + 32045 + 28211. Let j = -430401/200 - f. Is j bigger than 2/5?
False
Suppose 3*o - 4 = 2*o - 4*a, 2*a + 12 = 3*o. Let f be (o - 1)*3/(9/(-6)). Let j be ((-8)/f)/((-8)/60). Which is smaller: 0.1 or j?
j
Let o be (290/45)/(-2) + 3 - 67784/(-304866). Is o less than or equal to 1?
True
Let p = 178 + -123. Let w = p + -39. Which is smaller: 2/9 or w?
2/9
Let w be 27/18 - 66/(-4). Suppose -13*i = -w*i. Suppose i = -5*u, -4*f + 51 = -f - 2*u. Which is greater: 19 or f?
19
Let j = -0.443 + -3.657. Let h = 3.847 - -0.053. Let d = h + j. Is 3.1 greater than d?
True
Let q be (-3*(-2)/4)/(1/2). Suppose -g - q*g + 660 = -2*o, -g = -2*o - 171. Which is smaller: 162 or g?
162
Suppose -10 = -5*y + 10. Suppose 3*k = 26*k - 23. Suppose -y = -3*u - k. Which is greater: -2/19 or u?
u
Suppose 4*j + 5*a - 2661 = -357, j - 4*a = 576. Which is bigger: j or 1149/2?
j
Suppose 0 = -4*g - 3*g - 266. Let q = g + 41. Suppose -q*i + 0*i = -3. Is i >= 0?
True
Let x be (-3 + 6)*(5 + -3)/2. Suppose 3*r = 4*l + 8*r + 88, l + x*r = -29. Which is smaller: l or -174/11?
l
Let w = -437.8 - -504. Let m = 240.2 - w. Which is smaller: 1 or m?
1
Let o = -246 + 246. Suppose 11*s + 77 - 330 = o. Is 24 bigger than s?
True
Let p = 36154 - 36153.3. Is p at most -1/180?
False
Suppose 44*g = 43*g - 4*w - 13, -3*w - 7 = -2*g. Which is smaller: g or -65/68?
g
Let p = -2.02 - -0.02. Let j = -0.401 + 189.401. Let t = j - 188. Which is greater: t or p?
t
Let x(r) = 2*r**2 + r. Let z be x(0). Suppose z = -3*n - 5*l + 8, 5*n - 3 = -14*l + 16*l. Which is greater: n or -1/140?
n
Suppose 45*u + 7286 = 9715 + 12511. Is u equal to 332?
True
Suppose 2*v + 3*y - y = -266, 2*v + 4*y + 256 = 0. Let n = v - -139. Which is smaller: n or 6/55?
6/55
Let j = 13 - 15. Let t = -6881 + 96321/14. Which is smaller: j or t?
j
Let w be (23600/(-1652))/((-2)/(-7)). Are -59 and w unequal?
True
Suppose -3*z - 140 = 2*z. Let q be 8 + -2 + 2*-2. Suppose -q*m + 5*g = 83, 48 = -m - m - 2*g. Which is smaller: m or z?
m
Suppose -f = 91 - 101. Let w(z) = 4*z**2 - 13*z. Let d(r) = -r**2 + r. Let v(g) = 3*d(g) + w(g). Let y be v(f). Are y and -2 non-equal?
True
Let r = 36 - -69. Let z = 105.2 - r. Are z and -19 equal?
False
Let z be (180/50)/(9/30 - 0). Suppose r - 3*a = z + 3, -4*r - 3*a = -15. Suppose q - 4*v - 18 = 0, -12 = -5*q + 3*v + 27. Is q greater than or equal to r?
True
Let a = -9 - -16. Suppose 70*p = 48*p + 308. Suppose 7*c = 42 - p. Is c smaller than a?
True
Let g = 0.0256 + -0.0556. Let y be ((-5)/((-1275)/(-873)))/(-1). Let t = y - 48/17. Which is greater: g or t?
t
Let d be 7 + (45/(-165) - (114/66 + 6)). Let l = 602117/128 - 4704. Which is smaller: l or d?
d
Suppose 497*f + 602935 - 877288 = 2617690. Which is smaller: 5820 or f?
f
Let w = 1121 + -1120. Is w equal to 5/3352?
False
Let y = 216 - 185. Suppose -y*h + 39*h = -992. Let o = 264 + -389. Which is smaller: o or h?
o
Let v = -0.818 + 0.818. Is -1.108 smaller than v?
True
Suppose -42*q + 456 = -37*q - 2*t, -3*q = 3*t - 282. Are q and 86 nonequal?
True
Let q = -5 - -76. Let s = q - 80. Which is greater: -19 or s?
s
Let b = -296 + 147. Let l = -148.6 - b. Which is smaller: l or 3?
l
Suppose -40 = 4*d + 5*h, 0*d + 2*h = d - 3. Let q(u) = u**3 + 4*u**2 - 6*u - 7. Let r be q(d). Let m be 27/18 + (-11)/r. Which is smaller: 9 or m?
m
Suppose 17*u = -4*u - 33789. Are 6 and u nonequal?
True
Let i = 12420 + -12207. Is 18 at most as big as i?
True
Let x = 1721/2885 - -2/577. Which is greater: x or -778?
x
Let p(s) = -5*s**2 + 6. Let z be p(-2). Let i = z + 6. Let t be (-9)/(-5 - (-30)/((-5)/(-1))). Is i smaller than t?
False
Let c be 57/418*6076/(-3). Let k = -276 - c. Let x = -2 - -1. Which is smaller: k or x?
x
Let s(m) = -m**2 + 3*m + 24. Let w be s(7). Suppose 8 + 0 = 4*y. Suppose 3 = -y*k - 7. Does k = w?
False
Suppose 5*j - i = 2*i - 16116, -4*i - 9658 = 3*j. Is j > -3220?
False
Let w be 1 + 5 + (-154 - 71). Which is smaller: w or -221?
-221
Suppose -n - 10*w + 7*w + 54 = 0, -n = -5*w - 14. Let l = n - 49. Let s be 4/l*(-357)/(-42). Which is smaller: -3 or s?
s
Let c = -59 + 64. Suppose -c*m + 616 = -m. Let h be 1/