p + 12 = -2*n - 14, d = 3*p + 2*n - 22. Which is smaller: p or 9?
p
Suppose -2*v + 14 = -4*a, -a - 15 = -5*v + 4*a. Is -29/139 <= v?
False
Suppose 37*z - 17 - 9 = 11. Which is smaller: z or 1157?
z
Suppose -90*q - 15*q - 17 = -2222. Are 0 and q equal?
False
Let k be (0 - 0) + -382 + -6 + 0. Let m = 389 + k. Is 2/243 smaller than m?
True
Let a = 0.54 - -0.06. Let f = 0.233 + 1.767. Which is greater: a or f?
f
Let y = 1 - 12. Let k = y - -20. Suppose 15*z = k*z + 6. Which is smaller: z or 2/121?
2/121
Let d = -1.99 - 1.29. Let j = d + 3.5. Let s = 2.6 + -0.6. Is j greater than or equal to s?
False
Let z = -3752 + -1249. Which is bigger: -5000 or z?
-5000
Let x(l) = -112*l**2 + 66*l + 4. Let o be x(3). Are -806 and o equal?
True
Let v(k) = -k + 23. Let r be v(-10). Suppose 0 = 9*a - 6*a + 411. Let j be a/r - ((-20)/11 + 2). Which is smaller: -3 or j?
j
Suppose a - 6896 = -4*g - 1568, 0 = -3*a + 12. Which is greater: g or 1333?
1333
Suppose -j - 23 = -0*j. Let d(s) = s**2 + 2*s. Let v be d(0). Suppose 5*i - 115 = 5*o, 4*o - 2*o - 4*i + 44 = v. Do o and j have the same value?
False
Suppose 71*n - 265 = 445. Which is smaller: n or 15.6?
n
Let k = 3231391/28084 - 6087/118. Let w = -1070/17 + k. Which is smaller: w or 0?
0
Let n be (1741 + 2 - -5)/(16/64). Does n = 6994?
False
Let v be 3 + (6 - 1) + -6. Let t be (-8 + 7)*v/(4/194). Which is greater: t or -98?
t
Suppose 0 - 5 = 5*a. Let z = -286 - -309. Suppose -12 = 7*s + z. Are a and s non-equal?
True
Let z = 1.4 - 0.7. Let o = -1196.051 - -1201.4. Let n = o - -0.651. Which is greater: z or n?
n
Let y = 29/32 - 11897/416. Are y and -28 nonequal?
True
Let t = -8788/24615 + 4/2735. Is 1 less than t?
False
Let j = 61/2 + -27. Let u = j + -5. Let r be (-42)/10 - (-12)/10. Is u <= r?
False
Let f = 32.96 + -37.96. Which is bigger: 0.309 or f?
0.309
Let r be (21/56035 - 0)/(13/(-65)). Is r at least -1?
True
Suppose 0*b = -3*b - a + 31, 4*a - 16 = 0. Let x be (b - (3 + 1)) + (3 - 4). Suppose x*c = 3*h + 40, 0 = -5*h - 4*c + c - 57. Is h < -2?
True
Suppose 55*h + 1028 - 4163 = 0. Is 0 <= h?
True
Suppose 9*d - 1889 = -152. Suppose -o - 2*o = 5*m + d, 0 = 3*o - 4*m + 202. Let i = 33 + o. Do -35 and i have different values?
True
Suppose 5*b + 4*t = 22, 2*b - 7*t + 6*t = 1. Suppose -5*s - 4*h + 8 = -11, b*s - 30 = 4*h. Let q = 1 + 7. Which is smaller: q or s?
s
Let p(n) = 3*n**2 - 150*n - 104. Let v be p(51). Is v not equal to 452/9?
True
Let n = -138 + 105. Let w be ((-226)/n + -7)*3. Is -1 >= w?
False
Let w = 6384 + -6199. Is 186 at most as big as w?
False
Suppose 10*y + 24 = 2*y. Let x be (-6)/y - 36/16. Which is smaller: -170 or x?
-170
Let d = 65855 - 195382/3. Is d > 728?
False
Let k = 4408 + -4407.471. Is k smaller than 5?
True
Let a = -163 + 48. Let t = a - -142. Suppose 3*q + 3 = -y, -3*q + 0*q - t = 3*y. Are -15 and y non-equal?
True
Suppose -5*m + 0*i - 2015 = 5*i, -i + 1237 = -3*m. Which is smaller: -414 or m?
-414
Let x = -242642312/5755 - -42162. Which is smaller: 1 or x?
x
Let o(l) = l**2 - 5*l + 2. Let w be o(7). Let x be (2/3)/(w/72). Let f be (-2)/((1 + -7)/x). Which is smaller: -1/29 or f?
-1/29
Let d = -20906 - -20906. Let c be ((-8)/(-3150))/((-6)/9). Which is smaller: c or d?
c
Let i = 2097 + -2095.848. Which is smaller: -2/9 or i?
-2/9
Let l be ((-16)/(-7))/((-26)/(-91)). Suppose -645 = -3*w + l*w. Let o = 1291/10 + w. Do o and 0.1 have the same value?
True
Let x = -132.16 - -1160.16. Is x != -5?
True
Let d(c) = -c + 10. Let p be d(8). Suppose 3*o + p = -1. Let q = -6/1421 - -3772/220255. Which is bigger: q or o?
q
Let g = 94 + -216. Let v = g - -122.027. Is 1/3 smaller than v?
False
Let m = 28282 + -28275. Is m less than or equal to -188/3?
False
Let x(f) = -f**2 - 10*f - 17. Let t be x(-7). Suppose -2*a + 40 = m, -5*m + t*a - 26 = -282. Suppose -8*j = -0*j + m. Are -5 and j equal?
False
Suppose -15*z = -40*z - 128675. Which is greater: z or -5148?
z
Let f(g) = 122*g + g**2 - 237*g + 30 + 86*g. Let h be f(21). Is -138 < h?
False
Let w(m) = m**2 - 22*m + 38. Let b be w(2). Which is smaller: b or -8733?
-8733
Suppose 46504 - 195334 = -7*a - 4*a. Are 13528 and a nonequal?
True
Let t(y) = 265*y + 969. Let w be t(-13). Are -2476 and w nonequal?
False
Let p(u) = -76*u + 2735. Let f be p(36). Let q be -1 + 1 + 20/46. Is f >= q?
False
Let z = 80140/3 - 26115. Is z greater than or equal to 597?
True
Suppose -1 = 4*a + 5*w, 23*a - 1 = 26*a + 4*w. Let s be (-1)/(1*(-1 - 0)). Is a greater than or equal to s?
True
Let f(h) = -h**3 - h**2 - 6*h - 70. Let s be 12/15 + -1 - (-3)/15. Let k be f(s). Is k greater than or equal to -209/3?
False
Let u = 0.1237 - -1584.8763. Let i = u + -1580.935. Let h = i + -0.065. Are 4 and h unequal?
False
Suppose 2*f + 156 = -2*f. Suppose 77324 - 76076 = -32*j. Is f at least as big as j?
True
Let b = 913 + -539. Let o be 4/b*-3*1856/312. Let d = 2/221 + o. Is d less than or equal to -4?
False
Let f = 39119.98 + -38579. Let o = f + -541. Which is smaller: -1/12 or o?
-1/12
Let m be 0*(0 - 2/12*3). Suppose m = 6*a - 2 - 10. Which is bigger: 10/3 or a?
10/3
Suppose s + 5 = -14. Let z(u) = 48*u - 34. Let w be z(s). Let n = -16088/17 - w. Which is smaller: n or 1?
n
Let j be 4952/(-36940) - (-242)/1815. Is 0 > j?
True
Let s = -6259 + 6268. Is s equal to 0.553?
False
Let m be 170/(-3)*-9*(10 - 8). Which is smaller: 1022 or m?
m
Suppose 10*m = 9*v + 5*m - 38, 4*v = -4*m - 8. Let l = -2 + 4. Suppose -4*g + 2*s = v, 4*g - l*s = 3*s + 1. Is g smaller than -0.14?
True
Let i be (4/(-2))/((3016/1014)/(20/(-6))). Is 3 at least as big as i?
True
Let p be (-467)/186 + (-3 - -2). Let c = 72/31 - p. Do 6 and c have the same value?
False
Let j = -3478/9 - -24328/63. Which is smaller: j or -0.0627?
j
Let h be 4 - (-48)/(3/1). Suppose -h = 16*s - 21*s. Suppose 0 = 4*x + s*x - 8. Which is smaller: 4/7 or x?
4/7
Let r(z) = -9*z - 227. Let a be r(-25). Which is greater: a or -594?
a
Let d be (-62232)/105 + (-1)/(-8) + (-198)/(-720). Are d and -591 nonequal?
True
Let z = -604 + 605. Which is smaller: 1611 or z?
z
Let h be (37 + 3)/(-2)*(-35)/5264. Is h less than 0?
False
Suppose -y + 5*s = -361, 3*s - 1283 = -41*y + 37*y. Is 982/3 at most as big as y?
False
Let a = -4142 + 4168. Which is smaller: a or 39?
a
Let b = 91538/5 + -18300. Is b bigger than -40/7?
True
Let h = 29.08 + -28.48. Which is smaller: 3/31 or h?
3/31
Let i be 2 - -5*(-138)/30. Let j be (-84)/i*(-1)/2. Is j at most as big as -2?
True
Let k = -24 - -23. Let v(q) = 2*q - 3. Let a(u) = -4*u - 33. Let s be a(-10). Let w be v(s). Is k at most as big as w?
True
Let w be (-30 - 1)/(1*-6). Let j = 6881 + -6877. Is j at most as big as w?
True
Let k(a) = a**2 - 2*a - 44. Let z be k(-6). Suppose 10 = -2*y + 6, 0 = -z*m - y + 74. Is 23 at least m?
True
Let y = -0.42 - -13.42. Let f = y - 13.068. Let a = -0.098 - f. Is 3/2 equal to a?
False
Let k = -2941 - -2940. Which is smaller: k or 11/294?
k
Let d be (2/26)/(2/((-24)/18)). Suppose 26 = 5*r - 4*s, -3*s = -2*r + s + 20. Suppose 0*x - r*x - 4*i = 14, -3*x - 5*i - 18 = 0. Which is greater: d or x?
d
Let v = 413 + -590. Let q be (-1 - 25/(-15)) + 121/v. Which is smaller: 0 or q?
q
Let p = 25141 + -25690. Are -558 and p nonequal?
True
Let n(x) = -269*x**2 + 3*x + 2. Let d be (-2 - -1) + 1 + (-50)/25. Let l be n(d). Let g be ((-10)/l)/((-3)/(-6)). Which is smaller: g or 0?
0
Let f = 163.5 - 163.1. Is f greater than 8/87?
True
Suppose -3*v = 2*u - 10, 4*v + 4 = 4*u - 16. Suppose 0 = 74*i - 68*i - 18. Suppose 4*a - l - 4 = 3*l, 0 = u*a - i*l - 11. Is 4 > a?
False
Let x = -1.446 + 1.346. Which is greater: x or 3036?
3036
Let r be (0 - 11)/44*(-2 - -2). Is 7/1032 less than or equal to r?
False
Let v = -30/793 + 27592/16653. Which is smaller: v or 3?
v
Let a(q) = -q**2 + 40*q - 301. Let l be a(10). Is l greater than -11/279?
False
Let d be -475 - (2/19 + ((-5200)/190)/13). Is d != -3308/7?
True
Suppose -3*s - 4*u = -1747, 3*u = 4*s + 789 - 3110. Is 2904/5 > s?
False
Let x = -996 + 1038. Let q be (x/(-224))/(6/42). Are 0 and q non-equal?
True
Let x(v) = -2*v**2 - 69*v - 582. Let j be x(-20). Which is smaller: j or 3850?
j
Let x = -332 + 339. Suppose -x = b - 28. Let o = 1.14 - 0.14. Is b smaller than o?
False
Let o = 7764 - 38388/5. Is 86 <= o?
True
Let z be 2/(-5) - (-14)/35. Let a be 36/5*5310/(