-133 - 615. Let q = l + 187. Which is smaller: q or w?
q
Suppose -630*k + 33 = -627*k. Let a = 0.67 + -0.55. Which is bigger: a or k?
k
Let g be (56/126 - 4/(-18))*-2004. Is -1335 >= g?
True
Let u be (-32)/(-460)*(-45)/342. Which is smaller: u or 1?
u
Suppose 5*l = 6*l. Suppose 4*j - 26 = -2*y - l*y, -2*j - 3*y + 7 = 0. Let p be (-3 - 0) + (10 - j). Is 2/27 greater than or equal to p?
True
Let y be 28/1 + -3284 + 5/((-10)/(-8)). Is y greater than -3252?
False
Let x be 1683/945 + 40/(-56). Which is bigger: 1 or x?
x
Let m = 5437.7 + -5627.762. Let v = m + 0.062. Is -2/3 greater than v?
True
Suppose 0 = -4*t + 6*t - 162. Let f = -14 + t. Let y = f - 66. Is y < 22/15?
True
Suppose -g - 36 = 2*g. Let u be (-24)/60 + g/(-5). Let c = -6 + u. Is -21/4 bigger than c?
False
Let d be (12650/(-66))/((-3)/(-2)). Let s = -128 - d. Is -1 >= s?
False
Let l(t) = -7 + 6*t - 1 + 7 - 7 + 4*t**2. Let s(f) = -5*f**2 - 7*f + 7. Let v(p) = 4*l(p) + 3*s(p). Let r be v(-5). Are r and -2/35 equal?
False
Let n(i) = i**2 - 10*i - 14. Let j be n(11). Let w(l) = -l - 1. Let k be w(j). Let r be 3/k + (-20)/(-8). Is -2 < r?
True
Let j = 136889 - 6707261/49. Let a = 48/49 - j. Suppose -12 = 5*z - 3*z - f, 0 = -z + 4*f - 20. Which is greater: z or a?
z
Let n be (-5 + 3)*1 + -48. Let b = 35 + n. Let o = 34 - 49. Is o < b?
False
Let v be 4/3 - (92/(-12) - (-3 - 6)). Is v at least as big as 2/3079?
False
Let s = 6 - 4. Suppose y = -5*g + 7 - 18, -y = -s*g + 25. Which is smaller: -19 or y?
y
Let r = 179 + -177. Let v = 2774/7 + -35873/91. Is r less than or equal to v?
True
Let x be (4 + -2 - 2)*3/(-9). Suppose 0*v - 2*v = -b - 4, x = -2*b - 4. Let h be (0 - (v - -3)) + 44/10. Which is bigger: 3/11 or h?
h
Let d = 5897/1135 - -1/227. Let k be (2/(-2))/((-4)/8). Suppose -4*b - b - 5*l + 15 = 0, 3*l - 3 = -k*b. Is d != b?
True
Let r be 58/(-203) - (-74)/14. Suppose 0 = k + 3 - r. Let d be 2 + (36/k)/(-3) + -6. Is d at most as big as -10?
True
Let n(l) = 93*l**3 + 3*l**2 + 5*l + 5. Let j be n(-2). Let h = 17681/24 + j. Let z = h + -11/24. Is 0 at least z?
True
Suppose 2054 = -191*p + 217*p. Which is greater: 77 or p?
p
Suppose -5*x = -r + 2*r - 2, 0 = -5*r + x + 10. Let i(q) = 19*q**2 + 608*q + 41. Let t be i(-32). Which is bigger: t or r?
t
Let k be (-16 + 17)*-16*3*(-373)/4. Is k smaller than 4475?
False
Suppose m + 5*k - 21 = 0, -2*m + k - 14 = -3*k. Suppose 15 = 4*j - 5. Suppose 0 = j*b + 16 + 14. Is m greater than or equal to b?
True
Let t be ((-3)/(987/(-4)))/(814/8547). Which is greater: 0 or t?
t
Let u(l) = 3*l + 73. Let d be u(-26). Let w be ((-7 - 2048)/d)/((-6)/4). Is w <= -274?
True
Let y = -2591 + 2575. Does y = -1.7?
False
Suppose 204 = -4*v + 2*x, -7*v - 45 = -6*v - 2*x. Which is smaller: -17 or v?
v
Let p = -755 - -754. Let g = -36.47 - -36. Is p > g?
False
Suppose -5*c + 31 = 4*n, -3*n - 2*c - 2 = -5*n. Suppose -3*g + 3*z - 3 = 0, 2*g - z = n*g + 17. Let o be 1 + 4/(-36) + 4/g. Which is bigger: o or -3?
o
Let q = 0.09 + -99.89. Let h = -9.1 + 108.1. Let n = h + q. Which is smaller: n or -2/5?
n
Let y be (20/15)/(8/(-12)). Let j(n) = -31*n + 8. Let f be j(y). Is 72 <= f?
False
Let j(y) = y**3 + 14*y**2 + 20. Let q be j(-14). Suppose -6*m + 112 = -q*m. Let s be ((-147)/(-6))/((-4)/m). Is 50 greater than or equal to s?
True
Let k = 105316 + -105189. Suppose b - 4*b = 6. Which is smaller: k or b?
b
Let t(d) = 2*d - 4. Let r be t(20). Suppose -5*p = 5*n - 3*p - r, 3*n - 2*p = 28. Let s be (-20)/(-740)*n/(-2). Is s <= 1?
True
Let u = -8296 + 2463908/297. Which is smaller: 0 or u?
u
Let l = 71 - 65. Suppose l*v + 24 + 498 = 0. Is v not equal to -87?
False
Let h be (-1)/(-2) + 0/3. Let f = -233 - -230.98. Let s = 4.98 - f. Which is smaller: h or s?
h
Let o = -697 + 633. Let i be (-12)/(-30) - (o/(-65))/4. Is i < -27?
False
Let p = -358187531/4227 + 84738. Is 1 less than p?
False
Let o be (3/(-2))/((-2)/(-4)). Let a be o/(-5) - 16/10. Let d = 1167593/87 + -40261/3. Is a at least d?
False
Let s be (162/12)/(-9)*8/(-3). Let n be s - (174/36 - 1). Let r be (6/20*2)/1. Which is smaller: n or r?
n
Suppose 220*a - 102*a = -826. Is -16 at least as big as a?
False
Let d(z) = z**2 - 5*z - 24. Let a be d(-3). Let k = 0 + 1. Let c be 320/(-870) - k/(-3). Is c greater than a?
False
Suppose 0 = 21*n - 11*n - 88920. Suppose 0 = -23*r - n - 3321. Which is smaller: -530 or r?
r
Let g(x) = 3*x**2 + 6*x. Let k be g(-3). Suppose k*y = -2*y - 1265. Is y bigger than -115?
False
Let v = -25039179/973 - -25734. Let z = v - -9679/16541. Are 0.1 and z unequal?
True
Let t be 88/396 - 42684/192321. Which is bigger: t or -1?
t
Let t = 0.0555 + -0.4285. Let k = t - -0.043. Let i = 7.33 + k. Which is smaller: -0.2 or i?
-0.2
Let g = -2059 - -1394. Is g less than 1?
True
Let q = -7.49 + -362.51. Let z = 370.2 + q. Which is greater: 0.06 or z?
z
Let c(o) = 5*o - 8. Let b be c(-3). Let d be (1 - 1)/(-27 - b). Which is greater: -1/144 or d?
d
Let p(w) = 31*w + 3. Let d be p(-1). Let h = d + -34. Suppose 17*s + 1674 = -10*s. Do s and h have the same value?
True
Let y be ((-44)/(-220)*30/4)/(2/12). Suppose -5*i - 1 = -6. Let b be (y - 12) + (-3)/(-1*i). Which is bigger: b or 27?
27
Let n = -159 + 169. Suppose 5 = 3*j + 3*x - n, 0 = -3*j - 4*x + 20. Is -3/4 greater than or equal to j?
False
Let d = 2043 - 2052. Let j = 0.17 - 2.57. Which is bigger: d or j?
j
Let c = -1349.077 + 1337.7. Let h = c - -0.277. Let m = h + 7.1. Which is bigger: -2/11 or m?
-2/11
Suppose -7*j + 0*j = -0*j. Suppose -9*r + 7*r + 40 = j. Let k be ((-14)/(-10) - 1)/(36/r). Are 1 and k unequal?
True
Let l(q) = -q**3 + 10*q**2 - 32*q + 32. Let c be l(5). Is c smaller than -217/67?
False
Suppose 2*f + 285 + 221 = 0. Let q = -267 - f. Is q less than -63/5?
True
Suppose 447*d + 140 = 475*d. Let m be 2 + (4 + 5)*4/18. Which is smaller: m or d?
m
Let m be -1 - 1 - (-8)/6. Suppose 0 = 18*i - 20*i - 272. Which is smaller: m or i?
i
Let d = -124.273 + -30.734. Let n = 155 + d. Let p be ((-9)/(-12))/((-3)/2). Is n != p?
True
Let c be (-7 - -3)/((-2)/(-6)). Let p be -1*34*((-6)/c + -1). Suppose -p = -y - 2*u, 0 = y + 2*u + u - 14. Is 24 equal to y?
False
Let v = -3162 + 180232/57. Let j = -0.13 - -1.13. Which is bigger: j or v?
j
Let h(s) = -167*s**2 - 370*s + 8. Let d be h(-6). Is -3782 smaller than d?
False
Let j(u) = u**2 - 52*u - 108. Let b be j(54). Is b greater than or equal to 46/81?
False
Suppose 0 = -11*q + 11. Let c be (0 + q)/(-1 - (-44)/45). Are -45 and c equal?
True
Let z = -707821 - -707885. Let w = 0.3 + 1.7. Do w and z have the same value?
False
Let o = -96 - -95.53. Let f = -0.01 - o. Is f smaller than 0?
False
Let h = -28073 - -139284/5. Are h and -215 unequal?
True
Suppose 0 = -3*w + 2*z + 1486, -2*z = -5*w + 1588 + 890. Let k be 5 - w/63 - -3. Which is bigger: 0 or k?
k
Let s be (21/35 - (-5)/(-50))*-2. Which is bigger: -4/445 or s?
-4/445
Let r be (-315)/45 - (-66)/10. Suppose -i - 34 = -2*i. Is i < r?
False
Let o = 23.9 - 23.994. Let f = 0.094 + o. Is -24/19 at most as big as f?
True
Let t = -58 + 57.34. Let j = t - -1.07. Let q = 9.59 + j. Is q at least -0.1?
True
Let d = 82 + -88. Let r be (-9)/((-135)/d) + (-556)/(-40). Is 15 > r?
True
Suppose 0 = -2*v + 2*p - 6, 2*p = v + 2. Let l be 6/v*(-7)/((-42)/4). Are l and -3/191 non-equal?
True
Let w = -739911657/11645 - -63539. Is w equal to -1?
False
Let m = 347 + -349. Let n be 10/75 + (356/30 - m). Are n and 14 equal?
True
Suppose -99*y + 279*y = -12060. Which is bigger: -44 or y?
-44
Let k(u) = -20*u - 96. Let i be k(-7). Let f(q) = q**2 - 15*q + 5. Let p be f(10). Let c = p + i. Is c not equal to -12?
True
Suppose -1294*z + 1299*z + 4 = 4*d, 4*z - 5 = -5*d. Which is smaller: d or -16/191?
-16/191
Let r be -11 - (6 + 16578/(-342)). Is 31 greater than or equal to r?
False
Let n be -6 - -4*(-44)/(-16). Is n smaller than -0.164?
False
Let y = -135.7 + 135.8. Which is smaller: -192/31 or y?
-192/31
Suppose 2*j + 4*l = -124, 12*l = -5*j + 11*l - 256. Let d be 1976/(-20)*(-1)/(-2). Which is smaller: d or j?
j
Let w = 187 + -196. Let o(m) = 7*m - 14. Let n be o(w). Is -77 equal to n?
True
Let a be 4 + 30*(-16)/124. Let x = 2313/2 + -1158. Which is smaller: a or x?
x
Let t(v) = -11*v**2 - 200*v + 1809. Let k be t(9). Which is greater: k or -885?
k
Suppose -3*s + 38 - 14 = 0. Let u = 