er than 2/21?
False
Let h be -1 - ((-16)/(-24) + (-14)/3). Suppose -p - 5*d = 14, 41 = 2*p - h*p + 4*d. Is -29 not equal to p?
False
Let j = 16 + -4. Suppose 0 = -5*k - 2*i + 85, 0 = -4*i + 3 + 17. Suppose j*u - k*u = -6. Is u at most 5/3?
False
Suppose 0 = -m + 4 - 2, -4*z - 5*m + 10 = 0. Suppose z = -l - 8*l - 477. Which is bigger: -52 or l?
-52
Suppose m = 13 - 12. Let l be (12/m)/((-5)/(-10)). Is l at least 24?
True
Let y be 6/(-5499)*(1839/84 - -2). Let z = -3/182 + y. Which is smaller: z or 1?
z
Let f = -2 - 2. Which is smaller: f or -3?
f
Let a(s) = s**3 - 3*s**2 + s - 3. Let q(u) = -u**2 - u + 3. Let k be q(0). Let g be a(k). Suppose -6 = 3*b - 5*v, v + 6 = -4*b - 2. Is b equal to g?
False
Suppose 3 = 5*n - 4*n. Let z be (-1)/3 + 37/n. Let x be ((-2)/z)/((-18)/(-27)). Does x = 0?
False
Suppose 3*i - 10*s + 13*s + 435 = 0, 3*i - 2*s + 440 = 0. Which is greater: i or -145?
-145
Suppose 16 = 4*v, -r - r - 2*v = -4. Let h be (-3)/(-4) - (r + 56/32). Which is smaller: h or -1/100?
-1/100
Let f = 3963/2 + -1981. Suppose 2*u = 3 - 11. Let r be (-2 + 0)*1 - u. Is r smaller than f?
False
Suppose -w + 5*w + 3*w = 0. Is w at least -0.57?
True
Suppose -4*u = 2*r + 10, -3*u = 4*r + r + 4. Which is smaller: 11/32 or r?
11/32
Let y be ((-2)/6)/((-4)/(-39)). Let g = -1121 + 1119. Is y >= g?
False
Let n be 2796/(16/4) - 4. Let c = n + -18763/27. Let g = -7/270 - c. Is g greater than 1?
False
Let a be (-8)/(-3)*78/(-8) + -2. Let s be (-64)/a - (-2)/(-7). Which is greater: s or 13/5?
13/5
Suppose 11*z - 12*z = -2. Suppose -5*c = z*u + 131, -2*u + u + 97 = -4*c. Is -23 less than c?
False
Let q be (8/30)/((2352/36)/(-14)). Which is greater: q or -4?
q
Let w = -21 - -20. Let v be 2 - w*29/(-7). Which is greater: v or -1?
-1
Let h = -13 + 21. Let k = 7.97 - h. Let i = k - 1.97. Is -3 at most i?
True
Let i(o) = -6*o**2 + 4 + 3 + 17*o - 24*o + o**3. Let a be i(6). Let y = 1.1 + -1.1. Which is greater: a or y?
y
Let x = 167 + -154. Let o = x - -12. Which is smaller: o or -0.1?
-0.1
Let d = -235/4347 + 2/189. Let y be 36/(-66) - (-15)/(-33). Does d = y?
False
Suppose 57 = -32*r + 89*r. Suppose -l - 13 = -3*w + 3, 0 = -4*l + 4*w - 24. Which is smaller: l or r?
l
Let d be 3/3 + (-8 - 95). Is -104 at least d?
False
Let b = -108 - -182. Which is greater: 0.2 or b?
b
Suppose 38*d - 47*d + 3429 = 0. Which is smaller: 382 or d?
d
Let h = 0.083 + 0.117. Let k be (9/8)/((-2)/8). Is k >= h?
False
Let r(w) = w - 1. Let g be r(9). Suppose 4*k - g*k = 0. Is 3/64 smaller than k?
False
Let f = 0.329 - 0.358. Is 12 <= f?
False
Let a be 2/(-9) - (-10)/45. Is 2/95 at least as big as a?
True
Suppose 3*k - 4*k = -1, -2*w = 3*k + 1. Let g be 4/((-128)/(-532)) + w. Let a = g - 15. Is 0 > a?
True
Let x(t) = -4*t - 1. Let g be x(5). Suppose 0 = 57*k - 150*k - 1635 - 318. Is g < k?
False
Let y = -22 - -16. Let g(i) = -18*i - 41. Let d be g(-2). Is d smaller than y?
False
Let a = 697 + -730. Let o(v) = -v**3 + v - 24. Let u be o(0). Let k = -9 + u. Are a and k non-equal?
False
Let s = -20 + 7. Let z = -12 - s. Let j = 2/917 + 391/917. Is j >= z?
False
Let c = 0.387 + -0.397. Which is greater: 19 or c?
19
Let v = -106 + 167. Let t = v + -60. Which is bigger: t or 11/8?
11/8
Let l be ((-4)/(-6))/((-6)/(-9)). Let y be 22/48 - (2/(-4) + 1). Which is smaller: y or l?
y
Let o = 17 - 7. Suppose l + 0*l + o = 0. Let c be ((-4)/(-10))/(2/l). Which is smaller: c or -1?
c
Let g = 64.1 + -52.31. Let v = -13.59 + 1.59. Let o = g + v. Is o less than -1?
False
Let p = 18.088 - 0.088. Let m = p - 9. Is m != 0.5?
True
Suppose 4*t - 18 = -5*v + 3, -2*v + 14 = -4*t. Does t = -1/100?
False
Let x = 0 + 5. Suppose -11*u = -10*u - 32. Suppose 0 = v - 5*v + u. Is x at least as big as v?
False
Let u be 516/255 + (-3 - (-1 + 0)). Is u at most as big as 2?
True
Let a = 0.6 - 0. Let q be (-9)/6 - (550/(-180))/(-11) - -2. Which is smaller: q or a?
q
Let j be ((-1)/(-2)*-4)/2. Let n = 1/239 + -248/2151. Does j = n?
False
Let n(j) = -j**2 - 3*j + 3. Suppose 3*x = -z + 2*z - 15, -x = -z + 7. Let w be n(x). Let d be 1/16*(-1 - 0). Which is greater: d or w?
d
Let m(v) = v**2 + 5*v - 4. Let q be m(-6). Suppose -14*c = -19*c - 390. Let h = -540/7 - c. Is h bigger than q?
False
Let o be 0/(-3) + -1*0/3. Suppose -6*f - 26 - 40 = o. Is -11 at most f?
True
Suppose 4*b = m - 80, b - m = 2*b + 25. Which is smaller: b or 0.2?
b
Suppose -2*u = -4*l - 2, 0 = l + 4*u - 2*u - 12. Suppose 2 = l*o + o + 4*k, -2*o = -4*k - 8. Suppose -r = -o*r. Is r >= 2/19?
False
Let g = -386467/7599810 - 1/39999. Let d = g - -8/95. Is 1 != d?
True
Let p(y) = -y**3 + 7*y**2 + 15*y - 20. Let h be p(9). Which is smaller: -430/9 or h?
-430/9
Let a(r) = -13*r + 39. Let x be a(3). Is x equal to -4/97?
False
Let r = -91 + 92. Which is smaller: 123 or r?
r
Let i = 62 - 62. Let l be 1 + -2*(i + -4 - -6). Suppose 0 = 4*g - 3*d + 12 + 5, -10 = 2*g - 2*d. Which is smaller: l or g?
l
Let s(a) = a**2 - 6*a + 2. Let i be s(6). Let h = -1.23 - 0.07. Let p = 0.3 + h. Is p >= i?
False
Let s be 13/(7 - 85) - (-346)/2124. Which is greater: -1 or s?
s
Suppose 4*u - 4*m = -m + 5, 6 = -3*u - m. Are -2/67 and u nonequal?
True
Suppose 0 = -d + 3*d - 6. Suppose 0 = 22*v - 19*v - d. Which is greater: 1/10 or v?
v
Let b(w) = -w**3 - 16*w**2 - 19*w + 22. Let k be b(-15). Which is greater: k or 81?
k
Let t = -402 - -283. Let f be 0 + -2 + t/(-49). Which is bigger: 0 or f?
f
Let g be (-33)/(-55) - 3/5. Is 3/275 less than g?
False
Let i = -50 - -33. Let s(x) = -x**2 - 17*x - 4. Let y be s(i). Is 0 equal to y?
False
Let h be 20/(-90) - (-58)/18. Suppose -1 = -2*p - h. Let v(s) = s. Let y be v(p). Which is smaller: -1/7 or y?
y
Let v = 0.3 - 0.21. Let j = 2.71 + v. Let i = j - 2.7. Which is greater: i or -0.05?
i
Let z be (-2 + 4)/14*7. Let l = 640 - 11515/18. Are l and z non-equal?
True
Let m = -14/17 + 132/119. Let i(y) = -y**2 + 7*y + 7. Let w be i(7). Let h be 2/7 + (-2)/w. Does m = h?
False
Let s(p) = -21*p**3 - p**2. Let h be s(-1). Let f be -113*2/(-10) - (-3 + 6). Let y = f - h. Which is bigger: -0.2 or y?
-0.2
Let f = -36 + 33. Is 0 smaller than f?
False
Suppose -4*p - 2*p + 60 = 0. Suppose -p*u = -15*u - 15. Let x be 0 + -2 + 1 - 2. Is u <= x?
True
Suppose 0 = n + 7 - 11. Let l be n/(-8) - 18/(-20). Is 0 equal to l?
False
Let a be -4*4/8*3617/(-32). Let k = -226 + a. Is 1 < k?
False
Suppose -2*s + 4*s + 8 = l, -2*s - 44 = -4*l. Suppose 2*t = 2*k - l, -2*k - 2*t - 2 = k. Which is smaller: k or 15/7?
k
Let z be ((-160)/(-4740))/((-1)/(-3)). Is 0 smaller than z?
True
Let v be 1 + -1 + (-59)/(-2). Let d = -29 + v. Is d equal to 0?
False
Let b = -941 + 933. Does -5 = b?
False
Let a = 268 - 267.4. Is a != 47/3?
True
Suppose 0 = 32*d - 153 + 601. Let h = 0 + -0.2. Which is smaller: d or h?
d
Let t(c) be the second derivative of -c**4/12 - 5*c**3/3 + c**2/2 + c. Let i be t(-7). Let p = i + -31. Which is bigger: p or -1?
-1
Let y = 136.2 - 136.2. Which is bigger: y or -2/1853?
y
Let y(t) = t**2 - 9*t - 23. Let h be y(11). Let a = -2114471/34440 - -20223/328. Let r = a - -2/287. Are h and r unequal?
True
Let f be ((-45)/(-18))/5*3/6. Let c(z) = z**3 + 6*z**2 - z - 6. Let i be c(-6). Suppose -5*q + i = 5. Does f = q?
False
Let m be (-1)/(3/6)*8. Let k(f) = f - 10. Let c be k(7). Let j = m - c. Which is smaller: j or -14?
-14
Let p(c) = -c**3 - c**2 + 3*c + 2. Let n = 8 + -2. Suppose 4*k + 5*i - 12 = 0, 5*k + 0*k + n = -i. Let h be p(k). Which is greater: -1/8 or h?
h
Let r = 6/35 + 11/140. Is r at most as big as 90?
True
Let m(l) = -l**3 + 7*l**2 + l - 10. Let i = -16 + 23. Let d be m(i). Is -8 >= d?
False
Let x = 347/6420 - 4/107. Is 0 less than x?
True
Let y = -319.2 - -468. Let x = -149 + y. Let a(n) = 3*n - 2. Let d be a(-5). Which is bigger: x or d?
x
Let j = -55953/143 + 4101/11. Are -18 and j non-equal?
True
Suppose -10*q - 17 = -7. Is q > 2/1067?
False
Let v be 2/1 - 6/(-3). Let h = 0 - v. Let z be -2 + (-1 - h - 0). Which is smaller: 2/21 or z?
2/21
Let s = 0.265 + -0.3. Let v = s - -5.035. Is v at most as big as -0.2?
False
Let i = 88 - 88. Do i and -4/21 have different values?
True
Let n be 0 - -2 - (-11513395)/700. Let g = n - 82038/5. Let a = -165/4 + g. Which is bigger: 1 or a?
1
Let i = -8 + 0. Suppose -8*s + 111 = 159. Which is smaller: i or s?
i
Let s = -7 + 10. S