 bigger: -19 or z?
z
Let l be (-74)/30 + (-28)/(-35) + 1. Do l and 0.6 have different values?
True
Let w = -974778/235 - -4148. Which is smaller: 0 or w?
0
Let j = -16 - -25. Suppose j*b - 33 = 21. Which is smaller: b or 27/4?
b
Suppose -523*n + 300 = -525*n. Is -149 < n?
False
Suppose -7 = -5*b + 3*v + 4, 2*v = 3*b - 7. Let s = 100/9 + -565/63. Which is smaller: b or s?
b
Let k be (-2)/13 - (-85680)/1248. Do 69 and k have the same value?
False
Let r(p) = -p**3 - 9*p**2 - 2*p - 16. Let x be r(-9). Let o be 2/(-4 + x - -95). Does 1 = o?
False
Suppose -50 = 6*w + 46. Let l be (-2)/13 - 412/26. Is l < w?
False
Let v be (-4)/(85/10*-4). Are -2/11 and v unequal?
True
Let m be 1*((-5 + 2)/(-3) + 0). Suppose -r + l - 3*l = -41, 0 = 4*r + 4*l - 164. Which is smaller: r or m?
m
Suppose 4*v = 460 + 124. Let d be v/1980*3/(-2). Let l = d + 3/110. Which is bigger: l or -1?
l
Let x = 0.9082 - 0.6082. Let f be (-1)/(-3) + 16/(-3). Let a be 2/f + 44/10. Is x at least a?
False
Let z be 2/(-15)*(-10)/(-16). Let a(k) = 2*k - 8. Let j be a(4). Which is bigger: j or z?
j
Suppose 0 = -3*c - 5*t + 1 + 39, 5*t - 50 = -5*c. Suppose 0*m - 20 = -c*m. Suppose -3*a + 6 - m = -5*h, h + 2*a = 10. Which is bigger: 0 or h?
h
Let z = -11.6 + 11.7. Let b = -6.4 - -6. Let p = b + -1.6. Which is bigger: z or p?
z
Let u = 75901/19 - 3995. Suppose -2*g + 8 = 4. Suppose -g*m + 4*m = 0. Which is greater: u or m?
m
Let m(z) = 9*z - 249. Let v be m(0). Which is smaller: -499/2 or v?
-499/2
Suppose 4*k = 3*k - 5*t + 19, 3*k - 3*t = -15. Let y = 5448432/115 + -47378. Let a = y - -3/23. Is k greater than or equal to a?
False
Suppose -25 = -4*u + 5*m, -4*u = -4*m + m - 31. Let c be 4/(-15) - u/(-60). Which is greater: c or 1?
1
Let c = -20 - -39. Let q = c - 28. Is q not equal to 0.1?
True
Let t be 208/1056 + (-1)/3. Let p = 71/198 + t. Is p < -8?
False
Let j = 309 - 381. Which is greater: -3 or j?
-3
Let w = 1495 + -1494. Let g = 3 - 3. Is w smaller than g?
False
Suppose 0 = -4*z + 4*u + 136, 118 = 3*z + 2*u - u. Let n = -35 + z. Which is smaller: n or 4?
n
Let v = 45.3 + -170.4. Let t = v - -139. Let a = 14 - t. Is 5 equal to a?
False
Let k(g) = -2*g**3 + 2*g**2 + 2*g. Let y be k(2). Let d be ((-6)/2 - 0)*-3. Suppose -13*h = -d*h + 16. Are y and h nonequal?
False
Let m = -110 - -106. Let i be 84/8 + m + -2*1. Which is smaller: i or 6?
i
Let m(a) = -a**3 - 2*a**2 - a. Let o be m(-2). Suppose -p + 5 = o*h, 20 = h - 5*p + 2*p. Are -1/4 and h equal?
False
Let m(l) = -5*l + 53. Let x(w) = -7*w + 80. Let q(r) = -8*m(r) + 5*x(r). Let a be q(6). Which is bigger: 35/6 or a?
a
Suppose 2*l - 4 = 0, -d - d = -3*l + 8. Let m be 45/150 - (-38)/(-60). Is m greater than d?
True
Let t be 2/(-10) - 8298/(-1755). Let y = -76/15 + t. Which is bigger: y or -2?
y
Let v(t) = t**2 - 5. Let z be v(3). Let o be 14/(-21)*(-18)/z. Is 4 equal to o?
False
Let t = -481 + 1435/3. Is -2/9 equal to t?
False
Suppose -5*k + l = -363, -3*l = -2*k + 3*k - 79. Is k not equal to 72?
True
Let w(u) = -9*u**3 - u**2 - 2*u - 1. Let d be w(-1). Let h be ((-4)/(-3))/((-1)/d). Let o(b) = b**2 + 10*b + 10. Let r be o(-7). Is r > h?
True
Suppose 0 + 2 = 2*b. Let w be ((-3)/1)/3*b. Let p(o) = -8*o - 322. Let n be p(-41). Does n = w?
False
Let i = -4.98 + -1.82. Is i >= 4?
False
Let c be (-30)/950*6/(-9). Is c equal to -1?
False
Suppose -2*l - l + 3 = 0. Let y be (l + -1 - 0)*1. Let z be 0 + 1 - (y + 4). Do -3 and z have different values?
False
Let c = -3388/49967 - 2/1723. Let a be 1 - -2 - (5 + -2). Suppose -5*j + 2*x - 11 = 0, -2*j + a*x + 13 = 5*x. Which is smaller: j or c?
j
Let k(d) = -d**3 + 13*d**2 - 21*d - 15. Let b be (-12)/(-1) - (-2)/(2/(-1)). Let y be k(b). Is y less than or equal to -21/5?
False
Suppose 5*s = -3*p - 19, -20 = s - 4*p - 7. Let k = s - -7. Suppose 16 = 4*f - k*f. Which is greater: 7 or f?
f
Let k(u) = -u**2 + 4*u + 4. Let b = 1 + 3. Let p be k(b). Let t(j) = j**2 - 9. Let i be t(p). Is i at least as big as -2?
True
Suppose 3*g + 39 + 7 = 5*n, -4*n + 3*g + 38 = 0. Let v = n - 5. Let r = v + -6. Is r less than or equal to -1?
True
Suppose -2*u + 180 + 206 = 0. Let x = u - 1741/9. Are x and -1 unequal?
True
Suppose 64*z = 62*z + 18. Let k be (-162)/z*((-4)/(-1))/(-2). Is 2 at most as big as k?
True
Let p = 944/325 + -18/13. Is 1 bigger than p?
False
Suppose -32 - 4 = -3*s - 4*o, 4*s = -3*o + 55. Let w = s - 33/2. Which is greater: w or 4?
4
Let i = 1218 - 1158. Is i smaller than -0.09?
False
Suppose -x - 6 + 15 = 3*y, -19 = -x + 2*y. Which is smaller: x or 13?
13
Suppose 1 = 5*z - 34. Let h be (-24)/(-14) - (-2)/z. Is 7/3 at most h?
False
Let w be 1 - 3/(81/15). Suppose 2*q + 62 + 6 = 0. Let s = -135/4 - q. Which is smaller: s or w?
s
Suppose -3*x - 28 = -1. Let d(l) = 4*l - 5*l + 12 + 3*l. Let s be d(x). Which is bigger: -8 or s?
s
Let z(g) = -g**2 - 8*g + 5. Let a be z(-8). Suppose 4*n - 7 - a = 0. Suppose 2*d = n*d. Is 1/3 <= d?
False
Let k be (-12)/16 - (-103)/198. Let l = 2/99 - k. Is l bigger than 1?
False
Let v be ((-834194)/33)/(34470/27). Let l = 2/4213 + v. Let p = 1104/55 + l. Is p < 1?
True
Let m(n) = -n + 11. Let u be m(8). Let j(w) = w - 10. Let q be j(12). Suppose 0 = q*d - 0*d + 6, -7 = -s + d. Is u at least as big as s?
False
Suppose -38 + 44 = 2*m. Is 9/5 bigger than m?
False
Let d = -39 - 1. Let a be (2/24)/(3/d). Suppose -4*h - 2 - 6 = 0. Which is smaller: h or a?
h
Let q = -52 - -211. Is 0 at least q?
False
Suppose 0 = v + 4*c + 22 - 6, 3*c + 12 = -4*v. Let k(s) = -s**2 - 6*s - 4. Let r be k(-6). Which is bigger: r or v?
v
Let w be -2 + -4 - (7 + -4). Let m be ((-3)/(w/(-8)))/((-2)/(-6)). Is -9 > m?
False
Let o(h) = 4*h**2 + 45*h + 11. Let s be o(-11). Which is smaller: s or -2/251?
-2/251
Let d = 19.067 + -0.067. Let r = d - 19. Let c be (-2)/21*(-5 + -1). Which is greater: r or c?
c
Let z(i) = -i**2 - 6*i. Let s = 4 - 9. Let x be z(s). Suppose 17 = 4*c - 3*j - 86, -c + 47 = -x*j. Is 22 less than or equal to c?
True
Let m = 212/3 - 69. Suppose 8*d - 6*d - 4 = 0. Suppose -2 = -0*k - d*k. Which is greater: m or k?
m
Suppose 3 = 6*c - 2*c - 3*y, 0 = 3*c - 3*y. Let g be -3 - 27/(-12) - c/12. Which is greater: 2.2 or g?
2.2
Let m be (0 - -1 - 2)*40. Let p be (5/76)/((-35)/m). Let q = p + 4/19. Are -1 and q non-equal?
True
Suppose 0 = -2*o + 2*h - 32, 3*h + 2*h = 2*o + 23. Let k be 12/(-6) + o/(-10). Which is smaller: k or 1?
k
Let v be (1 + -4)*1 + 20. Suppose 18*g = v*g. Let n be 9/(-2) + 4 + g. Is n greater than 1/2?
False
Let f = -656 + 667. Which is greater: f or 206/19?
f
Let s be (-1 + (-44)/(-16))/((-2)/(-16)). Suppose s = 44*z - 42*z. Does z = 7?
True
Let j = 2 + -2.1. Suppose -5*q - 280 = -5*w - q, 5*w - 280 = 3*q. Let t be (-21)/w + (-339)/(-1032). Is j at least t?
False
Let p = 1 - -41. Let x be (-3 + 132/p)/(1/(-2)). Which is bigger: -2/3 or x?
x
Suppose 0 = -4*f + 9 - 5. Which is bigger: -1/4 or f?
f
Let i = -5 + 26. Is 24 not equal to i?
True
Let r = 268 - 237. Is 30 at most r?
True
Let s(y) = 5*y - 3*y - 4 + y - 4*y. Let b be s(-1). Which is smaller: b or 0?
b
Let o(z) = z**3 - 10*z**2 - 10*z + 11. Let u be o(11). Suppose -7*r = -y - 2*r + u, -y + 2 = 5*r. Let m = 12 - y. Which is smaller: m or 2/29?
m
Let i(p) = -p**3 - 15*p**2 - 9*p + 34. Let m be i(-14). Let q be m/(-27)*3/4. Is -2/67 <= q?
True
Let a be 62*(-5 - (2 + (-72)/16)). Which is greater: a or -150?
-150
Let u be 9/6*(-2)/3. Let n(v) be the first derivative of -v**3/3 + 2*v**2 + 2*v + 33. Let t be n(5). Is t < u?
True
Suppose -3*d - 2*z + 94 = 0, 0*z = -4*d + 2*z + 116. Let s = -1.911 + 0.911. Do s and d have the same value?
False
Suppose 4*x + r + 5 = 0, -2 = -x - 4*r + 8. Suppose 6*f - 4 = 4*f. Let j be 5/f*(-2)/(-5). Which is smaller: x or j?
x
Let x = 27 - 25. Let l be (-4)/4 + (x - 1). Which is smaller: l or 3/11?
l
Let q = -592 - -610.5. Does 1/4 = q?
False
Let b be 0 + (9/(-27))/(1/(-3)). Let u be (2 - b)*(-14)/(-301). Which is greater: u or 0?
u
Let g = 11 - 19. Let k be 306/6*4/(-6). Let c = k - -27. Is c less than g?
False
Let j be (0 - -1) + (0/(-5) - -3). Suppose -j*a + u = 9, 2*u - 18 = 3*a - 5. Let s = -612 - -15302/25. Is s greater than a?
True
Let q be 6*(-6 + 38/6). Is q > 0.49?
True
Let r = 1779/13 + -137. Let q = r - -96/455. Let n = -1 + 2. Is n greater than q?
True
Let h(z) = -4 + 3 + z**2 + 