as 1?
False
Let g = -7.4826 + -0.0624. Let s = 0.055 - g. Let w = s + -7.8. Which is smaller: w or 0.17?
w
Let h = -15 + -233. Let q = -291 - h. Which is bigger: -303/7 or q?
q
Let b = -7326 + 7559. Let z(k) = -32*k + 9. Let i be z(-7). Is i less than or equal to b?
True
Suppose 4*r + 16 = 0, 0*n = -3*n + 5*r + 32. Suppose n*s - 3 - 5 = 0. Suppose -s*v = 8 + 6. Which is greater: -4 or v?
-4
Let f = -0.5665 + 0.7865. Which is bigger: f or 20?
20
Suppose -k + 12 = -0*k. Let v(u) = u - 13. Let h be v(k). Let c(o) = o**3 - 12*o**2 + 9*o + 25. Let a be c(11). Do h and a have the same value?
False
Let x = -393 - 4501. Let u = x - -4914.49. Let t = 21 - u. Which is smaller: t or 0.1?
0.1
Let h = 1873 + -1253. Let x = -604 + h. Is 20 at most x?
False
Let c be (1 + 0)*1 + (-4 - -49). Let l = -19 + c. Let p = 9 - l. Is p smaller than -18?
False
Let c(n) = -15*n**2 - 154*n - 35. Let p be c(-12). Suppose -3*z - 2*o = -0*z + 1046, 0 = 3*z - 5*o + 1018. Is p at most z?
True
Let j(w) = -w**2 - 33*w - 97. Let p(g) = g**3 - 15*g**2 - 4*g + 31. Let n be p(15). Let l be j(n). Suppose -k = -l + 13. Are 12 and k nonequal?
True
Let i = -5.99 - 0.01. Let t(o) = -51*o - 9587. Let w be t(-188). Which is greater: w or i?
w
Suppose -3*s = -3*y + 405, -3*y - 435 = 4*s - s. Let n be (-568)/s - 30/25. Do n and 2 have the same value?
False
Let a = -227 - -229. Suppose -3*h + 46 = -j - 33, 3*h = -a*j - 149. Which is bigger: -77 or j?
j
Let j be 5460/1470 + 1 + -5. Is j <= -1.88?
False
Let x = -5/1268 + -1253/3804. Do -333 and x have the same value?
False
Let x = -111 + 127. Suppose -16*z - x = -48. Let a be (-39)/15 + z - (-15)/25. Which is smaller: a or 9/13?
a
Let h(j) = -5*j - 55. Let s be h(-19). Suppose -s*c + 332 = -36*c. Suppose -23 = 4*q - c. Which is bigger: q or 13?
q
Suppose -6*q + 13 = -5. Suppose -4*i - 5*c - 28 = 0, 36 = -i - 3*i - q*c. Which is greater: i or -2/15?
-2/15
Suppose -106*p - 43 = -103*p + 320. Which is smaller: -113 or p?
p
Let k = -4/7087 + 87177199/21261. Let x = -4009 + k. Which is smaller: 90 or x?
90
Let g be (3*1)/((-99)/(-1650)). Suppose -2*n = 8*v - 10*v, 0 = -5*n - 5*v - g. Let k(d) = d**2 + 6*d + 3. Let l be k(-5). Which is smaller: n or l?
n
Suppose 68*q = 26*q + 14*q - 5740. Are q and -207 nonequal?
True
Suppose -2*o - 12 = 4*x, -o + 4 = -0*o. Let l be (-42)/(-30)*(-1 - x). Suppose 18*j - 74 = 16. Which is smaller: l or j?
j
Let z = 75606/665 - 796/7. Let s = 242 - 241.9. Which is bigger: z or s?
s
Let y(a) = -a + 139. Let l be y(-6). Let d = -177 + l. Is -10 less than d?
False
Let r = -234 - -240. Let w be -3 - 52/(-16) - r/24. Are w and -10/61 unequal?
True
Let b = -3961 + 19697/5. Which is smaller: -11 or b?
b
Let q = 9/4108 - -19075/1606228. Is 0 less than or equal to q?
True
Suppose 22*v + 94460 - 170316 = 0. Which is greater: v or 17238/5?
v
Let z = 1037960/37 + -28048. Which is greater: -1 or z?
z
Let h(p) = -p**2 - 3*p + 333. Let j be h(17). Suppose -44 = -5*k - 9. Suppose -t + 2*t = -k. Do t and j have the same value?
True
Let s(n) = -28*n**2 + 43*n + 11. Let y be s(3). Is y < -103?
True
Let h = 362 - 302. Let r = h + -38.7. Which is smaller: 1/4 or r?
1/4
Suppose -2*n + 4*n = 8. Let p = -3971 + 6959. Let o be (2253/p + (-3)/n)*-2. Is 0 smaller than o?
False
Suppose 11*g + 7567 + 4093 = 0. Is -1061 != g?
True
Let p = -960 + 965. Which is smaller: p or 2/11?
2/11
Let n = -0.05 + 57.85. Let k = n + -58. Is k <= 2.4?
True
Suppose -r + z = 4*r - 4, 20 = -5*z. Suppose -3*s + 3*o + o + 36 = 0, -2*s - 2*o + 10 = 0. Let m be (10/s)/1 + 93/(-62). Is r >= m?
True
Suppose 110 = 5*b - 2*k, 5*k - 121 = -4*b - 0*k. Suppose 15*o = 13*o + b. Suppose -108 = 4*d - 4*y, 2*y = o - 2. Is -23 less than or equal to d?
True
Let n be 6/39 - 11/(-13) - -3. Let g be (3/(-4))/(7/(n*21)). Let q be -3 - (36/15)/(g/(-30)). Which is greater: q or -13?
q
Let r = 559.84 + -598. Let h = r - -38. Are 1/2 and h unequal?
True
Let b = -0.213 + -1.187. Let d = 0.00044 - 2.99944. Let p = d - 0.001. Which is bigger: b or p?
b
Let p = 7462 - 7462. Which is greater: 30.5 or p?
30.5
Let h = -317/2508 - -5/76. Let t = 80/231 + h. Is t smaller than -99?
False
Let b be 2/7*7/2. Suppose 17 - b = -q. Let n(i) = i**2 + 22*i + 23. Let u be n(-20). Is q less than u?
False
Suppose -128 = -0*d + 4*d. Let x be (-26*1/d)/(2/12). Let b = -142 + 148. Is b equal to x?
False
Suppose 0 = 5*y - 15, 4*l - 11 = -0*l - y. Suppose l*d + 8 - 22 = 2*f, 5*d + 2*f - 70 = 0. Let g be (d/5)/((-10)/(-75)). Is g >= 18?
True
Suppose -970*k + 965*k = -1760. Suppose 12*g = g - k. Is -33 bigger than g?
False
Let w(s) = -4*s - 2. Let o be w(-1). Suppose -12 = o*k - 22. Suppose -6 - 54 = -k*q. Which is greater: 3 or q?
q
Let d(b) = 2*b**2 + 61*b + 13. Let c(l) = 29*l**3 - l**2 - 5*l - 5. Let m be c(-1). Let v be d(m). Is v equal to -1?
False
Suppose 4929 + 1660 = 8*c - 4971. Is 1437 equal to c?
False
Let h be (-2)/(-14) - 2/7. Let t(j) = -2*j**3 - 26*j**2 - 26. Let v be t(-12). Let d = v + 2190/7. Which is bigger: d or h?
h
Let u be (-16 + 1750/110)/((-1)/(-5)*1). Is -53 at least u?
False
Let y = -2450 - -2360. Let l = -279500/3117 - -3/1039. Which is smaller: y or l?
y
Let k = -8325 + 8594. Do k and 269 have the same value?
True
Let q = 6 - 4. Let t(c) = 4*c**3 + 13*c**2 + 16*c + 9. Let r(f) = 3*f**3 + 13*f**2 + 15*f + 10. Let s(d) = 3*r(d) - 2*t(d). Let p be s(-12). Is q < p?
False
Let x be (-2)/(-74)*107*(-6)/(-36). Let o = x - -2/111. Is o at least as big as -121?
True
Let r = 1349 + -1344. Does r = 4.5?
False
Let o = 641.5 - 669.5. Which is greater: o or -130?
o
Let k = -564 + 626. Let m = 1 + -152. Let s = m + 214. Is s <= k?
False
Let m = 3 - 2. Let o be ((-36)/48)/(3/84). Let u(c) = -c**3 - 20*c**2 + 22*c + 10. Let p be u(o). Is p <= m?
True
Let z = -858.1 - -741. Let a = 117 + z. Which is greater: a or 28/11?
28/11
Suppose -2*c = q + 25, 2*c - q - 3*q + 50 = 0. Let t = 19 - c. Which is smaller: 36 or t?
t
Suppose 0 = -7*g + 12*g - 10. Suppose -x = g + 2. Let k be (x/34)/((-3)/(-3)). Which is bigger: 0 or k?
0
Let q(s) = s**3 - 8*s**2 - 4*s - 34. Let k be q(9). Suppose 4*c = 3*f + 346, -k*c + 200 = -2*f - 16*c. Which is smaller: f or -2?
f
Suppose -171 = 47*y - 77. Let x = 0.223 + -0.18. Do x and y have different values?
True
Suppose 3*u = -9, -4*k - 5*u - 359 - 132 = 0. Let w = -103 - k. Suppose 4*r = r + 51. Are w and r nonequal?
True
Let d be 186/(-31)*((-672)/(-135) - 5). Is 365 greater than or equal to d?
True
Let y = -331 + 344. Let g = -61 + y. Which is bigger: g or -3/5?
-3/5
Suppose 0 = 8*s - 3*s + 5*b + 14660, -s - 2*b = 2935. Are -2929 and s equal?
True
Let j(q) = -q**3 + 5*q**2 + 5*q - 11. Let k be (-129)/(-27) - (-6)/27. Let o be j(k). Let f be (-21)/40 + 3/24. Which is greater: o or f?
o
Let a = -1024 - -1027. Let v = -4 + 6. Let k = v - a. Which is smaller: k or -0.1?
k
Let w = 100 - 105. Let i be (3/w)/((-56)/(-60) - 1). Let o be (-1)/(-9) + i/(-81). Is 9/22 greater than o?
True
Let w be (54/21)/6 + 492/28. Let v be (-7)/((-1680)/w)*(5 - 1). Let x be (1 + 0 + -2)*0. Is x at least as big as v?
False
Let g = -10.66829 + 0.66829. Let a be (-30)/(-22) + (-2 - -1). Is g at least a?
False
Let v = 1671741 + -1670975.289. Let a = v - 0.711. Is 0 equal to a?
False
Let m be 18/15*10/1306. Let l = m + 12353/5877. Let x = l - 20/9. Is x at least as big as 0?
False
Let x be -6 + (2955 - 12) - -12. Which is smaller: x or -1?
-1
Let v = -27466/7 + 136938/35. Suppose 2*h - 7*h + 15 = 0. Are v and h nonequal?
True
Let t be 3/(-12) - 5/(-4). Let h be (54/42 - t) + 75/7. Suppose h + 2 = 2*b + 5*s, 7 = -b + 2*s. Which is bigger: 15 or b?
15
Suppose 0 = 11*a + 3*a - 1414. Let c = -14669/5 + 3035. Is a greater than c?
False
Let n = -6 - -11. Suppose -14 = n*a + 61. Let j be (0 + 0 - 1)*(16 + a). Is -1/14 less than j?
False
Let f be ((-48)/(-128))/(2/16). Let o be (-1)/(((f - 2) + -2)/433). Which is greater: 432 or o?
o
Suppose 206*a - 29*a - 13602 + 3336 = 0. Let l be (16/(-14) - -1)*-2. Which is bigger: l or a?
a
Suppose -2*v = 5*a - 851, v + 236 + 268 = 3*a. Let q = 241 - a. Is 70 <= q?
True
Let v = -9589 + 14049. Let m = v + -2345. Let i = -23223/11 + m. Which is smaller: i or 5?
i
Let g = 37 + -36. Suppose 4 = j - g, h - 2*j = -37. Let i = 28 + h. Which is bigger: i or -4?
i
Let n(x) = -116*x + 