s smaller: t or -1?
-1
Let b(r) = r**2 - 29*r - 208. Let t be b(35). Is t != 1?
True
Let i be (-363)/(-22)*20/(-16). Is -22 greater than i?
False
Let k = -7.9 - -9.9. Is -17 greater than k?
False
Let x be (-90)/((-18)/3) - -5. Is 16 less than or equal to x?
True
Let h = -5.58 + 1.58. Let a = 0.5 - 1. Let g = 1.5 + a. Which is greater: h or g?
g
Let t(j) = -3*j - 14. Let y be t(-6). Suppose i + 26 = -m, -2*i + y*i + 40 = -5*m. Let q = i + 31. Which is smaller: q or -1?
-1
Let k = -10847/11 + 985. Let i = k + 47/33. Which is smaller: i or 5/8?
i
Let v = -13.5 - 3.5. Let s = -10/11 + 19/33. Which is greater: s or v?
s
Suppose -5*b = 5, 4*d + b + 313 = 3*d. Let g be (-12)/9*(-4)/d. Is g > 1?
False
Let x(n) = n**3 - 8*n**2 + 6*n - 11. Suppose 0 = 5*k + 2*o + o - 50, -4*k + 3 = -5*o. Let a be x(k). Let j be (-34)/9 - (-4)/a. Is -7 != j?
True
Suppose 8*c - 3*c - 4 = -4*i, c + 16 = -5*i. Suppose 2*q - q + 87 = 4*m, 4*m - 92 = -c*q. Let l = -373 + 373. Which is bigger: l or m?
m
Let x(j) = 4*j**2 + j - 1. Let a be x(3). Let o(l) = -l**2 + 4*l + 5. Let n be o(5). Suppose n = -4*u + 10 + a. Which is smaller: 13 or u?
u
Let m(z) = -20*z + 260. Let y be m(13). Is 11/69 at least y?
True
Let d = 55 + -26. Let z = 26 - d. Do z and -1/7 have the same value?
False
Let z = 1.1 + 1.9. Which is bigger: z or 17.7?
17.7
Let g = -723/7 - -103. Is -1 not equal to g?
True
Suppose 0*d = -3*d. Suppose -j + 5 = -d. Suppose 0 = j*a - 2*a + 12. Are a and -3 equal?
False
Let d be 2/8 + (-24)/6 + 5. Do -0.058 and d have the same value?
False
Let u = -87 + 8. Let j = -89 - u. Is j at least as big as -8?
False
Let a be 3/36 + (-62)/360. Is 0 equal to a?
False
Let u = 242 - 242.18. Which is smaller: 0.07 or u?
u
Let y = -0.921 + 1.121. Which is greater: y or 87?
87
Let i(f) = -3*f**3 - 5 + 1 - 5*f**2 + 4*f**3. Suppose t + 2*p = -1 - 2, 12 = 4*t + 2*p. Let x be i(t). Is -5 > x?
False
Suppose -2*t + 5*b = -t + 17, -b + 2 = 0. Let p(x) = x**2 + 8*x - 8. Let y be p(t). Is -14 > y?
True
Let q = 0.349 - -1.651. Is q equal to -31?
False
Let z(x) be the second derivative of x**4/12 - x**3/6 - 2*x**2 - 5*x. Let d be z(-3). Let m = d - 8. Which is greater: -1/6 or m?
m
Let y be 1 + -881 - (4 - 16)/(-2). Is -886 bigger than y?
False
Let m = -5 - -2. Let i(r) = 2*r**2 + 12*r + 4. Let b be i(-6). Let d be 4 - (6 + (b - 5)). Which is smaller: m or d?
m
Let r(x) = x**2 - 4*x - 6. Let y be r(6). Let g(b) be the first derivative of b**3/3 - 7*b**2/2 + b - 10. Let w be g(y). Is -5 less than or equal to w?
True
Let l = -114/305 - 3806/915. Let p = -21/5 - l. Which is bigger: p or 12?
12
Suppose -5*z + 4*z + 7 = 0. Let r = -133 - -136. Suppose -4*k - 44 = -r*a, -4*a + 9*a - 35 = -k. Which is smaller: a or z?
z
Suppose -2*t + 14 = 2*t - 5*l, 4*t = 2*l + 8. Suppose 0 = 5*w - 21 + t. Suppose w = -5*y + 3*s - 2*s, -4*s = 3*y - 16. Is y >= 2/23?
False
Let b be 155/31*(-2)/5. Which is smaller: 0 or b?
b
Let d be 2/9 + (-4)/18. Let x be ((-3)/(-5))/(6/(-364)). Let a = x - -4904/135. Is d at most a?
False
Let x = -66 + 67. Let q be x*(6/(-10) + 44/40). Let i = 6 + -4. Which is greater: q or i?
i
Let d be 4/(-2) - 1856/(-926). Let s = -1858/1389 + d. Which is smaller: 0 or s?
s
Let o = 1073 + -1078. Let n = -0.5 + 3.5. Which is bigger: o or n?
n
Let k be (-3)/(-21) - 104/(-7). Let v be 6/k + (-108)/320. Is v at most as big as -0.1?
False
Let a be (-2)/10 + 5 + 119/(-5). Is -16 equal to a?
False
Let c(y) = 2*y**2 + 47*y - 75. Let p be c(-25). Which is smaller: p or -1/12?
-1/12
Let f be 3 + ((-134)/22 - (25 + -28)). Suppose -4*b = 2 - 6. Which is greater: f or b?
b
Let y = 52 - 46. Let h(v) = -v**2 + 7*v. Let f be h(6). Let i = y - f. Which is smaller: -4/13 or i?
-4/13
Suppose 0 = 6*c - c - 40. Suppose c*t - 4*t - 48 = 0. Let g be ((-7)/(-21))/(2/t). Is g > 7/4?
True
Suppose 6*j + 33 + 21 = 0. Are j and -70/9 non-equal?
True
Let d be 156/(-39) + 6/(-1 - -3). Is d > -20?
True
Let k = -52.03 + -4.97. Which is bigger: k or 9?
9
Suppose -17 = 7*b - 10. Let h be -4*4/(-160)*6 + b. Let g = 6 + -5.94. Which is smaller: h or g?
h
Let z = -7.1 + 20.2. Let v = z - 13. Which is bigger: -4/7 or v?
v
Suppose -12 = 2*v - 6*v - 4*y, -4*v = y. Which is smaller: v or -29/21?
-29/21
Let a be (9 + (-1078)/112)/(10/(-4)). Is a >= 1/432?
True
Let w = -19 - -17. Let f = -6 - w. Let s(a) = a**3 + 4*a**2 + 3*a + 6. Let n be s(f). Which is smaller: -3 or n?
n
Let g = -23 + 26. Suppose g*t = -5*l + l + 17, t + 6 = l. Let c be (9/t)/(-1 - -2). Is c >= 0?
False
Let d = 6 - 4. Suppose -d*o = -o - 15. Let c(r) = -r**3 - 7*r**2 - 9*r - 4. Let z be c(-6). Is z at most as big as o?
True
Let u = 233 + -226. Suppose -5*a - 10 = -5*c, 3*c = -3*a + 2*a + 26. Is u at least c?
True
Let f = 701/12298 - 3/286. Let j(r) = -2*r + 24. Let h be j(10). Suppose -2*c - 10 = -5*l, -3*c + l = -h*c + 2. Which is bigger: c or f?
f
Let j(v) = v**2 + 7*v - 27. Let s be j(-8). Let l = 11 - 28. Which is greater: l or s?
l
Let s = -7.993 - -0.093. Let j = 7.8 + s. Which is bigger: j or 0.8?
0.8
Let d = -12 + 23. Suppose -q - 156 = 4*p - 159, 0 = -2*p - q + 1. Is d < p?
False
Let y be (-202)/(-4) - (-3)/(-6). Suppose n = -2*n + 15. Suppose -n*g - y = -5*a, -2*g - g = 2*a + 5. Which is smaller: -4 or g?
g
Let q be 2/5 - 6/40. Let v = -749 - -753. Which is smaller: v or q?
q
Let w be -51 + -2 + 2 + 1. Let f be (-5)/(w/(-18)) - 2. Are f and -3 nonequal?
True
Let g be (-2 - (3 - 2)) + 2. Let q be -4 - (-357 + (-20)/(-5)). Let k = 3493/10 - q. Which is bigger: g or k?
k
Let q = -60 - -66. Suppose 8*y = q*y - 42. Is y not equal to -19?
True
Suppose v + 108 = -3*v. Let f be 831/v + 2/(-9). Is f greater than -32?
True
Let n be 4*5*10 - (-29 + 34). Does n = 195?
True
Let m = -6826 - -9638313/1412. Is m at most 1?
True
Let p be ((-1136)/10)/(1/60). Let k be (6/(-14))/(18/p). Let n = -162 + k. Is 1 at most n?
False
Let f = -1678 + 1677.8. Which is bigger: f or -95/4?
f
Let i(s) = 35*s + 6. Let d be i(-3). Let g = -102 - d. Are g and -24/13 non-equal?
True
Suppose 3*k = 0, b - k + 3 = -3. Are -9 and b nonequal?
True
Let u be (504/(-448))/(3/(-668)). Is 250 >= u?
False
Suppose -j + 38*y - 3 = 36*y, 4*j - 2*y + 6 = 0. Suppose -3*d = -d - 6, -z + 10 = 3*d. Which is greater: j or z?
z
Let i = -0.186 + 0.086. Is -4/3 > i?
False
Let p be 1 - (-4)/(-8)*-74. Let t = 40 - p. Let s be (-3)/((-1)/4*6). Is s <= t?
True
Let j(v) = v**2 - 17*v + 15. Let s be j(16). Let k be 2/4*s*0. Let q = -23/2 - -71/6. Is q >= k?
True
Suppose 5*p - 2 = 2*b, 5*b = -3*p + 4*p - 5. Let i(d) = 3 + 2*d + d - 4 + 3 + 6*d**2. Let g be i(b). Is 6 > g?
True
Let v = 59 - -3. Let g = v + -62.24. Which is greater: -0.1 or g?
-0.1
Let p be (-1720)/(-3504) + 2/(-4). Are p and 1 non-equal?
True
Let j(r) = r**3 - 9*r**2 + 12*r + 6. Let c be j(7). Let y be c/(-12) + 7*(-1)/(-3). Let g = 0.8 + -0.5. Which is smaller: g or y?
g
Let z be (2 + (-14)/6)*-3 - -3. Let m be (-12)/(-15)*(-10)/z. Which is smaller: -10 or m?
-10
Let z = -3 - 52. Let v = z - -121. Is 66 smaller than v?
False
Suppose 455*s + 12 = 449*s. Is -489 smaller than s?
True
Let d = 13 + 38. Suppose -4*a + 4*n + 40 = 0, -n + 5*n + d = 5*a. Which is smaller: a or 12?
a
Let t be (-492)/(-18)*39/(-26). Which is smaller: t or -34?
t
Let c be (-15)/18 + 1/3. Let f(y) = -6*y - 17. Let q be f(-3). Let h = -2 + q. Which is greater: c or h?
c
Let a(g) = g + 34. Let i be a(-14). Suppose 2*n = -y + i, y - n - 3 = 5. Suppose -2*m - b - b = -28, -3*b - 54 = -5*m. Is m > y?
False
Suppose 5*b - 18 = 2*j, -4*b + 0 = -2*j - 16. Suppose 4 = -4*z - 4*x, -3*z + 2*x - 6*x = 0. Is j smaller than z?
False
Let h = -8 - -9. Let s be (-3)/(-1) - (40 - h). Let m be s/8 - 1/2. Which is smaller: m or 1?
m
Let u = -16 + 3. Let j = -3.322 + 0.322. Which is smaller: u or j?
u
Let y(c) = 2*c**2 + 4*c - 1. Let l be y(-3). Suppose 3*m + l*q + 43 = 0, 2*m - 4*q = q + 13. Is -7 equal to m?
False
Suppose -99 = 2*y + 37. Let v = 743 - 743.1. Is v equal to y?
False
Suppose 2*m = m - 4, -56 = i - m. Let k = i - -53. Is k < -33/5?
True
Suppose -12 + 18 = 3*m. Suppose 2*q = -3*j + 62, -1 = m*q - 5*j - 79. Is q equal to 35?
False
Let s be -1 + 1019/(-20) + (-2)/8. Is s < -51?
True
Suppose 0 = -2*y - 2*m - 4, -6*y - 4*m - 8 = -y. Let t be 3 + 3/267*-269. Which is bigger: t or y?
y
Let t = -813 + 63