*w - 86, 185 + 94 = 4*d - w. Let g be 2 - (-102)/(-54) - 190/9. Let u be ((-112)/g)/((-4)/(-54)). Are u and d nonequal?
True
Suppose 5 = z - l, 2*z + 2*z = -l + 10. Suppose 0 = z*k - 163 + 1. Is k at least as big as 54?
True
Suppose -2*u - 4*f = -u - 317, f + 589 = 2*u. Let q = -296 + u. Which is bigger: q or 200?
200
Let c = -13 + 15. Let d(u) = 48*u - u**c - u**2 - 29*u + 3*u**2 + 38. Let h be d(-16). Is -12 smaller than h?
True
Let i be (-2040)/(-100) + -20 + (-2)/5. Is i at most as big as 5/507?
True
Suppose -5*v = 3*u - 19, 18 = 19*v - 17*v - 4*u. Let h(l) = 5*l**2 - l + 1. Let z be h(v). Which is smaller: z or 120?
120
Let c be (2/(-150))/(-1)*(-25)/(-20). Let d = 4/15 - c. Let m = -0.035 + -4.365. Which is smaller: m or d?
m
Let p = -3717.3 - -3717. Let d = -0.1 - 0.9. Let y = -0.7 - d. Is y less than p?
False
Suppose -5*t = -54 + 44. Suppose -2*x + 5 = -z - 5, 3*z + t*x = 10. Is 2/57 greater than z?
True
Suppose -4 = b, 22*v - 26 = 17*v + 4*b. Suppose m + m = 8. Suppose 5*a + u = m, -3 = -a + v*u - 0. Which is smaller: a or 17/7?
a
Let s = -7712/3 - -2571. Which is bigger: s or -200?
s
Suppose -1 = 4*o + 95. Suppose 0 = -3*z + 5*a - 46, -5*z - 383 = a - 269. Which is smaller: z or o?
o
Let y(m) = 706*m**2 - 5*m - 4. Let k be y(-1). Suppose 3*r - k = -197. Let b be r/(-153) + (-2)/(-18). Is b at least 0?
False
Suppose 57*d + 99*d - 13*d - 15873 = 0. Which is smaller: d or 768/7?
768/7
Suppose 10*c + 2306 = 3106. Let g = -130 + 134. Which is greater: c or g?
c
Let z = -0.16 + 2.26. Let t = -1.8 + z. Let g = -86 - -86.5. Is g at least t?
True
Let i = 15308 - 12802. Which is smaller: i or 2508?
i
Suppose -5*c + 4*n + 38 = 0, 3*n = 3*c - 0*n - 24. Suppose -3*u = -c, 0*r + 5*r + 3*u + 299 = 0. Which is smaller: r or -62?
-62
Let r = 12484 - 12483.73. Is 14.4 at least as big as r?
True
Let k = 2 + 28. Suppose -8*g = -10*g - k. Let d be -11*(-5)/35*-9. Are g and d nonequal?
True
Let o = -2.38 - -19.78. Let i = -16.4 + o. Let x = -1.07 + 0.17. Which is bigger: x or i?
i
Let y(t) = t**3 - 2*t**2 - 4*t + 5. Let j be y(4). Let c(u) = 1119*u + 665829. Let f be c(-595). Which is smaller: f or j?
j
Let t = -2056 - -1442. Let d = -613.9 - t. Which is smaller: d or -114?
-114
Let u(f) = 14*f**3 - 3*f**2 - f + 8. Let r be u(3). Let m = -368 + r. Is m less than -16?
False
Suppose 2*f + 36*a - 41*a = -659, -5*a + 1303 = -4*f. Is -323 >= f?
False
Suppose 0 = -38*h + 11948 + 15184. Suppose 26*t = 9*t + h. Which is bigger: 45 or t?
45
Let h be (0/2)/(-15 - -12). Suppose h = k - 13*k. Is -38 at most k?
True
Let l be -7 + 10 + (-292)/16. Let h = 16 + l. Which is bigger: 2 or h?
2
Let u be 25/10*(-24)/(-30) + 41580/16. Which is bigger: 2602 or u?
2602
Let q be (-27)/(-2)*(1 + -3). Let l be (3*1/((-4)/6))/(160/((-416000)/(-390))). Which is greater: q or l?
q
Let n(u) = 2*u - 13. Let o be n(9). Suppose -4*r + 13 = -3*x, -o*x = -3*r + 8 - 1. Suppose -4*y - 4 = r. Is y equal to -3?
False
Let o = 198 + -197.6. Let d = -18.2 + 16.2. Which is bigger: d or o?
o
Let m be 70/6 + 40/(-24). Let s be (15/(-25))/((-2)/m). Is s greater than or equal to 2?
True
Suppose -4 = -4*n - 5*w + 20, -4*n = 2*w - 24. Let t be (29/986)/(n/(-28)). Is -1 at most t?
True
Let g = 77 - 77. Let c = -263 + 308. Are g and c unequal?
True
Let f be -2 + (3 - 2 - 0). Let m = -6950/2501 + 110/61. Which is bigger: m or f?
m
Let n be (-254)/6 - (0 - 4/12). Let z be (-1 + 493/501)/(28/n). Is z greater than 1?
False
Let g be 93/33 - 1/((-11)/2). Suppose m + 13 + 12 = 2*l, g*m = -l + 16. Suppose d = 5*u + 20, -3*u + 13 = -3*d + 61. Which is greater: l or d?
d
Let m(n) = 341*n - 1025. Let c be m(3). Is 21 bigger than c?
True
Let r be (30 + -6)/((-387)/12). Let c = r - -1225/86. Is 15 greater than or equal to c?
True
Let s be ((-13)/2)/((-72)/1488). Which is smaller: s or 133?
133
Suppose -25*x = -23*x - 6792. Do 3396 and x have the same value?
True
Let d = 24 + -24.1. Which is smaller: 166 or d?
d
Let n = 869/7 + -867/7. Is -0.134 greater than n?
False
Suppose -14 = v - 15. Let y be (10/4 - 3)/(v/196). Let t = y + 80. Is t less than or equal to -20?
False
Let q = -93 + 96. Let b = q + -15. Let m = b - -11. Are -2 and m unequal?
True
Let m = -3025 - -27218/9. Let d(q) be the first derivative of -q**3/3 - 2*q**2 - 5*q - 9. Let l be d(-2). Do l and m have different values?
True
Let b be (4 - 4)*2/2. Suppose -4*i = 5*q - 7*i - 100, 2*i + 10 = b. Let o = q + -18. Is o at most -3/7?
True
Let m = -3515133/3554122 - -468/473. Which is greater: 1 or m?
1
Suppose -j - 6 = 3*z, 3*z = -4*j + 6*j - 6. Suppose 2*q = d - 32, j = q - 5*d - 0*d + 25. Do q and -71/5 have different values?
True
Let m = 6254 - 32107/5. Which is smaller: m or -167?
m
Suppose 0 = 2*g - 4 - 8. Let i be (3/(-26)*-3)/(g/4). Are -0.2 and i equal?
False
Let g be 6 + 4650/36 - (-2)/(-12). Is 139 smaller than g?
False
Let l be 3/(-1)*(-2)/(4 - -2). Let r(f) = 6*f + 2. Let z be r(l). Suppose z*p - 100 = 44. Which is smaller: 2 or p?
2
Let t be (-2 + -2)/((32/(-18))/8). Let r be 6/135 - 8/t. Let u = -8 - -15. Is u < r?
False
Let q(d) = -25*d - 66. Let m be q(10). Let v = m + 946/3. Is 0.058 at most v?
False
Let h be -1 + 11/13 - 13992/(-1716). Which is smaller: 130 or h?
h
Let s(c) = -2*c**2 + 26*c + 13. Let j(n) = n + 12. Let z be j(-12). Suppose -3*q + 42 = u - z*u, -2*q + 28 = -2*u. Let l be s(q). Is l less than -2?
True
Let h be (1*(-82 + 2))/(1/(-1)). Let x = -7 + h. Is x != 74?
True
Let p be 6/(33/6 - 80/20). Is 129 bigger than p?
True
Suppose -2*n - 84 = -264. Suppose n = 25*t - 1335. Suppose 128 = 2*s - 4*g, 5*s = 7*g - 3*g + 296. Is t greater than s?
True
Let g(t) = -4*t**2 + 18*t + 73. Let p be g(7). Is -3/5 smaller than p?
True
Let y = -4.89 - 0.51. Let r = -8179 + 24536/3. Is y less than r?
True
Let k(j) = -15 - 10*j + 18 - j**2 - 6*j. Suppose 0 = s - 4*s - 48. Let u be k(s). Are u and 2 equal?
False
Let n = 14976 - 14976.35. Is n greater than -114?
True
Suppose -2*u = 3*r - 184, -2*r + 244 = 2*r + 4*u. Suppose 4*g - 38 = r. Let q be -14 + (-152)/12*-3. Is g bigger than q?
True
Let p be (210/24)/7*-24. Let i be (-7)/24 - ((-125)/p - 4). Is 1 less than i?
False
Let t be 56/(-12) + 2/(-6). Let r(f) = -3*f + 15. Let h(y) = 2*y - 10. Let c(p) = t*r(p) - 7*h(p). Let a be c(5). Is a bigger than -4/19?
True
Let c be 305/(-8)*6/5 + (-746)/2984. Let q(l) = l**3 - 8*l**2 - 7*l + 11. Let b be q(8). Is b at most as big as c?
False
Let b = 375428657/630 + -595918. Let m = b + -1/315. Are m and 33 equal?
False
Suppose 0 = -5*w + 4*o - 12, 2*w = o - 9 + 6. Let y be -1 + (-2)/(34/(-3)). Which is greater: w or y?
w
Let o = -199 - -191. Let d(y) = y**2 - 2. Let t be d(-2). Let r = t + o. Which is smaller: r or -5?
r
Let i(b) = b**2 + b + 8. Let u be i(-4). Suppose 157 - 829 = -32*k. Which is smaller: u or k?
u
Let l = 0.2284 + -0.2284. Let c = -154 + -100. Is l at least as big as c?
True
Suppose 0 = -12*w - 50 + 38. Let o be (w/(-2))/((-70)/(-3500)). Do o and -3 have different values?
True
Let o = -3932 - -50990/13. Suppose s - 3*s - 20 = 0. Is o greater than s?
True
Let n = -28 - -55/2. Let z = 8044 - 7949. Is n at least as big as z?
False
Let u(b) = 4*b**2 - 5*b + 23. Let k(j) = j**2 + j + 1. Let h(l) = -5*k(l) + u(l). Let d be h(-12). Let n(t) = t - 20. Let i be n(8). Is d equal to i?
False
Let i be (-24 + 6)*(-1 + 0 + 0). Let g be i/(-15)*5/2. Which is greater: 8 or g?
8
Let k = 148 - -54. Let o = k - 201.9. Which is greater: o or 124?
124
Let m = -48.952578 + -0.047422. Let w = -1.3 - -1. Let r = w - -0.1. Which is smaller: m or r?
m
Let c(s) = -s - 7. Let r be c(-19). Let v be 4 - 3/r*4. Suppose -8*x + v = -5*x. Is x greater than -11?
True
Suppose 2*s = -2*k + 10, 0*s - 3*s + 13 = 5*k. Suppose s*t + 15 = 39. Suppose 3*y + 3 + 1 = -5*b, -3*y - b + t = 0. Is 1 greater than y?
False
Let y = -22246 - -22246.4. Let s = -113.206 - -0.206. Is y bigger than s?
True
Let a be 6141/115 + (-4)/10. Suppose -10*t + a = -37. Suppose -t*j - 3 = -6*j. Is -1 at most j?
True
Let m(v) = 406*v - 1217. Let a be m(3). Suppose -5*k + 26 = -x - 19, 4*x + 27 = 3*k. Let g be (1 + k)*4/(-10). Is a bigger than g?
True
Let t = 99 + -162. Let m = 104 + t. Let s be m*(-3)/9 + (-8)/(-12). Is s equal to -12?
False
Let m = -8 + -6. Suppose 6*b - 86 = -7*b - 114 - 219. Which is smal