)/20 - 1). Suppose 3*d + 0*d = w. Suppose -5*m = -4*k - 43, -4*m + 34 = d*k - 8*k. Is 4 < m?
True
Let k = -0.4161 + 0.1691. Is 0 greater than or equal to k?
True
Let t(h) = 61*h**2 - 15*h + 313. Let y be t(-13). Which is smaller: 10818 or y?
y
Let c(y) = -y**3 + 33*y + 7. Let z be c(6). Is z less than -11?
False
Suppose -5*c + 2*c = 3*n + 306, 2*c = 4*n - 222. Let z be (-3 - 1)/((-14)/c). Let l be (2/3)/(2/z). Is l <= -11?
False
Let o be 10/30 - (-2 + (-8)/3). Suppose 5*w + 7 = 6*f - 3*f, o*f = -3*w - 11. Let i = -16 - -319/20. Is f at most i?
True
Let p = -5063 + 5660. Which is smaller: 598 or p?
p
Let b = 175 + -86. Let i = b + -49. Let v be (-95)/i*1 + (-6)/(-2). Which is bigger: 2 or v?
2
Let d = -19.95 + 8.95. Let y = 0.427 + -11.427. Is d at least as big as y?
True
Let h(y) = -116*y - 2441. Let r be h(-21). Are 330 and r nonequal?
True
Suppose 3*c + 3*a = 27, -5*c - 4*a = -39 - 1. Suppose 0 = -c*w + 12 - 24. Let p be w + (-106)/(-28) + 1/(-2). Is -14 greater than p?
False
Let c be (20 - 27)*131 - 1. Is -5/2 at least as big as c?
True
Let j = 1253467/12 + -104388. Which is smaller: j or 67?
67
Let f = -2777709/13 + 213777. Let q = f - 1428/13. Let u = -134/39 - q. Are -2 and u equal?
False
Let i = 11662 - 8767. Which is smaller: 2894 or i?
2894
Let p = 456973/60 + -7616. Let u = -1/60 + p. Let c be (-3)/(-6)*(1 - 3). Which is smaller: c or u?
c
Let d be 5/1550*(-442825)/202410. Let n = d + -1/8996. Which is greater: n or -1?
n
Let k = -3.506 - -1645.506. Is -2/5 less than k?
True
Suppose 0 = b - 8, 1366*r - 1369*r - b = -20. Let n = -10951/7 - -1567. Is r < n?
False
Let v be ((-48)/(-32))/(-3)*224. Let d be (-15)/1*179/(-24). Let w = v + d. Do -1 and w have different values?
True
Let l = -50 - -54. Suppose -l*i - 2*t + 334 = 0, 4*i - 174 = 4*t + 130. Suppose 0 = 2*n - 3*b - 89, 0 = -5*n + b + i + 135. Is 42 at least as big as n?
False
Let y = 24.87131 + -1.44821. Let f = y - 0.0231. Is -0.1 equal to f?
False
Let z = 589 + -562. Suppose -5*y - 2*m = -69 - 71, 0 = 5*y + m - 140. Which is smaller: z or y?
z
Let x = -1070 - -1421. Let y = x - -80. Which is greater: 430 or y?
y
Let u = -0.655 + 0.7. Let v = u + 21.955. Suppose 6 = 3*l - 9*l. Is l greater than v?
False
Suppose 0 = -5*x - f - 2*f - 100, -3*x - 5*f = 60. Suppose -6*h - 2592 = 6*h. Let n be (-171)/8 - 81/h. Which is smaller: x or n?
n
Suppose 0*s + 59 = s + 3*u, 4*s = -u + 269. Let r = s - 50. Let k be (-24)/r*6/4. Is k < 0.1?
True
Let y(n) = -343*n**3 + n**2 - 35*n - 72. Let m be y(-2). Is m at most as big as 2746?
True
Suppose -f + 1 = -0*f. Suppose 5*h = 4*t + 217, 3*h - 4 + 13 = 0. Let w be ((-14)/63 - t/180)*1. Are w and f non-equal?
True
Let q(t) = t**3 - 8*t**2 - 23*t + 27. Let l be q(10). Let c be (-3)/(-30)*2*(l + 8). Does c = -3/320?
False
Let n = 0.1 + -0.2. Let v be 17/(833/14)*14. Let k be v/((-8)/(-15))*(-116)/725. Which is bigger: n or k?
n
Let m be 253044/(-322) - (-12)/42. Let g = m + 786. Are g and 1 nonequal?
True
Let q = 745 + -772. Let l = -5 + 11. Let s be ((-6)/q)/(1 - 10/l). Which is bigger: s or 0.1?
0.1
Suppose 7 = -4*q - g, 2*g + 90 - 85 = q. Which is greater: 2/9745 or q?
2/9745
Let g = 45 - 32. Let d(m) = -124*m**2 + 749*m - 50. Let a be d(6). Does g = a?
False
Let u = 427 - 429. Let q be 10/u - (-64 - 3). Which is smaller: 63 or q?
q
Suppose 180*w = -103*w - 566. Do 1/608 and w have the same value?
False
Let h = -28.684 - 0.316. Let l = -29.12 - h. Is l greater than -0.03?
False
Suppose -8*o = -13*o + 25. Suppose -b = -5*m - 6, -3*m - 15 = -o*b + 15. Let a be 4*2/12*b. Which is greater: a or 3?
a
Let r(c) = 7*c + 6. Let g = -11 + 13. Let z be r(g). Suppose -7*n - z = -3*n. Is -9 bigger than n?
False
Let c = 138.57 + 351.42. Let w = c - -2.01. Is 1/4 bigger than w?
False
Suppose 0 = -785*b + 788*b - 6. Let h be -2 - (2/4)/((-23)/(-874)). Does b = h?
False
Let u = -994 - -988. Let a = -0.98 + 1.01. Which is greater: u or a?
a
Let h = -0.016 - 0.122. Let j = 0.096 + h. Let r = j - 24.958. Is 2 <= r?
False
Let k = 22.35 - 25.35. Is k != 278?
True
Let u = -182 - -272. Let a be ((-3)/(u/140))/((-104)/6). Is -1 smaller than a?
True
Suppose -8*y + 3*y + 10 = 5*z, -2*y + 20 = -2*z. Let a(j) = j**3 - 8*j**2 + 12*j - 6. Let u be a(y). Which is bigger: -3 or u?
-3
Let n(f) = -14*f + 164. Let w be n(18). Let j be (-2 + -1 + 8)*w/20. Let u(i) = 3*i**3 + i**2 + 3*i + 2. Let d be u(-2). Is d at most j?
True
Let z = 1.9 - -39.1. Let r = z + -40.6. Let f(q) = -q**3 - q**2 + q. Let m be f(1). Is r >= m?
True
Let p(r) = -154*r - 933. Let d be p(-6). Is -10 < d?
True
Suppose 3*w = -4*a + 1800, 7*w = -a + 4*w + 459. Which is bigger: 448 or a?
448
Suppose 23 = q + 5*z, -3*q + 117 = 5*z - 2*z. Let m = -39 + q. Let j = m - 5. Which is smaller: j or -3?
-3
Suppose -4*m - 34 = -12*c + 11*c, -m - 8 = 0. Let r = 0.07 + -0.23. Which is smaller: c or r?
r
Let u = 0.13436 - -0.06944. Is u at most -1?
False
Let o(i) = i**3 + 14*i**2 + 8*i - 57. Let g be o(-13). Suppose -5*n - 2*h = g, -11*n - 16 = -7*n + 4*h. Do -5/14 and n have the same value?
False
Let u = -0.0711 - 213.9289. Let x = u - -214.1. Is -194 less than x?
True
Let m be (-17)/68 + (165/12)/11. Is m equal to 3/1396?
False
Suppose t + 2*a = 7, 6*t - 3*a + 13 = 5*t. Let d = -28242 + 55303/2. Let w = 27175/46 + d. Is w at most t?
False
Let c(n) = 7*n**2 - 6*n + 6. Let r be c(-5). Let o = 287573 + -287362. Is o smaller than r?
False
Let x be -7 - (-31)/(90706/66)*129410/417. Is 0 greater than x?
False
Let y = 884 - 892. Let g be 10/(-15)*y/((-48)/45). Which is greater: -9/4 or g?
-9/4
Suppose -91*c - 23617 = 107*c - 180037. Which is bigger: 785 or c?
c
Let u be ((-4113)/45)/((-2)/(-10)). Let w = -2258/5 - u. Which is smaller: w or 6?
w
Let t(m) = -39*m + 85*m - 48*m - 2. Let l be ((-2)/4)/((-2)/12). Let c be t(l). Are -8 and c unequal?
False
Let t = 255.4 + -2.4. Let y = t - 250. Is y > 44?
False
Let d be (-526)/(-132) - (-18)/108. Let x = 1037/3 + -349. Let w = x + d. Which is smaller: w or 0?
0
Suppose 0 = 27*g + 356 + 238. Let l be g/110 + (98/10)/(-1). Are l and -11 nonequal?
True
Let w be (-1)/(-3) - 26/(-3). Suppose -w*s - 194 = 886. Let y be s/304 + (-4)/38. Is y < 4?
True
Let d be 4/3*7/((-126)/(-243)). Suppose -10 = -8*c - d. Which is smaller: c or -7?
-7
Let x(g) = -15*g**2 + 1. Let u be x(1). Let b = 74 - 91. Which is bigger: u or b?
u
Suppose -5*t - n = -912, 13*n + 726 = 4*t + 15*n. Suppose 18*v + 51 = -t. Which is smaller: -69/5 or v?
-69/5
Suppose 2*a - 134 - 242 = 2*m, m = 4*a - 743. Suppose -a*v - 1312 = -189*v. Do v and 329 have the same value?
False
Let g be 6*65/(-156) + (0 - (-21)/6). Which is bigger: 44/23 or g?
44/23
Let z be (-2)/(-5) + (1 - 135/25). Let t be 2 + 132/32 + z. Is t greater than or equal to 3?
False
Let r = -3432/7 - -489. Is r not equal to 2/51?
True
Suppose -2*l - 588 = 3*i, 2*l = 2*i - 112 + 514. Let b be (2/(-6))/(11/i). Let s = b + -5. Is 8/23 < s?
True
Let c = -363 - -388. Suppose -22*r + c*r - 615 = 0. Which is smaller: r or 204?
204
Let u be (4/3 + 0)*-12. Let b(t) = 7*t**3 + 7*t**2 + 10*t + 10. Let f(s) = -10*s**3 - 11*s**2 - 15*s - 15. Let g(p) = 7*b(p) + 5*f(p). Let d be g(-4). Is u > d?
True
Let s(w) = 590*w - 4125. Let v be s(7). Which is smaller: v or 230/37?
v
Let h = -39.9 + -6.6. Let o = 94.5 + h. Is 6 bigger than o?
False
Let o(f) = f**2 - 17*f + 39. Let l be o(19). Let t be (-2)/(-3) + (-51)/l. Which is bigger: t or 1?
1
Suppose -1505 = 2*p + 3*p. Let b = p + 583/2. Suppose 5*z = -3*g - 46, 0 = -5*z - 4*g + 12 - 55. Which is greater: b or z?
b
Let m = 37.9 - 285.9. Let h = 250 + m. Which is bigger: 6/13 or h?
h
Let l = 7335 - 51341/7. Which is greater: l or 0.25?
l
Let j = 0.255 - -188.745. Let q = 189.29 - j. Are q and 6 unequal?
True
Suppose 0 = -8*s - s + 153. Suppose 2 + s = q. Suppose q = -5*f - 16. Is f bigger than -1?
False
Let f = 2.1 - 2. Let c be 5/(-85)*(-3)/6. Let o = 43/306 - c. Does f = o?
False
Suppose 6 = 3*i - 0, 0 = -2*w + 4*i - 146. Let d be 8*(51/(-6))/(-11 + 12). Is w at most as big as d?
True
Let r be (34/2)/(3/(-84)). Let q = r + 527. Which is smaller: q or 0.5?
0.5
Suppose 3*p - 92 = a, p - 34 = 6*a - 5*a. Suppose -5*j = 4*t + 54, 5*t + 86 = 3*j - 0*j. Let m be (7/56)/((-2)/t). Which is bigger: m or p?
p
Suppose 9*m - 44 - 1 = 0. Suppose 4*a 