-2*q - 2*y = 14. Is 0.2 <= q?
False
Let v = -0.07 + -0.28. Let c = v - 1.85. Let o = c + 6.2. Which is bigger: 1 or o?
o
Let j be 1/3*6/(-2)*-4. Let b be (0 + (-17)/(-6) - j) + 2. Is b at least 1/6?
True
Let l = 14166/7 + -2023. Are -2/141 and l unequal?
True
Let z be 3 - (-36)/(-3)*(-265)/50. Suppose 2*u - 138 = -2*b, -269 = -4*b - 5*u + 9. Let l = z - b. Is l bigger than 2/3?
False
Let w = 429 + -418. Is w less than or equal to 10?
False
Let r(f) = f**2 + 6*f + 4. Let l be r(-6). Let z be 3/l + (-4 - -2). Let y(b) = -b**3 - 6*b**2 + 14*b - 17. Let w be y(-8). Do z and w have the same value?
False
Suppose 12*s - 48 = 8*s. Is s less than 0.06?
False
Let q(i) = 3*i + 38. Let k be q(-12). Let s be 1 - (2/k)/1. Is s bigger than 4/5?
False
Let z = 213 + 442. Is z bigger than -0.1?
True
Let i(v) = 32*v + 31. Let f be i(18). Which is greater: f or 606?
f
Suppose m + 11 = -2*i - i, -4*m - 8 = 0. Suppose y + y + 6 = 0. Let k = i - y. Is 0 at most k?
True
Suppose 191*b = 194*b. Is b greater than or equal to 5/47?
False
Let d(v) = v**3 - v**2 - v + 180. Let u be d(0). Let z be (-3)/(-4) + u/(-176). Which is greater: -1 or z?
z
Suppose 4788 = -2*z - 16*z. Which is smaller: -7 or z?
z
Let w = 18 - 54. Let b = 1745 - 1781. Is b at most as big as w?
True
Let w(y) = 2*y**2 + 63*y - 71. Let h be w(-33). Do h and 29 have the same value?
False
Suppose 3*m + 9 = -3*o, 4*o - 7*m = -3*m + 28. Let n(d) = -d**2 - 16*d - o*d**2 - d**2 + 3*d**2 - 9. Let l be n(-15). Is 6 less than l?
False
Suppose -3*z = -3*g - 3, -5*g - 3 = z - 28. Let j(k) = 2*k**2 - k. Let v be (1/(-2))/(8/(-32)). Let f be j(v). Which is bigger: f or z?
f
Let p = -16855/30392 + 3/1048. Do p and -1 have the same value?
False
Suppose 4 = 11*u - 7*u. Let h be (u + (-260)/244)/2. Suppose 4*f = 6*f. Do h and f have different values?
True
Let b(o) = -11*o - 85. Let g be b(6). Are g and -303/2 unequal?
True
Let k be ((-1)/(-5))/(1649/119 + -14). Suppose -1 + 3 = -4*x + 3*l, 2*x = -3*l - 10. Which is greater: k or x?
k
Let f = -409 - -1635/4. Which is smaller: f or 1.29?
f
Let o = 5.5 + -6.1. Let w = 13.7 + -13. Let c = o + w. Which is smaller: -0.1 or c?
-0.1
Let s(j) = j**2 + 6*j + 11. Let m be s(-4). Suppose -36 = m*r - 21. Are r and -7 non-equal?
True
Let n(o) = o**3 - 14*o**2 + 13*o. Let a be n(13). Suppose r + a*r - i = 24, -r - 4*i + 39 = 0. Suppose 0 = -5*m - 13 - r. Which is smaller: m or -9?
-9
Suppose 188 = 9*f - 379. Let u = -42 + f. Which is bigger: u or 3?
u
Let i(m) = m**2 - m. Let c be i(2). Suppose -3*z - 4*s + 0 = -17, -c*z - 3*s = -13. Which is bigger: -2/123 or z?
-2/123
Let d = -1.68 + 0.18. Let y = d - -4.2. Let a = -0.7 + y. Is -0.5 <= a?
True
Let y(w) = w**2 + 10*w - 8. Let u be y(-11). Suppose -2*p = -3*a - 2, -3*p + 1 + 2 = u*a. Are a and 6/7 nonequal?
True
Suppose c - 383 = -388. Is -8 bigger than c?
False
Let c = -33/100 - -2/25. Which is bigger: 7.1 or c?
7.1
Let w be (15/(-9))/(18/2). Let i(u) = 2*u**2 - 4*u - 95. Let y be i(-6). Which is smaller: w or y?
w
Let v be 32/4 + (-4)/(-2). Let t be 1/(v/4 + -2). Suppose t*c + 1 + 5 = 0. Are -6 and c equal?
False
Let b(p) = -7*p**2 + p. Let c be b(1). Let g(u) = 70*u - 9. Let h be g(1). Suppose -h*d = -62*d. Which is greater: d or c?
d
Let j(g) = g**2 + 6*g - 2. Let q be j(-7). Let a(z) = -z**3 + 4*z**2 + 8*z - 11. Let x = -42 - -47. Let l be a(x). Are q and l unequal?
True
Let r = -631 - -633. Which is smaller: r or -195?
-195
Suppose -5*u + 14 = -3*h, u - h + 3 = 5. Let g be 2*-1*u/(-8). Suppose 0*v - 16 = -4*v. Which is greater: v or g?
v
Let m(c) = -5*c - 5. Let q be m(-5). Let d be ((-5)/(-3))/(12/(-72)). Let u = d + q. Is 8 less than or equal to u?
True
Suppose 3*t = 3, 4*f - 4*t - 299 = 17. Which is bigger: 77 or f?
f
Let n = 95.2 - 95. Is n not equal to -1/220?
True
Let s be (((-45)/6)/(-1))/((-4)/(-40)). Let c be ((-5)/(-25))/(3/s). Are c and 4 nonequal?
True
Let t = -43 - -28. Let q = 5 - -6. Let o = q + t. Are o and -0.2 equal?
False
Let d = 107 + -186. Let h = d + 138. Is 0.1 at most as big as h?
True
Let w be 84/7*11/2. Suppose 3*r = 2*g - 3*g + 33, 2*g - w = -r. Which is smaller: g or 32?
32
Let i be 8/(-2) - (11 + -13) - -318. Which is bigger: i or 317?
317
Let o = -48.25 + 34.126. Let r = o - -14.1. Which is greater: -0.1 or r?
r
Let m(c) = -2*c - 2. Let y be m(10). Let r be (-2)/(-3 - y/8). Suppose 2*z - 33 + 8 = -3*b, -2*z - 29 = -3*b. Which is smaller: b or r?
r
Suppose -2*m + 5*p + 18 = 0, 3*m + 3*p = 4*m - 11. Let l(n) = 2*n + 9. Let i be l(-8). Let q be -2*1*i/(-14). Are m and q non-equal?
False
Suppose -2236 = -4*k - 0*k - 5*g, 5*g = -5*k + 2800. Let r be ((-3)/9)/(k/189 - 3). Is 20 not equal to r?
True
Let h be 64/6 + -18 + 15 + -7. Does h = 310?
False
Let u be 12/(-3 - -6) + (0 - 11). Which is smaller: 11 or u?
u
Suppose 10*d + 72 = 2. Let u be (-2)/6 - (-14)/6. Let b(j) = j**2 - 2*j - 2. Let s be b(u). Is d greater than s?
False
Let c be -6*(-2)/4*5. Let u(i) = -i**2 + 13*i + 20. Let o be u(14). Let q = o - c. Are -8 and q non-equal?
True
Let p(d) = d**3 + 6*d**2 + 4*d - 3. Let g be p(-5). Suppose 2*x + 48 = g*k, 2*k - 4*x = x + 63. Which is greater: 16 or k?
k
Let w = 772 + -882. Is w greater than or equal to -111?
True
Let c = -6 - -8. Let g(o) = -2*o**2 - 28*o - 24. Let p be g(-13). Is p less than or equal to c?
True
Let v = -1467 - -1474. Which is bigger: v or 21?
21
Let j = 0 - -4. Suppose j*a - 3*h = 11, a - 6*h = -9*h - 16. Which is bigger: 1 or a?
1
Let y(h) = h + 23. Let n be y(-20). Let t be (n/(-28))/(-1 - (-9)/12). Which is smaller: t or 3.1?
t
Let i be (64/(-70) - -1)*(-61 - -66). Let u(f) = 4*f**2 + 2*f - 1. Let b be u(1). Suppose 2*z - b*r = 23, 2*r + 14 = -3*z - z. Which is greater: z or i?
i
Let q = 416.4 - 410. Which is smaller: q or 1?
1
Suppose u - 30 = -4*u. Suppose d - 5 + 4 = r, 4*r = 3*d - u. Let g be 1*d + (12 - 8). Is g at most 3/5?
False
Let i be ((-288)/(-42))/((-2)/(-7)). Let n be (-1)/7*3/(i/(-16)). Which is bigger: n or 6?
6
Let f = 6 + -5.97. Suppose -2*t - 3*t = 5. Let r be t/(-4) - (-3)/12. Which is greater: f or r?
r
Suppose 3*v = -k - 195, 0 = -3*k + 10*v - 8*v - 541. Is -184 bigger than k?
False
Suppose 248 = -2*y - 5*t, 4*y - 20 = -2*t - 516. Is -125 at most y?
True
Let m(h) = -12*h. Let j be m(5). Let o = j - -70. Are 12 and o equal?
False
Let d(z) = -11*z**2 + 3*z - 1. Let b be d(-3). Let w = b - -107. Does w = -6?
False
Let l = 7 - -1. Let c = 619 + -1834/3. Is c at least as big as l?
False
Let i = 12 + -18. Let n(q) = 2*q + 5. Let w be n(2). Let x be 2/i*w/18. Is 1 <= x?
False
Let q = 0.456 + -0.356. Do 24 and q have different values?
True
Suppose -2*q + 6 = -q. Let w be 1/(2/q) - 1. Suppose 0 + 10 = 5*b. Is b equal to w?
True
Suppose -6*w + 2*w = -w. Suppose -o + w*o = 4*o. Let q = 221/2310 - -1/231. Is o greater than q?
False
Let n = 749 - 753. Are -14.9 and n nonequal?
True
Let d = -109 - -122. Is 7 greater than d?
False
Let y be 1575/70*(-2)/(-3). Let z(u) = u**2 - 15*u. Let k be z(y). Let s be 2/12*(-3)/(-3). Is k < s?
True
Suppose -35*d + 39*d + 4 = 0. Is 1/181 less than d?
False
Suppose -3*a + 6*a + 693 = 3*p, a - 3*p + 241 = 0. Let k be (124/1)/(2079/(-279) + 8). Let y = a + k. Which is smaller: 0 or y?
0
Suppose -4*v - 4*l = -8, 2*v - 22 = 138*l - 149*l. Let p = 4760/9 + -528. Is v equal to p?
False
Suppose -2*w + 13 = -5*r, -3*w - 11 = -w + 3*r. Let h be (4 + w)/(-3)*-6. Let v be (-28)/48 + 2/h. Which is smaller: 0 or v?
v
Let t(f) = f**2 - 8*f + 6. Let g be t(7). Is g < -1/209?
True
Let l(u) = u**3 + 3*u**2 + u - 2. Let o(n) = -2*n**3 - 4*n**2 - 2*n + 1. Let k(s) = -3*l(s) - 2*o(s). Let z be k(0). Are z and -2 non-equal?
True
Let k = 78 + -393/5. Is k not equal to -3/5?
False
Let o(j) = -j**2 + 2. Let q be o(2). Let u be ((-25)/10)/(q/4). Let s be 2 + 3/(-6)*-8. Is u smaller than s?
True
Suppose -2*t - 3 = -1. Let s be -8*((-12)/8 - t). Suppose 2*c + s = 6*c. Is -2/63 bigger than c?
False
Let o = 29 - 26. Let h = -2.56 - -0.16. Let k = h + 0.4. Which is smaller: o or k?
k
Suppose -3*i = 3*j - 18, j + 0 = 4*i - 24. Let v be 58/(-87) - (-4)/i. Is -1/6 at most v?
True
Let h be (-5888)/(-14820) + (-6)/15. Which is bigger: h or 0?
0
Suppose 75 = -2*l + 7*l. Suppose 5*u - 4 - 2 = 3*y, -5*y = -l. Suppose j = -u*j. Are j and -3/2 nonequal?
True
Suppose -10*l 