 + -7679. Which is greater: -662 or z?
z
Let z = -2/18145 - -544472/1106845. Suppose 0 = -5*y + l - 2*l + 4, 0 = 4*y + 5*l - 20. Which is bigger: z or y?
z
Let l be (-439)/(-61) + 21 + -28. Let n = 23 + -23. Which is greater: l or n?
l
Let h be (3 + 21/(-6))*(-696)/76 - -3. Is 8 != h?
True
Let i = 2784.7 + -2784. Is i >= 3/49?
True
Let y = 4 - 3.72. Let u = y - 0.28. Suppose 5*c = 4*a + 151, 2*c + 115 = 7*c + 5*a. Is u < c?
True
Let o = 125 + -8. Let v be (-3)/(-6)*(-138)/o. Let y = v - 1/13. Does y = -12?
False
Suppose -68 = p - 5*p. Suppose -175 = 4*o - 179. Let u be (o + 55)*(-34)/(-119). Do u and p have the same value?
False
Suppose 0*b + 9 = -3*b. Let l = -3 - b. Let m = 7/373 + 1028/4849. Are l and m non-equal?
True
Let d = 4/18237 - -42510439/36474. Let k = d - 1129. Suppose 0 = 36*b - 424 - 944. Which is greater: b or k?
b
Suppose 3*a + 2*u = -17, -17*a + 43 = -19*a + 5*u. Suppose -2*v + 2*d = 3 - 9, -2*v - d = -12. Suppose -v*q + 45 = -5*g, q = -g - g - 18. Is a >= g?
True
Let q be -17 + 24 - (-134)/(-10). Let u = 134 + -139. Do q and u have the same value?
False
Let p = -221236 + 30751624/139. Which is smaller: -1 or p?
p
Let d be 3261 - -23*(-5 - -4). Is 3239 >= d?
True
Suppose -6*m + 8 - 9 = 5*s, 2*m + 5*s - 3 = 0. Let f = 31/147 - 1/49. Is f less than m?
False
Let y = -1891 + 1892. Which is greater: y or -18?
y
Let i = -3107 - -3126. Which is greater: -4 or i?
i
Let j = -5.4 - -34.4. Let v = j + -29. Let o = 10 - 14.4. Is v < o?
False
Let x = 144999/76 + -1908. Let u = 1/152 - x. Let r be (-3 - -2)*(-1)/1. Is r <= u?
False
Let p(g) = g**2 - 3*g. Let u be p(-15). Suppose -u = 5*t + 5*m, 2*t + m - 3*m = -92. Is t bigger than -50?
False
Let q = 299414369/435 - 688310. Let d = 34/29 + q. Which is greater: -15 or d?
d
Suppose 2700 = -3*h + 13*h. Let a be 175/h + (-5)/10. Suppose 3*k = k - 2. Is k at most as big as a?
True
Suppose 15*z - 64*z + 129767 - 31081 = 0. Is 2012 <= z?
True
Let n = -781 + 7843/10. Are 2 and n unequal?
True
Suppose 121*h + 126 = 973. Which is greater: h or 122/17?
122/17
Let y = 688 - 689.55. Let r = -122 + 122.1. Which is greater: y or r?
r
Let b = 283 + -539. Let p = -256 - b. Is p at least as big as -314?
True
Suppose -2*q + 12 = 4*k, -4*k + 5 + 5 = 3*q. Suppose -k*r = r - 15. Suppose 2*v - 4 = 0, r*d = d - 5*v + 8. Do -53 and d have different values?
True
Let v = 20656106/455 - 45398. Which is bigger: v or 1?
1
Let v be (-2 - (-11)/6)*(-3)/(-10907). Which is greater: v or 1?
1
Let i = -4656 - -4655.47. Let k = -70657/14 + 5050. Let v = 18/7 - k. Which is smaller: v or i?
i
Let w be 6 + (4 - 9276/928). Let a = -243/2552 + w. Suppose -3*j - 4 = -1. Which is smaller: a or j?
j
Suppose 101*y + 169456 = 157*y. Is 3027 < y?
False
Let f be -1 - 2 - ((-28)/7 - -1). Let r be (-18)/21*(f + -49). Are r and 43 nonequal?
True
Suppose 0 = 4*f + 4*c + 8992, -c - 9007 = -483*f + 487*f. Which is smaller: -2255 or f?
-2255
Let s = -16477/550 + 266/25. Is -20 at least s?
False
Suppose -j + 5*j - 4*u = 0, 3*j = 4*u - 3. Suppose -2*v - 68 = -j*v. Suppose -h + 4*g - v = -5*h, h - 15 = -3*g. Are h and 17 unequal?
True
Let q(n) = -14*n**3 + 41*n**3 - 17*n**2 - 13*n**3 + 22 + 4*n - 17*n**3. Let g be q(-7). Which is smaller: 189 or g?
189
Let c be 1720/4903075*((-14)/4 + 6/6). Is c >= 0?
False
Let m be -3 + (1 - 3) + -76. Suppose -136*y + 151*y = -105. Let k be (y + 27)*(-3 - 1). Which is greater: m or k?
k
Let w = 48 - 134. Let t = 89 + w. Which is greater: t or 9/5?
t
Let a be 4/5*(-105)/(-6). Suppose x + a = 19. Let h be ((-24)/x)/((-6)/((-180)/21)). Is -8 bigger than h?
False
Let a = 6808 - 6790. Is 348/19 at least a?
True
Let o = -2627.2 - -2893. Let s = o - 273. Let r = 0.2 - -0.8. Which is smaller: r or s?
s
Suppose z + 0*z - 6 = 2*z. Let u = -32 + 65/2. Are z and u unequal?
True
Suppose 6*l - 20 = 4*l. Let j be ((-68)/(-6) + 0)*(-24)/l. Is j > -28?
True
Let x = -7428 - -9121. Is x < 8464/5?
False
Let w be 11293/(-67758) - (-6481)/(-18)*6/4. Is w less than -540?
True
Let c = -2555.3 - -2555. Let f = -39.04 - -31. Let n = f - -8. Which is greater: c or n?
n
Let u = 0.8 - 0.3. Let s = -7/6280 + 56569/43960. Is s >= u?
True
Let i be 8 - (-6 + -6 + 11). Let b(a) = -a**3 + 10*a**2 + 9. Suppose -2*x - 13 + 33 = 0. Let g be b(x). Is g equal to i?
True
Let u(d) = d**3 + 9*d**2 + 3*d - 5. Let g(q) = -17*q - 10 - 7 + 18*q. Let r be g(8). Let s be u(r). Is s at least as big as -33?
True
Suppose -145*v + 146*v = 5*h - 2, 5*h - 16 = 3*v. Is h bigger than 3/4781?
False
Let b = 1 + -1. Let h be 12/72 - (-203)/(-1344). Which is bigger: b or h?
h
Let x be 4/(-8)*18/(-3). Suppose 0 = -0*u - 3*u + x. Suppose -16*h + 20*h + 300 = 0. Is h <= u?
True
Suppose 7667 - 7847 = 180*v. Is 15/2432 equal to v?
False
Suppose -2*k + 3*n = -0*k + 157, n = 3*k + 239. Let i = k + 80. Is -3 != i?
True
Suppose 0 = t - 4, -3*w - 12*t + 14*t = -2977. Let g = w + -917. Let f be (-105 + 1)*(-3)/4. Is f at least as big as g?
True
Let x = -9 + 15. Let j = -4.7832 - 0.2168. Which is smaller: j or x?
j
Suppose -51*k - 38*k + 100*k + 12881 = 0. Is -1172 less than k?
True
Let l = 13 + 31. Let y = 856 + -2438/3. Which is bigger: l or y?
l
Let d be 35/(-3)*28/10*-3. Let c = d - 391/4. Is c at most as big as -148?
False
Let n(k) = 3*k - 4 + 16*k**2 - 12*k**2 + k**3 - 2*k. Let u be n(-2). Let f be (-15)/(7 - u)*4/116. Which is smaller: f or -1?
-1
Let z = -3405 - -3422. Which is greater: -6 or z?
z
Suppose -36*x = -523 + 163. Suppose 42 + 28 = x*g. Which is smaller: g or 95/17?
95/17
Suppose -5*c - 3*f = -22, -f - 2 + 8 = c. Suppose -240 = -4*o - 4*x, o + c*x + 2*x = 54. Is 64 at least as big as o?
True
Let o(j) = 2*j**3 - j**2 + j. Let l be o(1). Let x be 28 + (-6010)/150 - -15. Which is smaller: x or l?
l
Let r(t) = -2*t - 10. Let w be r(-5). Let g(a) = -a**3 - 7*a**2 - 6*a + 2. Let x be g(-6). Suppose w = -d - x*d + 4*d. Is d smaller than 3/40?
True
Let q = -1 + 1.1. Let h = -0.00925 - 19.99075. Are q and h equal?
False
Let w = -65.3 + -328.7. Let h = w - -397.2. Which is smaller: 0.4 or h?
0.4
Let c = 110 - 49. Let o = -60.8 + c. Which is bigger: 166 or o?
166
Let a = -93 - -43. Let f = -8.701 - 45.299. Let o = a - f. Is o > 1?
True
Let x = -146 + 145.9355. Let r = -7.7245 - x. Let l = r - -7.6. Which is smaller: l or -11?
-11
Let t = -8.843 - -30.443. Which is smaller: t or -2?
-2
Let p be ((-3550)/(-2))/(-1 + (-13 - -7)). Is p < -254?
False
Suppose 4*r - 3*h - 286 = 0, 6*r - 4*h - 211 = 3*r. Let q = -589/8 + r. Which is greater: q or 0?
0
Let z be ((-35)/(-21))/(((-5)/5)/(-6)). Suppose -s - z = -3*s, 5*s + 59 = w. Which is smaller: w or 250/3?
250/3
Suppose 6*h + 35 = -49. Let m be (3*h)/(3/(-6) - 1). Are 5 and m non-equal?
True
Let c = -6383 + 7010. Does 627 = c?
True
Let w = 49.1 - 46. Let j be (-1)/(-2) - ((-8)/(-28) + (-208)/(-448)). Which is greater: j or w?
w
Suppose 109*m + 1139295 = -42*m. Is m at least as big as -7544?
False
Let n = 1991/6 + -45649/138. Is n at least 2?
False
Let g(o) = -2*o**2 - 33*o + 15. Let v be g(-17). Let t be (v/(-6))/(259/(-378)). Which is bigger: 0 or t?
0
Let i be 134091/987 + (-12)/14. Let m be 943/7 + 24/(-14) + 2. Is m less than or equal to i?
True
Let i(m) = m**2 - 7*m - 254. Let p be i(17). Is -22 smaller than p?
False
Let u be (-1)/(-3) + 209/(-285). Is 6706 greater than or equal to u?
True
Let y = 8 - 5. Suppose j - 3*i - 12 = -1, -5*j = -y*i - 67. Suppose 5*v - 10 = 0, 3*g + 5*v - 2*v - 45 = 0. Which is bigger: g or j?
j
Let p(t) = t**2 + 7*t + 12. Let k be p(-5). Suppose 5 = 5*u, -k*u = 2*x + 3*u - 1. Do -5 and x have different values?
True
Let j = 195.8 + -365. Let i = j + 169. Is i > -0.16?
False
Let y be (11 - (-90)/(-18))/(1/((-10)/3)). Which is smaller: y or -24?
-24
Let k = 0.14598 - -3279.85402. Which is greater: k or -1?
k
Let y = -405287/5 + 81326. Is 270 greater than y?
True
Let c = -39 + 42. Let l be 37/c*20/(-52). Let u = -62/13 - l. Is 0 <= u?
False
Let t = 8840 - 8843. Is t equal to -138/35?
False
Suppose -65*p + 57*p + 51*p = -129. Let o = 553/9 + -2717/18. Let b = o - -88. Which is bigger: p or b?
b
Let o be (7 - 9)*(3 + -13). Suppose -2*p = -6*p + 20. Let w be (0 + 1)/(p/95). Which is greater: o or w?
o
Let z = -2.632 + -2108.368. Let r = z + 2111.853. Let l = 0.053 - r. Which is smaller: l or 0.1?
l
Let u