 8369/68. Let a = s + -347/442. Which is bigger: a or -1?
a
Let w be ((-35)/(-4) - 9)/(134/(-8)). Let s = -21 - -20. Is s > w?
False
Suppose 5*f = -2*g + 3*g - 17, -2*g = 2*f + 14. Which is smaller: -1 or g?
g
Let j be (-1)/(-1) + 2081/(-27). Suppose -2*h - 4*w + 120 + 44 = 0, 307 = 4*h + w. Let l = h + j. Are l and 0 non-equal?
True
Let j = -68.35 + 14.35. Is 7 less than j?
False
Suppose 11 - 32 = -7*t. Suppose 0 = -t*o - o. Which is smaller: 2 or o?
o
Suppose 3*q = 3*b + 3, q - 1 = 103*b - 99*b. Which is smaller: -1/1983 or q?
-1/1983
Let l be (-2)/11 - 31/11. Let n = 28 - 16. Let a = 13 - n. Which is bigger: l or a?
a
Suppose 45*b = 43*b + 74. Suppose 0 = -32*d + b*d + 120. Which is smaller: d or 1?
d
Suppose 308 = -9*q + 758. Is 48 at least as big as q?
False
Suppose -2 = -4*s + 10. Let h(t) = t**3 - 2*t**2 - 2*t - 2. Let o be h(s). Which is smaller: o or 6?
o
Suppose -2*a - 62 = -5*u, -3*u - 60*a = -61*a - 37. Suppose 0*n - o = 3*n - 25, 60 = 5*n - 2*o. Are n and u non-equal?
True
Let u(a) be the second derivative of 1/20*a**5 + 3*a**2 + 0 - 1/6*a**3 - 1/4*a**4 - a. Let y be u(3). Which is smaller: y or -4?
-4
Let o = 1800 + -1836. Is o greater than or equal to -32?
False
Let l = 9.97 - 9.87. Is l not equal to 162?
True
Let n = -12226601/1038 - -11779. Let m = -4679/8304 + n. Which is smaller: -2 or m?
-2
Let c(f) = 3*f**3 - f**2 - 3 + 1 + 4*f**3 - f. Let k be c(-1). Which is smaller: k or -14?
-14
Let y = 5 + -5.4. Suppose 3 = q, -q + 5*q = 4*u - 120. Let s be u/(-55) + 1/10. Which is bigger: s or y?
y
Let q(v) = 3*v + 42. Let b be q(-9). Let d(t) = 2*t - 31. Let c be d(b). Are c and 4/15 unequal?
True
Let m = 1.324 + 0.276. Let z = -0.1 - -0.7. Let a = z - m. Which is smaller: a or 1?
a
Let d = 17 - 23. Let o be (d - -1) + 69/15. Which is smaller: -80 or o?
-80
Suppose d = -o + 2, -3*d - 2*o = -0*o - 8. Let p(a) = 4 - d*a + 2*a + a. Let v be p(5). Is v <= -1/2?
True
Suppose -3*r + 28 = 13. Suppose -7 - 3 = -5*z. Suppose -3 = -3*q - b + r, -5*q = z*b - 12. Is q greater than 4?
False
Let y = -1082 + 1091.38. Let z = y - 6.05. Let p = -3.5 + z. Which is greater: p or -1/3?
p
Let t(j) = j**2 + 3*j - 2. Let n be t(-4). Suppose -n*h = -h. Let g be 0/(-1) - (-54)/(-126). Which is bigger: h or g?
h
Let k = 27 - 27. Suppose k = f + 9. Let y = f - -6. Is y less than -4?
False
Suppose o = -3*l + 119, 9*o - 650 = 4*o - 4*l. Let r be (60/40)/((-6)/(-536)). Is o bigger than r?
False
Suppose -l = 5*s + 13, -2*l - 13 = 3*s - 1. Let d(f) = -f**2 + 9*f + 6. Let n be d(10). Let j be 39/26*n/3. Does l = j?
False
Suppose u = -2, 2*z + 0*u = -u - 2. Suppose n + 16 - 21 = z. Is 1 greater than or equal to n?
False
Let c be (36/10)/((-24)/60). Suppose 0 = x + 2*x - 162. Let h be 23/c + 12/x. Is h at most -2?
True
Suppose -126*t + 127*t - 69 = 0. Which is smaller: t or 894/13?
894/13
Let a = 359 + -247. Let o = -113.6 + a. Which is greater: -1/3 or o?
-1/3
Let m = -8 - -10.8. Let h = m + -0.8. Which is greater: 1 or h?
h
Let v = 224 - 231. Which is smaller: v or -5?
v
Let j = -88 + -167. Let c be 3 - (2 + j + 2). Let g = -5332/21 + c. Is g equal to 0?
False
Let g = -7 - -5. Let r(q) = -q**2 + 6*q - 3. Let h be r(5). Suppose 0 = -4*b + 5*v + 29, 2*b - 2*v - 14 = -h*b. Are g and b non-equal?
True
Let k = 2169 - 2099. Which is greater: k or 66?
k
Suppose -6*q = -14*q + 32. Suppose -3*w + 17 = -q*z, 8*w - z = 3*w. Is -1/117 > w?
True
Suppose u = 3*u - 4. Let d be -1*u/6*3. Let n be (27/30)/3*16/(-84). Which is bigger: n or d?
n
Suppose 123*r - 127*r = -132. Do r and -1/4 have different values?
True
Let u = 25 + -21. Let q be -2 + u + (-102)/12. Is q at most -7?
False
Let v(i) = 27*i**3 - 11*i**3 - 17*i**3 + 1 - i. Let r be v(0). Which is smaller: 5/13 or r?
5/13
Let u(b) = -b**3 + 10*b**2 - 10*b + 1. Let n be (3 - 6) + 3 + 9. Let w be u(n). Let t(o) = -2*o**2 - o + 1. Let z be t(2). Which is bigger: w or z?
w
Let y = -2573/18 - -143. Let s(b) = -b**3 - 8*b**2 - b - 4. Let n be s(-8). Suppose -k + j + 4 = 0, -19 = n*k - j + 4*j. Is y not equal to k?
True
Let h = -7/2 + 67/18. Let r = 124/237 + -15/79. Is r at most h?
False
Let u be -6 - (7/5)/(21/(-105)). Does 19/44 = u?
False
Let k(r) = 11*r**2 + 6*r + r**3 - 7*r - 14 + 3. Let l be k(-11). Which is smaller: 2/11 or l?
l
Let d = 6225/7 + -6093/7. Is 18 less than or equal to d?
True
Suppose -5*v + 5 = 0, 4*v = -3*f - f + 8. Let w be 6 + f + (-1)/(-7)*0. Which is greater: 5 or w?
w
Let h be 44/6 - 6/(-9). Suppose h = -2*f + 4*f. Suppose -f*p + 0 + 12 = 0. Which is bigger: 2 or p?
p
Let s be 4 + (-2 + 13 - -82). Is s != 105?
True
Let p be (-1 - -9)/(22/11). Let a be (p/(-3))/(4/6). Which is smaller: a or 0?
a
Suppose 5*y - 2 = 2*h, y - 2*h = 2*y - 10. Suppose -2*b - 4*l = -22, -117*b + 2*l = -121*b + 14. Is b >= y?
False
Suppose -d = z + 14, -d = z - 3*d + 5. Let t = 78 - 78.155. Let j = 0.045 - t. Is j at least as big as z?
True
Let o = -1.8 + 1.9. Let z = 75 + -42. Are z and o non-equal?
True
Let k be ((-4753)/(-77))/(-7) + 9. Which is smaller: -1 or k?
-1
Let v = 0.66 + -0.56. Let o = -48 + 67. Does v = o?
False
Suppose -312 = 5*f - s, 3*s - 60 - 8 = f. Let g be 50*10/(-8) - 13/(-26). Is g < f?
False
Let a = -42737 - -215424/5. Which is smaller: a or 349?
a
Let i = -14.5 + 13. Let w = i + 2.6. Let s = w + -1. Which is smaller: -0.07 or s?
-0.07
Let l(q) = -q**2 + 12*q - 6. Let b(i) = -i**2 + 12*i - 6. Let o(v) = 6*b(v) - 7*l(v). Let y be o(12). Let s be 24/16 + y/4. Is s greater than 4?
False
Let a = -3 - 1. Let q = -44 + 36. Let z be (14/q)/(24/96). Is a bigger than z?
True
Let m = 110.1 - 110. Which is smaller: m or 26?
m
Let v = 10 + -1. Let w(y) = 4*y**2 - 3*y + 4. Let t be w(1). Suppose 3*p - 27 = r - 5*r, -r - 6 = t*p. Is r >= v?
True
Suppose -4*o = t + t - 6, t + 3 = 4*o. Which is greater: o or 3/11?
o
Let v = -1746 + 1226. Let c be (-4)/14 - v/1183. Are c and -0.06 equal?
False
Let z be ((3 - (-33)/(-12))*-4)/(-1). Which is smaller: z or -33?
-33
Suppose 2*t + 4 = -6, -5*o = -2*t - 5. Let k be ((-1*4)/8)/(39/(-36)). Does o = k?
False
Let h = 0.075 - -66.925. Let b = -52 + h. Which is smaller: b or 1/4?
1/4
Suppose 962 + 1182 = 8*q. Does 267 = q?
False
Suppose 0*m = 3*m. Suppose 5*j + 2 = -z, -2*z + 4*j + 0*j + 24 = 0. Let i be ((-3)/z)/((-6)/4). Do m and i have different values?
True
Let x(u) = -u**2 + 8*u + 3. Let b be x(8). Suppose 2*y + b*z + 3 = 0, y - 3 + 2 = z. Let v(l) = -l**3 - l**2 + l. Let w be v(y). Is -0.03 < w?
True
Let d be (-146)/6 - 2/3. Let h(j) = 143*j - 741. Let w be h(5). Is d greater than w?
True
Let l = -284 - -285.27. Let i = 55.27 - l. Which is bigger: i or -1?
i
Let t = -104 + 172. Suppose 0 = 69*i - t*i + 7. Let m = -10 - -2. Which is bigger: m or i?
i
Let a(o) = 6*o**2 - 19 - 5*o**2 + 26 + 6*o - 3*o**2. Let j be a(6). Is j less than -29?
False
Let z = 17.67 + -17. Let n = -0.47 + z. Are n and 1/5 nonequal?
False
Let p = -487 + 569. Which is smaller: p or 78?
78
Let p(h) = -h**3 - 2*h**2 + 3*h + 3. Let y be p(3). Let f be 1 + (1 - 33 - 2). Is f at most y?
True
Suppose 186 = -a - 3*f, -5*a + 5*f - 890 = -0*a. Let n be ((-1)/2)/((-3)/a). Let o = n + 19. Is o >= -10?
False
Let h = -0.0389 + -1.0611. Which is greater: h or -9?
h
Let x = 1135550663/2447148 - -5/74156. Let k = x + -464. Which is smaller: 0 or k?
0
Let r(u) = 2*u**2 - 12*u + 3. Let f be r(8). Suppose -5*p - 41 = 2*l - 3*l, 5*l + f = -5*p. Let m be (-3)/(-5)*p/(-12). Which is smaller: 2 or m?
m
Let o = -38.9443 + -0.0557. Which is greater: o or 0?
0
Let c = -0.3 + -0.7. Suppose 0 = 14*q - 17*q + 3. Let o be 1/q - (40 - 4)/(-4). Which is smaller: c or o?
c
Let n = -13 + 12. Let y be (n + -5)*(-4)/3. Let l be 99/44 - (-6)/y. Is 2 at least l?
False
Suppose -143*i = -150*i + 161. Let n(l) = -l**2 + 3*l + 5. Let y be n(4). Is i bigger than y?
True
Let p = -1143/7 + 163. Let l be 0/(1*(-4 + 3 + 0)). Suppose m + 4*d - 1 = 0, 4*m - 2*d + 32 = -l*d. Is m != p?
True
Let g(x) = 25*x + 20. Let c(m) = -9*m - 7. Let i(y) = 11*c(y) + 4*g(y). Let o be i(4). Is 8 smaller than o?
False
Let k(t) = 2*t**2. Let s be k(1). Suppose x + s*w + 1 - 4 = 0, 5*x - 15 = w. Suppose -4*m + 8*y = x*y + 25, 4*m + 2*y = 10. Is m > 2/13?
False
Suppose -18 = -j - 4*c - 98, -3*c = 0. Suppose -141*i - 3200 = -101*i. Is i > j?
False
Suppose -3 + 2 = s. Let h 